基于多模式匹配的数字识别有限自动机的设计

基于有限自动机的多模式匹配算法(DFSA算法),设计出同时识别多种数的有限自动机。并给出便于实现的状态图和关键c 代码。     

有穷自动机等价转化中的一种重要工具

有穷自动机的等价转化,主要包括不确定有穷自动机(NFA)的确定化,确定有穷自动机(DFA)的最小化。着重探讨了这两个算法中的一种常用的重要工具——状态转换矩阵,以及用状态转换矩阵解决几类特殊问题的方法。     

一类双向模糊有穷自动机

给出经典双向有穷自动机的即时描述,接受（识别）的语言及双向有穷自动机和有穷自动机是等价的,证明它接受的语言是正则语言。由此,把它推广到模糊上去,相应地给出了双向模糊有穷自动机的定义,即时描述及其接受的语言,进一步证明非确定性双向模糊有穷自动机与确定双向模糊有穷自动机接受的语言是等价的。     

一般多目标极小化模型解的关系分析

本文在一般多目标极小化模型（VOP）非劣解、弱非劣解和绝对最优解的定义基础上，结合相关引理，讨论了这些解之间的关系，并提出了相应的结论。     

单模式串匹配自动机的设计与实现

利用模式匹配自动机匹配文本串,可简化模式串匹配算法,以实现模式串匹配算法的标准化。文章描述了LRPA、RLPA和RLSA等三种模式匹配的自动机．给出了RLPA自动机的设计过程和实现算法,并讨论了RLPA自动机匹配算法的空间复杂性和时间复杂性。     

基于矩阵模型表示的极小线性有限自动机的最短初态试验序列判定

在有限自动机矩阵模型表示方法的基础上,采用矩阵理论和布尔代数为工具,给出了判定输入序列是否是极小线性有限自动机的最短初态试验序列的新算法。     

一种确定型有穷自动机的化简算法及其实现

有穷自动机的化简是一个十分重要的问题,在等价的前提下,自动机的状态越少,意味着越节省软件和硬件资源。本文根据等价性原理,在等价类等概念的基础上,给出了确定型有穷自动机的最小化算法,并给出了该算法的程序实现。     

序列无约束极小化技术和遗传算法在非线性规划中的应用

提出了一种求解带约束非线性规划问题的一般方法。与现有的方法相比,它不受可导性、单峰性和是否病态等因素的限制,适用范围广。实例说明该算法对带约束非线性规划问题的求解十分有效。     

序列无约束极小化技术和遗传算法在非线性规划中的应用

本文提出了一种求解带约束非线性规划问题的一般方法。与现有的方法相比 ,它不受可导性 ,单峰性和是否病态等因素的限制 ,适用范围广。实例说明该算法对带约束非线规划问题的求解十分有效     

XML文档过滤引擎有限自动机的构造

对XML文档的处理包括文档检索和文档过滤。XML文档过滤是对XML文档的订购,发布访问．是对XML文档的在线处理,文档的过滤效率、引擎的构造及过滤引擎的动态可维护性是影响过滤引擎使用的关键要素。基于有限自动机理论。提出了一种新的基于XPath和有限自动机高效构造过滤引擎的模型。给出了实现XML文档过滤引擎有限自动机的相关构造算法。该算法实现了对所构建的过滤引擎有限自动机的在线更新。并可实现对XML文档的不停机过滤。     

Im U CP 形图的匹配等价

完整刻画了Im U Cp （p≥6为偶数或素数且p≠m-3）及其补图的匹配等价图.     

完全图删边子图的匹配唯一性

若μ（G,x）=μ（H,x）,则称G与H是匹配等价的,记为G～H.若G～H,可导出G与H是同构的,则称图G是匹配唯一的.在本文中,给出了许多完全图的删边子图及其补图是匹配唯一的充要条件.     

三个点并圈的匹配等价图类

计算了3K1∪Cm匹配等价图的个数,也刻画了3K1∪Cm以及它的补图的匹配等价图类.     

点并两个圈的匹配等价图类

计算了K1∪Cm∪Cn的匹配等价图的个数，也刻画了K1∪Cm∪Cn以及它的补图的匹配等价图类．     

基于词计算的Fuzzy有限自动机的等价问题

首先介绍了一种基于词计算的一类新的Fuzzy有限自动机,这种自动机的特点是输入和输出分别由输入和输出字母表中的Fuzzy子集串替代;其次给出了该种自动机的不同状态下的等价关系,并通过数学归纳法进行了证明,使得词计算在Fuzzy自动机中的应用能够得到了进一步的推广．     

正规代数对象的半单闭包之构造

最近,E.R.Puczylowski用公理化方法建立了外延广泛的代数系统--代数对象类的概念,它包含了大多数已知的代数范畴.并且,在特殊的代数对象类--正规代数类中,他给出了半单类的一个特征.本文的目的是在正规代数类中给出半单闭包的构造.     

关于形式语言与自动机理论的教学方法探讨

形式语言与自动机理论是计算机科学与技术专业的一门重要专业基础理论课,搞好本课程的教学,不但能为学生学好本专业后续课程奠定坚实的理论基础,而且有利于培养学生的计算机抽象思维,形式化设计构造的能力,从而适应进一步的学习和工作中本学科专业发展的需要。本文首先对当前该课程教学中存在的一些现象进行分析,然后介绍作者总结出的一些行之有效的教学策略与方法。     

基于约束的部分枚举策略的空间关系图匹配算法研究

本提出了一种基于约束的部分枚举空间关系图匹配策略．该策略通过使用在匹配过程中动态生成的2类匹配约束条件智能预测当前匹配状态的后继有效的枚举状态以跳过无效的中间匹配状态，达到状态空间剪枝的目的，可以有效降低空间关系图匹配过程中状态搜索空间．根据理论分析，该策略在最好情况下的时间复杂度为O(n^2)，在几乎很少发生的最坏情况下时间复杂度为O(n!)；其空间复杂度都是O(n)．所提出的方法已在笔研发的手绘草图识别系统Smart Sketchpad中取得了很好的识别效果．     

关系与映射

集合论是现代数学的理论基础,映射是集合论中用以建立现代数学概念和理论的基本工具和手段。集合与映射是整个中学数学的理论基础。关系是在高等代数学中才出现的概念。关系和映射两个“距离”很远,看似不相干的概念,实则有着密不可分的联系:关系是映射的推广,且均可用集合表示。