有限自动机

摘要： 本文主要以概率布尔网络为主要研究对象,对概率布尔网络的可重构性问题进行了分析。首先,利用状态耦合的方法对状态进行分类;接着给出概率布尔网络的四种定义并讨论了概率布尔网络的周期可重构性,给出了判断周期可重构的新方法;最后利用了自动机原理给出了系统的加权对图,并在此基础上给出了判断系统可重构的条件。

摘要： 针对采取智能算法进行战场态势分析和目标识别时面临的图像样本不足问题,构建了战场数字孪生系统,以实时物理域数据驱动孪生体仿真生成图像训练样本。首先,设计了开放复杂环境中的数字孪生战场体系结构和战场环境虚拟场景仿真流程,给出了红外图像仿真流程中基于有限自动机的状态转移机制;然后,对红外图像仿真流程的并行性进行了形式化分析和并行计算模型设计,实现了红外图像实时生成;最后,通过典型场景验证了孪生战场红外仿真图像方法的有效性,可为智能算法训练提供真实感强和数据丰富的图像样本。

摘要： 文本自动校对是蒙古文信息处理核心技术之一,是基础研究和应用技术的有机融合.文本校对包含词典建设、词法分析等基础资源建设和底层技术研发,也包括针对具体需求的系统研发.由于蒙古文自身的特点,现有的有关文本校对或拼写检查方面的技术不能满足蒙古文需求.本文在借鉴中文、英文、阿拉伯文、印度文等多种语言拼写检查技术的基础上,介绍了一种基于混合策略的蒙古文非词检查及纠错建议生成方法.在非词检查阶段融合正字法词典和相关语法规则,研制了蒙古文有限状态自动机,大大提高了词语识别速度和非词查准率.在纠错建议生成阶段,首先以3500万词文本语料为基础,构建蒙古文全词词典,并解决了动词纠错建议的生成问题.之后以上述文本语料为基础,构建了蒙古文Ngram模型,并将最小编辑距离和词根Bigram融合,研制了六种候选词排序算法.经试验,本文提出的基于字符相似度的编辑距离计算方法以及与Bigram值加权融合的排序算法表现最好,正确候选词排在第一位和前三位的准确率分别达到了92.01％和96.51％,并且已实现在商业化校对软件Mongolian Editor Version 6.0中.

摘要： 针对嵌入式控制系统中的时序安全问题,提出一种形式化验证方法,使用证明助手Coq对嵌入式控制系统建模,并验证其时序安全性质.首先,将控制系统的运行过程描述为基于状态转移图的自动机中间模型,并建立转移关系语义公式,提高模型与系统的一致性;其次,使用线性时序逻辑将自然语言表达的安全约束转换为时序逻辑公式,消除自然语言表达的二义性;最后,在Coq中实现系统的形式化模型,将约束公式转换为Coq中的定理,并选择合适的策略进行证明.使用该方法对C语言编写的直角坐标型机器人控制系统进行建模,实验结果表明,模型满足文中设计提出的若干性质,发现程序中隐藏的时序安全问题并对其进行了有效修复.

摘要： 状态不透明性作为一种重要的机密属性,能够表征入侵者窃取系统隐私信息的能力.针对带有不可观测事件的信息物理融合系统(CPSs),该文提出一种基于矩阵半张量积(STP)的代数状态空间方法,并且分析与验证CPSs的状态不透明性.首先利用矩阵STP理论对CPSs的状态演化进行建模,得到系统的动态代数表达式,然后利用STP运算的特性,给出验证系统当前状态不透明性的充分必要代数条件.最后,通过数值仿真算例验证了方法的有效性.该文提出的基于矩阵STP方法为CPSs相关隐私分析与安全控制研究提供了一个新的思路和框架.

摘要： 新工科的迅猛发展对各高校专业建设和课程建设提出了新要求.以"编译原理"课程为例,讨论了新工科背景下课程改革的方向及途径.提出以工程案例作为课堂教学与产业需求之间的触点,将课程知识点融入到工程案例中,使学生理解、掌握课程知识和促进创新实践能力并进.详细介绍了一个经典理论与新兴产业需求相结合的工程案例,讨论了案例式教学的特点及其对新工科建设的促进作用.

