α-Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X)

This paper is focused on automated reasoning based on classical propositional logic and lattice-valued propositional logic LP(X).A new method of automated resasoning is given ,and the soundness and completeness theorems of this method are proved.     

高速高精度数控车床主轴双转子系统动力特性

利用整体传递矩阵法对机床主轴双转子耦合系统的动力特性进行了详细研究．计算结果表明，采用该法计算简单、精度高、易于编程．同时，利用有限元法有效地解决了主轴双转子耦合刚度的计算问题．     

数控车床刀尖与主轴中心对准误差的危害及纠正方法

本文阐述了数控车床刀尖与主轴个心对准误差对产品质量和机床设备的危害，分析了两种常用对准误差纠正方法的缺点，并提出了两种新颖简便的对准误差纠正方法，具有广泛的实用性。     

长春轻轨三期闭路电视监视系统方案简析

对轨道交通中闭路电视监视系统的解决方案进行阐述,同时介绍长春轻轨三期工程闭路电视监视系统的系统方案及功能。     

无人机对地面目标定位的一种实现算法

无人机使用 WGS‐84坐标系对地面目标进行定位,为解决无人机坐标系与大地坐标系之间的换算问题,需要将 WGS‐84坐标系换算为 BJ‐54大地坐标系,论文阐述了无人机对地面目标的定位过程,并详细介绍了目标从无人机坐标系到大地坐标系的坐标变换,实现了无人机对地面目标的坐标解算。     

舰载发射装置传递矩阵的建立

舰载火箭武器是我国近海作战的主要武器之一,作为鱼雷反潜盲区的补充,如何提高舰载火箭弹的射击效率对于提高部队战斗力具有重要的意义。舰载火箭发射系统是多刚柔体耦合系统。通过多体系统矩阵传递法,求出系统中每一个组成构件的传递方程,并通过传递矩阵的传递性质最终确定系统的传递总方程,为下一步求系统的动力响应提供理论基础。     

中低速五转向架磁浮车辆运动学描述与计算

满足运动学要求是磁浮车辆结构设计的基本要求。以D-H变换为理论基础,结合不同类型的线路参数,采用不同方法求解中低速五转向架磁浮车辆在不同曲线上车厢与转向架之间的位姿关系;并建立走行机构二次系模型,给出正、反解解析式,最后根据所求得的车厢与模块位姿关系,以及二次系的运动学模型的解析表达式相互间的对应关系,计算出走行机构二次系各个关键构件的运动范围。     

基于COMSOL多层材料吸声覆盖层的吸声特性分析

针对圆柱形空腔吸声覆盖层低频吸声性能比较差,建立多层材料圆柱形空腔结构覆盖层的COMSOL有限元模型,通过采用波导有限元-传递矩阵法对有限元模型的验证并对其进行吸声特性数值仿真分析。结果表明：理论计算与数值仿真的曲线趋势大致吻合则该有限元模型有效;多层材料吸声覆盖层低频吸声特性明显优于单层材料吸声覆盖层,并且采用不同穿孔率、损耗因子、杨氏模量等参数的变化分析了各种参数的变化对吸声系数曲线的影响,为下一步的声学优化提供了具体指导。     

车架弯曲试验与仿真对标误差的探究

文章主要介绍车架疲劳试验的实施过程以及此过程中的传感器布置方式。通过仿真试验相结合方式,来修正数值模型。为以后的类似的仿真提供参考模型,同时对比多组仿真和试验数据,并对仿真数据与试验数据的异同点进行了探讨,为以后的仿真积累了经验。     

舰艇管路抗冲击分析的传递矩阵法

国内管路抗冲击研究主要采用有限元法,求解的精度很大程度上取决于网格划分的密度。文章将传递矩阵法应用到舰艇管路抗冲击分析中,建立了含有支管的空间复杂管路的传递矩阵。提出了多支座激励下管路系统加载方法,并利用所建立的传递矩阵对某舰船冷却水管路的冲击响应进行了数值求解。研究结果表明,传递矩阵法用于管路抗冲击研究是可行的,具有求解自由度少,计算精度高的优点。