一种基于有穷状态自动机的二维浅海声线追踪方法 被引量：6

1

作者 孙万卿 葛亮 《兵工学报》 EI CAS CSCD 北大核心 2007年第11期1382-1387,共6页

给出了一种二维的浅海声线追踪方法,解决了声线的反射、折射、全反射等问题并快速地找出声线的路径。对于单步的声线追踪,声速剖面假定为水深的函数,利用Snell定律进行单步求算。用有穷状态自动机对浅海的声线追踪建模,给出了浅海声线... 给出了一种二维的浅海声线追踪方法,解决了声线的反射、折射、全反射等问题并快速地找出声线的路径。对于单步的声线追踪,声速剖面假定为水深的函数,利用Snell定律进行单步求算。用有穷状态自动机对浅海的声线追踪建模,给出了浅海声线追踪内在的状态及状态转移分析。同时,给出了本征声线搜取的方法。最后通过对特定声速剖面情况的数值解值和解析解值进行比较,验证了该方法的正确性,并且讨论了应用该方法应该注意的问题和方法中还有待解决的问题。数值仿真实验结果表明,这种方法能够追踪浅海声线路径,其数值解精度达10-4.该方法在匹配场层析、目标跟踪定位和其它领域的射线跟踪有着应用前景。 展开更多

关键词 声学 声线追踪 有穷状态自动机 浅海 本征声线

在线阅读 下载PDF 职称材料

一种基于确定型有穷自动机的动物识别系统的设计方法 被引量：3

2

作者 陈继锋 徐亚妮 沈钧毅 《微电子学与计算机》 CSCD 北大核心 2005年第12期55-58,共4页

提出了一种新的动物识别系统的设计方法。通过对有穷自动机理论与动物识别系统进行分析,建立了一个基于动物特征的确定型有穷自动机的模型.该模型描述了当输入一个动物特征值后,自动机的状态将发生转移,当输入的动物特征值充足时,即可... 提出了一种新的动物识别系统的设计方法。通过对有穷自动机理论与动物识别系统进行分析,建立了一个基于动物特征的确定型有穷自动机的模型.该模型描述了当输入一个动物特征值后,自动机的状态将发生转移,当输入的动物特征值充足时,即可识别出动物的种类.最后,根据这种模型设计出了动物识别系统,并上机进行了实现。 展开更多

关键词 确定型有穷自动机 动物识别 动物特征值

在线阅读 下载PDF 职称材料

基于非确定有穷自动机的网络入侵容忍系统研究 被引量：3

3

作者 张艺濒 谢金晶 《现代电子技术》 2007年第3期65-67,70,共4页

入侵容忍技术是继防火墙、存取控制、入侵检测技术之后的网络信息安全技术。当一个网络系统遭受非法入侵后,入侵容忍系统仍能及时自我诊断、恢复和重构,并能为合法用户提供所需的全部或者降级的服务。本文依据非确定性有穷自动机理论,... 入侵容忍技术是继防火墙、存取控制、入侵检测技术之后的网络信息安全技术。当一个网络系统遭受非法入侵后,入侵容忍系统仍能及时自我诊断、恢复和重构,并能为合法用户提供所需的全部或者降级的服务。本文依据非确定性有穷自动机理论,模拟计算机受到攻击时入侵容忍系统的工作过程,为入侵容忍技术的发展提供了一种方法。 展开更多

关键词 入侵容忍 有穷自动机 网络安全 非确定性

在线阅读 下载PDF 职称材料

一类有穷自动机的设计

4

作者 严兵 卢朝晖 《西华大学学报（自然科学版）》 CAS 2005年第4期38-39,79,共3页

讨论了一类有穷自动机与形式语言二者之间的关系,给出了一类语言与对应的自动机(包括确定型的有穷自动机与不确定型的有穷自动机)二者之间相互转换的方法,最后指出了这个方法可以适用于类似问题的求解。

关键词 有穷自动机 形式语言 状态图

在线阅读 下载PDF 职称材料

基于量子逻辑的几类有穷自动机之间的关系

5

作者 李平 李永明 《工程数学学报》 CSCD 北大核心 2011年第2期220-230,共11页

