用于系统模型层验证的模型转换的研究

传统以代码为中心的数控系统开发方式导致了系统测试滞后,系统性能难以保证。针对这种情形,提出利用模型转换将领域模型转换到第三方验证工具(Matlab 或UPPAAL)进行系统性能早期测试,从模型层保证系统性能。讨论了采用基于元模型层规则定义、语义动态添加和基于设计模式的操作等策略,以此满足实际模型转换的具体要求,给出了其框架。并指出根据实际需求采用不同的实现步骤和技术手段完成模型转换。从数控系统工作模式模型到StateFlow模型的转换实例从建模语言构建、映射规则定义、算法设计等几方面验证了上述模型转换理论框架和实现手段的可行性和正确性。     

改进BDD算法在故障诊断中的应用

【目的】为了在复杂系统中快速定位故障源。【方法】将因果图转化为二元决策图(Binary decision diagram,BDD),遍历BDD,求出引起故障发生的所有割集,并利用0-1编码的方式表示每一个割集,根据编码的长度确定割集的重要度。【结果】综合考虑结构重要度以及最小割集的发生概率,确定需要检测故障源的排序。【结论】该方法兼顾了结构重要度大的最小割集诊断优先性及发生概率大的最小割集诊断优先性,提高了诊断的准确性。     

飞船与行星间的机械能流

文章运用权械能流的观点，计算了宇宙飞船途径行星时所摄取的能量，并给出使飞船获得最大加速的条件。此外，文中还指出，天体之间的机械能流可能是太阳系中天体碰撞的重要原因之一。     

对制水集散系统中过程控制的探讨

文章基于一个成功地用于制水工业上的集散系统，概述了系统的基本构成及特点，介绍了一个新的ＰＩＤ控制模块和使用方法，并着重分析了过程控制的要求、实现的方法以及在实际工作中应注意的若干问题。     

两体问题的功能关系及其应用

两体系统的功能原理与机械能守恒是正确理解和解决某些实际力学问题的基础.文中分析了惯性参照系、质心参照系及相对参照系中两体系统的功能原理与机械能守恒,并结合具体的应用给出结论.     

一种嵌入式计算机数控系统

嵌入式操作系统的发展为计算机数控系统的研发提供了新的方法,上位机采用嵌入式实时操作系统Windows CE负责数控代码编辑解释仿真、故障诊断等弱实时任务管理,下位机采用自行开发的基于DSP及FPGA技术的运动控制卡负责代码插补及伺服控制等强实时任务管理.介绍了数控系统中关键技术的理论原理和技术路线,并阐述了基于嵌入式操作系统平台下的数控软件系统实现的方法,包括数控代码智能解释、数控代码的二维三维仿真及数控系统任务调度管理.     

用于计算机数控系统模型层验证的模型转换

传统的以代码为中心的数控系统开发方式使系统测试滞后,性能难以保证,开发成本增加.针对这种情形,文中提出利用模型转换将领域模型转换为第三方验证工具(Matlab 或UPPAAL)可识别的模型来进行系统性能早期测试,从模型层保证系统的可靠性.采用基于元模型层的规则定义、语义动态添加和基于设计模式的操作等策略,以满足模型转换的语义保持性、转换一致性、转换可终止性、转换易扩展性等具体要求,并给出了模型转换实现的理论框架以及点对点转换和两步法转换两种实现方式.最后,通过一个从数控系统工作模式模型到StateFlow模型的转换实例,从建模语言构建、映射规则定义、算法设计等方面验证了上述模型转换理论框架和实现方式的可行性及正确性.     

音叉弦线振动系统中的非线性动力学分析

文章建立了音叉带动弦线振动系统的非线性动力学理论模型,并对其进行了理论分析和模拟仿真研究,从理论上解释了弦线的长度和张力对系统振动的影响。理论分析和模拟结果都表明,当连接点接近驻波波节时,系统运动状态对初值的依赖性十分敏感,振动系统处于混沌运动状态;而当连接点接近驻波波腹时,系统处于稳定振动周期运动状态。计算机仿真结果与物理实验结果吻合得相当好。     

基于LabVIEW的音叉弦线振动混沌实验仪的研制

文章以音叉弦线非线性振动为基础,通过音叉弦线长度、张力的调节,观察和研究振动由混沌向周期有序,或周期有序向混沌的运动变化过程;结合虚拟仪器LabVIEW软件平台,对原始信号采集数据序列,然后由LabVIEW进行信号处理,实时观察到混沌运动相图,并对理论计算相图和实际采集信号的相图进行比较,为混沌现象的研究提供一种新的实验方法。     

对金割效应物理摆周期公式的讨论

介绍了自制的可优选周期极植的金割效应物理摆,以及摆的振动周期公式的特点。