基于一种扩展分层有限状态机模型的测试生成

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.

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

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

基于分层有限状态机的时间序列数据挖掘与预测方法

针对非平稳非线性时间序列的数据挖掘与预测问题,提出一种基于分层有限状态机的预测方法 .首先,将时间序列构建成有限状态机(FSM)模型,将时间序列的相对序列模式作为状态.然后,构建一种层次模型,通过关联特定模式形成中间状态,并以递归方式对模式进行分组,以此解决长序列造成的过度训练问题.最后,通过梯度下降法结合所有有限状态(FS)预测器的输出,生成最终预测结果 .实验结果表明,该方法能够对时间序列进行有效的规则挖掘,具有较高的预测精度.

基于分层有限状态机的工作流引擎设计

有限状态机(FSM)是对反应式系统建模的一种有效工具,基于工作流引擎涉及到多个对象以及各个对象本身具有的复杂状态,本文提出了通过分层有限状态机来描述复杂对象状态的方法,并结合实际应用给出了一种具体实现,改善了软件的可描述性,并提高了系统的健壮性与可维护性。

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

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

基于EHFSM的电控模拟系统软件设计与实现

某电控模拟系统中,采用传统事件驱动思想设计的程序往往存在着高复杂性和低可读性的缺点,且由于代码的可维护性和复用性较差,使得程序编写的工作量非常巨大,为解决这一问题,提出采用有限状态(FSM)建立过程模型的设计方案,鉴于该电控模拟系统层级复杂,而FSM描述能力有限的实际,提出基于分层扩展有限状态机(EHFSM)的改进方法,对电控模拟系统进行了软件设计实现。

信息物理系统(cyber-physical system)时空建模方法及在温室控制中的应用

传统农业采用人工方式对温室进行控制,但是随着现代农业的快速发展,这种人工投入大、精度低的控制方式已不能满足现代农业需要。该文基于分层有限状态机和事件晶格的概念,建立3层的信息物理系统模型,并提出一种基于分层有限状态机的信息物理系统时空建模方法,同时利用该建模方法开发了新的温室控制系统。该系统能够将物理层传感器感知到的温室物理环境数据通过物理-信息层汇聚节点融合后上报信息层决策节点得到决策信息,物理-信息层控制节点分析决策信息得到控制信息后下传物理层执行器进行控制。由于该系统模型考虑了各层状态机中事件的时空属性,能够将温室控制的正确率由传统基于物联网的温室控制方法的80.20%提高到87.20%,错误肯定率和错误否定率由7.50%和12.30%下降到3.60%和9.20%,保障温室环境满足作物生长对温度、湿度和光照的要求。

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

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

模块测试与维护总线

简要介绍了模块测试与维护总线(MTM-BUS)的发展背景;以开放系统的分层结构描述了MTM-BUS的功能、设计要求和思路;最后分析了国内外MTM-BUS的发展状况及趋势。

串联多臂式巡检机器人控制策略及轨迹规划方法

以一款三臂式巡检机器人为例,对其进行分层规划控制策略分析,将其分为线路信息库层、动作规划层和执行规划层.线路信息库层根据高压输电线路上的已知信息所得,其中包括障碍物种类、位置、数量等信息.规划层和执行规划层根据有限状态机理论总结为当输入事件为a(第二层动作规划层)时,在f(第三层执行层)的作用下,将状态q(机器人起始状态)映射到状态p(机器人终止状态).最后对该款机器人的轨迹规划进行了Matlab仿真和样机实验,结果验证了该控制策略及轨迹规划方法有效性.

基于图像识别的泊车车位检测算法研究

本文中为自动泊车提出了一种基于右侧单通道摄像头的车位检测算法。首先,通过顶帽变换融合直方图均衡化的方法降低了光照不均匀和光照强度变化对算法鲁棒性的影响;结合泊车工况,基于先验知识略去无价值域,压缩了Radon变换参数范围,获取车位线在Radon空间中坐标的同时,降低了Radon矩阵的维度;接着,通过阈值分割方法,优化了Radon矩阵的元素值,以在K-Means聚类分析的过程中,更准确高效地获取聚类中心;在聚类中心二维邻域内通过非极大值抑制实现了车位线的像素级定位。最后,设计了分层有限状态机,通过建立车位分类规则库实现了车位的分类。实验结果表明,该方法的计算效率高于基于Radon变换实现泊车的经典方法,且算法具有较强的鲁棒性。

基于CTI板卡的电信语音增值业务平台的设计与实现

基于CTI板卡设计并实现了一种电信语音增值综合业务平台,该平台业务包括语音通知、电话会议、传真收发。平台采用了语音卡、ACE、多线程、有限状态机等技术,基于分层和模块化设计,具有分布式结构和良好的可扩展、可移植性,用户可以通过Internet和PSTN接入平台从而方便地使用各种增值业务。

地磁车辆检测器车型分类算法设计

在以三轴数字式AMR(各向异性磁阻)传感器为核心设计车辆检测系统的基础上,研究不同车型的车辆对三维地磁场的扰动特性,设计了一种车型实时分类算法。从整车长度、车型尺寸、传动轴数目这3个视觉上直观反映车辆类型的属性出发,抽象出相对车长、平均能量、归一化方波的波峰/波谷数目3个波形特征量作为依据,根据分层决策树算法将车辆分为5大类。研究结果表明:算法研究地磁场的三维扰动信息,使分类结果一定程度上不依赖于行车速度和传感器的位置,从停车收费车道和不停车收费车道2种情况下的对比情况来看,算法确实消除了车速对车型分类的影响,能够有效地实现车型的实时分类。经过现场试验测试,分类准确率基本上达到80%以上,尤其对重型挂车的分辨率甚至可达到95%。