构造正则表达式的Follow自动机并行算法研究

给出了一种从正则表达式到Follow自动机的并行化算法. 先构造正则表达式的Thompson自动机, 再对其消除ξ边,实现Thompson自动机到Glushkov自动机的转换, 然后对Glushkov自动机的等价状态进行合并,从而得到一种规模更小的有限自动机,即Follow自动机,最后以实例模拟其并行转化过程.     

一种改进的有限自动机正则化方法研究

有限自动机与正则表达式具有等价性,针对传统算法在处理特定有限自动机正则化中的缺陷,通过对终止状态F,加入δ（F,ξ）=F的转换函数,有效地解决了传统算法中不能利用正规表达式方程组求解的问题,并举例证明其实现过程．     

基于自动机模型数据关联性能评估算法

提出了一种基于自动机理论的性能评估方法,通过在有限自动机模型中增加描述观测的时间序列,来扩展其对数据关联过程的表达能力;使用时序有限自动机模型来描述关联处理算法的模型;使用带时间属性的字符串表示目标航迹。对数据关联的时序有限自动机模型进行一致性和可达性分析,并在此基础上给出了性能评估算法。实验结果证明该方法可以有效地评价关联算法的性能。     

基于有限状态自动机提取不规范表结构Web信息

大量的不规范表结构信息是当前Web信息提取所必须解决的问题.在现有方法基础上,给出了归纳学习相邻属性间上下文规则集算法,提出了以Web页为粒度的属性转换机和有限状态自动机包装器概念,最后介绍了采用有限状态自动机包装器提取不规范表结构Web信息的算法.     

有限自动机与多路自动机的关系

简单介绍了多路自动机的定义，分析了多种自动机和有限自动机的关系，包括确定的有限自动机和非确定的有限自动机，并且给出了例子，本文的结论推广了计算学习理论中可有效学习的类的范围。     

PFA在FPGA正则引擎上的设计和仿真

将后缀自动机构造方法应用到现场可编程门阵列的正则引擎设计上,能够有效地压缩状态空间,提高"速度"和"面积"这2个最主要的现场可编程门阵列的引擎性能指标,并能利用有限的现场可编程门阵列资源来实现更多正则表达式的匹配处理. Testbench模拟仿真结果表明,所设计的正则引擎完全实现了预期匹配要求,而其支持的正则表达式的数量和匹配速度都因有效的规模压缩而得到了很大的提升,对比传统的基于Thompson不确定的有限自动机实现的硬件引擎,其所需要的硬件逻辑资源更少,能够并行执行的正则表达式数量也就越多,有效地提高了匹配效率.     

基于有限状态自动机的黑白数字图像表示方法

提出了一种用有限状态自动机（FA）来描述黑白数字图像的方法。对一幅给定的黑白数字图像,可以用正则语言来表示它的像素地址,反之,任一正则语言也可以表示为一幅黑白数字图像,即正则语言与黑白数字图像可以相互转化。而由自动机理论原理知,正则语言可以用有限状态自动机等价描述,从而得到用有限状态自动机来描述黑白数字图像的方法。这样就建立了图像与自动机理论这两门学科之间的联系,也为用自动机进行图像压缩奠定了基础。     

基于稠密时间的实时系统模型检测的一个应用

模型检测是一种用于并发系统性质验证的算法技术。实际生活中广泛应用的是带有时间约束的并发系统即实时系统，现在模型检测技术越来越被广泛地应用到这类系统的性质验证当中。这类系统通常用时间自动机来表示，而它们的性质则用时序逻辑公式表示。本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。     

有限自动机在自动控制软件设计中的应用

简述了有限自动机的基本概念，提出了应用有限自动机进行软件设计的处理思想，并给出了实现方法。有限自动机在软件设计中以及应用过程中充分考虑了软件设计的规律性，提高了软件设计的工作效率。     

求解正则表达式方程组高斯消元法的矩阵方法

