基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

美国陆军旅战斗队化生放核力量研究及启示

化生放核部队是美军重要的作战保障力量。为有效应对化生放核威胁和危害,美国陆军通过重塑旅战斗队化生放核力量,不仅提升了自我保障能力,还具备了全频谱作战和可持续作战能力。本文通过研究和分析美国陆军步兵旅战斗队、斯特赖克旅战斗队和装甲旅战斗队化生放核兵员的力量编制和装备编配,试图为未来一个时期陆军合成旅防化兵建设和发展,实现全域作战和立体防护要求提供一定借鉴。研究表明,美国陆军旅战斗队在旅司令部、营司令部和连司令部编设不同岗位的化生放核参谋,作战指挥能力强;在旅司令部、工兵营、侦察营、步兵营/装甲营和支援营编配了大量便携式化生放核装备和少量车载式化生放核装备,自我保障能力较强。     

美军航母战斗群空袭火力及其效能分析

以美军航母战斗大队标准编成为例,简要分析了美军航母战斗群的空袭火力构成。进而分析了影响航母战斗群空袭火力效能的主要因素,分别建立了机载对地攻击弹药和巡航导弹对地面目标的毁伤能力的模型。然后以此为基础,从空袭兵器的突防概率、对目标的发现概率、对各类目标的毁伤概率和空袭某一目标所需的兵力四个方面,对航母战斗群空袭火力体系的作战效能进行了深入研究,并建立相应的数学模型。最后根据在历次战争中得到的经验数据,对美军航母战斗群空袭火力效能进行了计算,并分析了计算结果,为科学判断敌情提供了依据。     

系统误差下航迹关联算法

针对系统误差对目标航迹的影响,提出了一种新的系统误差下航迹关联算法,该算法采用模糊综合决策的思想,抓住目标航迹的不变信息建立模糊因素集,通过构建目标航迹紧密度矩阵提取最有可能的航迹关联对,从而达到系统误差下航迹关联的目的,通过典型环境下的仿真,验证了该算法在传感器组网存在系统误差情况下进行航迹关联的优越性,其具有较好的航迹关联效果和较强的鲁棒性。     

基于ATmega8的程控电流驱动器设计

以ATmega8单片机为程控接口的核心控制电流驱动器,实现了程控电流驱动器的设计方案。电流驱动器采用Buck变换器进行输入/输出功率变换,通过电压、电流双反馈调节的反馈环路控制PWM驱动电路使Buck变换器实现输出电压可调,程控接口根据设定值大小以高频PWM输出方式控制电流驱动器输出相应的电流。进行了性能测试实验,结果表明：程控电流驱动器输出可靠性高,响应时间快,满足设计要求。     

冠心病介入治疗虚拟仿真系统关键技术

冠心病介入治疗虚拟仿真系统是训练介入医生手术技能的有效工具,为满足实际需求,对系统开发过程中涉及的几何建模、心跳模拟、流体仿真、柔性器械运动处理等关键技术进行了探讨,提出了基于NURBS曲面的血管模型和组合弹簧振子联动的心跳模型,并利用粒子系统和多叉树方法实现了造影剂注射和柔性器械运动的仿真,为冠心病介入治疗训练提供了虚拟教学平台和技术支撑.     

基于RWC的机载SAR斜视成像仿真

通过建立机载合成孔径雷达的工作模型,介绍了SAR的基本成像原理,并针对机载SAR在斜视条件下,因距离走动量较大,对地面目标的成像受到严重影响的情况,详细分析了距离走动产生的原因。在傅里叶变换之前使用对距离走动进行校正的CS算法对经典的CS算法作出了改进,重点推导了改进后算法的实现过程,并通过Matlab仿真模拟地面目标物实现了CS算法在不同条件下的成像结果,证明使用改进后的算法在斜视角情况下成像质量有较大的改善。     

Target Tracking of Fire-Control Radar on the Method of Intermittent Radiation

从火控雷达抗反辐射导弹的迫切需求出发,将间歇辐射理论应用于火控雷达,提出了间歇式目标跟踪方法.首先对间歇式跟踪原理进行了分析;其次,基于单脉冲技术分析了采样间隔的自适应变化原则,同时提出了跟踪性能的评价指标,并进一步对跟踪效果进行了仿真.结果证明间歇式目标跟踪方法可以同时实现对反辐射导弹载机的准确跟踪和对反辐射导弹的有效对抗.     

新型步战车炮塔座圈发射过程动态响应分析

应用多刚体动力学理论研究了某新型步战车炮塔座圈在射击载荷下的动态响应.利用ADAMS软件建立了步战车主炮多刚体模型和炮塔系统虚拟样机模型,在验证仿真模型正确性的基础上,用16个均匀分布在炮塔座圈的滚珠来表示整个炮塔座圈中的全部滚珠,通过施加载荷对虚拟样机进行动力学分析,研究了炮塔座圈内部分典型位置的滚珠的受力曲线,得出了火炮射击时滚珠承受的最大力,同时对炮塔座圈采用不同材质的滚珠时滚珠的受力以及传递到车体的力进行了对比,经过分析对比,提出了采用其他材质滚珠的建议,为改善滚珠受力情况提供一定的参考意见.     

基于元胞数组的多维空间在舰船方案论证设计中的应用

在分析多维空间及元胞数组的基础上,提出了将元胞数组抽象成坐标轴上的点,并以此为基础建立多维空间坐标系.使用多维空间上的离散点来表述水面舰船总体方案设计,用元胞数组来描述组成舰船子系统方案的若干功能属性.该方法将舰船方案用数字化元胞集合表示,集中了基于方案探索的优化论证设计和基于功能积木的虚拟化论证设计的优势.