期刊文献+
共找到17篇文章
< 1 >
每页显示 20 50 100
1-Way Multihead Quantum Finite State Automata
1
作者 Debayan Ganguly Kingshuk Chatterjee Kumar Sankar Ray 《Applied Mathematics》 2016年第9期1005-1022,共18页
1-way multihead quantum finite state automata (1QFA(k)) can be thought of modified version of 1-way quantum finite state automata (1QFA) and k-letter quantum finite state automata (k-letter QFA) respectively. It has b... 1-way multihead quantum finite state automata (1QFA(k)) can be thought of modified version of 1-way quantum finite state automata (1QFA) and k-letter quantum finite state automata (k-letter QFA) respectively. It has been shown by Moore and Crutchfield as well as Konadacs and Watrous that 1QFA can’t accept all regular language. In this paper, we show different language recognizing capabilities of our model 1-way multihead QFAs. New results presented in this paper are the following ones: 1) We show that newly introduced 1-way 2-head quantum finite state automaton (1QFA(2)) structure can accept all unary regular languages. 2) A language which can’t be accepted by 1-way deterministic 2-head finite state automaton (1DFA((2)) can be accepted by 1QFA(2) with bounded error. 3) 1QFA(2) is more powerful than 1-way reversible 2-head finite state automaton (1RMFA(2)) with respect to recognition of language. 展开更多
关键词 1-Way Quantum finite state automaton (1QFA) k-Letter Quantum finite state Automata (k-Letter QFA) 1-Way Multihead Quantum finite state automaton (1QFA(k)) 1-Way deterministic 2-Head finite state automaton (1DFA((2)) 1-Way Reversible Multihead finite state automaton (1RMFA(k))
下载PDF
Clustering of behavioral phases in FSMs and its applications to VLSI test 被引量:2
2
作者 李华伟 闵应骅 李忠诚 《Science in China(Series F)》 2002年第6期462-478,共17页
This paper presents a new level of description between behavioral and state descriptions of a finite-state machine (FSM). The description is termed behavioral phase clustering description. New concepts of behavioral p... This paper presents a new level of description between behavioral and state descriptions of a finite-state machine (FSM). The description is termed behavioral phase clustering description. New concepts of behavioral phase and clustering of behavioral phases in an FSM are introduced. The new description simplifies functional analysis, verification and test of FSM designs. If an FSM is described at low level, some states can be clustered into behavioral phases directly. If it is described at behavioral level, behavioral phases can be extracted from the behavioral description, and clustering of behavioral phases can be performed through easy functional analysis. As one application of behavioral phase clustering descriptions, a new technique employed in a test generation system, ATCLUB, at Register Transfer (RT)-level based on a behavioral phase transition fault model is introduced in this paper. In ATCLUB, test generation process is accelerated through clustering of behavioral phases. Experimental results show that ATCLUB generates test sequence efficiently, with a sharp decrease in vector count at the penalty of a slightly decrease in fault coverage comparing to other ATPC tools. 展开更多
关键词 finite-state machines clustering of states behavioral descriptions test generation.
原文传递
基于对象的软件行为模型 被引量:20
3
作者 傅建明 陶芬 +1 位作者 王丹 张焕国 《软件学报》 EI CSCD 北大核心 2011年第11期2716-2728,共13页
以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为状态由软件所关联的所有... 以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为状态由软件所关联的所有系统对象表示,从而赋予状态的语义信息,解决了不同行为迹中PC(program counter)值的语义不相关问题;同时,该模型可以对抗系统调用参数的直接和间接修改,从而可以检测基于数据语义的攻击.最后,实现了基于SBO的软件异常检测原型工具(intrusion detection prototype system based on SBO,简称SBOIDS),其实验和分析结果表明,该模型可以有效地检测基于控制流的攻击、模仿攻击以及针对数据语义的攻击,并给出了该工具的性能开销. 展开更多
关键词 入侵检测 软件行为 有限状态自动机 系统对象 系统调用
下载PDF
面向新一代大众游戏的手势交互技术 被引量:8
4
作者 万华根 肖海英 邹松 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第7期1159-1165,共7页
随着虚拟现实、人机交互等技术的快速发展,面向家庭、办公室等的新一代大众游戏已引起人们的广泛关注.针对大众游戏亟需的自然交互,从硬件、软件两方面研究手势交互技术.通过选择适合于手势交互游戏的手持装置并对其进行简单再造,以降... 随着虚拟现实、人机交互等技术的快速发展,面向家庭、办公室等的新一代大众游戏已引起人们的广泛关注.针对大众游戏亟需的自然交互,从硬件、软件两方面研究手势交互技术.通过选择适合于手势交互游戏的手持装置并对其进行简单再造,以降低游戏的硬件成本;提出综合亮度、颜色、形状特征的目标检测两步法,以提高手持运动目标检测的鲁棒性,并提出手势交互的人手运动有限状态机模型;采用基于规则的方法分割手部运动轨迹,提出手势的参数化描述方法及相应的识别准则.针对经典游戏俄罗斯方块的相关实验表明,采用手势交互取代传统的按键操作,交互更为自然有效,且能增强用户的游戏体验. 展开更多
关键词 大众游戏 手势交互 有限自动状态机 手势识别
下载PDF
基于云模型的网络系统状态评估与预测模型研究 被引量:11
5
作者 李飞 张仕斌 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2010年第6期99-104,共6页
目前,国内外众多网络系统可生存性研究都主要集中在理论上的研究,且均使用经典的数学理论来研究复杂多变环境下的网络系统状态,也没有形成完整的理论体系,而实际上网络系统状态具有不确定性、随机性等特性。以可信网络的可生存性为研究... 目前,国内外众多网络系统可生存性研究都主要集中在理论上的研究,且均使用经典的数学理论来研究复杂多变环境下的网络系统状态,也没有形成完整的理论体系,而实际上网络系统状态具有不确定性、随机性等特性。以可信网络的可生存性为研究背景,首先分析了网络可生存性等关键问题。考虑到网络系统状态具有不确定性、随机性等特征,引入云模型和有限状态机理论对网络系统状态来进行描述和检测,提出了基于云模型的网络系统状态评估与预测模型,并从理论上进行了具体的分析和求证。最后通过仿真实验与分析,进一步说明了本研究的模型的可行性与合理性,为当前错综复杂的网络系统的可生存性研究提供了一种有价值的新思路。 展开更多
关键词 云模型 网络系统 有限状态机 状态评估 预测模型
下载PDF
非确定型有穷自动机的极小化 被引量:5
6
作者 李翰芳 许道云 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2007年第4期582-588,共7页
利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用这两台确定型有穷自动机状态集上的等价关系,可以构... 利用自动机状态集上的等价关系对自动机的状态集进行极小化,从而得到与原自动机功能等价的极小化自动机.通过两台确定型有穷自动机(DFA)的连接,构造一台非确定型有穷自动机(NFA).利用这两台确定型有穷自动机状态集上的等价关系,可以构造这台非确定型有穷自动机状态集上的等价关系,从而对这台非确定型有穷自动机进行极小化.结果表明这台非确定型有穷自动机的极小化自动机的状态复杂度,不大于对那两台确定型有穷自动机的极小化自动机进行连接得到的非确定型有穷自动机的状态复杂度;并且自动机在等价关系基础上进行极小化时不改变识别语言. 展开更多
关键词 确定型有穷自动机 非确定型有穷自动机 等价关系 状态极小化
下载PDF
基于确定有限状态自动机的改进多模式匹配算法研究 被引量:9
7
作者 陆琳琳 田野 《计算机应用与软件》 CSCD 北大核心 2013年第7期321-323,330,共4页
针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别... 针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别适合在大字符集文本串中查找小字符集模式串。将该改进多模式匹配算法应用到Snort入侵检测过程中,针对处理结果进行科学评价。通过实例的应用,验证了该改进算法的可行性和高效性。 展开更多
关键词 网络入侵检测系统 模式匹配 单模式 确定有限状态自动机 优化策略
下载PDF
确定有限自动机的逻辑形式定义 被引量:5
8
作者 刘益 闵兰 《西南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第5期134-136,共3页
通过分析确定有限自动机状态转换函数的内在含义,引入有关的原子命题,得到确定有限自动机的逻辑形式定义并证明了状态转换函数表示与逻辑表示之间的等价性.
关键词 确定有限自动机 状态转换函数 命题逻辑
下载PDF
一种面向自动化设备的行为监测与异常诊断方法 被引量:2
9
作者 申利民 刘称称 尤殿龙 《小型微型计算机系统》 CSCD 北大核心 2015年第1期126-132,共7页
针对自动化设备在行为监测与诊断方面的不足,提出一种面向自动化设备的行为监测与异常诊断方法.以有限状态自动机为基础,通过对设备进行模块划分,由多个模块的状态集合和状态变化来识别设备的状态和状态转换,得到设备的行为状态模型,可... 针对自动化设备在行为监测与诊断方面的不足,提出一种面向自动化设备的行为监测与异常诊断方法.以有限状态自动机为基础,通过对设备进行模块划分,由多个模块的状态集合和状态变化来识别设备的状态和状态转换,得到设备的行为状态模型,可以精确的描述设备的运行过程.同时,将待测的动作指令、设备状态和状态转换与定义好的设备行为状态模型进行比对,可以检测设备运行过程中的行为异常.最后,实现了基于设备行为状态模型的行为监测原型系统,其实验结果表明。 展开更多
关键词 自动化设备 行为监测 异常诊断 有限状态自动机
下载PDF
确定自动机上的XML数据过滤算法改进
10
作者 印桂生 沈洁 谢晓芹 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2011年第3期328-333,共6页
XML数据过滤过程中存在的缓存失效会导致过滤效率的降低,因此研究基于确定有限自动机的XML数据过滤过程中如何减少缓存失效对于改进过滤的性能具有重要意义.对已有的Lazy DFA执行算法进行改进,引入了频繁访问区的概念,对缓存中的状态增... XML数据过滤过程中存在的缓存失效会导致过滤效率的降低,因此研究基于确定有限自动机的XML数据过滤过程中如何减少缓存失效对于改进过滤的性能具有重要意义.对已有的Lazy DFA执行算法进行改进,引入了频繁访问区的概念,对缓存中的状态增加一个状态转换计数器,然后通过设定该计数器的访问阈值对缓存中的数据进行筛选,超过该阈值的状态被确定为频繁访问区中的状态.并通过实验证明该访问机制可以减少自动机中状态转移过程在缓存大量状态中的搜索时间,从而有效地提高过滤和查询的时间性能. 展开更多
关键词 DFA XML 状态转移 频繁访问节点
下载PDF
自动机算法在文本不精确匹配中的应用
11
作者 叶建伟 季振洲 胡铭曾 《计算机工程与应用》 CSCD 北大核心 2004年第6期135-136,154,共3页
论文从实用的角度,着重研究了有限自动机算法在文本的不精确匹配中的应用,提出了一种用于中文精确匹配的自动机的构建思想,两种用于中文同音字匹配的自动机的构建思想,以及利用自动机的原理去除无用字符对文本匹配的干扰的方法。编程实... 论文从实用的角度,着重研究了有限自动机算法在文本的不精确匹配中的应用,提出了一种用于中文精确匹配的自动机的构建思想,两种用于中文同音字匹配的自动机的构建思想,以及利用自动机的原理去除无用字符对文本匹配的干扰的方法。编程实现了上述三种自动机算法并对其作了测试,给出了三种算法各自的性能测试数据。 展开更多
关键词 单模式匹配 多模式匹配 有限自动机 不精确匹配
下载PDF
FDA与模糊语言及与其它自动机的等价性(英文)
12
作者 吴青娥 舒兰 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第3期484-488,共5页
作者讨论了有限态确定模糊自动机FDA与它相应的模糊语言以及FDA与其它自动机的等价性.这就为任何自动机的抽取和应用奠定了理论基础.
关键词 正规模糊文法 有限态确定模糊自动机FDA 模糊有限态自动机FFA
下载PDF
MAP载波带局域网MMS程序调用服务的形式化描述
13
作者 兰少华 顾一禾 范伯南 《计算机研究与发展》 EI CSCD 北大核心 1995年第1期57-61,共5页
网络协议的形式化描述对于协议的定义,协议的正确性验证以及协议的实施有着非常重要的意义。本文采用有限状态自动机的方法对制造自动化协议(MAP)的关键部分MMS的程序调用服务进行了形式化的描述。
关键词 网络协议 局域网络 程序调用服务 形式化描述
下载PDF
一种基于DFA的服务行为模型及其应用
14
作者 曹永忠 丁秋林 《微计算机信息》 北大核心 2007年第21期276-278,共3页
本文对Web服务行为描述进行深入分析,在构造web服务自动集成结构基础上,对原有限自动机定义进行语义扩展和候选集扩展,达到准确地描述Web服务间的执行步骤、行为间简单逻辑运算关系和代价选择运算关系目的。完成服务提供商提供服务流与... 本文对Web服务行为描述进行深入分析,在构造web服务自动集成结构基础上,对原有限自动机定义进行语义扩展和候选集扩展,达到准确地描述Web服务间的执行步骤、行为间简单逻辑运算关系和代价选择运算关系目的。完成服务提供商提供服务流与用户期望在该结构下的自动匹配,为web服务自动集成提供了理论依据。 展开更多
关键词 行为 有限自动机 描述
下载PDF
一种针对DFA状态爆炸的正则表达式匹配方法 被引量:4
15
作者 王翔 卢毓海 +1 位作者 马伟 刘燕兵 《计算机工程》 CAS CSCD 北大核心 2019年第4期148-156,共9页
针对基于确定有限状态自动机的匹配引擎在大规模、复杂规则下会出现状态爆炸的问题,提出正则表达式子串抽取算法。通过将子串抽取算法应用于DFA状态爆炸场景,设计基于子串抽取的正则匹配引擎。实验结果表明,该算法在单个规则上运行时间... 针对基于确定有限状态自动机的匹配引擎在大规模、复杂规则下会出现状态爆炸的问题,提出正则表达式子串抽取算法。通过将子串抽取算法应用于DFA状态爆炸场景,设计基于子串抽取的正则匹配引擎。实验结果表明,该算法在单个规则上运行时间可达10 ms量级,抽取率高达99%,同时匹配引擎具有较好的稳定性和可拓展性,且匹配速度优于相关开源匹配引擎。 展开更多
关键词 正则表达式 确定有限自动机 状态爆炸 子串抽取 匹配引擎
下载PDF
增加结构非循环模糊自动机最小化算法(英文) 被引量:1
16
作者 胡红莉 莫智文 《工程数学学报》 CSCD 北大核心 2006年第4期599-606,共8页
我们提出了一种新的不完全的增加结构算法,该算法结合了非循环确定模糊自动机的性质。由于该算法与隶属度有关,因此算法给出了与传统方法不同的运算函数,而且通过构造模拟状态使该算法可在有多输入状态的条件下运行。所以这个新的不完... 我们提出了一种新的不完全的增加结构算法,该算法结合了非循环确定模糊自动机的性质。由于该算法与隶属度有关,因此算法给出了与传统方法不同的运算函数,而且通过构造模拟状态使该算法可在有多输入状态的条件下运行。所以这个新的不完全增加结构算法较传统算法更可行和实用。新算法由两部分构成:增加模糊字符串到最小非循环确定模糊自动机和最小化增加模糊字符串后得到的自动机。因为在增加模糊字符串到最小非循环确定模糊自动机的过程中,运用了一些相关的新函数,所以得到的自动机仍然是确定的,而且没有增加任何无关的字符串到自动机的可识别语言。 展开更多
关键词 非循环确定模糊自动机 模糊字符串 不完全增加结构算法 构造模拟状态 非必要隶属度状态
下载PDF
Application of Union of Fuzzy Automata on Target Tracking
17
作者 Qinggang Wu Zhenyu Han Qinge Wu 《Journal of Intelligent Learning Systems and Applications》 2017年第4期47-54,共8页
For better applications of fuzzy automata on target tracking, this paper presents an associated method of fuzzy automata by discussing the relation between fuzzy automata. The equivalence is mainly discussed regarding... For better applications of fuzzy automata on target tracking, this paper presents an associated method of fuzzy automata by discussing the relation between fuzzy automata. The equivalence is mainly discussed regarding these fuzzy automata. The target tracking based on the associated method of fuzzy automata is given. Moreover, the simulation result shows that the associated method is better than single fuzzy automaton relatively. The development of these researches in this paper in turn can quicken the applications of the fuzzy automata in various fields. 展开更多
关键词 finite-state deterministic FUZZY automaton finite-state Non-deterministic FUZZY automaton FUZZY finite-state automaton Target Tracking
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部