基于纯方位量测的三维运动目标可观测性研究

通过建立纯方位量测系统的状态方程和测量方程,利用伪线性化方法,将非线性测量方程转换成线性形式,再利用奇异矩阵的性质,获得一种基于可观测性定义和特征值分解法相结合的定量确定纯方位量测系统可观测性的方法,得出可观测的充要条件.此项成果对于分析运动目标跟踪的机动策略具有重要意义,可推广到对多种运动目标的三维被动跟踪研究中.     

装备再制造性指标分配

再制造性设计是装备再制造工程的重要组成部分,是实现退役装备易于再制造的可靠保证,而再制造性指标分配是再制造性设计的重要内容,它能够保证所要求的指标科学地分配到装备各零部件,实现装备再制造效益的最大化。探讨了再制造性指标分配的相关概念及其再制造性指标分配程序,并提出了几种可行的再制造性指标分配方法,为装备的再制造性设计提供了有效的技术支撑。     

自反Banach空间一类完全广义集值强非线性混合似变分不等式问题

研究了一类完全广义集值强非线性混合似变分不等式在自反Banach空间下的问题，借助一个极大极小不等式，证明了这类完全广义集值强非线性混合似变分不等式的解的存在唯一性定理。     

战场电磁环境系统研究

为正确认识愈加复杂化的战场电磁环境,应用系统论的观点和方法分析研究战场电磁环境。在系统深入地思考国内外大量战场电磁环境相关文献的基础上,归纳总结出战场电磁环境概念和构成,提出了战场电磁环境结构、等级层次和整体涌现性等观点。给出了科学分析研究战场电磁环境的有益思路。     

靶场光学测量数据异方差性检验及修正

为了避免靶场光学测量数据异方差性导致的普通最小二乘估计非有效、显著性检验失去意义和模型的预测失效问题,采用了图形分析、Goldfeld-Quandt和Breusch Pagan Godfrey方法检验光学测量数据异方差性,并针对光学测量数据的异方差性提出分段加权最小二乘修正的方法。通过理论分析,对某设备方位角测量数据进行实验验证,取得了残差平方数据、G-Q检验统计数据、BPG检验统计数据和分段加权最小二乘BPG统计数据。结果表明应用图形分析法对光学测量数据进行异方差性检验最直观和简捷,适合存在明显异方差性的检验,G-Q检验法不适用光学测量数据的异方差性检验,BPG检验理论完整且适合光学测量数据的异方差性检验,分段加权最小二乘方法有效合理,消除了异方差性对回归模型的影响。     

软件测试方法综述

论述了软件测试技术近几年来研究的最新成果。包括软件的故障模型、白盒测试技术、黑盒测试技术、人工测试技术、可靠性测试技术和测试性设计技术等。以作为对近十几年来软件测试技术发展的总结,还初步的探讨了软件测试技术今后的发展。     

基于Solidworks二次开发的两栖车辆浮态设计及静稳性分析

建立了描述车辆姿态向量和重力向量的两个坐标系,研究了姿态向量与坐标变换之间的关系,根据Solid-Works提供的函数,利用二分法求解了给定姿态下的浮心位置;以浮心计算为基础,通过对车辆的受力分析和运动分析,确定了车辆浮态的计算方法;利用SolidWorks的API函数进行二次开发,形成了计算静稳性的程序,并进行了实例计算。结果表明：与传统的作图法相比较,该方法计算结果更精确,计算速度更快。     

一种慢跳DS/FH信号的检测方法研究

提出了一种慢跳DS/FH信号方法,根据DS/FH信号的特性,将信号的跳频特性与直扩特性分开进行检测.首先利用成熟的跳频检测方法,在时频域或频域上对信号进行跳频检测,当检测到跳频信号后,再在时域上采用空间互相关方法检测信号是否具有直扩特性,从而判断DS/FH信号的存在性.计算机仿真结果表明该方法具有一定的可行性.     

内置谓词函数依赖及其推理规则

研究内置谓词函数依赖及其推理规则.首先提出内置谓词函数依赖,定义了内置谓词函数依赖的语法和语义;其次提出属性-约束集闭包概念,提出计算属性-约束集闭包的算法,判断内置谓词函数依赖逻辑蕴涵;然后提出内置谓词函数依赖的推理规则集A,证明推理规则集A是可靠且完备的,用于内置谓词函数依赖蕴涵分析的形式化证明;最后讨论了内置谓词函数依赖的应用.