独立子树等效时变可用度分析

在复杂系统可用度分析中,采用深度和广度遍历算法将复杂动态故障树分解为独立子树,推导和证明了独立子树等效时变可用度参数模型,建立了各独立子树同构的马尔可夫状态转移链.通过求解降维微分方程获得故障子树的时变可用度参数,采用由下至上的递归处理算法快速实现复杂系统的可用性定量分析,既解决了复杂系统可用度计算的"组合爆炸"问题,又通过考虑时变参数保证了可用度解算的精度.实例分析表明,采用独立子树等效时变可用度分析方法在有效的分解下,其误差可以很小.      

可修系统的可用度分析方法研究

介绍了一种新的可修系统可用度分析方法--可修系统动态故障树建模分析方法.为了获得高的可靠性和可用性,计算机控制系统大量采用了动态余度管理、储备及复杂的故障恢复技术,使计算机控制系统呈现出很强的动态性和实时性.采用动态故障树与Markov过程综合方法,将计算机控制系统的动态时序用DFTA(Dynamic Fault Tree Analysis)描述,将系统可修过程用Markov过程描述,将系统分解成若干个小的模块,逐步计算各模块的可用度、等效故障概率和维修率,最后综合进行整个系统的可用度分析.     

面向用户的以太网可用性模型

带冲突检测的载波侦听多路访问协议(CSMA/CD)可以有效的解决竞争,提供高的吞吐量和低的延迟时间,并且成为了局域网设计中颇具吸引力的协议.基于计算机以太网CSMA/CD协议,面向用户探讨以太网可用度模型.通过定义工作站"拥塞状态"和"空闲状态",建立基于网络带宽、时隙的可用度模型.以信息成功发送概率作为衡量以太网可用性的指标.根据以太网中工作站的数量、平均字节长度、单机产生数据的速率以及单机数据重传速率对可用性影响的分析表明,随着局域网中接入的工作站的数量的增加在相同的时间内局域网的可用度将降低.随着数据产生率的升高,局域网的可用度将首先升高,当网络达到饱和后再增加数据产生率,局域网的可用度将降低.提高数据的重传率能够提高局域网的可用度.根据以上的分析,通过合理的设置网络参数,可以使局域网达到理想的可用度.      

复杂产品系统模块化分解模型及应用研究

模块化设计开发技术能够实现复杂产品系统(CoPS)的柔性制造,科学合理的模块化分解将会降低CoPS开发的管理难度和制造成本。在分析产品系统模块化理论的基础上,总结了CoPS的模块化处理流程,列举了CoPS的模块化分解原则,提出了CoPS的模块化分解程度的计算模型,研究并建立了系统模块化与企业绩效的相关性分析模型,并探索了模型的最佳应用实践。以电网广域监测分析控制系统(WARMAP)为例,论述了在影响因素众多的情况下,运用模块化分解模型进行计算后,WARMAP分解为4大功能模块,极大缩短了系统的研发周期,提高了研发质量,充分验证了模块化分解模型的有效性,以期为企业产品模块化设计提供理论指导和决策借鉴。     

基于云特征的遥感图像可用度影响因素分析

针对卫星遥感图像可用度分类问题,提出基于图像信息的云覆盖率、云厚度、云破碎度的云结构特征描述概念.研究了它们对于卫星遥感图像可用信息量的影响程度,构建了由厚度相关的云覆盖率及云破碎度构成正交可用度评估空间.并进一步分析了云结构特征与可用度之间的近似线性及单调特点,证实了所提描述方法对于可用度表征的合理性和有效性.通过与500幅不同可用度等级的专业人工判读结果比较,证实综合这3个变量的可用度判读结果与人工判读结果的准确度比较达到95%.该方法为建立卫星遥感图像可用度评估模型,自动分类得到用户需要的图像数据提供理论及技术支持.     

可重构履带机器人的机构设计与控制方法实现

开发了用于完成复杂地形侦察作业的可重构履带机器人.从可重构机器人的特点出发,研究了模块化的机械电气结构和控制方法实现.设计实现的可重构机器人由4个基础运动模块,3个连杆模块和2个转动关节模块组成,通过各个模块的不同组合形式,实现了机器人构型的可重构.系统采用分布式控制体系,研究实现了机械构型发生改变时,基于ARM(Advanced RISC Microprocessor)的实时嵌入式控制系统的可重构.通过模拟楼宇内房间侦察作业,验证了可重构履带机器人具备复杂地形环境适应能力和简单方便的可重构性能.     

Petri网在维修工作分析中的应用研究

分析了当前维修工作分析方法中存在的问题,在论述了Petri网技术优点的基础上,提出采用层次化的时间-着色Petri网技术来建立维修工作描述模型.探讨了Petri网描述逻辑条件与时序关系的方法,并给出了维修工作建模的程序.通过一个实例研究说明了Petri网技术在确定保障资源工作中的应用.      

地地弹道导弹可用性仿真评估系统构建

