导读:本文包含了非确定有限状态机论文开题报告文献综述及选题提纲参考文献，主要关键词:完全确定有限状态机,控制器综合,形式验证,等价性
非确定有限状态机论文文献综述
李炜,刘政怡,吴建国[1]（2008）在《基于完全确定有限状态机的控制器综合的验证》一文中研究指出控制器综合从较高的抽象层次开始,使用硬件描述语言,采用综合优化工具进行,因此验证综合过程的正确性至关重要。本文采用图同构的方法对控制器综合前的完全确定有限状态机 STG_org 和从综合后结构实现逆向提取的完全确定有限状态机 STG_ext 进行等价性证明,从而验证综合过程的正确性;为进一步降低算法时间复杂度,利用综合过程状态化简的信息,提出带综合信息指导的验证算法,将时间复杂度从 O((B~2)/A·t_1(n)+A·t_2(m,n))降低到 O(B·t_1(n)+A·t_2(m,n)),理论上证明了算法的高效性。(本文来源于《全国第19届计算机技术与应用（CACIS）学术会议论文集（下册）》期刊2008-07-01）
向培素,田珂,田野[2]（2007）在《非确定部分有限状态机的一种新的一致性关系及其测试》一文中研究指出在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.(本文来源于《西南民族大学学报(自然科学版)》期刊2007年06期）
李炜,吴建国,刘政怡[3]（2007）在《非完全确定有限状态机最小闭覆盖的有效算法》一文中研究指出有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大规模的FSM最小化,对于完全确定的有限状态的已有较好的算法,而非完全确定的有限状态机的最小化的问题一直是个难题。利用生成序列、动态构造搜索树、修剪、启发式深度搜索和分支限界等方法,提出了一种有效的求解非完全确定有限状态机的状态最小化算法,减少了搜索的空间,提高求解速度。(本文来源于《第四届中国软件工程大会论文集》期刊2007-06-16）
李炜,吴建国,刘政怡[4]（2007）在《非完全确定有限状态机最小闭覆盖的有效算法》一文中研究指出有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大规模的FSM最小化,对于完全确定的有限状态的已有较好的算法,而非完全确定的有限状态机的最小化的问题一直是个难题。利用生成序列、动态构造搜索树、修剪、启发式深度搜索和分支限界等方法,提出了一种有效的求解非完全确定有限状态机的状态最小化算法,减少了搜索的空间,提高求解速度。(本文来源于《四川大学学报(工程科学版)》期刊2007年S1期）
刘路路[5]（2006）在《基于非完全确定有限状态机模型的控制器综合的形式验证》一文中研究指出数字系统的组成可分成数据通道部分和控制器部分，相应的自动综合便分成数据通道综合和控制器综合。控制器综合优化方法的研究涉及到许多理论问题，解决好这些理论问题，寻找到新的实用、有效的控制器综合优化算法是建立实用的EDA系统的关键之一。同时，控制器综合的正确性需要检验或证明，控制器综合结果的正确性证明处于相对薄弱的环节。 随着数字电路规模和设计优化程度的不断提高，控制器必须使用非完全确定有限状态机模型才能满足要求，完全确定有限状态机模型将显得越来越不够用。使用非完全确定有限状态机模型，其非完全性质和具有的随意性可显着提高自动综合的优化程度。其不仅提高了自动综合算法的复杂程度，而且更增大了形式验证的难度。本文采用形式验证方法，研究基于非完全确定有限状态机模型的控制器综合的正确性验证，给出基于状态转换图的相容性验证算法。 本文主要工作和贡献包括： 1．研究了状态化简和状态分配技术进展，介绍了非完全确定有限状态机的状态化简的方法，分析了经典的按权状态算法原理以及存在的问题。 2．从控制器综合结果逆向分析出等价的行为描述。 3．基于非完全确定有限状态机模型的控制器综合前行为描述STG_org与综合结果的行为描述STG_ext的相容性证明。具体包括： (1) 首先判断控制器综合过程中状态化简的正确性，即判断STG_org与进行状态最小化得到的STG_rd的相容性。利用了控制器综合的相关信息，有效的降低了算法的时间复杂度。 (2) 然后给出STG_rd与STG_ext的相容性验证算法。(本文来源于《安徽大学》期刊2006-05-01）
李炜,许中卫,刘政怡,刘露露[6]（2005）在《非完全确定有限状态机最小化有效算法的研究》一文中研究指出有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大的FSM最小化。本文给出了一种有效的求解非完全确定有限状态机的状态最小化算法。该算法利用生成序列、动态构造搜索树、修剪、启发式深度搜索和分支限界等方法实现。(本文来源于《2005年“数字安徽”博士科技论坛论文集》期刊2005-12-10）
张涌,钱乐秋,王渊峰[7]（2002）在《基于确定有限状态机的测试输入序列选取》一文中研究指出有限状态机可以精确地刻画软件系统或其子系统的行为 ,其在软件建模中被广泛应用 .基于有限状态机的测试问题得到了广泛的研究 ,其中 Wp方法由于限制条件较少 ,并且其可以达到较高的错误覆盖度 ,因此被广泛使用 .但当有限状态机的实现中的状态数目的估计值 m较大时 ,产生的测试输入序列数目过多 ,影响了其使用效率 .提出一种 Wp方法的改进方法 R- Wp方法 ,使用该方法在 m值较大时可以产生相对较少的测试输入序列数目 ,可以提高测试效率 ;同时本文对 Wp方法和 R- Wp方法产生的测试输入序列数目进行了讨论 ,并证明了该方法与Wp方法相同的错误覆盖能力 .(本文来源于《计算机研究与发展》期刊2002年09期）
郑学军,王春森[8]（1996）在《基于非确定有限状态机模型的测试用例选择》一文中研究指出在异构型系统中相互作用的正确性是通过一致性测试来保证的,自从协议工程领域出现以来,通信协议的一致性测试一直是人们研究的一个课题,一致性测试的目的是保证协议的实现与协议的标准规(本文来源于《计算机科学》期刊1996年06期）
非确定有限状态机论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在系统实际测试过程中,发现非确定部分有限状态机的模型可以方便地描述和刻画许多系统的逻辑行为.但在这种模型下,状态机并非完全接受所有的输入序列,且在某些输入序列上会产生不确定的输出序列,所以,经典的完全确定有限状态机的一致性定义,即被测实现和协议规范等价,不适用于非确定部分有限状态机.本文引入了一种新的一致性定义,并在非确定部分有限状态机下,给出了该一致性定义下完备的测试序列生成方法.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
非确定有限状态机论文参考文献
[1].李炜,刘政怡,吴建国.基于完全确定有限状态机的控制器综合的验证[C].全国第19届计算机技术与应用（CACIS）学术会议论文集（下册）.2008
[2].向培素,田珂,田野.非确定部分有限状态机的一种新的一致性关系及其测试[J].西南民族大学学报(自然科学版).2007
[3].李炜,吴建国,刘政怡.非完全确定有限状态机最小闭覆盖的有效算法[C].第四届中国软件工程大会论文集.2007
[4].李炜,吴建国,刘政怡.非完全确定有限状态机最小闭覆盖的有效算法[J].四川大学学报(工程科学版).2007
[5].刘路路.基于非完全确定有限状态机模型的控制器综合的形式验证[D].安徽大学.2006
[6].李炜,许中卫,刘政怡,刘露露.非完全确定有限状态机最小化有效算法的研究[C].2005年“数字安徽”博士科技论坛论文集.2005
[7].张涌,钱乐秋,王渊峰.基于确定有限状态机的测试输入序列选取[J].计算机研究与发展.2002
[8].郑学军,王春森.基于非确定有限状态机模型的测试用例选择[J].计算机科学.1996