【摘 要】
：
针对超声电机具有很强的依赖于输入控制电压的非线性和时变特性,很难建立适合控制的完整而精确的动态数学模型的问题,在分析行波型超声电机接触机理的基础上,将输入控制电压对超声电机动态参数的影响转化为所建模型时间常数、系统增益和延时参数的变化,并使用函数插值原理辨识模型参数与输入电压之间的函数关系,建立了电机的整体数学模型。最后给出实验结果验证了模型的有效性。
论文部分内容阅读
针对超声电机具有很强的依赖于输入控制电压的非线性和时变特性,很难建立适合控制的完整而精确的动态数学模型的问题,在分析行波型超声电机接触机理的基础上,将输入控制电压对超声电机动态参数的影响转化为所建模型时间常数、系统增益和延时参数的变化,并使用函数插值原理辨识模型参数与输入电压之间的函数关系,建立了电机的整体数学模型。最后给出实验结果验证了模型的有效性。
其他文献
根据1995-2004年5~9月青海湖区域刚察、共和、天峻、海晏4站地面观测资料,对该地区主要降水云状和降水特征进行统计分析。结果表明:混合云的降水频率最高,其次是积云,层云较低;降水特征有明显的差异,降水强度、降水次数南部明显小于北部,大降水东北部多于西南部;刚察、天峻混合性降水出现频率最高,共和阵性降水最高,海晏连续性降水最高,各站降水最高频数多出现在8月;降水概率各站之间有明显差异,降水最大
动态描述逻辑的动作理论对动作的静态描述和动态执行提供了良好的基础和方法。作为对动态描述逻辑的扩充,可以利用Petri网对多个动态描述逻辑动作间的关系进行很好的描述和分析。具体讨论了动态描述逻辑动作系统对应的Petri网模型自动生成问题,利用领域本体对动态描述逻辑动作的条件进行本体定义,通过本体推理,得到不同动作间的条件定义中的相同或等价元素,进一步自动构造得到动作系统的Petri网的PNML+OW
针对MDA开发模式所面临的模型一致性问题,引入Petri网及其等价理论,提出UML动态模型的行为一致性和结构一致性分析技术。这样当UML视图被形式化地描述为Petri网模型,就可以通过分析Petri网模型的语言等价性、分支等价性来判断出UML视图的一致性,进而检验在UML模型的正确性。研究思路对进一步分析其他类型的模型一致性具有借鉴作用。
主要对一种典型作战——“导弹攻击卫星”的指挥活动建立其可视化的军事概念模型。建模过程中主要运用了工作流建模的思想、UML建模语言和Petri网建模方法,建模过程又分为模型构建和模型检验两部分內容,通过模型构建来描述“导弹攻击卫星”指挥活动内容以及活动流程等;通过模型检验来验证模型的正确性。以及对指挥活动分析的正确性。
用P/T网构建了网上商城订单前台处理和后台处理的基本流程模型,此模型保证了订单在后台处理时订单不丢失、订单处理员与发送订单两大主体之间同时核对订单。最后,利用S_不变量给出订单后台处理模型的验证。
用面向对象着色Petri网的结构和执行语义描述入机交互的静态结构和动态行为,充分利用着色Petri网和面向对象技术的优点,从形式化,可视化的角度描述交互行为的建模过程,降低了人机交互建模的复杂度,增强了建模系统的可重用性,并以图形编辑器为例进行了验证,给出了面向对象着色Petri网在人机交互行为方面的具体描述,模型与实际系统中的对象可以相对应,易于理解和实现。
首先给出一个求取同时是极小死锁和陷阱的库所子集的多项式算法(简记为FDMST算法);之后提出了能在多项式时间內判断给定库所子集是否为S-不变量极小支集的RCMSD算法,当给定库所子集被判定为极小支集时,该算法能求得立于该支集上的一个S-不变量;最后将FDMST算法与RCMSD算法结合,提出了能在多项式时间复杂度內求取部分极小支集上S-不变量的STRC算法。
提出了一种基于Petri网进程的协议最小测试例集合生成方法,该方法可以得到覆盖协议行位的最小测试例集合,即用尽可能少的测试例覆盖尽可能多的协议行为,每个具体测试例都可以用Petri网进程给出图形化的直观表示。本方法还可以利用Petri网基本进程段的链接、并、闭包运算,将简单的测试例进行组合,从而得到测试协议复杂行为的测试例。结合一个实例,给出LAPD协议的Petri网模型和该协议的最小测试例集合。
采用余度网络是航电全双工交换式以太网(AFDX)的主要特色之一,它对于提高网络的可靠性能有重要作用。余度管理算法规定了余度网络帧的接收规则。目前,已知国外的余度管理算法有多种,但是由于算法自身的缺点,无法保证在网络质量较差时终端之间的通信质量。在已有算法的基础上研究一种新的余度管理算法来提高网络质量差时终端节点之间通信的可靠性已迫在眉睫。
针对当代大型天文光学望远镜机架伺服系统动力学要求,提出高阶滑模控制的方法。在建立机架伺服系统状态空间模型的基础上,将传统滑模变结构控制中的滑模面拓展为高维(三维及以上)微分流形,使系统动态的不连续性仅存在于最高阶,从而有效地抑制传统滑模控制中易产生高频振动的现象。根据大型天文望远镜机架通常运行在角秒级超低速的特性,提出变参数切换律,进一步地提高机架系统的低速跟踪性能。仿真结果表明,用该方法设计的驱