有限状态机方法在柴油机建模中的应用

柴油机工作过程的模拟计算是研究柴油机性能的有力工具。将有限状态机理论应用到柴油机的建模过程中能更好地反映其工作过程中的离散特征,也为柴油机建模提供了一种新的思路。     

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

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

有限状态机的设计与优化

在数字系统中,状态机的设计对系统的可靠性、稳定性具有决定性的作用,因此,基于超高速集成电路硬件的有限状态机的设计和优化是完成数字系统设计的重要环节.状态机通常分为米勒型和摩尔型,给出状态机的超高速集成电路硬件描述,讨论状态机的速度优化,并提出一种容错设计方法.     

实时视频SDRAM控制器的FPGA设计与实现

描述了一种1024×768高分辨率实时视频图像数据处理的方法。由于高分辨率的视频流数据量大,又要进行实时显示,对于这样大的数据量必定要求大容量存储器来进行缓存;SDRAM存储量大,价格低廉,非常适于本系统。分析了设计中所用的SDRAM性能、特点,给出了SDRAM初始化方式及其相应的模式设置值,并根据本设计的实际情况对SDRAM状态机进行了简化,给出了一种相对容易实现的SDRAM状态机。为了实现快速实时的视频传输数据,使用了两片SDRAM进行读写切换,以写满写SDRAM为切换的标志,这样保证图像数据实时显示。并在相应的硬件电路上做了彩条实验,证明控制器操作的可行性。     

基于Spartan II XC2S100的I2C总线通信

介绍了I²C总线协议及基于FPGA芯片的I²C总线接口结构框图.提出了复杂时序电路状态机嵌套的设计思想，并给出了基于Verilog HDL的I²C总线接口电路的硬件描述.在ISE 6.1i平台下结合ModelSim SE 5.7进行了设计仿真，实现了XC2S100对I²C总线器件的读写操作.     

客户端无线事务协议分析、设计与实现

研究无线应用协议(WAP)栈中客户端无线事务协议(WTP)的功能，提出了一种基于WIN32环境的设计和实现方案，并指出了在设计和实现过程中涉及到的关键技术。在计算机上模拟调试和下载到移动终端实地调试结果表明：软件功能达到预期设计目标，支持WTP协议规范中的3类事务，并能进行正常通信，软件运行稳定。该设计方案为基于WIN32环境下的协议实现方法提供了一种途径和参考。     

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

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

基于数据流的组件测试

用组件状态机为组件的行为建模,根据组件状态机中状态、迁移和迁移的守卫条件之间的控制和数据关系,设计了组件状态机到组件流图的转换算法;提出了一种基于数据流的组件测试方法。按照全使用数据流测试准则,自动生成组件流图的定义－使用路径集。     

混合驱动踝足假肢阻抗控制方法

本文建立并分析了一种主被动混合驱动踝足假肢动力学模型,提出了一种基于步态有限状态机阻抗规划和前馈补偿力内环的实时阻抗控制算法。为了检验该控制方法的有效性,建立了假肢的多体动力学模型和阻抗控制器模型,并进行了联合仿真研究。研究结果表明,该算法能够有效地控制动力踝足假肢关节完成平地步行,并实现步态中的关节变阻抗行为。该控制算法改善了主被动混合驱动踝足假肢控制的可控性,提高了关节阻抗的控制性能。     

基于FPGA的Huffman编码器的设计

针对图像编码压缩的问题,提出了一种基于FPGA的Huffman编码.仿真结果表明该编码方法的压缩率非常明显,一个128 bit的数据最终可压缩至29 bit,这样对于原数据的存贮及传输所要处理的数据量就减小了很多,提高了存储和传输的效率.