交互状态机模型模拟矢量自动生成方法

模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题.

基于状态机模型的无线式双闸门监控系统设计

为实现对水库闸门的远程监控,提升闸门监控的准确性与可靠性,以集成射频(RF)功能的片上系统芯片(SOC)CC2430为硬件核心,结合CYH3016水位传感器和WQT 10.4吋串口触摸屏,设计了一套集水位监测、水情分析、闸门控制于一体的无线式闸门监控系统。系统软件基于有限状态机模型设计,提供了良好的参数设置接口,能够依据监测的实时水位进行准确的水情分析,制定闸门控制策略,经无线方式驱动闸门电机实现可靠的闸门控制。结果表明,试验测定系统可支持至少400 m的无线数据传输,且闸门控制响应时间不超过1 s,性能良好。

单片机程序的状态机模型

为单片机程序建立状态机模型,研究用此模型描述程序行为的完整性,讨论此模型的源代码实现方式。

Isabelle在分析安全操作系统状态机模型中的应用

为了解决已有的状态机模型的形式化框架在分析安全操作系统状态机模型时不够直观、简洁的问题,提出了一套使用Isabelle工具对安全操作系统模型状态中的类型、变量、常量、关系、映射、函数,以及模型中的安全不变量和状态迁移规则进行形式化描述的新方法。通过实际验证一种典型的安全操作系统状态机模型——可信进程模型,总结出了有效地使用Isabelle辅助形式化设计、分析、验证模型的策略。

基于非确定有限状态机模型的测试用例选择

在异构型系统中相互作用的正确性是通过一致性测试来保证的,自从协议工程领域出现以来,通信协议的一致性测试一直是人们研究的一个课题。

飞机协同维修仿真的交互状态机模型

针对目前飞机维修场景众多的特点,提出一种适用于飞机协同维修的交互状态机模型。运用UML状态机建立维修人员、操作对象的状态转移模型,基于操作对象间的约束关系、操作对象-维修场景-维修人员的关系建立行为交互模型,将行为交互模型与状态转移模型融合,得到交互状态机模型,实现不同维修场景间的交互及状态变迁,给出模型的数学表达和图形化描述,使场景中实体对象的表达更加规范、统一,提高建模效率。以ADIRU排故为例,在分布式虚拟维修仿真平台上进行验证。

GSM中基于状态机模型的HLR操作实体

基于对某种ＧＳＭ移动程控交换机归属位置寄存器ＨＬＲＭＡＰＵｓｅｒ操作实体的工作原理，对ＨＬＲＭＡＰＵｓｅｒ操作实体中各业务处理流程进行详细分析，考虑到各种业务处理的并发性，采用有限状态机的设计思想，对各业务处理过程进行管理调度，按照消息驱动状态转移的原则，记录每个过程标识ＩＤ及其当前状态，过程处理中状态数据包完整记录了线索信息，保证了状态的正常演进，对于数据的冲撞采用了消息缓存机制，并且保证了过程的有序进行。这种基于有限状态机模型的设计方案适合于实时、并发系统的设计。

VHDL中有限状态机模型的应用

介绍用VHDL语言描述有限状态机模型的类型、原理、转移条件、内部工作方式及其应用。

面向Web服务器端敏感路径的客户端扩展有限状态机测试生成

为对Web应用进行有效的测试,本文提出了一种面向Web应用服务器端敏感路径覆盖的客户端扩展有限状态机测试用例生成方法。针对Web应用客户端扩展有限状态机模型,以Web应用服务器端的敏感路径覆盖为目标,利用Memetic演化算法实现客户端扩展有限状态机模型的测试用例自动生成,对Web应用进行测试。同时,为解决由模型生成的抽象测试用例不可直接执行的问题,提出了一种基于Selenium的测试脚本自动构建方法,通过分析扩展有限状态机模型迁移的特征,利用谱聚类算法实现迁移聚类,依据映射规则将聚类之后的迁移映射为测试脚本,形成迁移脚本库,将抽象测试用例转换为可执行的测试用例。实验结果表明:基于Selenium的测试脚本自动构建能有效地将抽象测试用例转化为可执行的测试脚本;面向Web服务器端敏感路径的客户端扩展有限状态机测试用例生成方法能有效地实现Web服务器端敏感路径的覆盖,对服务器端的敏感路径进行测试。

基于有限状态机的自动售货机控制器

针对随着自动售货机控制器由简单不断地变得庞大,从而出现的难扩展、难维护问题,在传统的有限状态机理论基础上,提出一种层次型有限状态机(Hierarchical FSM,HFSM)模型。该模型对系统状态进行抽象,增加中间状态,并将复杂的系统状态图转化为一棵状态树,利用状态的局部相关性查找下一个目标状态。分析表明,该模型能有效地解决复杂系统的"庞大症"。

