手机游戏中NPC协同处理能力的研究

FSM技术的引入提高了游戏中NPC的智能化程度.从一定程度上满足了用户的需求.但是NPC之间并没有协同处理能力,这一点极大地降低了游戏的可玩性.针对NPC的协同处理能力问题,提出了一种基于FSM的协同处理能力的算法.该算法增加了NPC之间的协同处理功能,有效地解决了NPC协同作战的问题,提高了游戏的可玩性,并从设计和时间上证明了该算法的可行性.     

UML状态机视图的RSL形式描述

使用RAISE规范语言RSL给出了UML状态机视图的形式描述.通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性.最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析.     

VXI总线从模块时序控制器的VHDL语言设计

介绍了VXI总线从模块时序控制器的动作过程及其特点,并基于VHDL硬件描述语言,用异步MEALY状态机的方法进行VXI总线寄存器基接口的时序控制器的设计.     

文法推断网络协议状态机*

针对现有正则的正负推断(regular positive and negative inference,RPNI)算法的局限性,提出一种通过标记前缀树接受器中的状态,以差异化的状态标记方法防止状态的过度融合改进的算法——改进的RPNI算法(improved RPNI,IRPNI)。该算法从网络数据流量中导出协议规范,并将该规范表示为确定性有限自动机(definite finite automata,DFA)模型;根据网路协议特性,把启发式的差异化的状态标记算法嵌入该算法中,使得状态融合结果体现网络协议的结构特征。实验证明IRPNI算法更有助于推断出更一般化的网络协议状态机。     

基于飞渡电容技术和有限状态机的应急灯电池管理系统

设计了基于飞渡电容同步采样测量技术、有限状态机的LED应急灯电池管理系统,以满足突发状况时对LED应急灯电池管理系统的需求.给出了实现方法,通过实时数据采集网络,充、放电控制,系统低电压检测自关断保护机制,实现了对应急灯供电电池组的数据准确采集与应对,充、放电管理及保护功能.     

从形式化规范自动生成系统级状态机

形式化方法能精确、无二义地描述软件规范,但其可读性、可理解性差以及缺乏有效的自动测试工具.鉴于此,提出一种新的方法将支持面向对象开发的形式化语言所描述的软件规范自动地转化为系统级状态机,从而改善其可读性与可理解性.实际应用表明,这种方法可以提高形式化规范的可读性与可理解性.     

电控摩托车发动机工况判断和转换策略仿真

基于有限状态机理论,分析了电控摩托车发动机的工况划分依据及成立的条件,建立了工况判别和转换策略模型.利用MATLAB软件中的Simulink和Stateflow工具箱,根据发动机实际运行条件对工况判别和转换进行了仿真研究.仿真结果表明工况判断和转换策略模型正确.     

Java中空指针引用故障的静态检测方法

空指针引用是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态方法测试耗时又耗力且很难达到全面覆盖的效果。该文介绍了一种针对空指针引用故障的静态分析方法,将空指针引用问题抽象为一类故障模型,并以故障模式状态机来形式化描述此类故障模型,然后根据故障状态机的创建条件及待检测代码的语义信息确定是否创建该类型的状态机,并将创建的状态机实例置于控制流图入口节点,根据数据流分析的结果对故障状态进行迭代以检测空指针引用问题。该方法已在缺陷检测系统(defect testing system,DTS)中应用,对Robocode等工程的检测结果证明本文方法可以有效地检测出空指针引用问题。     

基于状态机的里程计信号滤波方法

提出并实现了一种基于状态机的里程计信号数字滤波方法。该数字滤波方法以FPGA为硬件基础,对经过阻容滤波和光电耦合器隔离后的里程计信号,进行毛刺信号的检测和滤除;分析了里程计信号存在多次振荡时可能造成亚稳态的原因,针对此情况给出了对亚稳态异常情况的处理方法;给出了滤波状态机的详细设计方法。在仿真环境和试验室环境下,使用方波信号、脉冲信号、三角波信号和高斯信号等对滤波效果和亚稳态异常处理措施进行仿真和测试,结果表明该数字滤波方法可以有效滤除干扰信号、计数结果准确;应用该数字滤波方法的某车载系统进行了跑车实测,结果满足系统要求,证明该方法具备工程上的可行性。     

基于CPLD/FPGA的PCI仲裁器实现

介绍了PCI仲裁的原理,在此基础上描述了基于CPLD/FPGA的一种具有循环优先级通用的PCI仲裁器设计方案,并采用Verilog硬件描述语言设计实现,给出了仿真结果。