基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

某方向机传动系统动力学建模与仿真

基于机械系统动力学仿真软件ADAMS建立某方向机传动系统的动力学模型,模型中考虑基于接触理论的齿轮啮合力、轴承刚度变化和预紧机构的作用。针对3种实际工况,进行动态特性仿真,给出关重件的动态载荷,为该系统的故障分析和寿命预测奠定了基础。     

分数域图像混合噪声盲复原方法

提出了一种在分数傅里叶变换域中对图像进行复原的新方法.对于模糊且含有高斯噪声和啁啾噪声的图像进行分数傅里叶变换,利用各种噪声在分数域中的性质估计出复原图像的分数谱,再通过逆分数傅里叶变换返回空域,获得复原图像.在图像受到多种因素导致退化的情况下,以及在无任何先验知识的前提下,此方法可以简化复原过程,进行图像盲复原.     

海上区域作战虚拟训练系统设计及关键技术

针对海上区域作战虚拟训练需求,提出了一种支持单人研究、多人对抗两种模式的海上区域作战虚拟训练系统构建方法,解决了标绘式作战想定辅助制作、编队航路运动建模、基于Petri网的作战指挥决策建模、作战模拟可视化等关键技术.仿真实验结果表明,所建仿真系统可扩展性强,作战过程仿真逼真度高,作战场景可视化效果好,满足典型海战虚拟训...     

PSO算法及在二自由度PID调节器优化设计中的应用

微粒群算法是一种群体智能算法,它是通过模拟以鸟类、昆虫等微粒的自然界的群体行为,构造的一种随机寻优的进化算法.基于灵敏度函数,采用PSO算法对二自由度PID参数进行自适应调整,提出了一种新二自由度PID调节器的设计方法,可以有效抑制参数变化对系统的影响,使系统同时获得良好的目标值跟踪特性、干扰抑制特性和鲁棒性,以工业过程中常见的对象模型进行了仿真实验,仿真结果和改进的遗传算法进行比较,表明了这一方法的有效性,证明了PSO算法的有效性.     

红外空情预警系统及其作战运用研究

通过对我军防空兵部队现有预警系统的预警能力和红外空情预警系统特点的分析,论述了发展红外空情预警系统的必要性;同时,详细研究了红外空情预警系统在防空作战中的运用。     

边疆地区政治社会化有效性思考

边疆地区有其独特的历史文化等传统,有着复杂的自然条件和环境,特殊的地理位置,边疆地区的政治社会化程度直接影响到主导型政治文化的实现,影响到该地区的稳定和发展,关系到边防的巩固和国家的统一。该地区的政治社会化要在重点对象确定的前提下,既要注重发挥其主要途径的作用、又要注重其内容的针对性和时效性、更要注意较大地区差距的负面影响并努力将其缩小,才能使边疆地区政治社会化有较好的效果。     

美国陆军随军牧师制度发展简史

一、美国陆军随军牧师制度的早期形成与发展(一)随军牧师制度溯源如要探寻美国陆军随军牧师制度的源头,可以追溯到悠远的历史深处。每当出现骚乱、危急和恐怖的时刻,人类总是寄希望于宗教和宗教人士,以获得安慰。战争时期也不例外。在发生战争冲突的时期,无论是古代社会,还是现代社会,人们都会转而求助于宗教。公众总是期望把宗教的抚慰同样传递给那些在战场上服役的士兵们。从人们已知的有文字记载之前的社会开始,祭司和其他宗教人士或许就在为战争的胜利而祈求上帝或众神的保佑了。《旧约》中就常提及随军参战的祭司(priests)。在《摩西五…     

模拟退火优化BP神经网络在航向控制系统中的应用

目前,广泛运用于神经网络中的误差反向传播算法(BP算法)训练时间较长,且易陷入局部最优.为了克服BP算法的固有缺陷,文中提出了在BP算法中加入模拟退火算法权因子.在航向控制系统中进行了仿真,数据显示该算法比单纯BP算法更能优化控制器性能参数和全局搜索能力,收敛速度更快,精度提高比较明显.     

基于随机脉宽调制技术的感应电机矢量控制系统研究

随机脉宽调制技术可以使逆变器输出电压的谐波成分均匀地分布在一个较宽的频率范围内,达到抑制噪声和机械振动的目的.把随机脉宽调制技术引入感应电机矢量控制系统中,保证了调速系统的高性能,同时也降低了电机的有色噪声和机械振动.