导读:本文包含了异步提交论文开题报告文献综述及选题提纲参考文献，主要关键词:叁相异步电机,参数自提交,转子电阻自适应,模型参考自适应
异步提交论文文献综述
黄其福[1]（2008）在《异步电机矢量控制系统参数自提交自适应问题研究》一文中研究指出矢量控制由于实现了励磁电流和转矩电流的解耦控制,而具有优良的动态性能。为了提高矢量控制系统的控制性能,提高系统对参数变化的鲁棒性,需要对电机参数进行离线和在线的辨识。本文将探讨如何在实验平台上实现矢量控制系统的参数自提交和转子电阻自适应,并对其参数辨识性能进行详细的研究。首先介绍了叁相异步电机的数学模型,详细阐述了异步电机参数自提交和转子电阻自适应的原理和方法。对自提交算法进行了仿真分析,验证了该方案的正确性和可行性。选择TMS320F2812 DSP为系统的控制芯片,设计了硬件控制电路,根据自提交控制算法和硬件电路,编写软件。研究了基于空间电压矢量的PWM控制方法,实现了VVVF电机控制算法。对采样电流进行FIR数字滤波处理,同时分析了死区时间和管压降对辨识结果的影响,进行了简单的补偿,提高了参数辨识的精度。实验结果表明该自提交算法具有较高的辨识精度。通过对不同容量电机进行辨识,进一步验证了该方法的正确性。提出了一种新型的基于模型参考自适应的转子电阻在线辨识方法,该方法的辨识结果不受定子电阻的影响。将其与另外两种模型参考自适应(MRAS)辨识方法进行仿真对比,结果表明该方法具有动态性能好、鲁棒性强和受转矩和转速影响小等特点。并在多种工况下对该方法进行了细致的仿真分析,最后在DSP开发环境中编写软件实现该算法。仿真和实验结果表明该方法具有较高的稳态精度和较快的收敛速度,验证了该方案的正确性、可行性。(本文来源于《西安理工大学》期刊2008-03-01）
张帆[2]（2006）在《基于异步π-演算的两阶段提交协议的形式化描述和验证》一文中研究指出π-演算是R.Milner等人在CCS的基础上提出的传名演算,可描述通信拓扑结构动态变化的并发通信系统,因此也被称为移动进程演算。π-演算与CCS的不同之处在于允许进程之间传送和接收通道名,并且可以引入和输出局部名,因而具有简洁和表达能力强的突出特点。π-演算已作为研究并发通信系统的基本工具,被广泛用于并发分布式系统和通信协议的形式化描述和验证中。而异步π-演算是一种消息发送不受阻塞的π-演算。原子提交协议是分布式事务处理中一个用于确保一致性的算法,即协调者和所有的参与者要么都提交事务,要么都撤销。而两阶段提交协议是最简单且最常用的原子提交协议,该协议使分布式事务的提交具有原子性和持久性,并且允许每个事务管理器有权单方面决定中止还没有准备提交的事务。本文的目的就是要用异步π-演算来描述和验证两阶段提交协议。为了使这种刻画、分析和验证工作更详细、更准确、更完整,本文首先对异步π-演算进行了如下几个方面的扩展:1.增加了站点的定义;2.增加了站点失效和恢复等相关规则;3.增加了计时器的定义;4.增加了站点间的消息丢失、消息复制等相关规则。然后,本文依次对两阶段提交协议的各种情况(不考虑失效,考虑站点失效和消息失效等)进行了深入讨论和分析,并分别用上述扩展的异步π-演算对两阶段提交协议进行了形式化描述和验证。本文的工作表明两阶段提交协议能确保分布式事务处理中的一致性。在只有局部站点失效或局部通信失效的情况下两阶段提交协议有可能发生阻塞,但这并不影响其正确性。(本文来源于《国防科学技术大学》期刊2006-05-01）
异步提交论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
π-演算是R.Milner等人在CCS的基础上提出的传名演算,可描述通信拓扑结构动态变化的并发通信系统,因此也被称为移动进程演算。π-演算与CCS的不同之处在于允许进程之间传送和接收通道名,并且可以引入和输出局部名,因而具有简洁和表达能力强的突出特点。π-演算已作为研究并发通信系统的基本工具,被广泛用于并发分布式系统和通信协议的形式化描述和验证中。而异步π-演算是一种消息发送不受阻塞的π-演算。原子提交协议是分布式事务处理中一个用于确保一致性的算法,即协调者和所有的参与者要么都提交事务,要么都撤销。而两阶段提交协议是最简单且最常用的原子提交协议,该协议使分布式事务的提交具有原子性和持久性,并且允许每个事务管理器有权单方面决定中止还没有准备提交的事务。本文的目的就是要用异步π-演算来描述和验证两阶段提交协议。为了使这种刻画、分析和验证工作更详细、更准确、更完整,本文首先对异步π-演算进行了如下几个方面的扩展:1.增加了站点的定义;2.增加了站点失效和恢复等相关规则;3.增加了计时器的定义;4.增加了站点间的消息丢失、消息复制等相关规则。然后,本文依次对两阶段提交协议的各种情况(不考虑失效,考虑站点失效和消息失效等)进行了深入讨论和分析,并分别用上述扩展的异步π-演算对两阶段提交协议进行了形式化描述和验证。本文的工作表明两阶段提交协议能确保分布式事务处理中的一致性。在只有局部站点失效或局部通信失效的情况下两阶段提交协议有可能发生阻塞,但这并不影响其正确性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
异步提交论文参考文献
[1].黄其福.异步电机矢量控制系统参数自提交自适应问题研究[D].西安理工大学.2008
[2].张帆.基于异步π-演算的两阶段提交协议的形式化描述和验证[D].国防科学技术大学.2006