基于有限状态机的自动化集装箱码头设备模拟器的设计与应用

自动化集装箱码头解决方案项目（以下简称“总包项目”）是软硬件结合的系统集成项目.按照传统的项目实施方法,这类项目需要先后经历2个串行的实施阶段：第一阶段由硬件制造和控制软件开发2项并行的活动组成,第二阶段仅包含系统调试活动.本文针对总包项目的特点,将设备模拟器引人总包项目,并提出设备模拟器的有限状态机模型和软件实现方法,使总包项目第二阶段活动的部分工作前移,从而达到缩短项目工期的目的.

汽车前方静动目标状态转移机理与分类算法

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

一种基于操作轨迹模型的移动应用易用性评估方法

由于各种移动智能设备特征各异、操作方式多样、使用环境复杂、用户类型众多等诸多因素,使得移动应用的易用性评估问题非常突出。文章试图探索基于用户操作轨迹的移动应用易用性评估方法。该方法通过构造用户操作轨迹状态机模型,比较分析用户真实操作轨迹模型与预期的标准操作轨迹模型之间区别,评估和发现可能的易用性问题。

模型驱动的嵌入式系统设计安全性验证方法研究

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。

一种改进的BLP模型主体敏感标记及其动态调整方案

本文对经典BLP模型的主体敏感标记进行改进,提出一个读写敏感度标记分离、区间权限、动态调整主体当前敏感标记的方案。该方案中主体的读写敏感度标记是相互分离的安全级区间,主体根据客体的敏感标记和主体的历史访问过程,根据一定的策略在读写区间内分别动态调整主体的当前读、写敏感标记而不破坏系统的安全性,从而提高BLP模型的灵活性和实用性。

一种嵌入式系统模型的安全性分析验证方法

由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法。具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及高级安全性建模与分析语言AltaRica的语义模型GTS的元模型,然后建立了从SysML/MARTE状态机模型到AltaRica模型的语义映射模型转换规则,并基于AMMA平台和故障树分析工具XFTA实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证框架的构建。最后给出了民用飞机系统中的机轮刹车系统设计模型的例子进行实例验证分析。实验结果表明,提出的嵌入式系统设计模型的安全性分析与验证方法是具有代表性和可执行性的。

中文地名地址成分信息识别

在随着人工智能的快速发展和大数据时代的到来,如何在大量的数据中快速的并准确的获取我们所有需要的数据成为了现在计算机技术发展的重要方向,由于中文地名的复杂性对当前的地名地址识别工作起到了较大的困扰。本文利用基于深度学习的模型对中文机构名的识别和匹配进行研究,先通过CRF++训练分词模型,然后通过有限状态机模型结合的状态转移函数,对分词后的地址进行识别,能够准确地对地名地址进行识别,研究结果有很大的现实意义。

运维系统工作流引擎的设计与实现

在工作流管理联盟给出的工作流参考模型中,工作流引擎是参考模型的核心,是任务调度器和资源分配器。文中将FSM(有限状态机)的理念应用于引擎,设计了一个工作流引擎,详细描述了工作流参考模型、有限状态机模型、引擎的调度以及3层B/S模式。最后,采用J2EE技术对工作流引擎进行了实现,并成功地将工作流引擎在某企业运维系统中加以应用,取得了良好的效果。

基于HART6的智能压力变送器设计

作为一种现场总线,HART协议及相关设备被广泛地应用在工业过程控制系统中。HART协议自身也在不断发展,特别是第6版规范的提出,推动了HART的系统整合应用。针对压力类仪表,采用自主的软件状态机模型技术,设计了满足HART6规范要求的智能压力变送器,并实现对压力族命令的支持。

微小气动机器人移动FSM建模与控制

根据仿生尺蠖运动机理研制了一种用于人体腔道微创诊查的微小机器人系统,该机器人系统由前支撑单元、后支撑单元和具有3个气室的橡胶驱动器三部分组成。根据微型机器人的本体结构分析了机器人的移动控制原理,给出了在一个运动循环周期内机器人移动一个步距的运动状态和控制时序。阐述了有限状态机原理,并基于有限状态机原理建立了该机器人移动状态的有限状态机模型。在一个运动周期内移动机器人的运动状态可细分为6个状态过程,通过分析该机器人系统一个运动循环周期内各种运动状态和各状态之间的转换的关系,编制了相应的仿真算法,并通过该实验验证了该仿真算法的可行性和模型的正确性,研究结果表明基于有限状态机模型的控制算法可实现该微小机器人移动的有效控制。