确定有限自动机

作品数：42被引量：126H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：闵兰段振华雷丽晖刘益孙玉强更多>>
相关机构：西安电子科技大学成都理工大学国防科学技术大学宜宾学院更多>>
相关期刊：《航空计算技术》《计算机技术与发展》《计算机工程与设计》《计算机工程与应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于复合事件检测的故障检测算法
《信息技术与信息化》2022年第4期95-98,共4页杨骋昊 李斌 薛楠 
新一代机载分布式电子系统对可靠性和可用性提出了更苛刻的要求,系统应用的正确执行需要保证消息传输的准确性和实时性,因此要求系统具有更强的容错能力。针对上述需求,提出了一种基于复合事件检测的故障检测(composite event detection...
关键词：分布式 复合事件 非确定有限自动机 故障检测 CED-FD算法 
非确定有限自动机的最短D1-同步字求解被引量：1
《华中科技大学学报（自然科学版）》2021年第2期68-73,共6页朱凯 毋国庆 袁梦霆 杨磊 
国家自然科学基金资助项目(61640221,61872272);广东省自然科学基金面上项目(2020A1515010691)。
研究了非确定有限自动机的最短D1-同步字的计算问题。针对这种自动机定义了D1W问题及其参数化版本问题p-D1W和最优问题shortest-p-D1W,证明了p-D1W和shortest-p-D1W分别属于para-NP和para-DP。利用均匀分布模型随机生成大量的非确定的...
关键词：非确定有限自动机 同步字 固定参数易解的归约 可满足问题 参数化复杂性 参数化算法 
基于扩展确定有限自动机的功能需求获取方法
《实验技术与管理》2020年第5期78-84,共7页马赞 王鹏 崔明山 
国家自然科学基金委员会-中国民航局民航联合研究基金(U1533105)
功能需求获取一直是系统需求分析的难点,目前尚无特别有效的方法。该文通过对确定有限自动机的扩展(extended deterministic finite automata,EDFA),将系统输入与确定有限状态机的输入激励相结合,将系统输出与系统输入和系统状态相结合...
关键词：需求获取 功能需求 扩展确定有限自动机(EDFA) 需求获取流程 结构化需求获取 
一种针对DFA状态爆炸的正则表达式匹配方法被引量：4
《计算机工程》2019年第4期148-156,共9页王翔 卢毓海 马伟 刘燕兵 
国家重点研发计划(2016YFB0800303);中国科学院信息工程研究所基础前沿项目(Y7Z0351101)
针对基于确定有限状态自动机的匹配引擎在大规模、复杂规则下会出现状态爆炸的问题,提出正则表达式子串抽取算法。通过将子串抽取算法应用于DFA状态爆炸场景,设计基于子串抽取的正则匹配引擎。实验结果表明,该算法在单个规则上运行时间...
关键词：正则表达式 确定有限自动机 状态爆炸 子串抽取 匹配引擎 
一个基于词语搭配的英文文本检索软件的实现
《计算机应用与软件》2017年第10期85-90,142,共7页乔艳梅 杨进才 刘应亮 
国家社会科学基金项目(14BYY093);国家自然科学基金项目(31371275)
词语搭配是英语语言学研究中的一个重要课题,近年来,趋向于注重数据验证和量化研究。探讨一个基于搭配研究的英文文本检索软件ColloStu实现的关键技术。该软件设计一个通配符匹配算法,该算法使用确定有限自动机DFA,通过压缩自动机的状态...
关键词：文本检索 词语搭配 通配符匹配 确定有限自动机 搭配力计算 
业务流程的形式化设计与验证
《北京理工大学学报》2016年第11期1147-1153,共7页丁明 张书玲 张琛 
国家自然科学基金资助项目(61502365;61272117);中央高校基本科研业务费专项资金项目(K5051303005)
针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业...
关键词：业务流程 确定有限自动机 模型检测 线性时序逻辑 
基于参数设定的正则表达式匹配算法
《江苏大学学报（自然科学版）》2016年第2期194-200,共7页周金治 邓悄 康春香 
国家自然科学基金资助项目(60932005);特殊环境机器人技术四川省重点实验室基金资助项目(13ZXTK07)
为了解决现有正则表达式匹配算法在时间复杂度与空间复杂之间的平衡问题,提出一种通过参数动态设定的确定有限自动机(dynamic parameters DFA,DPDFA)的正则表达式匹配算法.首先对现有典型正则表达式匹配算法进行性能分析,指出它们在内...
关键词：正则表达式 确定有限自动机 互斥性 多模式匹配 歧义匹配 
基于UML2.0序列图的Web服务运行时验证方法被引量：3
《计算机科学》2013年第7期138-142,共5页张亚红 张琳琳 赵楷 陈佳丽 冯在文 
国家自然科学基金资助项目(61100017;61262089);自治区高校科研计划项目(XJEDU2011S24);福建省自然科学基金项目(2012J01250;2011J05146);新疆大学博士毕业生科研启动基金项目(BS090142)资助
为了确保包括非功能属性在内的服务规约与服务实际运行行为之间的一致性,提出一种Web服务运行时行为验证方法。首先对UML 2.0序列图进行扩展,将QoS属性和功能属性的描述统一起来,以精确表达Web服务的需求规约。然后,提出利用确定有限自...
关键词：UML2 0序列图 确定有限自动机 WEB服务 运行时验证 
基于DFA结构的高速并行正则表达式匹配算法被引量：2
《小型微型计算机系统》2013年第5期1050-1053,共4页李鲲鹏 兰巨龙 李玉峰 
国家"九七三"重点基础研究发展计划项目(2012CB315901)资助
针对正则表达式匹配速度低的问题,提出一种基于DFA结构的并行匹配算法.正则表达式匹配过程中,DFA的一部分状态访问次数多而另一部分状态访问次数少.因此,建立数学模型,应用马尔科夫链求解各个状态的访问概率,从而将DFA的状态分成前端和...
关键词：正则表达式 确定有限自动机 访问概率 前端部分 后端部分 匹配速度 
基于信息系统的确定有限自动机最小化算法
《计算机应用》2012年第7期1991-1993,1997,共4页杨传健 葛浩 姚光顺 王波 
安徽高等学校省级自然科学研究项目(KJ2011Z276;KJ2012A212);安徽省高等学校省级优秀青年人才基金资助项目(2011SQRL123;2012SQRL151);滁州学院科学研究项目(2010kj014B;2011kj003Z;2011kj017B)
目前,确定有限自动机(DFA)最小化问题多侧重于理论研究,尚无太多便于实现的算法,为此,对确定有限自动机最小化方法进行了研究,提出将DFA转换为信息系统,基于等价类划分方法简化信息系统,再将简化的信息系统转换为最小化DFA;针对上述处...
关键词：确定有限自动机 信息系统 等价类 最小化 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部