不确定性作战任务形式化描述方法

针对复杂作战环境下作战任务的不可预知性特点,对不确定性任务的形式化描述方法进行了深入研究。分析不确定环境导致的任务分解和执行过程中存在的不确定性因素,从任务本身的不确定性、任务之间关系不确定性以及作战单元执行不确定性等方面,对不确定性任务进行了形式化描述,提出了不确定性任务形式化描述流程,最后通过一个实例对所提方法进行了验证。     

时变结构多阶段任务系统的可靠度研究

大型复杂系统完成规定任务往往涉及多个阶段,并且在不同的任务阶段,系统通常由其各级子系统、单元以不同的功能组合形式构成,因而,其可靠性逻辑结构(框图)也随时间的改变而改变。当连续多阶段系统不能分阶段单独处理时,将引出所谓的时段延续相关性问题。本文重点研究了时变结构多阶段任务系统的时段延续相关性问题,对典型时变结构的可靠度进行了分析,提出了有效的解决方法并建立了相应的数学模型。研究成果已应用于某大型测控系统的可靠性分析任务中     

柔性制造系统多任务可靠性建模与分析的研究

本文首先对ＦＭＳ可靠性建模与分析的研究进行了综述;然后针对我国在ＦＭＳ可靠性研究方面存在的主要问题,提出了在ＦＭＳ多任务可靠性建模与分析方面可开展的研究工作。     

军事任务推演的时空模型与驱动机制

针对军事信息系统的作战任务推演需求,提出了一种基于时空事件序列的、较为完备的高效任务推演方法。论述了基于层次化分解的任务表达机制与实体化策略;针对保障数据定制问题提出了面向任务的时空数据应用模型,以任务最小需求为准则对一体化时空数据集进行多维筛选,有效降低数据的冗余度;详细讨论了时空事件序列模型的定义及其在军事任务推演中的数据驱动模式;结合具体仿真实例进行了应用探讨。原型系统的实现证明了该思路的有效性和可行性。     

航天测控系统任务可靠性分析的EOOPN模型

提出了一种可用于航天测控系统任务可靠性分析的扩展面向对象Petri网（extend object-oriented Petri nets, EOOPN）模型,旨在对给定的航天测控方案进行可靠性评估分析。针对问题特点明确了OOPN扩展思路,给出了EOOPN模型的形式化定义、运行规则和建模步骤,模型通过引入公共库所、激发弧、消息变迁和消息处理函数等概念,体现了面向对象的思想,具有很好的层次性和模块性。所建立的EOOPN模型能够完整的描述航天测控系统的组成和任务特点。通过对算例模型仿真运行,表明实验结果具有良好收敛性,与Markov解析值对比误差在1%以内,从而验证了模型的有效性。     

近地一次环月两次交会的载人登月任务规划

针对近地一次环月两次交会的载人登月任务飞行阶段多、周期长、约束复杂,导致各阶段飞行窗口与轨道衔接匹配复杂的难题,提出分层分解、正逆向结合的全任务标称飞行窗口与轨道衔接设计策略。介绍近地一次环月两次交会的载人登月任务飞行模式特点和应用前景,假定任务基本需求与工程约束,仿真验证所提方法的有效性,可以快速规划出近地一次环月两次交会的载人登月任务飞行轨道与窗口。