根据初始状态和终止状态是否为分明的,非确定型量子有穷自动机可分为四类,确定型量子有穷自动机可分为三类.本文详细讨论了四类非确定型量子有穷自动机之间的关系以及三类确定型量子有穷自动机之间的关系,并且利用新的构造方法,证明了... 根据初始状态和终止状态是否为分明的,非确定型量子有穷自动机可分为四类,确定型量子有穷自动机可分为三类.本文详细讨论了四类非确定型量子有穷自动机之间的关系以及三类确定型量子有穷自动机之间的关系,并且利用新的构造方法,证明了初态为分明的确定型量子有穷自动机与终态为分明的确定型量子有穷自动机是等价的.这些结论为实际应用中计算模型的合理选取提供了理论依据. 展开更多

关键词 量子有穷自动机 状态集 左等价 右-γ等价 右-γε等价

在线阅读 下载PDF 职称材料

非确定有限自动机NFA的确定化

6

作者 索红军 《河南科技》 2006年第6期41-42,共2页

关键词 有限自动机 编译系统 词法分析 不确定性 工作效率 DFA 识别 符号串 状态 单值

在线阅读 下载PDF 职称材料

基于有限状态自动机理论的CBTC系统列车管理方法研究 被引量：3

7

作者 王志平 耿鹏 孙晓光 《铁路通信信号工程技术》 2020年第11期63-69,共7页

针对C B T C系统中车地通信常见的功能需求,建立车地通信交互模型;通过有限状态自动机理论(F S A)对列车通信自动管理模型进行定义,并根据定义构造非确定有限自动机(NFA)和确定性有限自动机(DFA),完成创建列车管理状态自动机能够识别的... 针对C B T C系统中车地通信常见的功能需求,建立车地通信交互模型;通过有限状态自动机理论(F S A)对列车通信自动管理模型进行定义,并根据定义构造非确定有限自动机(NFA)和确定性有限自动机(DFA),完成创建列车管理状态自动机能够识别的语言,实现CBTC系统列车自动管理功能。 展开更多

关键词 CBTC系统 车地通信 列车管理 有限状态自动机 非确定的有限状态自动机 确定的有限状态自动机

在线阅读 下载PDF 职称材料

增加结构非循环模糊自动机最小化算法(英文) 被引量：1

8

作者 胡红莉 莫智文 《工程数学学报》 CSCD 北大核心 2006年第4期599-606,共8页

我们提出了一种新的不完全的增加结构算法,该算法结合了非循环确定模糊自动机的性质。由于该算法与隶属度有关,因此算法给出了与传统方法不同的运算函数,而且通过构造模拟状态使该算法可在有多输入状态的条件下运行。所以这个新的不完... 我们提出了一种新的不完全的增加结构算法,该算法结合了非循环确定模糊自动机的性质。由于该算法与隶属度有关,因此算法给出了与传统方法不同的运算函数,而且通过构造模拟状态使该算法可在有多输入状态的条件下运行。所以这个新的不完全增加结构算法较传统算法更可行和实用。新算法由两部分构成:增加模糊字符串到最小非循环确定模糊自动机和最小化增加模糊字符串后得到的自动机。因为在增加模糊字符串到最小非循环确定模糊自动机的过程中,运用了一些相关的新函数,所以得到的自动机仍然是确定的,而且没有增加任何无关的字符串到自动机的可识别语言。 展开更多

关键词 非循环确定模糊自动机 模糊字符串 不完全增加结构算法 构造模拟状态 非必要隶属度状态

在线阅读 下载PDF 职称材料

多态自动机在字符串搜索及统计时的应用

9

作者 陈芳 沈虹 穆静 《西安工业学院学报》 2005年第4期340-342,共3页

多态自动机较之有穷自动机有更强的计算功能和对算法的描述功能,所以在计算理论和学习理论中有相当地位.本文首先简要地介绍了多态自动机,然后利用多态自动机的计算功能给出了一种搜索算法,此算法可以完成字符串的搜索和统计功能.文章... 多态自动机较之有穷自动机有更强的计算功能和对算法的描述功能,所以在计算理论和学习理论中有相当地位.本文首先简要地介绍了多态自动机,然后利用多态自动机的计算功能给出了一种搜索算法,此算法可以完成字符串的搜索和统计功能.文章对此算法的复杂度进行了分析,该算法的复杂度是多项式的,并且对此算法添加一些辅助部分也可以完成搜索网络资源的功能.此算法在计算机上也很容易实现. 展开更多

