基于模型的进路建立过程测试用例自动生成

为了生成进路建立过程完备的测试案例,分析设备故障和人环因素的影响并结合对应的逻辑过程,建立了进路建立过程的状态机模型,并对模型解析得到状态与边的关系,将状态和边的关系抽象成图论中边和节点的关系进行存储。通过讨论3种覆盖准则的优劣,设计深度优先搜索算法遍历模型,得到抽象测试案例,采用Java反射机制对抽象案例进行反推,结果生成8种类型的测试片段,每种类型的片段进行组合生成所有的测试案例。最后分析进路正常建立所需的输入案例和引入的故障案例对建立过程的影响。     

基于有限状态机的轨道交通多功能车辆总线网络动态性能仿真分析

鉴于MVB(多功能车辆总线)网络在轨道交通列车上的广泛应用,选取网络效率、网络利用率和网络吞吐量等表征MVB网络动态性能的关键评价指标,基于Stateflow有限状态机工具箱构建模块化MVB网络模型,并利用该模型分析了数据长度、设备数量、传输介质等因素对MVB网络动态性能的影响.     

基于TSSM的城市轨道交通CBTC区域控制器建模与验证

针对安全状态机缺乏时间描述能力的缺点,利用反应式系统的同步设计方法,提出了时间安全状态机TSSM (timed safe state machine)建模方法,定义了弱变迁和同步变迁语法,建立了城市轨道交通ZC (zone controller)系统模型.首先,分析了ZC系统的运行环境、工作原理和功能需求,根据ZC反应式系统的特点,利用TSSM在SCADE (safety critical application development environment)中建立了ZC系统列车管理、ZC控制、MA计算和队列管理子模型;其次,通过ZC系统的TSSM网络模型,分析了子模型间的交互信息;最后,采用Lustre语言对ZC系统的安全特性进行了形式化描述,并利用Design Verifier模型检测工具,结合数据流验证了ZC系统的功能和性能需要.研究结果表明,ZC系统TSSM模型的安全性和受限活性均为有效,ZC系统完全满足预期的安全需求.      

大规模实时系统的软件设计方法

本文讨论和比较了用于开发大型并发与可修实时系统的软件设计方法的概念和标准。并发性是基于任务构造的,而可修性则基于模块构造。实时系统的行为特征则基于有限状态机。结构化设计、实时系统设计规范(DARTS)、JSKSON系统开发(JSD)、NRL软件成本控制和面向对象设计等方法都从这些概念的角度进行了比较。     

基于MCU的舞台灯光控制中心的设计与实现——系统总软件的设计与实现

随着当今科学技术的不断高速发展,单片机数字控制技术已经被广泛地应用各个领域,在舞台灯光控制也是如此,各种全数字灯光控制设备以其独特的优点,被大量地应用于各种大、中型文艺娱乐表演场所,数字灯光控制系统的出现极大地丰富了舞台灯光千变万化的演出效果.数字灯光控制中心就是主要应用了DMX512数字传输协议,通过对DMX512的数据传输和处理来实现对灯光亮暗的控制.本次设计利用AT89C52作为控制核心,采用工业中广泛应用中的C51语言开发系统软件.本文对如何进行DMX512数据处理以实现数字灯光控制系统的灯光控制方法以及利用的有限状态机实现键盘解释原理作了详细的阐述.由于采用了有限状态机办法实现键盘解释,使得整个程序结构清晰,提高了程序的可维护性、扩展性和移植性.本产品的主要功能是转发控制台送来的Dmx512灯光控制信号,根据用户的设置参数,选择发送DMX512数据包特定地址段的灯光数据,经过调光曲线变换,发送到控制单元调光模块实现最终的灯光控制.在整个数字调光系统中起到一个数据收发的枢纽的作用.     

汽车前方静动目标状态转移机理与分类算法EI北大核心CSCD

为解决利用雷达回波实现静止目标和运动目标的准确识别这一驾驶辅助系统的关键技术问题,本文中基于地面目标运动状态转移机理提出了一种基于时间窗的汽车前方静动目标状态分类方法。在地面静动目标运动状态与转移机理分析的基础上,将目标分为静止目标、同向运动目标、反向运动目标、起停目标和未分类目标等5类,建立了在固定时间窗内的目标运动状态的转移状态机模型,并确定了目标状态转移的条件阈值和时间窗长度,最终在驾驶辅助试验车上进行了前方同向或反向行驶车辆、树木等静止物体和制动停车车辆等各种典型工况下的识别试验,为实现基于毫米波雷达的自适应巡航与自动紧急制动的驾驶辅助系统的工程化提供了技术支撑。     

基于状态机的燃料电池混合动力系统控制策略

针对由2套大功率氢燃料电池、超级电容和动力电池所构成的有轨电车用混合动力系统,提出能够满足运行工况需求的状态机控制能量管理策略. 首先,以状态机为基础构架,将有轨电车的运行划分为牵引、惰行、制动和故障4种状态;接着研究了4种运行状态下的能量管理策略,牵引状态采用基于自适应放电系数的均压算法,惰行状态采用改进的最大效率点跟随算法;然后基于4种状态,进行了整车实际运行;最后对比分析了功率跟随策略、状态机控制策略的能耗和电池堆效率. 研究结果表明:基于自适应放电系数的均压算法能够保证2套超级电容在牵引状态中均匀放电,避免了单套超级电容过度使用的情况;改进的最大效率点跟随算法使得燃料电池的平均效率提高了3.91%;此外,状态机控制策略与功率跟随策略的电堆效率分别为61.89%、57.98%,前者比后者节约了3.2%的氢气.      

MVB网卡的帧收发器设计

介绍了MVB网卡帧及其收发器的结构,阐述了MVB网卡中帧收发器设计中的一些关键技术问题,采用VerilogHDL硬件描述语言编程,以Altera公司的QuartusⅡ为仿真平台,在FPGA上实现了MVB的链路层的帧收发,从而得到符合IEC61375协议的帧波形。     

基于有限状态机的代客泊车决策规划系统研究

针对当前代客泊车研究中对泊车规划起始点的位姿要求较高的问题，提出一种基于分层有限状态机的代客泊车系统决策方法，设计车辆上层功能状态机与下层行为状态机，根据车辆所处环境与定义规则，建立车辆各行为状态之间的逻辑切换关系，完成车辆代客泊车与定点召回功能。为确保车辆在进入泊车状态前处于不确定状态与位姿的情况下，针对垂直车位完成车辆泊入路径的规划，采用多段路径规划，同时对行车与泊车切换区域进行计算，保证车辆在不同位姿情况下，均可以规划出泊车路径。最终通过实车试验，验证了该代客泊车系统方案的可行性与可靠性。     

基于改进引力搜索算法的高铁信号系统测试案例生成方法研究

为满足高铁信号系统抽象测试案例实例化为具体测试案例的需求，研究高铁信号系统测试案例生成流程，分析抽象测试案例转化为具体测试案例过程中，实例化取值和测试成本的优化需求；采用有限状态机描述信号系统的测试需求并生成抽象测试案例，针对抽象测试案例的实例化取值和测试成本，提出基于引力搜索算法的高铁信号系统测试案例生成方法；针对引力搜索算法易早熟的问题，提出最优保存策略及末位淘汰机制，以提高算法的搜索能力；以高铁信号系统中的等级转换功能为例生成测试案例。测试结果表明：改进的引力搜索算法搜索结果更优，生成的具体测试案例能够满足高铁信号系统抽象测试案例实例化的要求。