基于有限状态自动机的车道变换模型

为了解决车道变换模型中采用Gipps换道框架计算效率不高的问题,提出了一种车辆行驶的有限状态自动机框架,该框架能够容纳选择性换道和强制性换道,使驾驶员从当前状态出发进行局部决策。同时提出了基于临界距离的强制性换道需求产生条件和基于前方交通状态的选择性换道需求产生条件,推导了基于前后临界空当的换道安全条件,开发了交通仿真软件,并在二车道道路上对模型进行了验证。结果表明:该模型能够再现真实的交通流宏观特性和换道行为微观特性。

概率有限状态自动机的代数性质

利用矩阵、同态、同构、同余等代数工具研究概率有限状态自动机的代数性质.首先定义了输入集上两个字符串同余的概念,并利用概率转移矩阵给出2个字符串同余的一些等价刻画.进而提出概率有限状态自动机同态和同构的概念,并给出了概率有限状态自动机同态定理.证明了2个概率有限状态自动机同构的充要条件是它们的概率转移矩阵可以通过第1种行列初等变换相互转化;同时提出了2个概率有限状态自动机积与和的概念,并得到了积自动机、和自动机的同态关系.最后将模糊自动机中交换的概念引入到概率有限状态自动机中,并利用概率转移矩阵给出了此类自动机交换的一些等价刻画以及和自动机、积自动机交换的充要条件.

BPEL中基于有限状态自动机的Web服务自动组合

提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统.

基于有限状态自动机的服务组合模型

分析了目前服务计算的研究现状和存在的问题,在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA(Finite State Automata with condition),并给出了基于cFSA的服务理论模型.在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型,并给出了该模型的代数性质和实现方法.

有限状态自动机辅助的行人导航状态匹配算法

行人导航状态的自动识别是行人导航研究的一个难点问题,对提升行人导航软件服务的精准反馈与改善导航性能至关重要,此方面已有的研究工作很少。本文提出了一种基于有限状态自动机的行人导航状态匹配算法,其核心思想是在识别行人动作基础上匹配行人当前导航状态。利用谷歌眼镜及智能手机采集的多种传感器数据对行人动作进行识别,得到其动作特征参数;然后将行人导航状态分为熟悉、陌生及迷路3类,根据有限状态自动机理论建立状态转移模型,设计基于该模型的行人导航状态匹配算法;最后,实现状态匹配算法,通过试验对该算法的有效性进行验证。试验结果表明,该算法能够较好地识别行人导航过程中的状态转移,其中对熟悉向陌生状态转移识别准确度较高,对迷路状态识别准确度达到90%。

基于确定有限状态自动机的改进多模式匹配算法研究

针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别适合在大字符集文本串中查找小字符集模式串。将该改进多模式匹配算法应用到Snort入侵检测过程中,针对处理结果进行科学评价。通过实例的应用,验证了该改进算法的可行性和高效性。

基于有限状态自动机的构件化软件集成测试方法

构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试?在观测构造理论基础上构造了一种基于有限状态自动机,并可验证构件化软件行为的测试方法。通过实验验证了其有效性。

基于有限状态自动机的绿通车辆驾驶室避让控制

在高速公路绿通车道检测过程中,为了避免射线对驾驶员身体造成伤害,需要对车辆的驾驶室进行避让。本文提出了一种基于有限状态自动机的绿通车辆驾驶室避让控制方法。首先在对车辆通过绿通车道时的状态进行分析的基础上,建立了车辆驾驶室避让的自动状态机模型;然后根据该模型编制了相应的控制程序,对该状态机模型进行了仿真验证和考核;最后对绿通车辆大量的实测数据进行分析。结果表明:基于有限状态自动机的驾驶室避让控制方法能够准确有效地实现驾驶室避让控制,有效地剔除非车辆通行所导致的误动作。

基于有限状态自动机的新产品市场成长研究

消费者对新产品的持续性动态采用过程可以看作有限状态自动机的状态转移(待购状态、在购状态、休眠状态).在综合大众传播、口碑效应、首次购买、重复购买、顾客流失、以及季节性扰动等因素的情况下,运用有限状态自动机构建出符合动态采用模式的市场成长模型.此模型更具综合性和精确性,不但可以涵盖经典的Bass模型和后续发展的服务增长模型与尝试—重购模型,还可以推断出以往难以估计的重购系数和流失系数.实证检验快消品、耐用品和服务等品类数据,结论表明新模型比现有三种模型具有更好拟合性,对未来销售的预测力也更高.该模型有利于深入了解新产品在社会系统中一般性的扩散和成长规律.

