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

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

基于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“微观”行为的仿真,获得了群体的“宏观”行为,为战争复杂系统仿真研究提供了参考。