基于状态维修的预防性维修策略优化模型研究

基于状态的维修着眼于系统的具体运行状况,对被监测装备的真实状态进行评估,克服了维修的盲目性,可有效减少由于维修不足而引起的意外故障和由于维修过剩带来的资源浪费。提出一种基于状态的多部件系统非周期预防性维修计划的优化方法,引入"机会维修阈值"概念,优化不同维修方式转移概率的表达式,将多个维修作业按照机会维修阈值进行归并,运用马尔可夫决策过程理论,给出不同维修方式转移概率的表达式和目标函数,并进行算例分析。结果表明:提出的优化模型减少了预防性维修活动,节约了维修工时和经费,可为系统预防性维修策略决策提供参考。     

基于模型的系统工程方法在载人航天任务中的应用探讨

针对基于文档的航天任务设计中设计数据分散、一致性差、跟踪难度大等问题,引入了基于模型的系统工程(MBSE)方法。首先,介绍了MBSE方法理念,即通过构建图形化的模型来支持系统的需求捕获、设计、分析、验证和确认等全生命周期活动。然后,给出了MBSE方法的一般工作流程,即先构建系统的需求模型,用于指导功能模型、物理架构模型等的构建,按照事先制定好的逻辑规则建立模型间的关系,依靠模型间的关系实现设计过程中的关联性分析、参数查询等工作。最后,应用MBSE方法于载人飞船交会对接任务中。结果表明,此方法改善了人员沟通,提高了设计效率,降低了设计风险,可为MBSE方法在航天任务设计中的进一步应用提供参考。     

扩展的基于角色的访问控制模型

提出了一种扩展的基于角色的访问控制RBAC(Role Based Access Control)模型--RTBAC (Role & Task Based Access Control)模型.该模型在RBAC96模型之上引入了任务和任务实例的概念,形式化地定义了任务和任务实例的层次结构,界定了传统会话同任务实例之间的关系以及任务实例同权限之间的关系,并且提供了几种辅助函数.该模型可以更为自然地描述业务流程和访问控制策略,更适合分布式协作应用,特别是工作流和组合服务.基于该模型定义了一种新的动态职责分离约束--基于任务的动态职责分离约束,并且同传统动态职责分离约束进行了比较.该约束可以更准确地刻画访问控制相关的系统运行时上下文的范围,从而提高运行时访问控制的效率.     

国外基于模型的系统工程方法研究与实践

自上世纪60年代以来,系统工程一直是国外航天和国防领域所惯常采用的研制管理方法,保障了自“大力神”导弹及阿波罗计划以来众多项目的成功。然而,自1969年形成美国军用标准《系统工程管理》（Mil-Std-499）以来,该方法变化很小。与此同时,系统的规模和复杂性却在显著地增长,传统系统工程（TSE）方法已经不能满足需求。     

一种基于迭代的多音干扰消除方案

针对正交频分复用技术(OFDM)系统的多音干扰,本文提出先通过增加频域分辨率进行多音干扰识别,再基于迭代运算逐个对多个单音干扰进行参数估计、重构和消除的方案。其中,在多音干扰识别阶段,使用Zoom FFT技术以提高频域分辨率并简化计算复杂度。然而,Zoom FFT后的降采样序列点数不一定满足2的整数次幂,对于单音干扰参数估计,此时可采用经典的基于离散傅里叶变换(DFT)的最大似然参数估计(DFT-MLE),但当采样点数太大时,DFT运算将带来很大的实现复杂度。本文在基于DFT-MLE算法基础上给出一种基于快速傅里叶变换(FFT)的单音参数估计法FFT-MLE,不仅简化了运算复杂度,而且相比DFT-MLE其估计性能有更好的鲁棒性。最后的仿真结果说明了该多音干扰消除方案的有效性。     

基于MBSE思想的航空发动机控制系统设计方法

在航空发动机控制系统设计开发过程中,存在需求理解偏差、需求实现描述不清晰、设计过程缺失等问题,严重影响产 品后续使用。为了构建完整、规范、准确的系统设计要求,完整描述系统设计过程,引入基于模型的系统工程思想。通过需求分析 将用户需求条目化,并对每条需求进行确认;通过功能分解,将复杂系统模块化;利用功能描述将需求量化、图形化,明确各项功能 的具体行为;在要求制定过程中引入数据流管理,将整个系统设计过程有机结合在一起。结果表明：采用基于模型的系统工程思 想构建满足产品研发的控制系统正向设计方法,实现了顶层需求的100%覆盖和追溯,可将模糊的需求通过建模方式具体化、显形 化。通过N1测量对设计方法进行了验证,表明该方法可用于工程设计。     

民用飞机预研论证权威真相源构建技术

权威真相源不仅是基于模型的系统工程实施的核心要素,也是"数字工程战略"的关键环节。对权威真相源构建技术进行了研究,包括对权威真相源进行了定义和分析,设计了权威真相源的构建目标和原则,构建了权威真相源的架构和业务流程,并对构建权威真相源的支持技术进行了研究。梳理了民用飞机预研论证的业务流程、专业模型和基础模型,最后通过民用飞机预研论证验证机的案例研究,证实了权威真相源构建技术的可行性。民用飞机预研论证权威真相源能够有效提升系统工程的组织性,提升协同设计效率,同时能够提高模型和系统设计的重用性,减少系统工程实施的复杂度,缩小开发成本。     

气压垂直导航中修正高度分析

在世界海拔最高民用机场四川稻城亚丁机场的基于性能导航(PBN)飞行程序设计过程中,由于GPS在垂直方向精度较低,最后进近航段采用气压垂直导航(Baro-VNAV).但机场海拔高,这种导航方式受到修正高度的影响较大.因此通过对ISA偏差对气压高度的影响公式进行推导,得出修正高度公式,利用Matlab对机场温度、航段高、机场标高与修正高度H修的关系进行分析,并以四川稻城亚丁机场Baro-VNAV实例进行了验证.最终给出了在PBN飞行程序设计过程中的建议.     

基于数字控制器的陀螺再平衡回路

文章首先对比说明数字再平衡回路所具有的特点,论述了模拟系统数字化的理论与方法,建立了数字再平衡回路的数学模型,并对典型动态环节的软件算法进行了介绍,接着为改善系统的动态响应特性引入了数字PID控制算法。最后对试验样机的硬件组成、软件流程,以及在转台试验中的结果进行了总结。     

基于嵌入式的水下航行器导航系统设计

设计了以PC104工控计算机为硬件、μC/OS-Ⅱ实时操作系统为软件平台的水下航行器(AUV)导航系统,给出了导航系统的工作原理及基本硬件组成,实现了μC/OS-Ⅱ操作系统在PC104上的移植,介绍了导航软件模块化的设计方案,分析了基于μC/OS-Ⅱ的导航软件的任务划分、任务设计和任务通信等技术要点.该方案能很好地满足系统对实时性的要求,同时能大大降低了开发难度,提高了可读性和可维护性.