摘要： 针对当前复杂仿真系统评估的滞后性问题,提出了基于可接受性标准(Acceptability Criteria,AC)的仿真在线评估方法。通过定性和定量AC到指标的映射模型来建立评估指标体系;引入指标集和评估函数,提出了仿真评估流程有限自动机七元组模型,给出仿真流程到评估自动机的映射关系和基于数据驱动的状态转移机制,实现评估过程自动化执行过程;基于上述成果设计了在线评估工具,通过案例验证了在线评估方法的有效性,表明该方法能够有效解决仿真系统评估滞后性问题。

摘要： 现有基于模型的诊断通常将系统状态划分为正常和(永久)故障.航空、航天等领域电子产品的故障通常是间歇的,将间歇故障误诊为永久故障将引发虚警、不可复现和重测合格等问题.为了研究现代大型复杂系统的故障诊断,本文提出采用有限自动机进行系统建模,并对故障事件进行评估使之可观的思想,首先介绍了包含永久故障和间歇故障的系统自动机模型的构建;同时,引入标识的概念,给出了表征系统状态变化规律的标识函数;在此基础上,介绍了系统诊断器的构建;最后,给出了系统自动机和诊断器构建步骤和方法.

摘要： 给出了直觉模糊有限自动机的广义直积、级联积和圈积覆盖的定义,讨论了直觉模糊有限自动机在同构意义下级联积和圈积满足结合性以及各种乘积之间的覆盖关系.

摘要： 通过分析SaaS下多租户软件的特点,结合对问题管理领域相关需求的研究,提出基于SaaS的企业问题管理系统设计方案。简述了确定有限自动机的概念,提出了利用自动机控制问题处理流程的思想,并使用XML 技术构造确定有限自动机。

摘要： 有限自动机(FSM)被广泛用对软硬件进行建模.唯一输入/输出序列(UIO Sequence)用于构造测试序列来验证FSM是否到达某一状态.UIO序列寻找过程就是构造一棵UIO树,但是构造过程中使用的分解节点方法会产生许多不需要的节点.在结合已有的广度优先搜索算法和搜寻过程中构造UIO树的方法、本文提出将UIO树的节点标记为"需要"和"不需要"状态的方法,以降低搜索空间,加快UIO序列生成过程.该算法与以往算法相比,在时间复杂度和空间复杂度两方面有较大改进.

摘要： 在利用有限自动机设计软件流程的基础上,提出用Spring的依赖注射技术设计易维护软件流程的方案,并结合实际,给出了应用实例.实践证明,该设计方案使软件流程变得更加清晰,提高了软件流程的可扩展性和可维护性,降低了软件的维护成本.

摘要： 维吾尔语单词的构形词缀按照一定的规则连接到词干,维吾尔语的黏着语特点和构形词缀连接规则使得可以构造维吾尔语构形词缀的有限状态自动机。本文将详细介绍维吾尔语形容词构形词缀有限自动机的构造步骤。

摘要： 文中提出了一种基于FA(有限自动机)和SVM(支持向量机)的网页自动分析分类方法。该方法通过构建一个多层次可迭代有限自动机,实现对网页的分析。并利用LibSVM工具提供的支持向量机多类分类功能,实现了网页的多类分类;为了提高分类的准确率,引入了一种基于关键词的网页向量生成算法。实验表明,它不仅具有较好的网页分析效果和较高的训练效率,同时能得到很高的分类精确率和召回率。

摘要： 本文主要阐述哈萨克语词干提取使用的名词构形词缀分析DFA的构造过程。哈萨克语属于黏着语,所以哈萨克语自然语言处理系统必须实现词干提取。词干提取的主要任务从单词提取词干和连接词干词尾的构形词缀.哈萨克语单词的构形词缀按照一定的规则连接到词干词尾,这使得哈萨克语构形词缀的连接规则可用有限状态自动机形式化描述。本文中,首先介绍哈萨克语名词的形态结构,然后根据规则构造从右向左的有限状态自动机,最后对这个自动机进行方向翻转和转换确定自动机操作。

