基于自动机模型数据关联性能评估算法

提出了一种基于自动机理论的性能评估方法,通过在有限自动机模型中增加描述观测的时间序列,来扩展其对数据关联过程的表达能力;使用时序有限自动机模型来描述关联处理算法的模型;使用带时间属性的字符串表示目标航迹。对数据关联的时序有限自动机模型进行一致性和可达性分析,并在此基础上给出了性能评估算法。实验结果证明该方法可以有效地评价关联算法的性能。     

微制造数控系统的实时有限状态机建模研究

为提高传统有限状态机（FSM）分析微制造数控系统（NCS）实时性特征的能力，提出了一种实时有限状态机（RTFSM）模型.该模型对传统FSM概念进行扩展，通过增加时间属性来描述状态行为的执行时间以及状态间切换所需的时间耗费.考虑到对复杂NCS控制流程进行设计、分析计算量较大，引入图论中的时间约束网络理论，采用经过修正的Floyd算法对模型中各个状态行为开始和结束时间的取值范围进行分析计算，从而实现控制流程的可调度性判定.实例研究表明，实时有限状态机可有效地建立微制造NCS控制流程模型，并降低对控制流程进行可调度性分析的复杂度，适用于NCS实时性研究.     

基于有限状态自动机多模型集成的列车运行过程仿真研究

研究了基于有限状态自动机的多模型集成仿真方法,应用有限状态自动机描述离散事件,构造了抽象概念层的仿真模型并给出其完备性和唯一性的性质．在时间演化模型层集成多个相应的时域模型,提高了模型的表现力．将该方法应用到列车运行过程仿真中,提出了相应的多模型集成仿真模型,仿真结构表明了该方法的有效性．     

一种较少状态数的LR分析器

该文提出了一种新的LR分析器的构造方法,该方法从构造识别活前缀的确定有限状态自动机出发,通过合并有限状态自动机中可合并的等价状态对,对得到的有限状态自动机进行化简,从而得到较少状态数的LR分析表。该构造方法具有与LALR方法相同的语法识别能力并且避免了LALR方法在合并同心项目集时可能出现的归约一归约冲突。结果表明采用该方法构造文法分析表可以在一些情况下减少文法分析表的状态数目。     

情感建模方法研究

针对情感建模难点问题,分析了目前人工情感模型建模的方法,包括OCC模型、智能体情感模型、基于模糊逻辑情感模型等,并对上述模型的应用领域进行分析,提出基于扩展有限状态机(EFSM)建立人工情感模型的方法.该方法通过状态上的变量属性集合V,实现机器人情感变化与转换控制,能够实现准确的情感信息获取、描述及参数化建模,实现多特征融合的情感理论计算.实验验证了EFSM情感模型的有效性.     

砌体墙板状态数值模型及其破坏模式预测

为了更加准确地预测砌体墙板的破坏模式,本文进一步发展了砌体墙板状态离散级数型细胞自动机模型,提出了细胞自动机模型中状态值的两种新的计算方法,一是基于砌体墙板有限元分析的物理细胞自动机模型;二是基于边界约束对板内区域效应的解析型细胞自动机模型．然后,对两个新的状态数值模型与原细胞自动机状态数值模型进行了举例验证．继而,提出了相对变异系数的概念,并将其融入了离散级数型和解析型细胞自动机模型．通过对相对变异系数适用性的探讨,给出了基于一块试验墙板、预测另一墙板可能出现的一组破坏模式的初级方法．与试验记录对比表明,该方法的预测结果可靠．     

基于有限状态机的一致性测试模型

基于有限状态机测试方法是进行协议一致性测试、图形用户界面测试和面向对象测试的重要方法之一。首先给出了用于有限状态机一致性测试的定义和性质，接着讨论了基于有限状态机一致性测试的概念和步骤，最后提出了基于有限状态机及扩展的有限状态机的一致性测试模型。     

基于LTL的UML状态图测试用例生成方法

测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于UML状态模型图的面向对象类级测试用例生成方法,将UML状态图转换成相应的事件确定有限状态机,通过线性时序逻辑的模型检测技术,验证有限状态机模型的正确性,实验结果表明,该方法能够在不降低迁移覆盖准则的情况下,生成数量少、针对性强的测试用例集。     

汽车高速换道避让路径规划及离散滑模跟踪控制

针对汽车高速换道避让路径规划和跟踪控制问题,提出了一种基于五次多项式曲线的汽车高速换道避让路径规划方法和基于离散滑模的汽车高速换道避让路径跟踪控制策略。首先,基于五次多项式曲线规划汽车高速换道避让路径,并通过查表方式间接建立汽车高速换道避让路径曲率最大值、汽车高速换道避让路径曲率变化率最大值与五次多项式曲线待定系数的映射关系,以使汽车高速换道避让路径满足乘坐舒适性和安全性需求。为了快速、稳定地跟踪基于五次多项式曲线规划的汽车高速换道避让路径,融合汽车运动学模型和线性二自由度汽车动力学模型建立了包含加性不确定性的线性离散控制模型,并基于干扰观测器的离散滑模控制理论设计了汽车高速换道避让路径跟踪控制策略。最后,利用车辆动力学软件建立了模型在环仿真系统,对本文汽车高速换道避让路径规划方法和汽车高速换道避让路径跟踪控制策略的可行性和有效性进行了仿真验证。     

用细胞自动机实现Logistic模型

