基于DFA复合式Agent模型的设计与实现

针对机器人团队协作检测与跟踪动态目标的需要,提出1种基于有限状态自动机(DFA)的复合式Agent模型。通过结合有限状态自动机的行为状态模型,对复合式Agent模型进行改进,在固定路线的动态目标跟踪实验中,对改进前后的Agent模型实际实验数据进行比较,并将该模型应用于基于区域的多机器人多目标跟踪实验中。结果表明:改进后的Agent模型通过有限状态自动机中的状态抽象,不仅从目标检测与跟踪的角度提高了Agent个体性能,还从社会的角度,提高了群体团队的协作性能;提出的模型通过行为状态模型将动作、决策等与环境信息进行了有效的分离,从而具有较好的可移植性和高扩展性;改进后的Agent模型跟踪偏差期望值与样本方差均降为改进前的一半,为实时的目标协作检测与跟踪提供了有效途径。     

消除EFSM中状态迁移不确定的方法

扩展有限状态机(EFSM)模型在有限状态机(FSM)模型的基础上进行了扩展,通过EFSM模型,可以更加精确的描述软件系统的行为。本文将初始的不确定的扩展有限状态机转换成确定的扩展有限状态机,解决了状态迁移路径不可执行的问题。     

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

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

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

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

化工过程仿真培训系统的单元过程多模型集成

本文提出了化工过程仿真培训系统的单元过程多模型集成方法,用有限状态自动机控制的集成多模型描述方法,描述了化工过程仿真培训系统的单元过程模型。进而讨论了对集成的多模型进行仿真的方法,提出了状态转换的监测与协调算法。把引发状态转换的事件分为四类：数据通讯、教师台操作等系统事件;外部操作;发生时间可预先确定的显式事件;由工艺参数和／或控制信号的变化引发的,发生时间不能预先确定的隐式事件。分别讨论各类事件在仿真中的处理方法。     

重写技术在面向对象程序维护中的应用

在面向对象程序的系统中,如何有效地实现程序的测试和维护是软件工程研究所关注的和比较难以解决的问题．结合面向对象程序设计的思想和重写技术的应用,提出了程序重写技术的基本思想及其框架结构,该模型在借鉴了抽象的重写系统和重写逻辑的基础上,构造了面向对象程序的重写理论,并定义了重写系统的模型．在该模型中,通过研究并定义对象行为的三种状态（即初态,中态,终态）变换,结合实际可能使用的重写规则,可将对程序行为的描述重写成所包含对象状态变换的描述,进而实现用对象运行状态的范式形式来描述程序行为的目的．在严格地定义了相关概念后,给出了该模型的语义解释及其在程序测试和维护中的应用．     

CFSM模型的有限自动机语义

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

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

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

基于FSA的模型检测算法研究

自动机就是描述系统行为的模型,通过它可以检测出系统实际工作时发生的状态,经过反复测试,诊断,以达到理想的模型。在基于自动机的模型检测中,前提是需要把非确定性FSA转化为确定性FSA,本文给出了非确定性自动机转换为确定性自动机的算法,最后分析该算法。     

有限状态多期模型下的最小κ熵等价鞅测度期权定价

本文用一个纯跳的随机过程来描述标的资产价格的动态性,称为有限状态多期模型。考虑只有一个标的资产的期权定价模型,给出其最小κ熵等价鞅测度,在此基础上采用Monte Carlo模拟欧式期权定价MCMEM(κ)方法,分别以虚拟Black-Scholes世界中欧式期权价格和现实金融市场中的麦当劳股票期权价格为例,对MCMEM(κ)和Black-Scholes公式等其他定价方法进行比较,验证了MCMEM(κ)的可行性。     

非确定部分有限状态机的一种新的一致性关系及其测试

在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.     

基于协议分析状态机的入侵检测系统

协议分析状态机是提高协议分析正确性的重要保证。将其应用于入侵检测系统是一个新的研究应用方向。协议的形式化描述工具有穷状态自动机、通信有限状态自动机。在此基础上重点讨论了使用协议状态机分析入侵事件的相关算法及流程，设计了基于协议分析状态机的入侵检测系统的总体框架，提出了该状态机的面向对象的模型，使该系统具有良好的可扩展性和通用性。测试结果验证了这一思想的正确性和有效性。     