摘要： 本文主要阐述哈萨克语词干提取使用的名词构形词缀分析DFA的构造过程。哈萨克语属于黏着语,所以哈萨克语自然语言处理系统必须实现词干提取。词干提取的主要任务从单词提取词干和连接词干词尾的构形词缀.哈萨克语单词的构形词缀按照一定的规则连接到词干词尾,这使得哈萨克语构形词缀的连接规则可用有限状态自动机形式化描述。本文中,首先介绍哈萨克语名词的形态结构,然后根据规则构造从右向左的有限状态自动机,最后对这个自动机进行方向翻转和转换确定自动机操作。

摘要： 本文主要阐述哈萨克语词干提取使用的名词构形词缀分析DFA的构造过程。哈萨克语属于黏着语,所以哈萨克语自然语言处理系统必须实现词干提取。词干提取的主要任务从单词提取词干和连接词干词尾的构形词缀.哈萨克语单词的构形词缀按照一定的规则连接到词干词尾,这使得哈萨克语构形词缀的连接规则可用有限状态自动机形式化描述。本文中,首先介绍哈萨克语名词的形态结构,然后根据规则构造从右向左的有限状态自动机,最后对这个自动机进行方向翻转和转换确定自动机操作。

摘要： 本发明涉及自动控制领域，公开了一种基于有限自动机的自动控制系统，包括控制单元、配置工具和数据库，控制单元包括事件队列、任务线程池、自动机引擎和脚本解释器；本发明还提供了一种基于有限自动机的自动控制系统的控制方法，从有限自动机的生成到对事件的处理进行完整地介绍，本发明以有限自动机为系统的基本控制模型，并以脚本为载体来记录控制规则，提供了一种由事件触发并考虑系统状态因素的控制系统与方法，解决了一类离散事件系统的控制问题，能够保证控制规则与系统状态相适应。

摘要： 本发明涉及一种基于非确定性有限自动机的隐私保护医学诊疗系统。包括密钥生成中心，负责生成系统公共参数，分发服务器的私钥、用户的公/私钥，并执行远程医疗授权操作；医院，针对不同的疾病设计不同的医疗模型，并将其加密的医疗模型外包给云平台以提供远程诊疗服务；患者，将加密的医疗数据发送给云平台以请求获得诊疗服务，并使用自己的密钥来解密云服务器返回的诊疗结果；云平台，为医院提供加密医疗模型的存储服务；计算服务器，当接收到患者的远程诊疗请求后，计算服务器和云平台交互执行安全外包计算协议，并计算出最佳的加密治疗过程。本发明可以为患者推荐最佳的加密治疗建议，并且不会泄露患者的隐私。

摘要： 本发明涉及自动控制领域，公开了一种基于有限自动机的自动控制系统，包括控制单元、配置工具和数据库，控制单元包括事件队列、任务线程池、自动机引擎和脚本解释器；本发明还提供了一种基于有限自动机的自动控制系统的控制方法，从有限自动机的生成到对事件的处理进行完整地介绍，本发明以有限自动机为系统的基本控制模型，并以脚本为载体来记录控制规则，提供了一种由事件触发并考虑系统状态因素的控制系统与方法，解决了一类离散事件系统的控制问题，能够保证控制规则与系统状态相适应。

摘要： 本发明属于软件行为领域，涉及一种基于有限自动机的行为自动建模方法。第一步：获取交互轨迹：获取样例执行情况的交互轨迹使得交互轨迹执行顺序唯一；第二步：合并输入一等价轨迹：将生成的样例交互轨迹按输入等价的原则进行合并；第三步：获得谓词；第四步：通过第三步得到行为模型的扩展有限自动机EFA，增加一个公共的初始状态得到初始的EFA，再根据等价原则合并获得最终的EFA。本发明的目的就是为了获得更多更精确的信息，生成更好的软件行为模型。

