导读:本文包含了最小可达论文开题报告文献综述及选题提纲参考文献，主要关键词:有限状态机,扩展有限状态机,最小可达图,可达性
最小可达论文文献综述
眭永波,王忠民,郝瑞兵[1]（2004）在《EFSM最小可达图的同步生成算法》一文中研究指出针对EFSM可达性分析过程中的状态空间爆炸问题,提出了一种基于变量值域划分的EFSM最小可达图的同步生成算法。该算法将EFSM可达图的生成与最小化两个过程结合在一起同步进行,引入特征配置的思想,依据特征配置指出变迁有效性组合,以及变迁的赋值动作与终止状态分组变量值域的关系,在进行可达性分析的同时仅对可达的状态分组进行稳定性判定及必要的分裂,直到所有可达状态分组均稳定为止,EFSM最小可达图即构造完毕。文中算法最大限度地减小了中间结果如不可达分组等对求解过程的影响,从而降低了传统算法因可达性分析与最小化过程相分离而引起的时间与空间上的巨大代价。(本文来源于《计算机工程与应用》期刊2004年23期）
孙桥,于梅[2]（2004）在《基于矢量合成的平衡机最小可达剩余不平衡度测试方法的研究》一文中研究指出通过对国标规定的平衡机最小可达剩余不平衡度评定方法的分析和研究,指出了该方法在原理和方法上所存在的问题,并且提出了一种全新的评定方法。这种基于矢量分析的新的评定方法能够快速、准确地计算出转子的最小可达剩余不平衡度,提高平衡机测试的准确性和现场测试效率,为更加客观地评价被测平衡机的综合性能提供了依据。(本文来源于《计量学报》期刊2004年01期）
于梅,于仲敏[3]（2001）在《平衡机最小可达剩余不平衡度测试方法的研究》一文中研究指出本文对平衡机最小可达剩余不平衡度emar测试数据的相位一幅值曲线进行分析 ,提出了最小可达剩余不平衡度emar与emar的计算值e估 的数学关系式 ,为提高平衡机现场测试效率 ,更为客观地评价被测平衡机性能指标提供了依据。(本文来源于《计量技术》期刊2001年04期）
最小可达论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
通过对国标规定的平衡机最小可达剩余不平衡度评定方法的分析和研究,指出了该方法在原理和方法上所存在的问题,并且提出了一种全新的评定方法。这种基于矢量分析的新的评定方法能够快速、准确地计算出转子的最小可达剩余不平衡度,提高平衡机测试的准确性和现场测试效率,为更加客观地评价被测平衡机的综合性能提供了依据。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
最小可达论文参考文献
[1].眭永波,王忠民,郝瑞兵.EFSM最小可达图的同步生成算法[J].计算机工程与应用.2004
[2].孙桥,于梅.基于矢量合成的平衡机最小可达剩余不平衡度测试方法的研究[J].计量学报.2004
[3].于梅,于仲敏.平衡机最小可达剩余不平衡度测试方法的研究[J].计量技术.2001