Simplified Markov Model for Reliability Analysis of Phased-Mission System Using States Merging Method

This paper presents a simplified Markov model to evaluate the reliability of phased-mission system (PMS). The time cost and storage requirement are very huge for traditional Markov model to analyze the PMS reliability as the number of components increases to a large scale. The states merging method proposed in this paper can account for the PMS with subsystems consisting of identical components, and similar PMSs are common in real-world systems. The simplified Markov model by states merging has smaller number of system states, compared with the traditional one. Furthermore, for the above subsystems, the size of our model increases only linearly as the number of components increases, while the size of the traditional model exponentially increases. Finally, the effectiveness and correctness of our approach are analyzed by comparing with the traditional Markov method.     

战争设计工程中基于COPIFG的过程建模方法研究

对战争设计每个阶段的活动进行分析，是确定战争设计过程各领域专家执行的活动集和确定领域专家在执行各个活动能力需求的基础，在借鉴PIFG图的基础上，通过加入活动的能力需求属性，提出利用面向能力的过程分析COPIFG对战争设计过程进行建模，通过COPIFG为确定各领域专家在战争设计过程中的能力需求提供依据。     

分布式卫星系统自主运行技术研究进展

随着微小卫星技术的不断发展,分布式卫星系统的概念应运而生。然而,由于分布式卫星系统本身的复杂性及其工作环境的动态不确定性,使得系统的测控与运行管理模式由传统的地面测控运营方式向智能化自主运行方式发展。从分布式卫星系统及其自主运行技术的研究进展上,重点讨论了分布式卫星系统自主运行的思想,综述国内外一些研究组织、学者的相关研究成果。最后探讨基于Multi-Agent分布式卫星系统自主运行未来所面临的技术挑战。     

基于BDI的分布式卫星系统协商机制研究

针对分布式卫星系统在动态环境中的任务协作问题,借鉴MAS理论中的合同网协议,就其在分布式卫星系统应用中的不足,对该协议进行扩充,并引入BDI心智状态参数,形成BDI心智状态模型.将该模型用于扩充合同网协议中,提出一种基于BDI的分布式卫星系统协商机制.机制中详细描述实现扩充合同网协议的BDI行为驱动规则,这些规则有助于改善协作质量,使系统具有较好的适应性和灵活性.