基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

最优状态编码研究

探讨了状态机电路最优状态编码的问题。研究了状态编码的成本及寄存器最优、组合逻辑最优之间的关系，介绍了3种常用的编码方法。通过实验分析差异。     

AOP及其在状态机工作流中的应用

面向切面编程(Aspect-Oriented Programming,简称AOP)作为一种新的编程技术正日益引起人们的关注.文章介绍了AOP产生背景和理论价值,并结合作者所设计的状态机工作流框架,详细讨论了如何通过在该框架中引入AOP机制来克服纯面向对象编程的不足,从中分析了AOP的优势和应用价值,最后对AOP和OOP的关系进行了讨论.     

基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

程控滤波器中的接口和时钟设计

在基于MAX262可编程芯片的程控滤波器设计中,为提高滤波器的滤波性能,需要提供一组可控的时钟。本文全面阐述了该系统的系统组成、硬件构成和软件设计。重点介绍一种程控滤波器时钟的设计方法和人机接口。     

某煤油厂生产作业控制系统

本文目的在于探讨采用计算机进行实时优化调度，用以取代传统的人工调度方法，本文着重研究生产作业控制系统的一些设计思想和方法；利用有限状态机原理，对由生产部门反馈回来的实际生产数据进行状态分析，并做出调整决策；利用模糊控制等方法，确定生产调整值；利用多目标规划法，优化生产作业方案，目前已实现了生产作业控制系统是一个人－机系统。     

短时交通流预测FSMSVR模型

针对城市道路短时交通流的复杂非线性特点和以往的预测仅考虑典型交通条件（无交通事故等突发事件）的现状,结合交通流的特征,提出了一种有限状态机支持向量回归模型（finite state machine of support vector regression model,FSMSVR）的短时交通流预测机制. 通过线性回归算法和指数平滑算法划分交通流状态,根据各状态特点结合支持向量回归算法建立有限状态机工作机制,实现涵盖典型和非典型交通条件的短时交通流预测. 通过实验例证,对比了FSMSVR模型和传统SVR模型对城市道路6min交通流的预测,研究结果表明,该预测机制能够提高预测精确度,在非典型条件下有着较好的预测表现.     

Fuzzy有限状态机之半群

利用代数手段讨论Fuzzy有限状态机的同余问题,由Fuzzy变换半群的关系,得到了Fuzzy有限状态机中的两种同余关系和相关结果。     

一种基于状态机的总线桥设计

随着半导体工艺技术的飞速发展,系统芯片SOC正逐渐成为集成电路设计中的主流发展趋势,基于IP重用的设计方法是提高SOC设计效率的有效途径。SOC设计通常采用层次化片上总线的体系结构,不同的IP集成在不同类型的总线上。为了实现SOC中集成在不同总线上的IP之间进行有效通信,可以采用设计总线桥的方法。文章提出了一种基于状态机的总线桥设计方法,设计结果通过了RTL功能验证。     

基于有限状态机的呼叫中心平台设计

文章介绍了一种面向社区服务的呼叫中心平台,其核心模块是基于有限状态机设计而成,加入动作码的设计,具有流程控制简明清晰、运行平台稳定可靠的特点。在此基础上,给出了有限状态机的定义以及其在呼叫中心平台中的具体实现,设计一个VoiceXML解析器,并对队列管理器的工作原理以及VoiceXML的相关技术进行了分析介绍。