基于ABMS和HFSM的指挥控制模型研究

指挥控制建模是体系对抗条件下的作战仿真必须解决的关键问题之一,很大程度上决定着仿真系统的可信性.针对指挥控制系统结构复杂、交互频繁以及行为多变等特点,采用基于Agent的建模仿真(Agent Based Modeling and Simulation,ABMS)和分层有限状态机(Hierarchical Finite State Machine,HFSM)对指挥控制系统进行建模仿真,提出了基于ABMS的指挥控制建模框架,并采用HFSM对指挥控制行为进行描述,最后初步探讨了在此基础之上的指挥控制建模仿真实现.

基于HFSM模型的GUI自动测试

针对图形用户界面(GUI)软件的层次性,采用分层有限自动机(HFSM)模型对被测GUI软件建模,将GUI测试转换为预期HFSM和实际HFSM的一致性测试。模型自动搜索GUI控件,提供接口,采用均匀设计思想自动产生测试数据,由测试数据驱动测试执行。根据GUI软件的特点,采用增量方式进行模型构造和测试,从而避免错误积累。

基于分层有限状态机的检修工作票智能防误技术

为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine,HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高电网运行安全性和可靠性。首先基于有限状态机理论和分层技术建立分层有限状态模型,提高逻辑分析效率;其次建立基于分层有限状态机的检修工作票防误模型,其中外层为数据信息防误层和安全逻辑分析层,内层为有限状态机流转状态;然后提出用以刻画误填状态频次的防误状态概率指标,从而降低潜在的工作票误填风险;最后通过设计的算例验证该文所提模型的有效性和可行性。

云制造环境下协同工作流控制模型研究

分析制造企业协同工作流管理的新需求,指出云制造模式下协同工作流管理存在自主、并发、协同、动态的特点。采用分层有限状态自动机对协同工作流控制过程建模,给出用于实现该模型的简化类结构设计,阐述模型中状态机的动态重构和行为控制过程。将该模型应用于某钢铁企业集团板材营销业务协同中,结果表明,该模型可提高业务协同效率及公司板材的接单能力。

一种检查层次式有穷状态机一致性的方法

本文介绍了一种层次式有穷状态机 (HFSM)的代数表示 ,并在此基础之上提出了 HFSM的一致性检查方法 .这种检查方法主要用于检测

层次状态机及协处理状态机的Verilog HDL描述方法研究

为实现复杂多层次和并行的有限状态机(FSM),进而实现信息通信和自动化控制等复杂系统设计,层次有限状态机(HFSM)和协处理状态机(CFSM)是解决这类问题的有效方法。深入剖析HFSM和CFSM的构成,设计相应的同步及协作机制,并给出基于Verilog HDL描述和实现的整体解决方案。实际测试表明,系统具有稳定性好和结构简单等特点。

基于实时组件的可重构数控系统研究

针对可重构数控系统存在的行为与定时问题 ,将调度机制引入基于口的组件 ,提出一种实时组件模型 ,并以此为基础建立了层次化多模式的数控系统体系结构 .该结构通过层次化有限自动机描述系统的控制行为 ;通过组件网络刻画系统的定时特性 ,为分析可重构控制器构形的变化提供了有效的手段 .针对

基于TMS320F28034的工业缝纫机多功能交流伺服控制系统设计

介绍了一种工业缝纫机多功能交流伺服控制系统的软硬件设计方案,其控制核心采用TMS320F28034数字信号处理器(DSP),同时阐述了其外围电路和伺服电机控制模块的设计原理。系统软件采用层次式有限状态机(HFSM)构建,可满足各种工业缝纫机的控制功能要求,并有效的降低各种工作模式下各过程控制模块之间的耦合。通过对该系统的测试,表明方案可行且效果良好。

基于分层有限状态自动机的一致性测试生成

为了进行分层有限状态自动机(HFSM)的一致性测试生成,提出了基于HFSM的状态同步序列算法和状态验证序列算法,并在此基础上提出了基于HFSM的一致性测试生成方法。以组播监听者发现(MLD)协议为例说明了该方法的应用。该方法虽然比传统的转化为有限状态自动机(FSM)描述再进行一致性测试生成的方法在适用性上有所降低,但是仍然能够满足大多数通信系统测试的需求,并且由于该方法利用了HFSM的分层特性,因此该方法生成的测试序列长度较短,执行的效率也较高。

一种多功能数字交流伺服控制系统设计与应用

介绍了一种多功能数字交流伺服控制系统的软硬件设计方案,其控制核心采用数字信号处理器(DSP)及带有短路保护的IGBT逆变桥驱动电路,带有模拟和数字多个输入接口,并阐述了其外围电路和伺服电机控制模块的设计原理。为降低各种工作模式下各过程控制模块之间的耦合,系统软件采用层次式有限状态机(HFSM)构建。通过对该系统在工业缝纫机驱动控制上的应用,表明方案可行且效果良好。