一种新型火炮自动机构的运动方程

基础构件转动的机构是火炮上的一种新机构。根据达朗贝尔原理和虚位移原理,本文推导了这种新型机构在工作构件影响下的运动微分方程,可以用来解决这类机构的运动学和动力学问题。     

基于形态分量分析和EEMD样本熵的自动机故障诊断

针对自动机故障诊断过程中振动信号故障特征较难提取的问题,提出了结合形态分量分析(MCA)和总体经验模态分解(EEMD)的自动机故障特征提取方法。根据自动机振动信号组成成分的形态差异,利用形态分量分析方法构建不同的稀疏字典对各组成成分进行分离,消除噪声分量,提取出反映主要故障特征的冲击分量;对所提取的冲击分量进行EEMD分解并计算各IMF分量的样本熵值,以此作为故障特征向量输入基于离子群优化的支持向量机(PSO-SVM)进行识别。通过自动机典型故障诊断试验表明:形态分量分析方法可有效分离出自动机振动信号中的冲击成分;同时,所提出的特征提取方法能够有效地进行自动机故障诊断。     

某型车载速射迫击炮自动机典型故障仿真

为分析某型车载速射迫击炮自动机的典型故障,利用SOLIDWORKS建立该自动机的三维模型,利用ANSYS生成弹壳的柔性模态中性文件,导入ADAMS中建立其刚柔耦合动力学模型,通过动力学分析获得连发射击条件下的仿真结果,与试验结果进行比较,证明了所建虚拟样机的可信性,利用ABAQUS分析了炮闩在不同温度下的热应变,进而联合ADAMS进行了该自动机的典型故障仿真研究。仿真结果表明,炮闩温度低于160℃时,该自动机动作受温度变化影响较小,尚可击发,当炮闩温度高于160℃时,自动机动作受到较大影响,温度达到200℃时甚至无法正常击发,仿真结果为后续自动机的结构优化提供了有力支撑。     

贴合面及其判断

本文给出了单自由度情况下,自动机基础构件和工作构件运动支承反力的形式及其求法,以根据运动支承反力,判断构件的贴合面,并给出了贴合面换向后自动机运动方程中各影响系数的求解方法。     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

用遗传算法生成艺术图形的研究

介绍了艺术图形生成方法及其遗传算法在艺术图形生成过程中的作用．每种算法都是基于给定初始条件的迭代过程,并通过遗传算法控制初始条件和迭代方式来改变迭代过程,获得更复杂的图形．     

实时高效邮件过滤系统设计

介绍了一种基于内容的电子邮件过滤系统的设计.该系统是采用有限自动机技术对电子邮件的内容进行扫描,达到实时高效地对不合法的电子邮件进行过滤的目的.     

跨世纪世界步枪十杰之七：弹无虚发的德国G22狙击步枪

该枪是英国国际精密仪器公司为德国联邦国防军研制的,使用7.62毫米温彻斯特·马格努姆口径枪弹。它既可用于自卫和反击,也可用于进攻,既可在白天使用,也可以夜间战斗,被认为是一支弹无虚发的高精度狙击步枪。     

一种新的确定型有限自动机状态表示及压缩

针对传统DFA存在时间复杂度和空间复杂度高的问题,提出了一种新的DFA状态表示和字符-状态压缩方案。通过对传统DFA状态转换的观察发现,对于一个给定的输入来说,可以仅存储相邻状态之间的差异,从而得到一种新的DFA状态表示N-DFA;对每个大小不固定的状态设置一个状态指针来有效地减少每个指针所需要的比特数,从而得到一种基于输入字符的字符-状态压缩算法C-S;把N-DFA和C-S有效地集成在一起,进一步减少内存。实验结果表明,提出的N-DFA和C-S集成方案相比于传统的DFA和其他改进DFA方案,可以获得更好的内存压缩和加速性能。     

基于CA与MAS的军用装备维修保障建模仿真

在装备维修保障建模仿真中引入元胞自动机(CA)与多智能体系统(M A S),提出了基于CA与M A S的装备维修保障系统双层结构建模框架,设计了系统的环境模型和主要A gen t模型。采用N etlogo平台开发了装备维修保障仿真系统,通过实例仿真分析了不同维修协作策略对系统整体效能的影响方式及程度,得出信息化条件下通过实施区域化的协作保障可以提高维修保障效率、节约维修资源的结论。