期刊文献+
共找到213篇文章
< 1 2 11 >
每页显示 20 50 100
有限状态自动机的并行确定化及过程分析 被引量:5
1
作者 孙玉强 刘三阳 +1 位作者 王明斐 邹凌 《计算机科学》 CSCD 北大核心 2006年第10期293-294,F0003,共3页
本文通过对并行环境下非确定有限自动机和确定有限自动机的等价性和转换进行研究,详细分析了非确定有限自动机到确定有限自动机的并行转换方法及算法,并以实例给出了其间并行转化的过程。
关键词 并行转换 确定有限自动机 确定有限自动机
在线阅读 下载PDF
基于确定有限状态自动机的改进多模式匹配算法研究 被引量:10
2
作者 陆琳琳 田野 《计算机应用与软件》 CSCD 北大核心 2013年第7期321-323,330,共4页
针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别... 针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别适合在大字符集文本串中查找小字符集模式串。将该改进多模式匹配算法应用到Snort入侵检测过程中,针对处理结果进行科学评价。通过实例的应用,验证了该改进算法的可行性和高效性。 展开更多
关键词 网络入侵检测系统 模式匹配 单模式 确定有限状态自动机 优化策略
在线阅读 下载PDF
一种新的确定型有限自动机状态表示及压缩
3
作者 张蕾 于凯 +1 位作者 王思秀 陆光 《火力与指挥控制》 CSCD 北大核心 2020年第1期12-17,共6页
针对传统DFA存在时间复杂度和空间复杂度高的问题,提出了一种新的DFA状态表示和字符-状态压缩方案。通过对传统DFA状态转换的观察发现,对于一个给定的输入来说,可以仅存储相邻状态之间的差异,从而得到一种新的DFA状态表示N-DFA;对每个... 针对传统DFA存在时间复杂度和空间复杂度高的问题,提出了一种新的DFA状态表示和字符-状态压缩方案。通过对传统DFA状态转换的观察发现,对于一个给定的输入来说,可以仅存储相邻状态之间的差异,从而得到一种新的DFA状态表示N-DFA;对每个大小不固定的状态设置一个状态指针来有效地减少每个指针所需要的比特数,从而得到一种基于输入字符的字符-状态压缩算法C-S;把N-DFA和C-S有效地集成在一起,进一步减少内存。实验结果表明,提出的N-DFA和C-S集成方案相比于传统的DFA和其他改进DFA方案,可以获得更好的内存压缩和加速性能。 展开更多
关键词 深度包检测 有限自动机 内存压缩 正则表达式 状态指针
在线阅读 下载PDF
概率有限状态自动机的代数性质 被引量:9
4
作者 谢正卫 翟莹 +1 位作者 邓培民 易忠 《计算机研究与发展》 EI CSCD 北大核心 2013年第12期2691-2698,共8页
利用矩阵、同态、同构、同余等代数工具研究概率有限状态自动机的代数性质.首先定义了输入集上两个字符串同余的概念,并利用概率转移矩阵给出2个字符串同余的一些等价刻画.进而提出概率有限状态自动机同态和同构的概念,并给出了概率有... 利用矩阵、同态、同构、同余等代数工具研究概率有限状态自动机的代数性质.首先定义了输入集上两个字符串同余的概念,并利用概率转移矩阵给出2个字符串同余的一些等价刻画.进而提出概率有限状态自动机同态和同构的概念,并给出了概率有限状态自动机同态定理.证明了2个概率有限状态自动机同构的充要条件是它们的概率转移矩阵可以通过第1种行列初等变换相互转化;同时提出了2个概率有限状态自动机积与和的概念,并得到了积自动机、和自动机的同态关系.最后将模糊自动机中交换的概念引入到概率有限状态自动机中,并利用概率转移矩阵给出了此类自动机交换的一些等价刻画以及和自动机、积自动机交换的充要条件. 展开更多
关键词 概率有限状态自动机 概率转移矩阵 同余 同态 同构 交换
在线阅读 下载PDF
BPEL中基于有限状态自动机的Web服务自动组合 被引量:6
5
作者 于守健 李卫民 +1 位作者 吴国文 乐嘉锦 《小型微型计算机系统》 CSCD 北大核心 2007年第4期742-747,共6页
提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态... 提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统. 展开更多
关键词 业务流程 WEB服务组合 有限状态自动机 BPEL
在线阅读 下载PDF
基于有限状态自动机的服务组合模型 被引量:5
6
作者 蒋运承 汤庸 邓培民 《智能系统学报》 2006年第2期48-57,共10页
分析了目前服务计算的研究现状和存在的问题,在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA(Finite State Automata with condition),并给出了基于cFSA的服务理论模型.在该服务理论模型的基础上提出了一... 分析了目前服务计算的研究现状和存在的问题,在D Berardi和A Wombacher的基础上提出了一种带条件的有限状态自动机模型cFSA(Finite State Automata with condition),并给出了基于cFSA的服务理论模型.在该服务理论模型的基础上提出了一种基于有限状态自动机的服务组合形式化模型,并给出了该模型的代数性质和实现方法. 展开更多
关键词 有限状态自动机 带条件的有限状态自动机 服务计算 服务组合
在线阅读 下载PDF
基于事件确定有限自动机的UML2.0序列图描述与验证 被引量:8
7
作者 张琛 段振华 田聪 《软件学报》 EI CSCD 北大核心 2011年第11期2625-2638,共14页
为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata... 为了确保软件分析与设计阶段UML2.0序列图模型的可靠性,采用命题投影时序逻辑(propositional projection temporal logic,简称PPTL)模型检测方法对该模型进行分析和验证.提出了事件确定有限自动机(event deterministic finite automata,简称ETDFA),并使用该自动机为序列图建立形式化模型,通过给出的基于ETDFA的PPTL模型检测算法得到验证结果.该方法可以在基于Spin的PPTL模型检测器的支持下实现.实例结果表明,该方法可以验证序列图的性质并保证其可靠性. 展开更多
关键词 UML2.0序列图 事件确定有限自动机 模型检测 命题投影时序逻辑 验证
在线阅读 下载PDF
确定有限自动机最小化算法的并行处理 被引量:3
8
作者 孙玉强 李玉萍 +1 位作者 王海燕 陈继光 《计算机科学》 CSCD 北大核心 2008年第1期298-300,共3页
对有限自动机模型最小化做了深入分析,提出了一种基于可区分状态表结构的并行最小化算法,以实例详细描述了算法并行处理过程并验证其算法的可行性。
关键词 并行化 确定有限自动机 可区分状态
在线阅读 下载PDF
基于有限状态自动机的构件化软件集成测试方法 被引量:2
9
作者 张毅坤 侯宇明 崔杜武 《计算机工程》 EI CAS CSCD 北大核心 2006年第18期75-78,共4页
构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行... 构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试?在观测构造理论基础上构造了一种基于有限状态自动机,并可验证构件化软件行为的测试方法。通过实验验证了其有效性。 展开更多
关键词 构件化软件 正则表达式 控制状态序列 有限状态自动机 捕获器
在线阅读 下载PDF
确定型格值有限自动机的最小化 被引量:2
10
作者 李斌 舒兰 《计算机工程与应用》 CSCD 北大核心 2010年第32期52-54,共3页
给出了确定型格值有限自动机的定义,并同时给出了有效终止状态和可达到状态的定义。指出了求取DLFAM=(Q,Σ,δ,q0,σ)的实质是求取Q/Rk。由此以可到达状态为基础引入了等价关系Rk、Sk与商集Q/Sk,证明了Rk=Rk-1∩Sk,由此得到Q/Rk的等价类... 给出了确定型格值有限自动机的定义,并同时给出了有效终止状态和可达到状态的定义。指出了求取DLFAM=(Q,Σ,δ,q0,σ)的实质是求取Q/Rk。由此以可到达状态为基础引入了等价关系Rk、Sk与商集Q/Sk,证明了Rk=Rk-1∩Sk,由此得到Q/Rk的等价类为Q/Rk-1中等价类与Q/Sk中等价类的非空交集全体。引入了Hk,并证明了可由Hk求取Q/Sk,从而得到仅利用集合运算便可求取Q/Rk的算法,最终给出了DLFA最小化算法的一个容易实现的构造型描述和相应示例。 展开更多
关键词 格半群 确定有限状态自动机 等价关系 商集 最小化 最小化算法
在线阅读 下载PDF
基于有限状态自动机的Web服务组合(英文) 被引量:1
11
作者 闫新庆 李文锋 陈定方 《计算机工程与设计》 CSCD 北大核心 2007年第23期5624-5627,5725,共5页
Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示... Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要。结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划。同时讨论了算法的复杂性。 展开更多
关键词 WEB服务 服务组合 有限状态自动机 确定性命题逻辑 可组合性
在线阅读 下载PDF
基于有限状态自动机的新产品市场成长研究 被引量:3
12
作者 王峰 黄敏学 《管理科学学报》 CSSCI 北大核心 2012年第7期26-35,共10页
消费者对新产品的持续性动态采用过程可以看作有限状态自动机的状态转移(待购状态、在购状态、休眠状态).在综合大众传播、口碑效应、首次购买、重复购买、顾客流失、以及季节性扰动等因素的情况下,运用有限状态自动机构建出符合动态采... 消费者对新产品的持续性动态采用过程可以看作有限状态自动机的状态转移(待购状态、在购状态、休眠状态).在综合大众传播、口碑效应、首次购买、重复购买、顾客流失、以及季节性扰动等因素的情况下,运用有限状态自动机构建出符合动态采用模式的市场成长模型.此模型更具综合性和精确性,不但可以涵盖经典的Bass模型和后续发展的服务增长模型与尝试—重购模型,还可以推断出以往难以估计的重购系数和流失系数.实证检验快消品、耐用品和服务等品类数据,结论表明新模型比现有三种模型具有更好拟合性,对未来销售的预测力也更高.该模型有利于深入了解新产品在社会系统中一般性的扩散和成长规律. 展开更多
关键词 口碑效应 顾客流失 重复购买 季节性波动 有限状态自动机
在线阅读 下载PDF
基金会现场总线功能块的有限状态自动机模型 被引量:1
13
作者 苑明哲 吕勇 于海斌 《仪器仪表学报》 EI CAS CSCD 北大核心 2005年第1期48-53,共6页
功能块是一种面向工业现场的智能化控制模块。首先 ,针对基金会现场总线功能块建立了描述其内部行为逻辑的有限状态自动机模型 ;其次 ,由功能块的自动机模型构成基于功能块的控制应用的自动机模型。同时 ,建立了反映功能块应用时间特性... 功能块是一种面向工业现场的智能化控制模块。首先 ,针对基金会现场总线功能块建立了描述其内部行为逻辑的有限状态自动机模型 ;其次 ,由功能块的自动机模型构成基于功能块的控制应用的自动机模型。同时 ,建立了反映功能块应用时间特性的功能块调度的时间自动机模型 ;最后 ,以一个 PID回路的自动机模型模拟了该回路的级连初始化过程。所建的功能块及其应用模型为进一步分析功能块及其应用奠定了基础。 展开更多
关键词 功能块 基金会现场总线 有限状态自动机 自动机模型 级连 时间自动机 工业现场 分析功能 应用模型 初始化
在线阅读 下载PDF
基于有限状态自动机的传感器管理方法 被引量:1
14
作者 梁冰 陈德运 《系统工程与电子技术》 EI CSCD 北大核心 2009年第11期2751-2755,共5页
传感器管理是多传感器融合系统的重要组成部分。针对目前传感器出现故障时仍然缺乏对传感器资源管理的有效方法,提出一种基于有限状态自动机的传感器管理方法。首先,建立传感器管理控制策略的有限状态自动机模型,通过对可控制事件的非... 传感器管理是多传感器融合系统的重要组成部分。针对目前传感器出现故障时仍然缺乏对传感器资源管理的有效方法,提出一种基于有限状态自动机的传感器管理方法。首先,建立传感器管理控制策略的有限状态自动机模型,通过对可控制事件的非使能设定,描述不同控制策略;提出语言测度参数的递归估计方法与停止规则,并根据有限状态自动机模型产生语言的测度获得各种传感器控制策略的性能指标。实例分析结果表明:利用有限状态自动机模型能够辅助设计传感器故障控制策略,根据语言测度可以正确评价传感器控制策略。 展开更多
关键词 传感器管理 有限状态自动机 语言测度 性能评价
在线阅读 下载PDF
基于有限状态自动机多模型集成的列车运行过程仿真研究 被引量:1
15
作者 何兵 万百五 《西安建筑科技大学学报(自然科学版)》 EI CSCD 1998年第1期76-79,共4页
研究了基于有限状态自动机的多模型集成仿真方法,应用有限状态自动机描述离散事件,构造了抽象概念层的仿真模型并给出其完备性和唯一性的性质.在时间演化模型层集成多个相应的时域模型,提高了模型的表现力.将该方法应用到列车运行... 研究了基于有限状态自动机的多模型集成仿真方法,应用有限状态自动机描述离散事件,构造了抽象概念层的仿真模型并给出其完备性和唯一性的性质.在时间演化模型层集成多个相应的时域模型,提高了模型的表现力.将该方法应用到列车运行过程仿真中,提出了相应的多模型集成仿真模型,仿真结构表明了该方法的有效性. 展开更多
关键词 离散事件 有限状态自动机 列车运行 仿真
在线阅读 下载PDF
基于信息系统的确定有限自动机最小化算法
16
作者 杨传健 葛浩 +1 位作者 姚光顺 王波 《计算机应用》 CSCD 北大核心 2012年第7期1991-1993,1997,共4页
目前,确定有限自动机(DFA)最小化问题多侧重于理论研究,尚无太多便于实现的算法,为此,对确定有限自动机最小化方法进行了研究,提出将DFA转换为信息系统,基于等价类划分方法简化信息系统,再将简化的信息系统转换为最小化DFA;针对上述处... 目前,确定有限自动机(DFA)最小化问题多侧重于理论研究,尚无太多便于实现的算法,为此,对确定有限自动机最小化方法进行了研究,提出将DFA转换为信息系统,基于等价类划分方法简化信息系统,再将简化的信息系统转换为最小化DFA;针对上述处理过程,给出一个基于分治思想的DFA最小化算法,在平均情况下该算法的时间复杂度为O(n log n),空间复杂度为O(n)。最后通过实例验证了所提算法的正确性。 展开更多
关键词 确定有限自动机 信息系统 等价类 最小化
在线阅读 下载PDF
确定型模糊多重集有限自动机的极小化
17
作者 王拥兵 李永明 《计算机工程与科学》 CSCD 北大核心 2016年第12期2574-2578,共5页
主要研究确定型模糊多重集有限自动机的状态极小化问题。给出了模糊多重集有限自动机的同余和同态概念,并利用同余和同态关系研究了确定型模糊多重集有限自动机的极小化问题。进一步从确定型模糊多重集有限自动机自身出发,构造出极小模... 主要研究确定型模糊多重集有限自动机的状态极小化问题。给出了模糊多重集有限自动机的同余和同态概念,并利用同余和同态关系研究了确定型模糊多重集有限自动机的极小化问题。进一步从确定型模糊多重集有限自动机自身出发,构造出极小模糊多重集有限自动机,并给出了极小化的算法。 展开更多
关键词 多重集 确定型模糊多重集有限自动机 同余 同态 极小化
在线阅读 下载PDF
语言的ψ—表达式和有限自动机状态方程的近似解法
18
作者 周德玉 《重庆大学学报(自然科学版)》 EI CAS CSCD 1989年第3期62-68,共7页
1983年Tony.T.lee提出了有限自动机的状态空间方法,引进了语言的(?)—表达式,给出了∑={0,1}时的状态方程的解。本文将它推广到∑={δ_0,δ_1,…,δ_(2m-1)},并讨论了表达式的性质,将它的状态方程和Kleene's方程联系起来,并给出了... 1983年Tony.T.lee提出了有限自动机的状态空间方法,引进了语言的(?)—表达式,给出了∑={0,1}时的状态方程的解。本文将它推广到∑={δ_0,δ_1,…,δ_(2m-1)},并讨论了表达式的性质,将它的状态方程和Kleene's方程联系起来,并给出了不完全描述有限自动机的计算实例。 展开更多
关键词 有限 自动机 状态方程 近似 解法
在线阅读 下载PDF
基于有限状态自动机的人眼开度PERCLOS实现算法 被引量:18
19
作者 巩晓倩 蒲亦非 +1 位作者 杨智勇 周激流 《计算机应用研究》 CSCD 北大核心 2014年第1期307-310,共4页
针对驾驶员驾驶过程中因疲劳引起的眼睛开度变化问题,在原有PERCLOS(percentage of eyelid closure over the pupil over time)标准的基础上,提出了一种基于有限状态自动机的人眼开度PERCLOS计算方法,并将其应用到疲劳驾驶预警系统中。... 针对驾驶员驾驶过程中因疲劳引起的眼睛开度变化问题,在原有PERCLOS(percentage of eyelid closure over the pupil over time)标准的基础上,提出了一种基于有限状态自动机的人眼开度PERCLOS计算方法,并将其应用到疲劳驾驶预警系统中。该系统首先采用红外摄像头实时获取驾驶员的脸部视频图像,使用ASM(active shape models)算法进行人脸检测,在定位到的人脸范围内搜索人眼区域并计算人眼开度,为了避免人与摄像头距离变化影响计算结果,对人眼开度进行归一化处理;然后依据建立的有限状态自动机模型计算PERCLOS值;最后根据制定的预警机制实现基于人眼开度的疲劳预警。实验结果表明本方法能够实时监测驾驶员疲劳状况,具有对光照变化、脸部配饰不敏感的特点。 展开更多
关键词 人眼开度 有限状态自动机 PERCLOS ASM 疲劳驾驶
在线阅读 下载PDF
基于有限状态自动机的漏洞检测模型 被引量:3
20
作者 胡定文 朱俊虎 吴灏 《计算机工程与设计》 CSCD 北大核心 2007年第8期1804-1806,共3页
漏洞是软件安全的一个严重威胁,如何检测软件中存在的漏洞对提高其安全性具有重要的意义。经过分析缓冲区溢出漏洞产生的原因,得出了其形成的3个必要条件,并根据产生原因的不同,针对函数调用出错和循环拷贝出错而导致的两类缓冲区溢出漏... 漏洞是软件安全的一个严重威胁,如何检测软件中存在的漏洞对提高其安全性具有重要的意义。经过分析缓冲区溢出漏洞产生的原因,得出了其形成的3个必要条件,并根据产生原因的不同,针对函数调用出错和循环拷贝出错而导致的两类缓冲区溢出漏洞,分别提出了相应的基于有限状态自动机的漏洞检测模型。 展开更多
关键词 漏洞检测 缓冲区溢出 有限状态自动机 数据拷贝 区间
在线阅读 下载PDF
上一页 1 2 11 下一页 到第
使用帮助 返回顶部