期刊文献+
共找到132篇文章
< 1 2 7 >
每页显示 20 50 100
基于有限状态自动机的服务组合模型 被引量:5
1
作者 蒋运承 汤庸 邓培民 《智能系统学报》 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
概率有限状态自动机的代数性质 被引量:9
2
作者 谢正卫 翟莹 +1 位作者 邓培民 易忠 《计算机研究与发展》 EI CSCD 北大核心 2013年第12期2691-2698,共8页
利用矩阵、同态、同构、同余等代数工具研究概率有限状态自动机的代数性质.首先定义了输入集上两个字符串同余的概念,并利用概率转移矩阵给出2个字符串同余的一些等价刻画.进而提出概率有限状态自动机同态和同构的概念,并给出了概率有... 利用矩阵、同态、同构、同余等代数工具研究概率有限状态自动机的代数性质.首先定义了输入集上两个字符串同余的概念,并利用概率转移矩阵给出2个字符串同余的一些等价刻画.进而提出概率有限状态自动机同态和同构的概念,并给出了概率有限状态自动机同态定理.证明了2个概率有限状态自动机同构的充要条件是它们的概率转移矩阵可以通过第1种行列初等变换相互转化;同时提出了2个概率有限状态自动机积与和的概念,并得到了积自动机、和自动机的同态关系.最后将模糊自动机中交换的概念引入到概率有限状态自动机中,并利用概率转移矩阵给出了此类自动机交换的一些等价刻画以及和自动机、积自动机交换的充要条件. 展开更多
关键词 概率有限状态自动机 概率转移矩阵 同余 同态 同构 交换
在线阅读 下载PDF
BPEL中基于有限状态自动机的Web服务自动组合 被引量:6
3
作者 于守健 李卫民 +1 位作者 吴国文 乐嘉锦 《小型微型计算机系统》 CSCD 北大核心 2007年第4期742-747,共6页
提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态... 提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统. 展开更多
关键词 业务流程 WEB服务组合 有限状态自动机 BPEL
在线阅读 下载PDF
状态自动机矩阵模型的代数性质 被引量:18
4
作者 朱征宇 朱庆生 《计算机工程与应用》 CSCD 北大核心 2003年第4期115-119,共5页
有限自动机理论是控制理论、对象程序测试、神经网络、保密学等众多学科领域的重要研究工具犤1~4犦,探索有限自动机理论研究的新思路具有重要学术意义。文章在有限自动机矩阵模型表示方法基础上,采用矩阵理论和布尔代数为工具,针对无... 有限自动机理论是控制理论、对象程序测试、神经网络、保密学等众多学科领域的重要研究工具犤1~4犦,探索有限自动机理论研究的新思路具有重要学术意义。文章在有限自动机矩阵模型表示方法基础上,采用矩阵理论和布尔代数为工具,针对无输出情形的特殊有限自动机(状态自动机),研究给出了基本代数性质及相应的物理意义。在采用新的数学方法进行有限自动机理论研究方面作了有益的探索,采用这种方法有利于算法设计和计算机自动处理。 展开更多
关键词 状态自动机 矩阵模型 代数性质 有限自动机
在线阅读 下载PDF
基于确定有限状态自动机的改进多模式匹配算法研究 被引量:10
5
作者 陆琳琳 田野 《计算机应用与软件》 CSCD 北大核心 2013年第7期321-323,330,共4页
针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别... 针对网络入侵检测系统的一般问题,在详细分析现存单模式与多模式匹配算法的基础上,将AC算法里的DFSA方法与单模式匹配算法BMH的思想相融合,以求取优化检测效率为目标,提出一种基于确定有限状态自动机的改进多模式匹配算法。该算法特别适合在大字符集文本串中查找小字符集模式串。将该改进多模式匹配算法应用到Snort入侵检测过程中,针对处理结果进行科学评价。通过实例的应用,验证了该改进算法的可行性和高效性。 展开更多
关键词 网络入侵检测系统 模式匹配 单模式 确定有限状态自动机 优化策略
在线阅读 下载PDF
一种基于有穷状态自动机的二维浅海声线追踪方法 被引量:6
6
作者 孙万卿 葛亮 《兵工学报》 EI CAS CSCD 北大核心 2007年第11期1382-1387,共6页
给出了一种二维的浅海声线追踪方法,解决了声线的反射、折射、全反射等问题并快速地找出声线的路径。对于单步的声线追踪,声速剖面假定为水深的函数,利用Snell定律进行单步求算。用有穷状态自动机对浅海的声线追踪建模,给出了浅海声线... 给出了一种二维的浅海声线追踪方法,解决了声线的反射、折射、全反射等问题并快速地找出声线的路径。对于单步的声线追踪,声速剖面假定为水深的函数,利用Snell定律进行单步求算。用有穷状态自动机对浅海的声线追踪建模,给出了浅海声线追踪内在的状态及状态转移分析。同时,给出了本征声线搜取的方法。最后通过对特定声速剖面情况的数值解值和解析解值进行比较,验证了该方法的正确性,并且讨论了应用该方法应该注意的问题和方法中还有待解决的问题。数值仿真实验结果表明,这种方法能够追踪浅海声线路径,其数值解精度达10-4.该方法在匹配场层析、目标跟踪定位和其它领域的射线跟踪有着应用前景。 展开更多
关键词 声学 声线追踪 有穷状态自动机 浅海 本征声线
在线阅读 下载PDF
基于有限状态自动机的构件化软件集成测试方法 被引量:2
7
作者 张毅坤 侯宇明 崔杜武 《计算机工程》 EI CAS CSCD 北大核心 2006年第18期75-78,共4页
构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行... 构件技术及其相应规范的出现带来了构件化软件时代。可是构件化软件固有的特点向传统的程序分析测试技术提出了一个尖锐的问题:构件的开发者独立开发和测试了构件,而使用构件的用户在无法访问到构件源代码的前提下如何对构件化系统进行充分测试?在观测构造理论基础上构造了一种基于有限状态自动机,并可验证构件化软件行为的测试方法。通过实验验证了其有效性。 展开更多
关键词 构件化软件 正则表达式 控制状态序列 有限状态自动机 捕获器
在线阅读 下载PDF
基于有限状态自动机的新产品市场成长研究 被引量:3
8
作者 王峰 黄敏学 《管理科学学报》 CSSCI 北大核心 2012年第7期26-35,共10页
消费者对新产品的持续性动态采用过程可以看作有限状态自动机的状态转移(待购状态、在购状态、休眠状态).在综合大众传播、口碑效应、首次购买、重复购买、顾客流失、以及季节性扰动等因素的情况下,运用有限状态自动机构建出符合动态采... 消费者对新产品的持续性动态采用过程可以看作有限状态自动机的状态转移(待购状态、在购状态、休眠状态).在综合大众传播、口碑效应、首次购买、重复购买、顾客流失、以及季节性扰动等因素的情况下,运用有限状态自动机构建出符合动态采用模式的市场成长模型.此模型更具综合性和精确性,不但可以涵盖经典的Bass模型和后续发展的服务增长模型与尝试—重购模型,还可以推断出以往难以估计的重购系数和流失系数.实证检验快消品、耐用品和服务等品类数据,结论表明新模型比现有三种模型具有更好拟合性,对未来销售的预测力也更高.该模型有利于深入了解新产品在社会系统中一般性的扩散和成长规律. 展开更多
关键词 口碑效应 顾客流失 重复购买 季节性波动 有限状态自动机
在线阅读 下载PDF
基金会现场总线功能块的有限状态自动机模型 被引量:1
9
作者 苑明哲 吕勇 于海斌 《仪器仪表学报》 EI CAS CSCD 北大核心 2005年第1期48-53,共6页
功能块是一种面向工业现场的智能化控制模块。首先 ,针对基金会现场总线功能块建立了描述其内部行为逻辑的有限状态自动机模型 ;其次 ,由功能块的自动机模型构成基于功能块的控制应用的自动机模型。同时 ,建立了反映功能块应用时间特性... 功能块是一种面向工业现场的智能化控制模块。首先 ,针对基金会现场总线功能块建立了描述其内部行为逻辑的有限状态自动机模型 ;其次 ,由功能块的自动机模型构成基于功能块的控制应用的自动机模型。同时 ,建立了反映功能块应用时间特性的功能块调度的时间自动机模型 ;最后 ,以一个 PID回路的自动机模型模拟了该回路的级连初始化过程。所建的功能块及其应用模型为进一步分析功能块及其应用奠定了基础。 展开更多
关键词 功能块 基金会现场总线 有限状态自动机 自动机模型 级连 时间自动机 工业现场 分析功能 应用模型 初始化
在线阅读 下载PDF
基于人物状态自动机的实时动态寻径算法优化 被引量:2
10
作者 袁文杰 郭爽 《计算机工程与设计》 CSCD 北大核心 2009年第10期2599-2600,F0003,共3页
路径搜索是实现游戏中的角色逼真行走的关键技术之一。针对游戏动态路网中寻径极易陷入陷阱且寻径效率不高的问题,将人物状态自动机和加权的LRTA*算法相结合,提出了基于人物状态自动机的实时动态寻径算法。通过改变估价函数值更新规则... 路径搜索是实现游戏中的角色逼真行走的关键技术之一。针对游戏动态路网中寻径极易陷入陷阱且寻径效率不高的问题,将人物状态自动机和加权的LRTA*算法相结合,提出了基于人物状态自动机的实时动态寻径算法。通过改变估价函数值更新规则与解时间和解质量相结合,加快算法收敛速度,并引入人工搜索标志,完成对LRTA*算法的优化。测试结果表明,该算法有效提高了路径搜索的速度,并使搜索得到的路径平滑自然。 展开更多
关键词 动态路网 人工智能 人物状态自动机 人工搜索标志 寻径算法
在线阅读 下载PDF
基于有限状态自动机的Web服务组合(英文) 被引量:1
11
作者 闫新庆 李文锋 陈定方 《计算机工程与设计》 CSCD 北大核心 2007年第23期5624-5627,5725,共5页
Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示... Web服务是Web上的特殊软件资源,可以被应用系统发现和调用。如何根据用户的需求(目标服务)来组合Web服务是研究中需要解决的重要问题。通过使用有限状态自动机,服务组成的社区中的状态和操作可以使用有限状态自动机来模拟,这样可以表示服务操作的内部和外部概要。结合确定性动态命题逻辑,可以根据已有的Web服务,解决目标服务的可组合问题,产生组合计划。同时讨论了算法的复杂性。 展开更多
关键词 WEB服务 服务组合 有限状态自动机 确定性命题逻辑 可组合性
在线阅读 下载PDF
基于有穷状态自动机浅海声场仿真研究 被引量:2
12
作者 孙万卿 葛亮 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第14期3142-3144,共3页
提出一种用有穷状态自动机研究浅海声场的方法。应用Snell定律对单步的声线传播进行研究,分析了浅海声场内在的状态及状态转移特性,推导出浅海声场的有穷状态自动机。步长根据实验精度要求设定,仿真实验表明步长越小,精度越高,计算量越... 提出一种用有穷状态自动机研究浅海声场的方法。应用Snell定律对单步的声线传播进行研究,分析了浅海声场内在的状态及状态转移特性,推导出浅海声场的有穷状态自动机。步长根据实验精度要求设定,仿真实验表明步长越小,精度越高,计算量越大。为了减小运算量,本征声线通过两次追踪不同步长的方法获得。数值仿真结果证明了该方法的可行性,其精度可以达10-4。该方法可望应用到光学和地震学等领域的射线传播研究中。 展开更多
关键词 有穷状态自动机 Snell定律 本征声线 浅海声场
在线阅读 下载PDF
基于有限状态自动机的传感器管理方法 被引量:1
13
作者 梁冰 陈德运 《系统工程与电子技术》 EI CSCD 北大核心 2009年第11期2751-2755,共5页
传感器管理是多传感器融合系统的重要组成部分。针对目前传感器出现故障时仍然缺乏对传感器资源管理的有效方法,提出一种基于有限状态自动机的传感器管理方法。首先,建立传感器管理控制策略的有限状态自动机模型,通过对可控制事件的非... 传感器管理是多传感器融合系统的重要组成部分。针对目前传感器出现故障时仍然缺乏对传感器资源管理的有效方法,提出一种基于有限状态自动机的传感器管理方法。首先,建立传感器管理控制策略的有限状态自动机模型,通过对可控制事件的非使能设定,描述不同控制策略;提出语言测度参数的递归估计方法与停止规则,并根据有限状态自动机模型产生语言的测度获得各种传感器控制策略的性能指标。实例分析结果表明:利用有限状态自动机模型能够辅助设计传感器故障控制策略,根据语言测度可以正确评价传感器控制策略。 展开更多
关键词 传感器管理 有限状态自动机 语言测度 性能评价
在线阅读 下载PDF
基于有限状态自动机多模型集成的列车运行过程仿真研究 被引量:1
14
作者 何兵 万百五 《西安建筑科技大学学报(自然科学版)》 EI CSCD 1998年第1期76-79,共4页
研究了基于有限状态自动机的多模型集成仿真方法,应用有限状态自动机描述离散事件,构造了抽象概念层的仿真模型并给出其完备性和唯一性的性质.在时间演化模型层集成多个相应的时域模型,提高了模型的表现力.将该方法应用到列车运行... 研究了基于有限状态自动机的多模型集成仿真方法,应用有限状态自动机描述离散事件,构造了抽象概念层的仿真模型并给出其完备性和唯一性的性质.在时间演化模型层集成多个相应的时域模型,提高了模型的表现力.将该方法应用到列车运行过程仿真中,提出了相应的多模型集成仿真模型,仿真结构表明了该方法的有效性. 展开更多
关键词 离散事件 有限状态自动机 列车运行 仿真
在线阅读 下载PDF
上下文无关文法与无限状态自动机 被引量:8
15
作者 吕映芝 《电子学报》 EI CAS CSCD 北大核心 1996年第8期23-27,共5页
目前,在研究上下文无关语言时常用的形式系统是上下文无关文法和下推自动机,在研究正则语言时常用的形式系统是正则文法和有限状态自动机.正则文法中的符号和有限状态自动机的符号之间的对应关系比较明显,因此,两种系统之间的转换... 目前,在研究上下文无关语言时常用的形式系统是上下文无关文法和下推自动机,在研究正则语言时常用的形式系统是正则文法和有限状态自动机.正则文法中的符号和有限状态自动机的符号之间的对应关系比较明显,因此,两种系统之间的转换比较容易,并且在这两种系统中观察语言性质时,可以得到相对一致的解释,上下文无关文法与下推自动机之间的对应关系则不够明显,本文所介绍的无限状态自动机也是一种上下文无关语言的识别系统,但它对于上下文无关文法类似于有限状态自动机对于正则文法那样,相互符号间有较明显的对应关系,从而带来相应的好处. 展开更多
关键词 正则文法 有限状态自动机 无限状态自动机
在线阅读 下载PDF
基于有限状态自动机的人眼开度PERCLOS实现算法 被引量:18
16
作者 巩晓倩 蒲亦非 +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
17
作者 胡定文 朱俊虎 吴灏 《计算机工程与设计》 CSCD 北大核心 2007年第8期1804-1806,共3页
漏洞是软件安全的一个严重威胁,如何检测软件中存在的漏洞对提高其安全性具有重要的意义。经过分析缓冲区溢出漏洞产生的原因,得出了其形成的3个必要条件,并根据产生原因的不同,针对函数调用出错和循环拷贝出错而导致的两类缓冲区溢出漏... 漏洞是软件安全的一个严重威胁,如何检测软件中存在的漏洞对提高其安全性具有重要的意义。经过分析缓冲区溢出漏洞产生的原因,得出了其形成的3个必要条件,并根据产生原因的不同,针对函数调用出错和循环拷贝出错而导致的两类缓冲区溢出漏洞,分别提出了相应的基于有限状态自动机的漏洞检测模型。 展开更多
关键词 漏洞检测 缓冲区溢出 有限状态自动机 数据拷贝 区间
在线阅读 下载PDF
利用等价类构造有限状态自动机 被引量:4
18
作者 蒋龙龙 陈文宇 《计算机科学》 CSCD 北大核心 2006年第11期272-273,277,共3页
一类语言由任意字母表上的某种进制的数字串构成,要求该语言中的所有数字串能够整除N;构造有限状态自动机识别该类语言是困难的,本文提出了根据等价类构造一类有限状态自动机的方法。该方法可以针对所有字母表和所有进制的数字串构成的... 一类语言由任意字母表上的某种进制的数字串构成,要求该语言中的所有数字串能够整除N;构造有限状态自动机识别该类语言是困难的,本文提出了根据等价类构造一类有限状态自动机的方法。该方法可以针对所有字母表和所有进制的数字串构成的语言,而且满足语言中的所有数字串能够整除任意正整数N。该方法实用、简便。 展开更多
关键词 等价关系 等价类 有限状态自动机
在线阅读 下载PDF
USSD对话有限状态自动机的设计与实现 被引量:2
19
作者 江海昇 范辉 《计算机应用》 CSCD 北大核心 2005年第9期2199-2201,共3页
USSD(Unstructured Supplementary Service Data,非结构化补充业务数据)是一种基于GSM移动通信网络的新型交互式数据业务,与短消息相比,具有响应速度快、交互能力强、可靠性高的特点。首先分析了USSD对话的信令流程,然后从提高信令的并... USSD(Unstructured Supplementary Service Data,非结构化补充业务数据)是一种基于GSM移动通信网络的新型交互式数据业务,与短消息相比,具有响应速度快、交互能力强、可靠性高的特点。首先分析了USSD对话的信令流程,然后从提高信令的并行处理能力出发,提出了USSD对话有限状态自动机的实现方法。 展开更多
关键词 USSD 信令 有限状态自动机
在线阅读 下载PDF
基于CNN与有限状态自动机的手写体大写金额识别 被引量:8
20
作者 闫茹 孙永奇 +1 位作者 朱卫国 李宇霞 《计算机工程》 CAS CSCD 北大核心 2021年第9期304-312,共9页
手写票据识别是模式识别中的研究难点之一,手写体风格多样、票据背景复杂等原因导致手写票据识别的准确率不高。大写金额作为票据中最重要的部分,对其进行准确识别是手写票据自动识别的关键。对基于分割的手写体大写金额识别及处理问题... 手写票据识别是模式识别中的研究难点之一,手写体风格多样、票据背景复杂等原因导致手写票据识别的准确率不高。大写金额作为票据中最重要的部分,对其进行准确识别是手写票据自动识别的关键。对基于分割的手写体大写金额识别及处理问题进行研究,提出一种基于卷积神经网络(CNN)与有限状态自动机的手写体大写金额识别方法。在利用过分割和组合过分割项得到单字符后使用CNN对其进行识别。通过对字符进行分类、定义各类字符之间的逻辑关系构造用于语法检查的有限状态自动机,通过语法自动机在识别结果中选择符合语法规则的字符串,并在路径搜索中利用语法自动机优化搜索性能。在此基础上,运用语法自动机对模糊字符进行预测,以纠正CNN的识别错误。实验结果表明,该方法在对大写金额单字符和文本行进行识别时准确率分别高达98.2%与96.6%。 展开更多
关键词 卷积神经网络 有限状态自动机 手写票据识别 大写金额 光学字符识别 模式识别
在线阅读 下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部