基金会现场总线功能块的有限状态自动机模型

功能块是一种面向工业现场的智能化控制模块。首先 ,针对基金会现场总线功能块建立了描述其内部行为逻辑的有限状态自动机模型 ;其次 ,由功能块的自动机模型构成基于功能块的控制应用的自动机模型。同时 ,建立了反映功能块应用时间特性的功能块调度的时间自动机模型 ;最后 ,以一个 PID回路的自动机模型模拟了该回路的级连初始化过程。所建的功能块及其应用模型为进一步分析功能块及其应用奠定了基础。

基于有限状态自动机的Web服务组合(英文)

Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要。结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划。同时讨论了算法的复杂性。

基于有限状态自动机的传感器管理方法

传感器管理是多传感器融合系统的重要组成部分。针对目前传感器出现故障时仍然缺乏对传感器资源管理的有效方法,提出一种基于有限状态自动机的传感器管理方法。首先,建立传感器管理控制策略的有限状态自动机模型,通过对可控制事件的非使能设定,描述不同控制策略;提出语言测度参数的递归估计方法与停止规则,并根据有限状态自动机模型产生语言的测度获得各种传感器控制策略的性能指标。实例分析结果表明:利用有限状态自动机模型能够辅助设计传感器故障控制策略,根据语言测度可以正确评价传感器控制策略。

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

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

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

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

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

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

基于Trie树和有限状态自动机的中文地址解析模型

目前,无论是在研究或者是商业领域中,中文地址解析都没有一个成熟的模型结果。要素识别是地址解析的关键技术,传统的地址要素识别是基于特征词和字典匹配的方法,难以解决地址命名的多样性问题。利用自然语言处理技术,根据Trie树模型对行政区域寻址的方法和有限状态自动机模型对非规范地址的要素提取方法,本文提出T-FA模型对地址进行分级划分。其中,采用隐马尔可夫模型的切词方法和最长公共子序列算法,可以解决地址要素识别的模糊化搜索。T-FA模型具有良好的泛化能力,在批量处理地址时具有很好的通用效果,能比较有效地解决中文地址多样化的解析难题。

有限状态自动机及在字符串搜索中的应用

有限状态自动机是计算机科学的重要基石,对有限自动机及其应用做了讨论,特别是应用有限自动机描述了简单模式匹配算法及K.M.P.算法,并对K.M.P.算法的时间复杂度进行了较详细的分析。为了应用有限状态自动机解决实际问题,对有限状态自动机的存储结构做了分析,给出了一种高效的有限状态自动机的存储表示,基于这种存储表示,应用确定有限状态自动机可以建立一种效率高于K.M.P.算法的模式匹配算法。使用有限状态自动机建立的算法简单、易懂,且高效,对学生理解掌握有限状态自动机有极大的帮助。

基于有限状态自动机提取不规范表结构Web信息

大量的不规范表结构信息是当前Web信息提取所必须解决的问题.在现有方法基础上,给出了归纳学习相邻属性间上下文规则集算法,提出了以Web页为粒度的属性转换机和有限状态自动机包装器概念,最后介绍了采用有限状态自动机包装器提取不规范表结构Web信息的算法.

有限状态自动机在助力器检测设备中的应用

针对目前我国真空助力器检测设备的落后现状,采用有限状态自动机与现代控制技术开发了一种新型的汽车真空助力器设备的微机检测系统;通过对检测设备整个系统和各个分系统的动态行为分析,建立整个系统和各个分系统的状态机和子状态机并依据此模型开发出检测系统主控软件;应用结果表明,利用该方案设计的检测主控软件,增强了系统的可靠性与稳定性;软件结构清晰,易于维护和扩展。

一种新的确定型有限自动机状态表示及压缩

针对传统DFA存在时间复杂度和空间复杂度高的问题,提出了一种新的DFA状态表示和字符-状态压缩方案。通过对传统DFA状态转换的观察发现,对于一个给定的输入来说,可以仅存储相邻状态之间的差异,从而得到一种新的DFA状态表示N-DFA;对每个大小不固定的状态设置一个状态指针来有效地减少每个指针所需要的比特数,从而得到一种基于输入字符的字符-状态压缩算法C-S;把N-DFA和C-S有效地集成在一起,进一步减少内存。实验结果表明,提出的N-DFA和C-S集成方案相比于传统的DFA和其他改进DFA方案,可以获得更好的内存压缩和加速性能。