摘要： 本申请公开了一种确定性有限自动机压缩方法、装置、设备及存储介质，该方法包括步骤：从特征字符串集中读取特征字符；基于所述特征字符，构建确定性有限自动机；基于所述确定性有限自动机的状态的失效路径和默认路径，对所述确定性有限自动机进行压缩，得到TCAM表；所述TCAM表用于字符串匹配。本申请本申请采用确定性有限自动机的状态的失效路径和默认路径对TCAM进行压缩，无需通过公共后缀树对TCAM进行压缩，其状态编码长度不受字符串限制，因此，本申请提高了DFA的压缩比率。

摘要： 本发明公开了一种从有限自动机生成简短正则表达式的方法，包括：S1、对于候选状态消减序列空间，定义临时变量S*存储当前最优状态消减序列，定义临时变量L存储当前最短正则表达式长度；S2、用表达式自动机描述状态消减的中间结果，根据表达式自动机规模估算生成的正则表达式的长度；S3、基于临时变量S*和L，对候选状态消减序列空间进行剪枝处理，提高状态消减序列的搜索效率；S4、按照搜索到的最优状态消减序列，采用状态消减法将有限自动机转换成简短的正则表达式。本发明能被应用于软件行为建模、基于模型的测试、软件工程、计算与语言的研究等领域，显著地提高自动机生成较短正则表达式的效率。

摘要： 本发明涉及一种有限自动机的修剪方法和系统。该有限自动机的修剪方法，先采用筛选器确定获取的有限自动机的状态集中的所有接收状态后，再采用修剪器对所有的接收状态进行修剪，得到修剪后的状态，以实现有限自动机的修剪方法的在线使用，且提高在线使用的实时性。并且，本发明提供的有限自动机的修剪方法和系统，通过采用筛选器和修剪器，能够在降低有限自动机修剪运算量和存储空间的同时，减轻实际应用的负担。

摘要： 本发明涉及一种检测信号单双性的双信三态有限自动机的状态盘。该状态盘包括：支撑板、左态槽、左态柱、中态柱、右态柱、右态槽、中态槽和弹性部件；左态槽、右态槽以及中态槽均为支撑板上开设的槽体；中态槽位于支撑板的中部；左态槽和右态槽分布在中态槽两侧；左态柱放置于左态槽中；右态柱放置于右态槽中；中态柱放置于中态槽中；中态柱的材料为非金属材料；弹性部件设置在中态柱的下端；左态柱的顶端为金属部件，左态柱的中端为磁条的S极，左态柱的下端为磁条的N极；右态柱的顶端为金属部件，右态柱的中端为磁条的N极，右态柱的下端为磁条的S极。本发明为有限状态自动机器的硬件实现，具有结构简单、稳定耐用、易于制造、成本低的特点。

摘要： 本发明涉及一种识别尾标信号的有限自动机器，包括信号带、传动轮以及状态槽；信号带位于所述传动轮上，状态槽位于传动轮一侧；信号带上设置有N极磁条、非金属条以及S极磁条；状态槽内设置有S极球、非金属球以及N极球，S极球、非金属球以及N极球通过横杆设置在状态槽内，非金属球所在横杆远离传动轮的一端设置有弹性装置；传动轮带动信号带传动，N极磁条、非金属条以及S极磁条靠近状态槽，S极球在N极磁条作用下靠近N极磁条，非金属球在弹性装置作用下靠近非金属条，N极球在S极磁条作用下靠近N极磁条。本发明通过信号带上的磁条、S极球、非金属球、N极球以及弹性装置完成了尾标信号识别。

摘要： 本发明涉及一种状态变化器及有限自动机器。其中，本发明提供的状态变换器，通过设置信号传输单元和状态模块，使得在有信号传输时，一个信号传输单元可以带动状态模块旋转半周，进而实现传输信号个数(长度)奇偶性的判断。并且，本发明提供的包括有上述提供的状态变换器的有限自动机器，通过状态变换器可以实现有限自动机器中传输信号长度奇偶性的状态检测，从而为复杂的有限自动机器在工程领域的硬件实现提供有益的设计思路。