指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

低信噪比抖动红外点目标的检测

本文为解决低信噪比条件下抖动红外点目标的检测问题，提出了一种基于膨胀累加、检测前跟踪的检测算法。该算法运用膨胀累加方法能够消除抖动对多帧累加算法的不利影响，使目标能量仍然能够实现有效的积累，从而达到目标增强的目的。本文还采用了小波变换预处理方法，对图象中相关的１／ｆ噪声进行白化。模拟实验结果表明，该算法能够快速检测出信噪比为２抖动点目标。     

工控单片机系统的电磁兼容性设计

与一般计算机系统相比 ,工控单片机系统在电磁兼容方面表现为对电源影响敏感、易形成辐射和串扰通路 ,文章据此提出从电源、总体结构与功率接口等方面提高工控单片机系统电磁兼容性的若干措施     

机载测角三维无源定位的建模与算法分析

在机载测角三维无源定位应用中 ,采用载机NED (North_East_Down)坐标系作为状态坐标系、选在此坐标系中的目标位置坐标作为状态变量建立状态方程 ,采用测量系统天线坐标系为测量坐标系建立测量方程 ,两个坐标系以载机姿态角相关联。本文在此坐标框架下 ,通过对三个定位模型和四个定位算法的分析和仿真比较 ,确定了更适合于机载测角三维无源定位应用的模型和算法。     

L(0,1)模态导波在小管径管道弯头处的散射特性

采用实验和有限元模拟的方法研究了L(0,1)模态导波在小管径管道弯头处的模态转换和反射、透射特性,分别使用不同频率的激励信号对含不同弯曲半径弯头的管道进行检测。研究结果表明:L(0,1)模态导波在管道弯头处发生模态转换,转换成F(1,1)模态,并且其偏振方向与弯头拱背—拱腹方向一致;随着检测频率和弯曲半径的增大,反射F(1,1)模态呈减小趋势,透射F(1,1)模态呈非单调变化趋势;反射L(0,1)模态导波呈减小趋势,透射L(0,1)模态导波呈增大趋势;当检测频率或弯曲半径增大到一定程度时,两参数的变化对反射F(1,1)模态、反射L(0,1)模态和透射L(0,1)模态的影响不大。实验结果与模拟结果吻合度高,验证了模拟结果的正确性。研究结论为检测小管径含弯头管道提供了理论指导。     

MIMD上三层格式的窗口并行迭代方法

本文对一般的三层格式给出了在MIMD 机上实现的窗口并行迭代方法,给出了WBJ 格式,分析了三层格式的收敛性。文章的结论表明窗口并行迭代法的收敛性与窗口大小无关,窗口大小影响每台处理机的使用效率。     

神经网络技术在冲压导弹设计中的应用

利用近年来迅猛发展的神经网络技术,成功地建立了某型冲压导弹气动参数和发动机推力、比冲的数学模型,从而克服了用传统回归拟合方法和数学插值计算的不足,为导弹总体参数优化设计和各分系统设计提供了一种新工具.并对网络训练过程中存在的问题进行了分析,提出了具有实际意义的改进方法.     

PLM系统在油料装备信息化建设中的应用研究

油料装备的信息化建设涉及战争需求、设计、制造、配送、服役、维护、退役等诸多方面,提出运用油料装备PIM(ProductLifecycleManagement)系统实现其全生命周期管理。着重探讨了油料装备PLM系统的体系结构和关键技术。     

管线最大通过能力求解方法研究

长输管线的密闭输送方式采取"泵到泵"接力运行,全线是一个统一的整体, 对管线最大通过能力的计算,要考虑前后泵站间的相互影响,进行迭代计算。针对长输管线 最大通过能力的两种求解方式:迭代法,通过逐步校核,调整计算结果的大小,使其逐步逼近 最终计算结果;分段计算法,分步校核,逐步搜寻全线"瓶颈"段,得到"瓶颈"段的通过能力, 即为全线最大通过能力。分别建立了数学模型,并基于Visual Basic 6.0编程,进行迭代运 算,得到了相应计算结果,对两种方法的理论方法、程序编写、计算结果进行了比较,用于指 导管线计算方法的选择。     

低雷诺数壁面约束流动皮托管测速误差分析与校正

针对低雷诺数壁面约束流动中皮托管测速误差产生的两大主要影响因素——剪切速度与近壁效应,采用计算流体力学技术分别对其进行数值模拟,并研究各自引起的误差变化规律。数值模拟结果表明:虽然剪切速度引起的流线偏移规律与相关文献结论基本一致,但是数值结果预测的流线偏移量并不是一个渐近函数;近壁距离在5倍管径即出现较为明显的测量误差,并且发现近壁距离在1倍管径处出现误差的非单调性变化。最后通过将数值模拟结果与现有的修正方法进行对比,提出了更为合理的修正方程。