复杂系统仿真的可组合问题研究综述

复杂仿真系统的开发与集成对仿真的可组合性提出了需求。首先介绍了仿真可组合问题的基本概念，分析总结了影响仿真可组合性的因素以及可组合问题的层次化特征。针对不同层次的组合仿真，重点分析几种不同的组合建模方法，包括公共模型库方法、基于互操作协议的方法，基于组合有效性的语义组合方法，基于DEVS的形式化组合方法以及基于MDA的组合建模仿真方法。通过对不同方法的分析比较，提出进一步研究多层次组合问题以及跨县次组合建模仿真方法的展望。     

60分绝无仅有是开始

初二的语文试卷发下来,我得了全班最低分:60分。老师让我们分组讨论试卷,总结考试心得。同学们一个接一个地发言,有得意的,有沮丧的,老师边听边点头。然后老师评价说:某某同学虽然成绩不理想,但比上次有所进步,说明他努力了,可喜;某某同学的作文写得很有新意,难得;某某同学语法分析准确到位,很好……很少谈缺点,几乎通篇都是赞美之辞。轮到我总结了,我实在想不出有什么可以吹嘘的地方。我十分羞愧,低着头,瓮声瓮气地说:我考得太差了!我,我没什么好说的。“不能这么说,”老师说:“光从分数上看,也许令人不太满意。可是从你的卷面上看,至少有…     

基于π演算的指挥决策行为形式化建模研究

指挥决策行为建模研究急需能够为分析、描述和建模指挥决策行为所具有的并发性、复杂交互性以及动态演化性提供有力支持的形式化方法。基于改进的OODA,通过应用π演算对指挥决策行为进行形式化建模,探讨了基于π演算的指挥决策行为形式化建模的可行性和可用性;在此基础上,就π演算方法为指挥决策行为形式化建模正确性验证以及模型有效性验证方面所提供的支持进行了初步探讨。研究表明,π演算方法可为指挥决策行为建模提供有力支持。     

基于PICS域划分的敏捷兵力行为分析、建模方法研究

敏捷兵力行为建模急需要有效的行为分析,建模方法提供支持.根据NCW(NetworkCentric Warfare)和敏捷兵力的相关理论研究成果,提出了基于PICS(Physical-Information-Cognitive-Social)域划分的敏捷兵力行为分析、建模方法,并就其实现思想进行了阐述;在此基础上,应用该方法对敏捷兵力的敏捷作战行为进行了分析、建模实现.     

一种基于π演算的行为建模形式化方法

根据人的行为建模形式化方法需求, 针对直接应用π演算形式化建模人的行为所存在的不足, 尝试以π演算为基础扩展定义了一种人的行为建模形式化方法π-BFMBM(π-Based Formal Method of Behavioral Modeling); 并结合具体示例,阐述了扩展内容为π-BFMBM方法带来的、增强的行为描述能力及其实现方法. 研究表明,相比于π演算, π-BFMBM方法能够为人的行为建模提供更为有力地支持.