军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

无源单站定位技术研究

无源定位技术已成为现代化战争中对抗"四大威胁"的关键技术。在研究目标来波方向(DOA)与多普勒频率的基础上,提出一种基于最小二乘估计的运动目标单站定位跟踪方法。经计算机仿真表明,该方法不仅能对运动目标进行定位,而且能对运动目标的速度、航迹等进行估计。     

舰艇编队防空火力射击冲突问题研究

从建立编队内统一的坐标系入手,利用编队中武器的位置、战术参数和来袭目标的信息,采用系统建模仿真的思想,建立火力射界冲突分析模型。借助于这个模型,通过解命中计算等方法,计算编队中武器的可抗击航路以及连续射界,进而得出其可抗击射界,与武器固有安全射界叠加,确定编队中可以参与抗击来袭目标的武器,并为进一步地探讨编队火力兼容问题,进行火力兼容控制奠定基础。     

军用数据库安全审计系统的设计

在指控系统应用过程中,需要审查与系统安全相关的所有操作,并对不安全的操作行为进行报警。根据指控系统中数据库审计四要素的要求,提出将应用系统级审计与数据库级审计相结合的方法,最终实现两种级别审计的统一。解决了以往指控系统审计方式单一的问题,满足了军用数据库安全防护的要求。     

C4I系统抗毁生存能力分析及优化

抗毁生存能力是C4I系统的一个重要指标.分析影响C4I系统生存能力的因素,建立C4I抗毁能力模型,是研究提高C4I系统作战效能的重要问题.结合C4I系统的实际,分析和优化提高C4I系统抗毁生存能力的措施,具有很好的现实意义.     

均匀平面薄片重心公式的推导

给出均匀平面薄片重心公式的两种推导 ,同时介绍了古鲁金 (P .Guldin)定理及其应用。     

反馈系统强镇定的区间算法

反馈系统强镇定不改变受控系统的传递零点 ,而受控系统的传递零点影响反馈系统跟踪参考信号和扰动抑制等能力 ;反馈系统可否强镇定还与两个受控系统是否可同时镇定有密切关系 .给出了判定和计算受控系统强镇定的一种新的算法———区间算法 .这种算法是一种大范围求解方法 ,能同时求出受控系统的全部零点 .     

舰载雷达目标发现概率的几种模拟计算模型分析

舰载雷达目标发现概率的模拟估算是舰船作战效能模拟评估的重要指标估算之一 .文中提出了舰载雷达目标发现概率的 5种模拟模型 ,并分析和比较了 5种模型的特点和适用范围     

拉压性能不同非线弹性材料空间汇交杆系应力应变分析的数值解

以两个指数函数近似表示拉压异性非线弹性材料的应力一应变关系,分析了拉压性能不同非线弹性材料空间汇交杆系,用位移法推导出了应力应变计算的普遍表达式,给出了计算汇交点位移的非线性方程组,编制了通用的数值计算程序,计算准确方便,使这一问题得到了圆满的解决。     

概念层次网络中对偶性设计

首先对概念层次网络（ＨＮＣ）理论作简要说明,然后根据ＨＮＣ中层符号个性化设计理论给出对偶性设计方案,和偶性的具体表现,并给出对偶性概念具体表现的注解。