一种支持并行离散事件仿真建模和并行模型检验的建模语言

并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业...     

质量块控制自旋导弹的Lyapunov稳定性分析

给出了质量矩控制导弹的动力学模型及在一定条件下的简化动力学模型;用Lyapunov分析方法给出了动稳定性条件。结果说明,推力和静稳定度越大,越有利于动态稳定;阻力越大越不利于动态稳定。     

高可靠性软件的极值统计分析

提出了极值统计分析的方法.对于失效数据极值分布函数的拟合检验,采用了相关系数法;对于母体分布的参数估计,则分别采用了最小二乘估计(LSE)和极大似然估计(MLE);最后通过一个实例说明了统计过程,并用模拟的方法证明了最小二乘估计较好.     

一维三体碰撞过程的数值实验研究

力学中常常将物体之间的相互作用描述为碰撞过程,两体碰撞模型广泛地运用于处理各种物理问题,然而现实世界中普遍存在着多体碰撞.文中建立了三体碰撞过程的动力学方程组,对一维完全弹性三体碰撞进行了数值实验研究.研究结果表明,三体碰撞物体的分离速度与物体之间相互作用过程的细节有关,一般情况下不能简化为相继的两次两体碰撞求解.     

新型船用气体稳压器启动充气过程的建模及仿真研究

基于船用核动力一体化反应堆结构的需要,建立了新型船用气体稳压器启动充气过程的数学模型,并进行了仿真计算.计算结果表明,该模型能正确地描述该型稳压器实际的启动充气过程,满足工程设计及系统研究的需要.     

船体分段模块装配工艺决策研究

针对船体装配工艺设计自动化程度低,影响船舶建造周期和建造质量等问题,设计了分段模块的装配单元决策系统,建立了分段模块装配信息模型,基于模糊数学理论,应用模糊聚类方法实现了分段模块装配工艺的自动编制.实例表明,该方法是合理的和可行的.应用该方法在较高的装配层次上实现了船体模块装配工艺的制定,为船舶模块化生产提供了有效的工具.     

滑翔飞行器控制系统设计与仿真

建立了无动力滑翔飞行器的弹道数学模型和控制系统的控制规律与模型,根据滑翔控制的特点及飞行器飞行中的稳定性要求,对滑翔飞行器控制系统进行了数学仿真,同时对飞行器控制系统的参数进行了优化并给出了仿真的结果。     

延迟时间模型参数的极大似然估计

介绍了基于客观数据的延迟时间模型参数极大似然估计方法,提出了应用优化理论中的单纯形法求解似然函数的算法,为延迟时间模型的参数估计问题提供了可行的解决方法。通过计算机模拟数据的验证,此方法切实可行,结果可以满足需要。     

一种金属橡胶元件建模方法研究

用理论和试验相结合的手段研究金属橡胶弹性元件的动力学建模,提出一种新的建模方法,用此方法建立了基于迟滞回线拟和分解的高次弹性复合阻尼模型。该模型用非线性刚度和非线性复合阻尼机理构造,模型中的参数由试验数据辨识。用所建模型重构恢复力-位移迟滞回线,结果表明该模型能很好描述这类非线性振动系统的特性。     

基于ExSpect的维修过程建模与仿真研究

应用ExSpect语言,采用自上而下的系统分析方法,建立了反映产品维修过程中的资源竞争、并发和同步关系的Petri网模型。最后进行了仿真实例研究和分析。