对应用于模拟肿瘤生长的Logistic模型进行了分析和研究,设计了基于一维细胞自动机的肿瘤动态生长模型. 以连续Logistic模型为基础,导出模型的离散差分形式;在前人工作的基础上,设计出基于细胞自动机的离散动态计算机生长模型,并设计出人工细胞自动机状态随机演化规则;对基于一维人工细胞自动机的肿瘤动态生长模型进行了数值仿真实验. 理论分析和结果表明细胞自动机模型仿真曲线与连续Logistic模型两者相互吻合.     

基于RLS重型商用车驾驶室质量估计方法研究

为了实时获取商用车驾驶室悬置系统主动控制的重要参数，本文以某国产重型商用车作为研究对象，对重型商用车驾驶室质量估计方法进行研究。提出一种通过车架和驾驶室2组加速度信号，实时估计驾驶室质量的方法，在Matlab/Simulink环境下，对商用车驾驶室建立三自由度1/4驾驶室激励模型，基于递推最小二乘算法(recursive least squares, RLS)估计质量，并用C级路面仿真验证其正确性，同时，为验证质量估计算法的可行性与准确性，采用Matlab/Simulink进行仿真和实车试验。试验结果表明，在仿真状态下，本文所估计的驾驶室质量，在0.5 s内可迅速趋于参考值，能够准确、实时的估计驾驶室质量，估计误差集中在±20 kg范围内；在车辆起步工况下，最大误差为25.9%,但是随着车辆的平稳运行，误差稳定在10%以内，具有较好的收敛性。该研究为商用车驾驶室质量估计提出了新方法。     

一种改进的遗传算法进化有限状态机

提出了一种改进的遗传算法,针对有限状态机中输出矢量与状态转移相关的特性,将配置有限状态机的染色体分解为状态转移基因和输出矢量基因进行分阶段的进化实验。实验结果表明同传统的进化算法相比,这种分阶段进化的遗传算法降低了有限状态机进化过程中的复杂度,有效地提高了进化性能。     

基于有限状态机的指针解引用静态检测方法

为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。     

一种基于有限状态机的主控程序状态转移模型

自动化程度高的机器设备在运行过程中接收到外部信号或指令时可作出实时反应,但其复杂的控制程序因缺乏理论模型而难以设计。通过对有限状态机原理进行数学分析,应用有限状态机原理,设计出用状态转移图表示的主控程序状态转移模型。其特点是在机器设备的不同运行阶段,与该阶段对应的主控程序状态拥有控制主导权。此模型成功应用于"全自动编织袋套袋机研发项目"PLC主控程序设计,且此模型设计机器自动化主控程序,可以大幅提高机器设备的自动化程度与运作稳定性,状态的转移与条件的关系更清晰。     

基于扩展有限状态机的类测试用例生成方法

为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,利用扩展的有限状态机模型(EF-SM)和数据流分析方法,对类、类的消息传递和类状态变化进行了分析和研究,提出了一种基于扩展有限状态机模型的类测试用例集的生成算法.此算法能自动生成满足All_use路径覆盖标准的测试用例集,并能保证测试用例的路径长度最短.     

工程车辆驾驶室声学特性预测研究

建立某型工程车辆驾驶室的结构有限元模型、空腔声学有限元模型。对驾驶室结构和室内空腔声场进行模态分析,得到结构振动特性和声学特性。计算分析驾驶室声一结构耦合模型在特定频率激励下的噪声分布情况,同时考虑吸声材料对驾驶员耳旁声压级值的影响,总结出在新车型开发阶段进行车内噪声预测和控制研究的有效方法。     

GSM MAP协议处理分析

本文对ＧＳＭ ＭＡＰ 的协议处理过程进行了分析,并基于有限状态机的基本理论和方法对ＭＡＰ 协议处理机的形式描述进行了探讨,给出了其处理过程中的基本状态和状态转移的驱动过程。     

确定自动机上的XML数据过滤算法改进

XML数据过滤过程中存在的缓存失效会导致过滤效率的降低,因此研究基于确定有限自动机的XML数据过滤过程中如何减少缓存失效对于改进过滤的性能具有重要意义.对已有的Lazy DFA执行算法进行改进,引入了频繁访问区的概念,对缓存中的状态增加一个状态转换计数器,然后通过设定该计数器的访问阈值对缓存中的数据进行筛选,超过该阈值的状态被确定为频繁访问区中的状态.并通过实验证明该访问机制可以减少自动机中状态转移过程在缓存大量状态中的搜索时间,从而有效地提高过滤和查询的时间性能.     

GSM MAP协议处理分析

本文对ＧＳＭＭＡＰ的协议处理过程进行了分析,并基于有限状态机的基本理论和方法对ＭＡＰ协议处理机的形式描述进行了探讨,给出了其处理过程中的基本状态和状态转移的驱动过程。     

一种航空电子系统安全性需求验证方法

针对航空电子系统安全性评估过程中正确性难以保证的问题,在研究系统安全性模型的基础上,提出了一种基于模型的系统安全性需求描述和验证方法。该方法首先针对系统功能需求、安全性目标和失效状态建立危害用例,提取安全性需求;然后,采用带功能失效的状态机图描述包含安全性需求的系统功能模型,并使用安全扩展层次自动机作为中间状态,通过转换算法实现系统功能模型的形式化描述;最后,通过模型检测实现安全性需求的正确性验证。实例分析表明,该方法能够验证设计的系统功能是否满足安全性属性,提升安全性评估的准确性和效率。