基于UML状态机的LCA快速查找算法

UML规范描述的公共祖先LCA(The least common ancestor)查找算法采用的是递归试探法,而递归操作在UML状态机的多重嵌套环境下,运算效率较低.针对这个问题,提出了一种快速搜索LCA的算法.该算法首先根据状态树构造UML状态机的拓扑码,然后通过源状态和目的状态的拓扑信息计算嵌套层次,查找LCA时,只须按照嵌套层次数目退出,便可快速回溯到LCA.实验结果表明,快速查找算法降低了运算的时间复杂度,在UML状态机的多重状态嵌套应用场合下,提高了LCA查找的运算效率.     

一种基于有限状态机的分布式框架配置属性校验方法

针对动态配置技术提供灵活方便配置方式的同时有潜在配置错误风险、可能导致系统崩溃、降低软件服务质量的问题,提出了一种基于有限状态机的分布式框架动态配置属性校验方法.该方法利用数据类型间的转换进行数据类型校验,运用有限状态机的状态转换逻辑实现多种数据类型之间的转换,并以Spring Cloud的动态配置为例实现了一个分布式...     

汽车制动防抱系统的混合建模与仿真研究

在分析汽车制动防抱系统(ABS)工作特点的基础上,指出汽车ABS是由连续系统与离散系统组成的混合系统,进而提出基于有限状态机与Matlab/Simulink的ABS混合建模方法。利用混合建模方法建立了某轻型客车的ABS仿真模型并进行了低附着系数道路条件下的仿真研究,探讨了制动器制动力、电磁阀响应时间和车轮转动惯量对汽车ABS性能的影响。仿真结果表明基于混合建模的ABS仿真系统能很好的模拟汽车ABS的性能;制动器制动力、电磁阀响应时间和车轮转动惯量对ABS制动性能影响的分析为ABS的设计提供了依据。     

教学游戏AIFSM实现策略研究

FSM是游戏中重要的人工智能实现的技术，具有简单，实用，求解能力强，具有计算额外开销小，并且能够与神经元网络，模糊逻辑混合使用的优点。文章以一个教学游戏为例，说明FSM的实现方法，展望了复杂系统的实现方法。     

基于有限状态机理论的多节机器人运动步态分析

基于蚯蚓生物体运动原理研制了一种新型多节蠕动微小型机器人．机器人由5节铰链式结构组成，其外形直径约6．8mm，长度约110mm．介绍了该类机器人的机体构造和运动原理．在详细阐述有限状态机理论方法的基础上．建立了机器人的运动步态分析数学模型．并进行了单个行进波模式和任意行进波模式下改变机器人运动方向的机器人运动步态仿真分析．结果表明，该方法可用于分析该类机器人运动步态的可行性和所建立模型的正确性．从而为研究该类多节机器人系统的运动步态问题提供了理论依据．     

基于控制流的协议一致性关系测试方法的评述

对一般的控制流测试思想和一些基于ＦＳＭ模型、ＬＴＳ模型的控制流测试方法进行概括和介绍。并介绍了相应的优化技术。     

用基本ASM定义SDL动态语义

提出了用基本ASM(Abstract State Machine)定义SDL(Specisification and Descripiton Language)动态语义的方法框架。由于SDL的复杂性，重点介绍了用ASM模拟SDL状态机交替工作方式，创建agent和procedure实例以及复合状态应用。该方法简化了当前用分布式ASM定义的SDL动态语义方法。     

FPGA实现指纹读取接口UART

在基于FPGA设计的指纹识别模块中,通过在FPGA内部实现的UART接口与指纹传感器AFS8600连接,完成了FPGA对指纹图像的读取。本文用状态机讨论了UART的基本功能。并给出了FPGA与指纹传感器的连接方法以及UART在Quartus II5.0环境中的仿真图像。     

基于SIP的嵌入式VoIP终端的设计与实现

本文在分析了语音通信通常用到的一些重要协议和技术，终端选用Broadcom 1100系列语音通信专用SoC平台，基与VxWorks实时操作系统，采用消息队列机制控制系统事务状态机运作与转换予以实现。经测试，终端实现了RFC3261所规定的基本要求、具有稳定、操作简单等优点，并有良好的互通性。     

Q.931协议的实现技术

用户网络接口是实现ＩＳＤＮ（综合业务数字网）的关键技术之一。介绍了用户网络接口中第三层协议Ｑ９３１，并论述了实现Ｑ９３１协议的关键技术。