基于VoiceXML的呼叫中心的研究和实现

在呼叫中心的建设中，为用户提供更为方便、灵活的接入方式在电子商务迅速发展的时代显得尤为重要。结合实际开发中的经验，介绍了基于VoiceXML的呼叫中心的体系结构及备模块的功能。     

有限状态机建模在嵌入式按键设计中的应用

为了使嵌入式软件代码更加可靠,增强程序的可维护性,将有限状态机理论应用于嵌入式设计中。论述了有限状态机的基本结构和它的基本原理,介绍了有限状态机建模在嵌入式系统中实际应用现状。针对一种实际按键模块的需要,利用有限状态机的嵌入式设计建立了系统模型。采用状态机实现方法编写了按键接口程序,实现了2个按键的状态机模型设计。系统的调试结果验证了模型的正确性和可靠性,具有一定的工程价值。     

基于VHDL的有限状态机设计

以同步模4可逆计数器的VHDL语言设计为例,介绍了VHDL和有限状态机的特点以及基于VHDL的有限状态机设计的方法和过程。     

基于形式活动图的协议一致性测试用例生成方法研究

在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.     

基于形式活动图的协议一致性测试用例生成方法研究

在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.     

几种有限状态机的设计方法及其比较

有限状机（finite statemachine,FSM）ff泛应用于数字系统的控制器设计中。由于设计方法不同,综合出来的电路结构、速度、面积和时延特性都会有很大的差别,甚至某些臃肿的电路还会产生难以预料的问题。文中介绍了状态机的结构、类型并给出了verilog设计有限状态机的不同编码和描述方法。最后介绍了将mealy机转化为高效Moore机的过程和编码方法,设计出一种高效状态机。     

基于LabVIEW状态机的程序设计

使用状态机进行程序设计可以使程序设计更为快捷、简单和高效.论文以LabVIEW为研究平台,详细介绍了状态机模型及其设计的思路,并结合生活实例给出了状态机程序设计的过程.结果表明在程序设计中引入状态机的概念,可使复杂的程序更清晰,程序修改起来更容易.     

有限状态机的VHDL设计

介绍了用VHDL的有限状态机设计方法，该设计不需要进行复杂的状态化简、状态分配、状态编码，输出和激励函数，也不需要画原理图，通过EDA工具就可以完成所有的工作，同时以一个波形发生器的实例设计，说明了设计的特点和优越性，通过仿真波形验证了设计的正确性，实现了基于VHDL的有限状态机现代数字系统设计。     

基于Verilog HDL的有限状态机设计

介绍Verilog硬件描述语言(HDL)历史及其特点,有限状态机(FSM)广泛适用于设计数字系统的控制模块,包括组合逻辑和寄存器逻辑,设计的可综合状态机有多种编码风格,语言描述较为抽象,通过研究总结一般编写状态机的方法、步骤和设计要点来设计一个自动转换量程的频率计控制器并对之进行仿真。     

有限状态机（FSM）的实现

本文主要介绍了IP模块的有限状态机（FSM）的实现。详细说明了有限状态机的状态变迁图和状态机的流程图。同时解释了描述状态／事件／动作／规则的类。     

Fuzzy有限状态机之半群

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

BLP安全模型及其发展

经典的BLP模型是在计算机安全系统中实现多级安全性支持的基础，被视作基本安全公理．BLP模型采用“强制存取控制”和“自主存取控制”来实现其安全性，总结了BLP模型的“公理化描述”、“有限状态机模型描述”和“信息流的格模型描述”三种不同描述方法，分析了其BLP模型目前存在的安全缺陷主要是：安全级定义的不完备性、信息完整性缺陷、时域安全性缺陷和隐通道．在对BLP模型的改进中，影响较大的主要有BLDM与MBLP两种模型，     

基于6Dof坐标模型虚拟智能实体状态变迁初探

虚拟现实技术得到越来越广泛的研究和应用，参与者希望进行更加智能化的人机交互，这对研究者提出了更高的要求。提出了一种基于6自由度坐标模型的虚拟智能实体，利用有限状态机来实现状态变迁，以此来增加整个虚拟现实系统的人-机交互智能特性。     

自动化弹库控制系统时序设计与仿真

针对自动化弹库的结构和功能,确定了弹库系统控制策略和控制体系.基于有限状态机理论并利用MATLAB/Stateflow建立弹库控制系统的层次化仿真模型,对弹药转运过程的时序逻辑进行了设计和仿真.仿真结果表明利用该方法设计的弹库控制系统时序满足系统要求的各项指标,验证了这种设计方法的有效性.     

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

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

基于PMAC的虚拟轴机床数控系统

数控机床可以完成各种复杂形曲面的零件加工.研究了用于固体火箭发动机复杂形药柱整形的虚拟轴机床数控系统,介绍了三杆四自由度虚拟轴机床数控系统的控制原理、硬件组成及软件结构.数控系统以"PC PMAC"为硬件平台、以Windows操作系统为软件平台,构建虚拟轴机床的开放式数控系统,充分利用PMAC的多轴联动控制和快速实时通讯能力以及PC机丰富的软件资源和高效的数据处理能力,实现了虚拟轴机床的人机交互、位置伺服控制和全闭环控制等功能.     

Java虚拟机分析

研究Java平台的核心--虚拟机.为了使Java在不同的平台上顺利运行,研究Java虚拟机(Java virtual machine,简称JVM)的组成及运行机制,为编程实现JVM或向各种平台移植JVM提供参考.通过对Kaffe(一种Java虚拟机的实现)桌面版本的源代码进行分析,得出虚拟机运行的整个流程,并对流程中的关键部分进行深入研究,同时结合Sun的,总结出实现JVM的一些关键步骤,并提出改进JVM运行效率的建议.     

Fuzzy有限自动机语言的运算封闭性

作者已对Fuzzy3型文法与Fuzzy有限态自动机的关系作了详细的研究,本文将在此基础上对Fuzzy有限自动机语言的性质作进一步讨论.证明了Fuzzy有限自动机语言对并、连接(乘积)及闭包运算具有封闭性.     

基于静刚度的变轴数控机床加工误差仿真研究

以变轴数控机床的运动部件--Stewart平台为研究对象,从变形的角度对机床的加工误差进行了分析和研究,得出了静态载荷条件下加工误差的矢量表达式,并对误差进行了预调,建立了相应的预调模型.该方法为从静刚度方面提高机床的加工精度提供了必要的理论依据,且具有通用性.最后给出了仿真实例,仿真结果表明了由于静刚度而导致加工误差的存在性和误差预调的必要性.     

操作系统原理实验教学软环境平台搭建方法

Linux／Unix是目前操作系统原理课程最常用的实例平台,但它和Windows操作系统之间存在共享问题。关系实验室资源的优化配置和利用率。文中阐述了在以Windows为主的教学环境平台不变的情况下,针对多重引导、虚拟机和终端方式的3种环境平台搭建方法,并对3种方案的适用性进行了分析讨论。