搜索到552篇“ 确定有限自动机“的相关文章
- 非确定有限自动机的最短D1-同步字求解被引量：1
- 2021年
- 研究了非确定有限自动机的最短D1-同步字的计算问题。针对这种自动机定义了D1W问题及其参数化版本问题p-D1W和最优问题shortest-p-D1W,证明了p-D1W和shortest-p-D1W分别属于para-NP和para-DP。利用均匀分布模型随机生成大量的非确定的有限自动机进行实验,结果表明:在定长的参数下几乎所有随机产生的自动机实例都不是D1-可同步的,一旦将自动机上每个状态和字母的变迁函数的像数量限制在2以内,会出现少量的D1-可同步的自动机,且绝大多数最短同步字长不超过状态数的2倍。
- 朱凯毋国庆袁梦霆杨磊
- 关键词：参数化算法
- 基于扩展确定有限自动机的功能需求获取方法
- 2020年
- 功能需求获取一直是系统需求分析的难点,目前尚无特别有效的方法。该文通过对确定有限自动机的扩展(extended deterministic finite automata,EDFA),将系统输入与确定有限状态机的输入激励相结合,将系统输出与系统输入和系统状态相结合,通过确定有限状态机的状态集合,划分系统功能需求空间,提出了一种结构化的功能需求获取方法,有助于提升功能需求获取的完整性,降低功能需求获取的难度。通过对自动巡航系统跟车模式下的需求获取,验证了基于EDFA功能需求获取方法的有效性和实用性。
- 马赞王鹏崔明山
- 一种基于非确定有限自动机的字符串搜索方法及其装置
- 本发明公开一种基于非确定有限自动机的字符串搜索方法，包括构造非确定有限自动机并为非确定有限自动机设定状态变量；在所述非确定有限自动机中载入匹配表达式，并按照有向图运算符转换规则，将所述非确定有限自动机中的匹配表达式转换为...
- 李超
- 文献传递
- 用于将图样编译成非确定有限自动机(NFA)图形的方法和计算机系统
- 本发明的各实施例涉及为具有高级特征的正则表达式图样生成非确定有限自动机(NFA)图形。在一个实施例中，一种将图样编译成非确定有限自动机(NFA)图形的方法包括对该图样进行多个元素和多种节点类型检查。每种节点类型与一个元素...
- R·戈亚尔S·L·比拉
- 文献传递
- 一种基于图形处理单元的非确定有限自动机的匹配方法及装置
- 本发明公开了一种基于图形处理单元的非确定有限自动机的匹配方法及装置，其包括：首先，计算非确定有限自动机NFA中所有状态两两之间的相容性，并根据所述相容性对所述各个状态进行编码形成虚拟NFA，获得虚拟NFA对应的虚拟NFA...
- 董群峰
- 文献传递
- 一种确定有限自动机的构建方法及装置
- 本发明公开了一种确定有限自动机的构建方法及装置，用以解决针对包含长度限制的正则表达式构建DFA时可能存在的DFA状态爆炸问题，同时实现DFA的存储空间压缩及匹配加速。确定有限自动机的构建方法，包括：针对特征规则集中包含长...
- 曾彬王焕云张大方吴达志
- 文献传递
- 一种基于非确定有限自动机的字符串搜索方法及其装置
- 本发明公开一种基于非确定有限自动机的字符串搜索方法，包括构造非确定有限自动机并为非确定有限自动机设定状态变量；在所述非确定有限自动机中载入匹配表达式，并按照有向图运算符转换规则，将所述非确定有限自动机中的匹配表达式转换为...
- 李超
- 为具有高级特征的正则表达式图样生成非确定有限自动机(NFA)图形
- 本发明的各实施例涉及为具有高级特征的正则表达式图样生成非确定有限自动机(NFA)图形。在一个实施例中，一种将图样编译成非确定有限自动机(NFA)图形的方法包括对该图样进行多个元素和多种节点类型检查。每种节点类型与一个元素...
- R·戈亚尔S·L·比拉
- 用于遍历为具有高级特征的正则表达式图样生成的非确定有限自动机(NFA)的系统和方法
- 在一个实施例中，一种行走表示图样的非确定有限自动机(NFA)图形的方法包括从NFA图形的节点中提取节点类型和元素。该方法进一步包括通过使有效载荷与该元素进行匹配至少零次来将该有效载荷的一段与该元素进行匹配，该次数基于该节...
- R·戈亚尔S·L·比拉
- 与确定有限自动机的混合表示关联的方法和设备
- 一种方法，包括：接收数据单元，确定当前状态是否为位图状态，该当前状态与确定有限自动机(DFA)相关联，该确定有限自动机包括位图形式的一部分状态和DFA表形式的其余部分的状态，并且当确定当前状态不是位图状态时，确定对应于数...
- 马青明布赖恩·伯恩斯李升刘娜吴雪君于珊郑丽
- 文献传递
相关作者
- 闵兰
- 作品数：23被引量：216H指数：6
- 供职机构：成都理工大学
- 研究主题：确定有限自动机 大学数学 教学 矩阵 命题逻辑
- 段振华
- 作品数：214被引量：245H指数：9
- 供职机构：西安电子科技大学计算机学院
- 研究主题：时序逻辑 形式化验证 命题投影时序逻辑 投影时序逻辑 语句
- 刘益
- 作品数：15被引量：20H指数：3
- 供职机构：宜宾学院计算机与信息工程学院
- 研究主题：确定有限自动机 命题逻辑 逻辑 知识结构 XML模式
- 雷丽晖
- 作品数：8被引量：84H指数：5
- 供职机构：西安电子科技大学计算理论与技术研究所
- 研究主题：确定有限自动机 组合WEB服务 形式化验证 有限自动机 J2EE
- 董群峰
- 作品数：13被引量：0H指数：0
- 供职机构：中国科学技术大学
- 研究主题：TCAM 三态内容寻址存储器 匹配方法 有穷状态自动机 DFA
