搜索到430篇“ 有穷自动机“的相关文章
- 非确定型有穷自动机生成方法、装置、设备及存储介质
- 本申请涉及自动机领域，提供一种非确定型有穷自动机生成方法、装置、设备及存储介质。所述方法包括：对待处理字符创建对应的状态后，为状态添加识别标识，待处理字符是待处理正则表达式中的特殊字符；在生成待处理正则表达式的非确定型有...
- 常嘉岳 孙国嵩 赖绍禹 姜子明 陈昕
- 基于确定有穷自动机的长者护理等级评估方法以及系统
- 本发明涉及一种基于确定有穷自动机的长者护理等级评估方法以及系统，长者护理等级评估方法包括以下步骤：利用长者护理等级评估规则，编制完整的第一正则表达式，并根据该第一正则表达式来初始化有限状态机模型；对进行优化而得到优化后有...
- 张锋靳嘉曦藤原宏辉
- 非确定模糊有穷自动机的ε-语言逼近被引量：1
- 2021年
- 在max-*复合推理下引入了非确定模糊有穷自动机的概念,其中*是t-模运算。为了比较2个非确定模糊有穷自动机的行为,借助于[0, 1]上的一个实数ε,定义了2种ε-语言逼近,讨论了它们之间的关系。证明了非确定模糊有穷自动机和模糊有穷自动机之间是0-弱语言逼近的,即二者可以接受相同的模糊语言。此外,还讨论了2种ε-语言逼近的一些代数性质,特别地给出ε-语言逼近在并运算、*运算以及连接运算下的性质。最后,分析了ε-语言逼近的鲁棒性。
- 王海辉赵路瑶李平
- 关键词：鲁棒性
- 一种基于确定有穷自动机的敏感词检测方法和系统
- 本申请公开了一种基于确定有穷自动机的敏感词检测方法和系统，所述方法包括：构建敏感词库树；匹配敏感词。与现有技术相比，本申请的技术方案采用对比正则检查方式，其时间效率随着待检文本长度和敏感词库的敏感词数量的增加而大大降低。...
- 陈杰
- 文献传递
- 非确定有穷自动机在盲文转码中的应用被引量：2
- 2017年
- 对盲人使用的计算机交互技术进行研究是很有意义的工作。盲文字库缺少国际标准和不同公司的盲文字库不兼容造成了很多难题。将盲文用汉字点位编码表示,能摆脱盲文字库的束缚。用不确定有穷自动机描述盲文与汉字点位编码的转换过程,再用逆序拆分子集法对其确定化。经测试系统的转码正确率达到100%,从而实现盲文与机器无关,使得盲人使用计算机更方便。
- 张居晓
- 一种带通配符正则表达式的有穷自动机生成方法
- 本发明涉及一种带通配符正则表达式的有穷自动机生成方法，其特征在于，按照如下步骤实现：S1：根据带通配符正则表达式生成抽象语法树，并对该抽象语法树的每个节点编号；S2：根据抽象语法树计算每个节点的nullable(n)和每...
- 王琦刘坤朋张木连张冬青
- 文献传递
- 有穷自动机的Linux多点触摸屏中间件设计
- 2016年
- 多点触摸屏的应用程序开发是当前的研究热点。Linux multi-touch(MT)协议是Linux输入子系统的一个标准协议,定义了多点触摸设备驱动程序的数据传输规范,有着广泛的使用范围。识别和处理多点触摸屏驱动程序的数据是多点触摸屏应用最基本的功能。本文采用有穷自动机的思想,设计了一个可以识别符合Linux multi-touch协议规范数据的多点触摸屏中间件。中间件提供外部接口供应用程序使用,可以减少程序开发人员的重复工作,提高开发效率。
- 赵建峰陈朔鹰罗一涵
- 关键词：多点触摸中间件有穷自动机嵌入式系统
- 一种基于有穷自动机的网络训练综合分析方法
- 本发明涉及一种基于有穷自动机的网络训练综合分析方法，利用网络态势综合分析模块接收网络入侵告警系统和主机入侵告警系统产生的多种入侵告警日志，基于有穷自动机建立了网络训练场景模型和分析算法，通过将这些日志按模型关联和融合，组...
- 郑天明
- 文献传递
- Pebble模糊有穷自动机和传递闭包逻辑被引量：4
- 2015年
- 定义了Lukasiewicz逻辑下的一阶有界传递闭包逻辑,并且给出了模糊有穷自动机的一阶有界传递闭包逻辑;另外,我们还介绍了两类模糊有穷自动机:Nested模糊有穷自动机和Pebble模糊有穷自动机,并且证得这两类模糊自动机都可以由一阶有界传递闭包逻辑来刻画,因此它们并没有提升模糊自动机的语言识别能力;进而得到本文的主要结论:在Lukasiewicz逻辑下,模糊单体二阶逻辑与Lukasiewicz逻辑下的一阶有界传递闭包逻辑之间等价,且模糊自动机所识别的语言与Pebble模糊有穷自动机识别的语言是等价的。
- 范艳焕耿生玲李永明
- 一种带通配符正则表达式的有穷自动机生成方法
- 本发明涉及一种带通配符正则表达式的有穷自动机生成方法，其特征在于，按照如下步骤实现：S1：根据带通配符正则表达式生成抽象语法树，并对该抽象语法树的每个节点编号；S2：根据抽象语法树计算每个节点的nullable(n)和每...
- 王琦刘坤朋张木连张冬青
相关作者
- 李永明
- 作品数：226被引量：476H指数：12
- 供职机构：陕西师范大学
- 研究主题：计算树逻辑 量子 量子逻辑 加权 格半群
- 周清雷
- 作品数：162被引量：422H指数：9
- 供职机构：郑州大学
- 研究主题：时间自动机 FPGA 图形处理器 自动机 安全协议
- 李平
- 作品数：38被引量：38H指数：3
- 供职机构：陕西师范大学
- 研究主题：半环 加权 有穷自动机 格半群 状态集
- 张丽
- 作品数：25被引量：38H指数：4
- 供职机构：贵州大学
- 研究主题：高盐稀态发酵 极小化 水印图像 等价关系 大曲
- 罗海丽
- 作品数：24被引量：25H指数：3
- 供职机构：内蒙古科技大学信息工程学院
- 研究主题：SLR 有穷自动机 软件工程 词法分析器 软件工程专业