关键词 多态自动机 确定的有穷自动机 标识矩阵 时间复杂性

在线阅读 下载PDF 职称材料

航空器意图描述语言的生成与识别方法研究 被引量：1

10

作者 马兰 张继尘 程一琳 《中国民航大学学报》 CAS 2015年第3期13-16,27,共5页

针对当前航空器意图研究存在的统一性与规范性方面的问题,利用计算机形式语言文法的形式定义生成航空器意图描述语言AIDL(aircraft intent description language)的文法,根据AIDL的词法规则与句法规则实现了AIDL句型的有效组合方式,同... 针对当前航空器意图研究存在的统一性与规范性方面的问题,利用计算机形式语言文法的形式定义生成航空器意图描述语言AIDL(aircraft intent description language)的文法,根据AIDL的词法规则与句法规则实现了AIDL句型的有效组合方式,同时依据线性文法实现了AIDL句子的推导与归约。基于确定的有穷状态自动机(DFA)对AIDL的句子进行识别,自动生成与AIDL句子相对应的航空器意图信息,规范了航空器意图信息的描述,提出了空中交通管理中管制员与飞行员沟通的一种新方法,能够提高航空器意图信息获取的准确性与及时性,减少语音通信传输造成的理解误差。 展开更多

关键词 航空器意图描述语言 确定的有穷状态自动机 AIDL文法

在线阅读 下载PDF 职称材料

圖灵的自动计算机

11

作者 徐刍 《电信科学》 1957年第5期32-34,共3页

在回忆电子計算机的历史时,人們常会提到英国数学家圖灵(A.M.Turing)在1936年提出的理想計算机'。到了今天,研究程序設計自动化問題及自动机(Automata)的普遍理論的数学家們,仍然繼承着圖灵的理論做工作。

关键词 研究程序 自动机 TURING 数法 正整数 具造 周灵 有穷 原状态 进位制

在线阅读 下载PDF 职称材料

正则语言非正则运算的封闭性

12

作者 郭树林 《佳木斯大学学报（自然科学版）》 CAS 2005年第2期240-244,共5页

　本文用构造的方法严格证明了识别正则语言三种非正则运算的确定型有穷自动机的存在性,进而得出正则语言类在非正则运算"∩"、"-"以及" "下的封闭性的结论,并具体给出识别三类语言运算的确定型有穷自动... 　本文用构造的方法严格证明了识别正则语言三种非正则运算的确定型有穷自动机的存在性,进而得出正则语言类在非正则运算"∩"、"-"以及" "下的封闭性的结论,并具体给出识别三类语言运算的确定型有穷自动机模型. 展开更多

关键词 确定型有穷自动机 正则语言 非正则运算

在线阅读 下载PDF 职称材料

基于DFA的入侵检测方法研究 被引量：1

13

作者 云雷 万紫骞 《电子质量》 2013年第7期7-10,共4页

计算机网络安全环境不断恶化,各种网络攻击行为层出不穷,入侵检测技术作为一种主要的网络安全技术引起了人们的广泛关注。伴随着网络对实时性、吞吐量等的更高要求,入侵检测技术的检测效率逐渐成为系统的瓶颈问题。该文提出了一种基于DF... 计算机网络安全环境不断恶化,各种网络攻击行为层出不穷,入侵检测技术作为一种主要的网络安全技术引起了人们的广泛关注。伴随着网络对实时性、吞吐量等的更高要求,入侵检测技术的检测效率逐渐成为系统的瓶颈问题。该文提出了一种基于DFA模式匹配引擎的入侵检测方法,该方法利用DFA在模式匹配方面的优越性以提高入侵检测系统的检测效率;之后,该文对该方法进行了相关性能分析。该文的研究将有助于入侵检测技术的不断完善与发展。 展开更多

关键词 入侵检测 模式匹配 确定有穷自动机 检测效率

在线阅读 下载PDF 职称材料

词法分析原理在网管软件中的应用 被引量：1

14

作者 周宇 《信息通信》 2008年第3期52-53,共2页

词法分析是程序编译的第一个阶段,是识别源程序中单词的过程。文章介绍了在通信网管软件中,应用词法分析的原理来识别脚本文件中的关键字的一种实现方式。

关键词 词法分析 快速词法分析器生成器 确定的有穷自动机

在线阅读 下载PDF 职称材料