本文在分析现有求解正则表达式方程组最小不动点的高斯消元法基础上，提出了一种利用系数矩阵进行消元变换求解正则表达式方程组的高斯消元法，并给出易编程的实现算法。     

利用收缩估计t电波到达方向

收缩阵由以规则结构排列的处理单元组成,共中的三角阵用以实现一系列Ｇｉｖｅｎｓ旋转,Ｇｉｖｅｎｓ旋转可以对数据矩阵进行了正交三角化变换,三角化数据矩阵用于电波到达方向的谱估计十分方便,文中首先介绍了Ｇｉｖｅｎｓ旋转,在此基础上讨论用收缩阵实现电波到达方向估计的算法,最后通过计算机仿真给出了不同情况下到达方向估计的结果结果,表明收缩阵谱估计测向具有良好的测向精度和分辨率。     

根据形状类型信息由图像中的明暗变化获取物体的表面方向

研究一种专门用于SFS(由图像的明暗重构物体表面三维形状)结合其它辅助信息的条件下，提取光滑物体表面方向信息的SFS算法。物体表面上的曲面片按其方向曲率的符号组合分成4种类型：凸形、凹形、横向鞍形和纵向鞍形，以便于利用辅助信息加以实际判别。对应于这种分类方式，设计出相应的4种由明暗关系计算表面方向的算法基本算子。这种新算法在算子与表面类型相匹配的情况下，能够取得很好的结果。     

二次筛选法求信息系统的约简

文中定义了区分属性集的码函数,并通过对区分矩阵中区分属性集码函数值的二次筛选得到区分函数的最小析取范式,最小析取式的每一个合取项即为信息系统的一个约简,该算法可以计算出信息系统的所有约简.     

一类社会系统的协调模型

本文建立了一种社会系统的协调模型。引入了满意度函数,利用这个函数定义了冲突的可协调性概念;对冲突的尖锐程度进行了量化,在此基础上确定协调点和协调区间,同时引入规范平衡点;并给出规范平衡点的渐近算法;为实现整体协调,给出了基于冲突双方的整体协调方法。     

基于规则的中文时间表达式识别与规范化

为了解决文本时间表达式的识别与规范化问题,针对时间表达式在形式上的多样性与非结构化,提出了对时态元素进行刻画的思想,划分时间表达式类别及规范形式;在此基础上,采用正则表达式与Trie树结构相结合的方式构建出时间短语识别树,自动进行中文时间表达式的识别与分类;最后,提出规范化算法与修正算法处理识别后的结果,得到规范化形式。以中文语料进行实验,中文表达式识别与规范化工作达到较好的效果。     

非线性最优化问题的曲线拟合法

曲线拟合法是集汇各种搜索方向进行曲线拟合而产生新的搜索方向的一类算法。我们在文献中给出了一个十分有效的计算方案。本文将进一步讨论曲线拟合法的较为一般的形式,给出这类算法的性质和收敛性的若干结论。     

Process expression of bounded Petri nets

The concept of process expression of bounded Petri nets is presented.Moreover,an algorithm to find the process expression for a bounded Petri net is given.A process expression of a bounded Petri net is a regular expression whose every alphabet symbol represents a basic subprocess of the net.The regular set expressed by the regular expression is the set of all surjective processes of a bounded Petri net.A surjective process of a bounded Petri net is a process of this net in which every s-cut corresponds to a reachable marking of the net.Therefore,all surjective processes of a bounded Petri net can be obtained as long as its process expression and the basic subprocess represented by the alphabet symbols of the process expression are given.     

P2P文件系统的高效写机制

为了解决P2P文件系统中网络延迟太大和副本数量太多以至写入速度太低问题,提出了基于核心副本集的并行写机制.定义了核心副本集的概念,并详细论述了核心副本集的选择算法.提出了并行写的机制,并给出了机制中写乱序问题、并行度控制问题和写正确性检查问题的解决办法.测试结果表明,核心副本集能够在写的过程中自动选择;在高网络延迟的环...