CFSM模型的有限自动机语义

研究CFSM模型的自动机语义,提出了一种从CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统,利用自动机的同步性模拟CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对CFSM模型进行分析和验证奠定了基础。     

基于非确定型有限状态自动机的基因逻辑网络模型

阐述近年来基因网络逻辑行为的新模型———有限状态自动机模型,针对该模型的局限性,本文提出了改进,建立非确定型自动机模型,以描述网络行为的非确定型,适应基因网络的异常表达需要.     

一种基于有限运行时间自动机的基因网络模型

阐述了最近几年来国外基因网络系统逻辑行为的研究新进展——基于有限状态自动机模型的方法,针对该方法的局限性,提出了一种基于有限运行时间自动机的基因网络模型,以描述网络行为的时间约束.     

基于时间有限状态自动机的事件重建推理算法

应用时间Mealy型有限状态自动机(TMM)模型进行系统建模及计算机证据的形式化.针对单路推理算法推理时随着搜索路径的延长造成推理效率下降的问题,利用证据的时间先后关系以及推理路径数量发散特性,提出一种双路双向事件重建推理算法以提高推理效率.在8个时间MeaIy有限状态自动机模型上进行了推理验证,实验结果表明该算法推理效率得到了提高.     

基于时间有限状态自动机的事件重建推理算法

应用时间Mealy型有限状态自动机(TMM)模型进行系统建模及计算机证据的形式化。针对单路推理算法推理时随着搜索路径的延长造成推理效率下降的问题,利用证据的时间先后关系以及推理路径数量发散特性,提出一种双路双向事件重建推理算法以提高推理效率。在8个时间Mealy有限状态自动机模型上进行了推理验证,实验结果表明该算法推理效率得到了提高。     

Robocup中角色决策的有限状态自动机模型

从Robocup机器人足球比赛入手,通过分析机器人足球比赛中各机器人的角色特点,提出并建立了机器人足球角色转换的有限状态自动机模型.通过该模型来实现机器人各个角色的动态转换与决策的过程,并将该模型用于实际的比赛中,取得了十分满意的应用效果.     

有限状态模糊思辨逻辑系统及其数学模型

在简单思辨逻辑系统基础上,提出了有限状态模糊思辨逻辑系统,建立了其数学模型。     

有限识别器的状态等价及其性质

讨论有限识别器的状态等价及其性质,在同构意义下,有限识别器都唯一存在一个可分有限识别器与它等价,给出了有限识别器的状态化简和等价类的求法。     

有限状态自动机识别过程的一个图论描述及算法

对于一个给定的有限状态自动机A，总试图通过某种途径来得到A所识别的字（w∈A*）的全体即L（A）。借助图论工具给出了有限状态自动机识别过程中一些关键步骤的详细描述，并在此基础上给出了有限状态自动机识别过程的一个算法。     

程序条件化用于软件模型检测中的状态空间缩减

针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案．以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件，通过分析程序符号化执行语义，借助自动定理证明器，对语句的可达性条件进行逻辑推理，删除那些与性质的可满足性无关的语句，以达到程序精简的目的．理论分析和实验结果表明，条件化可以有效缩减程序状态空间，而且缩减后的程序模型保留了原程序中与所需验证的性质有关的所有信息，满足软件模型检测对状态缩减的安全性要求．     

机器人程序设计中的状态转换方法

为了解决不同应用中机器人的控制程序设计问题,提出了基于状态转换的机器人程序设计方法.通过对有限状态机理论的回顾和引申,对应于机器人的动作变化,给出了基于状态转换方法的半自动X射线晶体角分类机的分类机械手、简易智能车机器人和协调工作的多机械手的状态转换设计实例;结果表明了该方法的可行性和有效性.这种方法可以使机器人的程序设计思路变得简单明了,减轻了设计者的工作强度,易于机器人控制程序的编制.     

Fuzzy有限状态机之半群

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

一种通信有限状态机的被动测试及其错误诊断

针对现有的被动测试方法无法解决嵌入式通信系统的错误检测问题，提出了一种被动测试错误检测方法．该方法在外部通道放置观察者，并使用了全局状态描述系统的当前可能状态，利用了观察到的输入输出信息，同时结合了模型转换推测出系统的状态变迁．基于该检测方法又设计出一种层次化的错误诊断算法，首先记录被动检测过程中系统经历的转换轨迹，用变异分析方法生成候选诊断，然后通过被动观察来降低错误集合的规模，最后使用区分序列和交叉判定进行错误定位．通过一个实际的H．245通信协议的实验表明，所提算法能够在有限观察步骤内检测出被测系统中的错误，并能有效定位检测错误，其回溯算法也可以显著缩短错误症状序列的长度．     

基于VHDL的有限状态机设计

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

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

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

一维随机气候模式及其应用

本文建立了一维随机气候模式,导出了最可几气候态的温度与时间和纬度的关系。并求出了该模式的解析解。说明了气候多平衡态的存在、气候态的演化方向及其突变的可能。     

基于有限状态机的Morse码识别算法的VHDL实现

基于Morse码的基本原理,提出了一种基于有限状态机的Morse码自动识别算法.将电键拍发过程划分为6种状态,利用VHDL硬件描述语言的强大逻辑描述能力,给出了在MAX PlusⅡ开发软件环境下,设计识别Morse码的具体方法和仿真分析结果.算法能根据报务员发报时的码速确定Morse码的判别门限,大大提高了码字识别的准确率.     

一种程序状态监测系统

为了有效地监测程序的运行状态(如变量值、方法调用、程序控制流等),提出了一个通用的程序状态监测系统(PSMS).PSMS可以指定收集何种程序状态信息,保存到信息库中,扩展了通常的断言系统和调试系统,可以在任意文件的任意位置声明断言,提供更多的运行时刻信息.PSMS采用了软件传感器技术来收集程序信息,并设计了一个专用的查询语言来进行状态收集后的分析工作.通过一个简单的计算器程序,演示了PSMS如何有效地监测和收集信息.     

基于扩展有限状态机和断言的总线接口协议测试平台

在SoC设计流程中，传统的仿真验证方法存在可观察及可控制性较差、自动化水平低等缺陷．为此，提出了一种基于扩展有限状态机（EFSM）和断言的SoC接口协议测试平台，该平台是一种自反馈测试平台，它不仅可以自动产生大量符合协议规范的测试激励矢量，而且可以通过对断言统计信息的反馈提供多种偏置选择，从而进一步提高验证的自动化水平．将该平台用于对视频后处理芯片中Wishbone总线接口协议的功能验证当中，验证结果表明，该平台可以缩短仿真验证时间大约55％～65％左右，有效地提高了验证的效率和质量．