基于有限状态机的作战实体模型行为规则可视化建模

为提升仿真模型开发效率,降低仿真模型的维护成本,从模型规则可视化建模需求入手,提出了基于有限状态机的实体模型行为规则形式化表达模型,并对基于有限状态机的模型规则可视化建模工具框架进行了设计,对模型规则可视化建模的工程实现进行了理论上的探索。     

基于Stateflow的排队系统仿真方法

论述了排队系统与Stateflow相关概念，利用有限状态机理论与面向对象编程思想，提出了建立基于Stateflow排队系统模型的分析步骤，阐述了应用Stateflow对排队系统进行建模与仿真的方法，使用Stateflow对M／M／1／∞／∞／FIFO类型排队系统进行了具体的建模与仿真。仿真结果表明，基于Stateflow的模型与仿真能够有效地描述排队系统的统计特性，并具有可视化、流程化和层次化的特点。     

基于Simulink的复杂可修系统的建模与仿真方法

利用排队论、有限状态机理论与面向对象编程思想，提出了建立基于Simulink复杂可修系统模型的思路、分析步骤、难点问题的解决以及参数统计模型。利用Simulink对一种复杂呵修系统进行了具体的建模与仿真。结果表明：基于Simulink的模型与仿真能够有效地评估复杂可修系统的可靠性参数，并具有可视化、流程化和层次化的特点。     

基于Stateflow的复杂可修系统的建模与仿真方法

介绍了应用Stateflow对复杂可修系统进行建模与仿真的方法.首先,对复杂可修系统与Stateflow相关概念进行了简单介绍.然后,利用有限状态机理论与面向对象编程思想提出了建立基于Stateflow复杂可修系统模型的思路、分析步骤、难点问题的解决以及参数统计模型;最后,使用Stateflow对一类复杂可修系统进行了具体的建模与仿真.仿真结果表明,基于Stateflow的模型与仿真能够有效地评估复杂可修系统的可靠性参数特征,并具有可视化、流程化和层次化的特点.     

小型无人机控制逻辑建模及仿真

无人机的飞行轨迹具有明显的分段特性,且在各飞行段内其飞行状态和控制方式有明显的区别。针对这一特点,可以通过建立飞行全过程的控制逻辑模型实现对无人机的监控任务。Stateflow是一个基于有限状态机理论的图形化离散事件仿真环境,可以用于控制逻辑建模。利用Stateflow建立了某小型无人机飞行全过程的控制逻辑模型,为无人机的控制逻辑建模提供了新的设计方法。通过对所研究的小型无人机非线性系统模型进行仿真,验证了所建立的控制逻辑模型的正确性。     

分布式面向对象多模型建模与仿真框架

美国佛罗里达大学计算机和信息科学及工程系两位学者负责的课题组开发出一种多模型面向对象(OO)的仿真环境(MOOSE)。这种环境是用于建模及开发仿真软件的框架．它的结构派生于面向对象的物理模型(OOPM)．它将传统的面向对象的方法论扩展到允许属性和方法取模型为其值．MOOSE模型库(MMR)允许分布式模型定义，进而支持以万维网为基础的仿真，与万维网整合，使其在因特网上可用。MOOSE以多模型为特征，而多模型是一种面向对象的模型提炼与抽象的方法，它允许不同种类的分层模型的创建。组成多模型的动态模型包括有限状态机，功能块模型，方程约束模型以及基于规则模型．MOOSE强调可视化和对于OO隐喻的有效使用，从而连接概念化的模型和程序，并捕捉模型的几何和动态特征．MOOSE的人机界面有两个图形化的用户界面(图形用户接口)建模器，用于模型设计；脚本，用于模型的执行控制及可视化．MOOSE的尾端产生用目标语言(如c++)表示的模型描述，然后编译并加上运行时间支持，构成引擎．模型的执行由引擎与脚本的同步运行构成。MOOSE方法促进了模型的发展，使其更加具有直观感，更利于模型作者之间的沟通，仿真程序与它们的概念模型间更好的一致性，部件重用以及模型／程序的可扩展性．     

基于FC-AE-1553B通信协议的网络仿真

对于FC-AE-155B通信协议与光纤通道(FC)技术的应用进行了研究.针对航空电子设备的通信要求进行了独立的建模,验证了FC-AE-1553B协议在航电系统中的传输能力.实验搭建了对立的FC仲裁网络并按照FC-AE-1553B协议制定了包模型,建立了节点模型、链路模型.按照协议要求制作了进程模型设计了有限状态机.在OPNET仿真环境下对航电设备的FC网络进行了构建,测评了基于FC网络的FC-AE-1553通信协议的应用能力.     

协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。     

基于BOM状态机的可组构仿真方法分析