CAN总线协议实现方法研究

在CAN总线通信网络的建设中，CAN总线控制器实现了CAN总线协议的大部分内容．首先介绍了CAN总线的概况，简单介绍了CAN总协议的内容，详细介绍了有限状态自动机的组成特点以及利用有限状态自动机实现CAN总线协议的方法．最后根据有限状态自动机的设计要求，详细介绍了CAN节点的各种状态以及各个状态之间的转换关系．     

基于ANSYS的含缺陷压电陶瓷材料有限元仿真分析

利用Voronoi图增量式外存算法,在指定"代表性体积单元"(RVE)中完成海量三维压电陶瓷微观组织结构设计仿真.考虑实际压电陶瓷中缺陷可能的形态、尺寸、空间取向分布等几何参数,在ANSYS软件环境下用参数化程序设计语言APDL编程建立含缺陷压电陶瓷有限元仿真模型,实现网格的合理划分,实现三维含缺陷压电陶瓷微观组织结构加载的自动化.     

基于组件的软件系统的接口测试

软件测试在整个软件开发过程中占有非常重要的地位，现代软件系统越来越复杂，基于组件的软件工程方法为开发者提供了一个设计软件的方法。利用有限状态自动机可以描述组件各状态及状态间转换，程序执行状态图（PESC）及各种覆盖准则可用来描述程序执行状态及其变化，对于展开的状态图，由它来产生一棵测试树，该树包含了所有的测试路径。     

计算结构稳态强迫振动的有限元传递矩阵法

对结构稳态强迫振动的有限元传递矩阵法进行了研究 .建立了结构在简谐激励力作用下稳态强迫振动的有限元运动方程 ,将普通有限元传递矩阵法中状态向量从左至右的传递改变为子结构界面刚度方程从左至右的传递 ,从而有效地减小了因矩阵多次相乘而产生的舍入误差积累 ,且克服了普通有限元传递矩阵法仅适用于链式结构 ,要求所有子结构边界自由度数相等的限制 数值算例表明该方法具有较高的计算精确度及较广泛的适用范围     

基于状态机的汽车电动滑移门控制逻辑分析

以某特定车型作为研究分析对象,开展电动滑移门操控和系统响应测试,总结归纳了电动滑移门系统在操作触发下的动作响应。将电动滑移门运动状态划分为:完全关闭、完全开启、开门运动、关门运动和运动停止五种状态,基于有限状态机建立电动滑移门各状态间的逻辑关系和状态迁移引发事件、条件,搭建电动滑移门控制逻辑有限状态机模型仿真环境。通过比较控制逻辑仿真和测试试验结果表明,基于有限状态机建立的控制逻辑模型与实车电动滑移门系统测试试验结果相一致,可正确反映电动滑移门在实际使用中的操控逻辑和响应。     

钢筋混凝土结构裂缝损伤状态模型建模方法与分析

提出了一种钢筋混凝土(RC)结构裂缝损伤状态模型的有限元建模方法.基于弥散裂缝数值模型,采用ANSYS中APDL实体建模技术,通过调控单元应力应变关系矩阵来模拟裂缝开裂后的力学行为,建立钢筋混凝土结构在含有稳定裂缝损伤情况下的状态模型.作为数值算例,分析了钢筋混凝土简支梁在不同开裂状态、不同开裂位置和多种阻尼工况下的静动力特性.结果表明,混凝土首次开裂对结构静动力特性影响最大,已有裂缝的张开闭合对结构的影响较小.简支梁的不利开裂位置集中在荷载响应较大的支座和跨中附近,以支座处最为不利.阻尼削弱钢筋混凝土梁的动态响应,对结构影响机理复杂,非线性明显.上述分析验证了该裂缝损伤状态模型建模方法的合理性和有效性.     

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

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

单向应力状态点分析在工程测试中的应用研究

应用材料的应力状态分析理论,在几何形状复杂的工程构件中找到一些靠近棱边的特殊位置点,其在不受表面力时处于单向应力状态,且主应力方向与棱边平行,因此可以方便地测量出这些点的应力应变。在此基础上,将测试结果与有限元仿真结果进行对比分析,有助于对理论模型的有效性和可靠性进行判定。