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

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

基于CPCI总线的时统模块测量电路设计

为解决时统模块的测试问题,本文提出了一种基于CPCI总线的数字时统模块测量电路。文章主要对测量电路的组成、测量原理、CPCI总线接口设计与驱动设计等内容进行了介绍,并满足了4块某型时统模块的批量测试需求。文章提出的测量电路具有稳定性高、性价比高、易于实现等优点,适合于工程应用。     

基于状态变换的数字电路冗余确认研究

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.     

VXI总线消息基器件数据低寄存器定位监视电路设计

结合工程需要设计了消息基器件数据低寄存器定位监视电路,满足了总线和本地CPU对数据低寄存器读写时的时序关系,给出了部分实现电路和状态转移流程图。     

状态机嵌入DEVS的组合建模方法研究

DEVS提供了模块化、层次化的系统建模和仿真执行框架,但是缺乏对于系统行为的抽象建模能力。状态图扩展了原有的FSM,通过可视化的、灵活的状态迁移图描述系统的复杂行为。提出将状态图嵌入DEVS的组合建模方法,互为补充,以建立复杂的离散控制系统。DEVS作为系统的建模框架并提供执行逻辑支持,状态图扩展DEVS的事件交互机制和时间推进机制,描述系统的行为逻辑。详细介绍了状态图和DEVS的语法语义,重点阐述状态图嵌入DEVS的实现机制。结合一个应用实例,说明嵌入状态图的DEVS用于建立离散控制系统模型的优势。     

基于CP CI总线的时统模块测量电路设计

为解决时统模块的测试问题,提出了一种基于CPCI总线的数字时统模块测量电路。重点对测量电路的组成、测量原理、CPCI总线接口设计与驱动设计等内容进行了介绍。提出的测量电路满足了4块某型时统模块的批量测试需求。该测量电路具有稳定性高、性价比高、易于实现等优点,适合于工程应用。     

车载综合电力系统动态重构及其功率流控制

随着陆战平台全电化技术的加速发展,战斗平台大功率用电负载不断增加,电能需求急剧上升,且不同负载驱动特性迥异,对车载综合电力系统的供电性能与负载适应性提出了苛刻要求。针对上述问题,探讨了一种车载综合电力系统动态重构方法,利用系统内部各装置、部件组合重构,构建出适应不同应用环境的多种工作模式;在此基础上,设计了工作模式层次化状态集,提出了基于有限状态机的工作模式转换与功率流动态控制方法,将其应用于工程实践。装车试验结果表明:系统模式转换灵活,冗余度高,动态重构能力强,负载适应性好,可为高适应性车载综合电力系统研究提供参考。     

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

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

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

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

基于层次化的机载红外搜索跟踪系统仿真

从机载红外搜索跟踪系统(IRST)的组成原理和功能分析出发,采用层次化构架体系建立了机载红外搜索跟踪系统的功能仿真模型。在此模型中,提出了在信息源联网条件下状态优化的方法,研究了机载红外搜索跟踪系统的状态推进模块。使用"网格法"分析了机载红外搜索跟踪系统扫描模拟模块。通过对最小可检测辐射强度的求解,分析了机载红外搜索跟踪系统的目标探测模块。基于上述模型进行了仿真研究,仿真结果表明了该模型的合理性和有效性。