首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 859 毫秒
1.
给出经典双向有穷自动机的即时描述,接受(识别)的语言及双向有穷自动机和有穷自动机是等价的,证明它接受的语言是正则语言。由此,把它推广到模糊上去,相应地给出了双向模糊有穷自动机的定义,即时描述及其接受的语言,进一步证明非确定性双向模糊有穷自动机与确定双向模糊有穷自动机接受的语言是等价的。  相似文献   

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

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

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

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

6.
该文在文献[1,2]给出的有限自动机矩阵模型表示方法等基本理论基础上,对基于矩阵模型表示的有限自动机极小化方法进行深入分析,提出了对其进行并行处理的方法,以实例详细描述了算法并行处理过程,并验证其算法的可行性.  相似文献   

7.
应用函数双向S-粗集理论实现参考模式和测试模式的动态模式匹配.用Bellman原理的动态规划算法实现全局约束定义下的Levenstein距离的计算,以此确定出参考模式和测试模式的距离测度,有明显降低计算复杂度的效果,并以无纸考试系统非标准化试题的智能评分为例进行说明。  相似文献   

8.
《滨州学院学报》2020,(6):44-52
研究了最优控制问题极小元的局部适定性。该优化问题涉及同时重构退化抛物型方程初始值和零阶项系数的反问题。与一般的优化问题不同,这里构造的代价函数是一个二元函数,包含两个自变量和两个独立的正则化参数,并推导出极小元必须满足的必要条件。特别地,由于代价函数中两个未知系数的状态不同,单参数优化问题的共轭理论不能应用于该问题。通过假设终端时间T相对较小,得到了关于极小元的L2估计,由此可推导出极小元的唯一性和稳定性。  相似文献   

9.
研究了p-Ginzburg-Landau型泛函的径向极小元在环域上的极限行为.在极小元的惟一性与正则化的基础上,建立了极小元的C1,a局部一致有界性,进而得到了极小元的C1,a局部收敛性.  相似文献   

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

11.
股票市场是个非线性系统,由于受到多方面因素的影响,对于股指的预测一直是个难题。各种建模方法都有自身的缺点,如模式匹配识别系统过分依赖历史数据,缺乏自身变化。 BP神经网络容易陷入局部最优,而且训练时间较长。文章从模式匹配识别和BP神经网络相结合的角度来进行股票指数预测分析,预测系统克服了单一神经网络预测系统和单一模式匹配识别预测系统的各自缺点,能有效地预测股指。  相似文献   

12.
Non-determinism is one of the most important, yet abstract, recurring concepts of Computer Science. It plays an important role in Computer Science areas such as formal language theory, computability theory, distributed computing, and operating systems. We conducted a series of studies on the perception of non-determinism. In the current research, we studied and analyzed undergraduate Computer Science students' solutions to assignments in a course on automata and formal languages. Our findings shed some light on students' perceptions of non-determinism, their tendency to use non-determinism, and the characteristics of their non-deterministic solutions. This paper describes the current research and its results, and suggests several teaching applications.  相似文献   

13.
模式匹配算法比较成熟,但是传统的模式匹配算法对提高Snort检测性能的效果不是十分有效。Snort采用的BM算法是一种单模式匹配算法,目前研究者对Snort模式匹配算法的研究和改进主要是采用多模式匹配算法来替换原有的BM算法。本文主要介绍了BM算法和WM算法,分析了这两种算法的基本原理并进行了一些相关的比较。  相似文献   

14.
本文在探讨模式匹配算法的基础上,针对高校考生报到率不稳定的实际情况,利用模式匹配算法,结合朴素贝叶斯方法,对考生报到结果进行预测,能够为高校的招生宣传和教学管理等工作提供有价值的参考依据。  相似文献   

15.
模式匹配算法是入侵检测系统中规则检测引擎的核心算法.这里对几种典型的单模式匹配算法进行了研究和分析,重点分析了这些算法的基本思想和算法复杂度以及各自的优缺点和适用环境。  相似文献   

16.
当构造词法分析器时,根据单词的正规式定义首先构造与正规式等价的NFA,之后用子集法将NFA转换成DFA,并用此DFA进行词法分析。对词法分析器生成器的设计算法进行了研究,即构造等价于给定正规式非确定有限自动机,并用一种高级语言(C语言)在计算机上实现。  相似文献   

17.
基于物理元胞自动机的岩石破坏模拟   总被引:1,自引:0,他引:1  
为了分析岩石材料的非均质性对其破坏演化的影响,根据元胞自动机理论,从能量的角度建立了一种能够从细观层次上对岩石破坏演化进行模拟的物理元胞自动机模型(Mh-PCA模型),模型引用的Weibull随机分布函数对材料的非均质性进行描述.运用该模型,对m分别为1,5,10,15四种不同均质度材料的破坏模式及其破坏过程中的声发射现象进行了模拟分析.结果表明:材料的非均质性对其破坏有重要的影响,均质度越高,破坏过程中的分支裂纹越少,声发射也越集中.物理元胞自动机理论为岩石的破坏研究提供了一种新的研究思路.  相似文献   

18.
本文主要讲述如何在计算机上使用Adobe Photoshop图像处理软件进行针织 面料图案设计,其中大花型设计可用电脑大提花机上的专用软件进行转 换,并直接接驳电脑提花机上进行生产.  相似文献   

19.
射频电路中的设计方法与低频电路中的设计方法有着较大的不同,其根本原因是随着频率的提高,其传输波的波长也下降到了可以和电路元件相比拟的状态。在此情况下,电路电压和电流都不再保持不变。本文旨在建立匹配网络,简单介绍传输线理论,并基于Advanced Design System(ADS)仿真软件对一实例进行阻抗匹配和分析,得出利用ADS进行阻抗匹配的方法。其结果表明,利用ADS对射频电路进行阻抗匹配是一种非常方便而快捷的方法,且有效地减少了电压驻波比(Voltage Standing Wave Ratio,VSWR),提高了系统的传输效率。  相似文献   

20.
介绍了工程中广泛应用的四种经典和先进的不确定有限自动机NFA的基本构造方法,它们是位置自动机Apos部分派生自动机Apd,跟随自动机Af,共同跟随集合自动机Acfs。列举大量工程实践中常用和经典的正则表达式,分别用上述自动机算法进行求解实验,对它们的运算尺寸以及与正则表达式尺寸之间的关系,列出表格分别进行比较分析,从中总结出各种自动机的构造特点和最佳应用场合。针对如何根据不同的正则表达式来选择非确定性有限自动机NFA算法提供了重要的参考依据。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号