阐述了地地弹道导弹可用性评估的重要性,并以此为需求牵引,提出了以MTMC-RDEDS(Mission Time Monte Carlo Random Discrete Event Dynamic Systems)为核心的可用性建模与仿真一体化框架,结合实际应用,以模型重用技术为基础,构建了拥有丰富建模与仿真知识库、模块化设计与开放式接口的导弹可用性仿真评估系统总体框架及软件层次结构,并给出了涉及工作状态、维修保障、统计优化在内的核心仿真模型与算法,探讨了系统实现的关键技术,包括:随机变量建模、武器系统建模、仿真系统可信度评估.利用VC++和相关软件开发了地地弹道导弹可用性仿真评估系统,给出了仿真运行界面,并进行实例分析,验证模型和系统的有效性.仿真的结果与实际试验情况吻合较好,表明该动态评估方法快捷有效,评估系统建设方案合理可行,适用于工程分析,不失为地地弹道导弹可用性评估的一种有效手段.     

捷联惯导系统动基座对准的可观测性分析

建立了SINS(捷联惯导系统)动基座对准的误差模型,首次应用PWCS(分段定常系统)可观测性分析理论对SINS动基座对准过程中的可观测性进行了全面研究.将载体的运动分解为平动和姿态变化两大类情形,深入研究和详细分析了载体的各种运动对系统可观测性的影响,指出在SINS动基座对准过程,无论载体的线运动还是角运动在一定条件下都能提高SINS的可观测性.定性地得出了不同运动对系统可观测性的影响结果,这为研究SINS的快速精确对准方法奠定了理论基础.      

航空电子双层任务分区调度设计

针对严格实时的航空电子分区调度问题,建立了操作系统采用轮转调度策略,分区里采用动态优先级调度策略的双层任务调度模型.针对可调度性分析问题,利用轮转调度周期和分区任务执行系数作为关键参数,在任务时间需求函数的基础上,计算系统消耗时间,得出了系统可调度性的判定定理;同时考察存在释放抖动的时候可调度情况,提出了可调度性的计算边界;通过考察任务周期和轮转调度长度的关系,得出了分区可调度情况下任务负载的理论上限.针对分区设计问题,通过考察关键时刻点,给出了分区调度关键参数的解析模型,在此基础上提出了分区可设计的判定定理,最后给出实例进行具体说明.      

综合化航空电子分区隔离的建模与设计方法

分区技术是航空电子系统综合化模块化发展中不可缺少的技术.针对航空电子系统安全关键性的要求,基于ARINC653标准,提出了分层分区的体系结构模型,该模型实现了不同安全关键级别应用软件之间的隔离.为了满足航空电子系统强实时可预测性的约束,双层分区模型中系统层采用轮转调度策略,区间层采用单调速率调度策略.然后对分区任务进行可调度分析,在充分保证航空电子系统强实时的前提下,提出了分区关键参数的设计方法,并推导了最坏情况下的系统可调度利用率.计算机仿真结果表明,该方法在保证实时性的同时,能支持更多的系统负载,具有优越性.      

基于仿真模板的控制系统可靠性分析

提出面向对象的计算机辅助故障模式影响分析(CFMEA)方法,建立了控制系统仿真模板,将其数据、操作和性能封装成一个对象,对象间通过属性进行因果推理,实现FMEA向故障树(FTA)的自动转换.引入控制系统性能可靠性概念,建立控制系统性能和功能综合可靠性模型,开发相应的解算方法.实例分析证明了基于仿真模板的控制系统可靠性分析的有效性, 综合了功能和性能可靠性分析的优点.      

在轨可修复单机可靠性分析方法

在深空探测中,单机具有在轨修复能力有助于提高飞行器系统的可靠性。目前对在轨可修复单机的可靠性问题鲜有研究。建立和分析了在轨可修复单机的可用度模型,推导出可修复单机的瞬态可用度计算公式,通过模拟仿真,计算了不同修复率下的单机可用度变化趋势,与非可修复单机的可用度仿真结果进行了比较。并利用可修复单机的稳态可用度给出了对任务末期修复率和失效率关系的快速估计方法。研究结果表明,在轨修复率越高,在任务周期内可修复单机的可靠性越高;单机具有较高的修复率还可缓解研制阶段对单机可靠性的需求压力。     

k/N系统维修时机与备件携行量联合优化

针对任务期间舰载k/N系统的维修保障问题,以出航准备阶段维修与携行备件的配置为背景展开研究。结合k/N系统的使用及维修过程,以部件可修为前提建立了维修与携行备件的联合优化模型。模型以装备使用可用度为约束条件,以保障费用最低为目标函数,决策变量包括维修启动条件、备件携行量和维修人员数量3个参数。采用边际分析法对模型进行求解,分析了传统算法存在的问题,并提出了对应的改进措施。算例包括3部分：一是用仿真对比验证了所建模型,结果表明本文模型具有较小的误差;二是以枚举法得出的最优解为基准,对传统算法与改进后算法的性能进行了比较,结果表明改进后的算法可明显减小与枚举法最优解的相对误差,提高寻优概率;三是对各项改进措施的贡献做了相应测试。     

马尔可夫更新方程的迭代算法研究

冷储备系统的动态结构变化使得系统可用度分析必须基于瞬态求解,针对频域两部件冷储备系统马尔可夫更新方程解算困难的问题,提出基于时域伏尔特拉方程的迭代算法,证明了该迭代方程的唯一性和收敛性,并给出迭代算法的误差分析.理论和实例分析表明,当冷储备系统部件的工作寿命和维修时间分布是有界函数时,利用迭代算法可以容易实现时域马尔可夫更新方程的求解.