电控柴油机工况利别和转换策略的仿真研究

基于有限状态机理论和欧Ⅲ排放标准,论述了电控单体泵柴油机工况划分依据,介绍了工况判别和转换策略的制定过程与方法.利用Matlab软件中的Simulink和Stateflow工具箱建立了电控柴油机工况判别和转换策略模型,根据柴油机实际运行条件模拟出柴油机各种运行工况,对工况判别和转换策略进行仿真研究.仿真结果与控制策略制定者的意图一致,证明了控制策略的正确性和可行性.     

Moore型有限状态机的VHDL设计与资源利用研究

根据Moore型有限状态机的原理，对内存控制器的设计提出了普通型，时钟同步输出信号型和直接把状态作为输出信号型（Outputs=states)三种VHDL设计方法，并从消除“毛刺”，提高资源利用率和速度等方面对三种方法进行了比较，通过开发工具Max plusⅡ的编译和功能仿真，验证了方法的合理性和通用性。     

层次状态机在船舶电站监控系统中的应用

采用层次状态机的方法设计相关软件,层次状态机可使监控系统中各种状态结构清晰、性能稳定,并能减少代码重用,降低软件复杂度。     

一种低成本的C语言协程实现

本文介绍了C语言中一种新的协程编程模型,即利用Timer驱动有限状态机方式,有效地解决了传统C语言协程实现的兼容性和跨平台等问题,提供了C语言下并行编程除线程之外的另一种选择。     

基于功能安全要求的线控转向系统开发及验证

为提高线控转向(SBW)系统的安全性与可靠性,基于ISO 26262开展了SBW系统设计,将系统的安全目标分配到架构、硬件、软件策略等开发中,设计了冗余机制以满足系统安全要求,并进行了台架和实车测试验证,结果表明:在特定的故障注入状态下,线控转向的路感模拟器和转向执行器的转矩和转角的执行状态满足响应需求,实现了整车的线控转向功能并满足设计要求。     

基于FPGA的WTB总线控制器设计

介绍了绞线式列车总线(WTB)及其总线控制器,着重分析了链路层、物理层功能。将WTB总线控制器划分为几个基本的功能单元,以ISE软件作为开发平台,采用VHDL硬件描述语言进行编程,成功地建立了WTB总线控制器IP核。     

不同Statechart语义比较

Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语义,不同的statechart的变体有着不同的描述能力,而应用于不同的领域.本文以三种应用最为广泛的Statechart语义为对象,以逆时间的方式,从UMLStatechart的语义开始,通过对Statechart功能的讨论,逐步引出了STATEMATE Statechart的语义和Pnueli给出的Statechart的语义,并进行了比较,显示出不同语义的描述能力的差异和不同语义表达的思想.     

基于FPGA+CPCI的WTB通信板设计

为了提升TCN网关的稳定性和高效性,提出一种基于FPGA+CPCI控制芯片的WTB通信板设计方案。在WTB物理层和CPCI驱动接口硬件设计的基础上,重点介绍了WTB介质附件单元MAU的数据收发和CPCI本地总线时序控制的设计。文章遵循IEC61375-1标准,利用FPGA的有限状态机方法实现曼彻斯特编解码,并分析了本地总线的逻辑时序,利用状态机转换实现FPGA与CPCI总线间的数据读写。最后在QuartusⅡ仿真环境下验证了方案的有效性,结果满足IEC61375对帧的要求以及PCI9030手册对本地控制信号的时序约束。     

高铁信号系统安全关键功能测试建模方法

测试模型是高铁信号系统安全关键功能测试用例编制的重要基础,针对高铁信号系统安全关键功能测试建模过程中描述信号系统领域特征不够全面的问题,提出时间状态机测试建模理论和测试用例生成方法. 分析高铁信号系统测试建模的特点,提出信号系统安全关键功能测试模型的建模需求;以有限状态机理论为研究基础,结合功能逻辑和时钟约束提出时间状态机建模方法,采用Z规格说明语言给出时间状态机的形式化定义;将时间状态机转换为时间自动机,证明转换之间的一致性,并基于时间自动机的测试理论自动生成测试用例,再以计算机联锁系统中的道岔转换功能为例,建立时间状态机测试模型并生成测试用例. 最后,将两种方法生成的测试案例进行对比,结果表明:在功能逻辑方面,基于时间状态机建模方法生成的测试案例100% 地覆盖了基于时间自动机建模方法生成的测试案例,并新增了16条具有时钟约束的测试案例,能够满足高铁信号系统安全关键功能测试建模的需求.      

一种基于有限状态机和命令模式的设备监控软件模型

军用设备通讯系统具有系统组成复杂,技术参数多,逻辑关系繁琐,研制周期长,需求变更频繁的特点。针对此类系统的设备控制需求,文中提出了一种将有限状态机与命令设计模式技术相结合的设备控制软件模型,在保证软件稳定性和性能要求的基础上,既满足了设备系统监控的各项需求,又兼顾良好的可扩展性。应用实践表明,该模型可充分发挥状态机和设计模式的技术优势,简单高效的构建出高可靠性,高可扩展性和高可维护性的设备监控软件。