BOM（BaseObjectModel）仿真标准的推出为可组构的仿真提供了前提,但是如何将基于BOM方法很好地应用于建模与仿真过程仍然需要仿真方法学的指导。通过引入命名状态和子状态概念,深入研究了BOM状态机的性质,提出了一种面向状态机（SM）的BCI结构描述方法,构建了基于BOM状态机矩阵的仿真应用（邦员）的理论模型,并分析了其运行原理,为基于BOM的构件的集成研究提供理论基础。     

基于多 Agent 系统的分队对抗建模仿真

使用基于多Agent系统的建模方法对分队对抗进行了“自底向上”地建模;建立了战场的模型,并从属性、行为、规则三方面建立了智能兵力Agent模型;基于多Agent仿真平台——NetLogo,构建了仿真系统,通过对Agent“微观”行为的仿真,获得了群体的“宏观”行为,为战争复杂系统仿真研究提供了参考。     

基于知识的模型表示研究

基于知识的模型表示是信息管理系统,特别是决策支持系统(DSS)的基础。根据模型管理和模型建立动态性原则的要求,提出了模型知识化的框架表示法,并给出了应用实例。     

基于价值的指挥主体作战指挥行为评估

作战指挥行为是作战指挥理论的一个重要方面。在明确了其概念后,将价值这一概念引入作战指挥行为评估,认为价值的创造主体是作战指挥行为,并以此作为评估的基础。最后,利用数据挖掘中的关联规则实现评估的量化,并结合案例说明该方法的有效性。     

基于Petri网的案例推理研究

介绍Petri网的知识表示方法以及案例推理机制的相关内容,提出了一种基于Petri网的案例推理模型,给出了相应的案例检索匹配算法,并将该模型和检索算法应用到网络攻防态势推演系统中,最后重点介绍了该系统的案例库的知识表示。     

基于网关的LVC互操作研究

仿真体系结构解决了各自领域内仿真资源的互操作问题,而体系结构间的互操作是解决多种仿真资源互操作的有效方法.由于通信协议、中间件和对象模型的不同,体系结构间不能直接进行信息交互.对象模型间的相同点是异构仿真系统间互操作的基础.建立异构系统对象模型与通用数据交换模型的映射关系,通过模型转换实现各异构系统间的数据交互,最后通过"点对点"和通用网关间的时延比较,总结了通用网关的性能特点.     

基于能力匹配的网络化防空作战联盟生成研究

作战联盟用于描述网络化防空作战的组织框架,其生成问题是研究网络化防空作战协同的基础。首先从任务、联盟表达、能力含义等方面对防空作战联盟问题进行了描述;然后从防空作战节点与面临任务在能力上的供需关系出发,建立匹配、匹配域、能力裕度等相关观念,并依据防空作战联盟形成的不同准则,分别建立基于能力裕度最大和基于执行节点数最少两个NADOC生成问题的约束优化模型;最后通过案例对模型进行了验证分析。     

基于信息折合的CMSR方法研究

计数法和计量法是对产品可靠性评估的两种不同方法。通过仿真,比较了它们对正态单元双边可靠性评估的效率,发现对可靠性要求很高的产品,计量法优于计数法。进一步研究了基于信息析合的CMSR方法,通过仿真检验,证明了此种方法在样本量较小时是实用的。     

基于ExtendSim的系统可靠性建模

针对传统可靠性仿真模型建模繁琐,编程困难的问题,建立了基于Ex tendS im的可靠性模型,即串联、并联、旁联模型,相比传统方法具有建模直观、调试方便等优点,并以某混联系统为例与解析模型进行了对比验证,仿真结果表明,建立的可靠性模型是可信的,且此模型不依赖于单元寿命分布,相比解析模型具有更强的适应性。     

基于任务的装备维修决策研究

以保证装备的任务成功性和任务后装备的战备完好性为目标,提出了基于任务的装备维修决策的概念,包括以任务成功性为中心的维修决策和以任务后装备战备完好性为中心的维修决策。分析了基于任务的装备维修决策过程;研究了基于任务的装备维修决策方法,主要包括装备任务描述模型、任务-功能-产品映射模型、产品任务功能故障分析方法、装备任务成功性评估模型、以任务成功性为中心的装备维修逻辑决策模型、以任务后装备战备完好性为中心的装备维修逻辑决策模型等;指出装备状态评估和预测、装备任务成功性评估是今后有待深入研究的问题。     

基于自适应模糊神经网络的弹药消耗预计模型

根据我军弹药消耗预计方法的现状,利用模糊控制和神经元网络原理,提出了一种新的预计方法。量化的作战条件作为系统的输入,预计值作为系统的输出,根据历史的输入、输出数据确定系统的特性,建立预计模型。利用此种方法建立的模型根据历史数据训练后,输入现有战斗估计条件,即可对部队日平均作战消耗做出预计。     

基于本体的战场信息集成研究

针对战场空间内不同类型信息一体化问题,提出了基于本体的多信息集成方法。首次提出了在生存信息和计划信息的基础上用本体来描述信息的集成方法,通过多个本体之间的映射来实现多类不同信息之间的信息集成,为进一步研究一体化指挥控制系统提出了一种有意义的方法。