可修系统的一个模型

本文研究一种具有4种故障形式的可修系统。利用向量Markov过程方法,求出了系统的可靠性指标。     

武器装备的综合性能

武器装备除了具备传统的作战性能外,还应具备适用于作战的保障性能.作战性能和保障性能统称武器综合性能.综合性能要依靠传统工程技术及专业工程技术的综合,用系统工程的方法去解决.     

某型空空导弹控制舱检测设备设计

对某型空空导弹控制舱检测设备进行了总体设计。采用8031单片机,提出各类参数的检测方案,并对系统采取了抗干扰措施。     

时序逻辑的并行描述与隐含遍历

随着电路规模的迅速增长,设计验证越来越复杂,从而需要高速的数据处理系统。基于总线型多机系统环境,研究电路网表和布尔表达式的BDD（Binary Decision Diagram）并行构造方法,并通过隐含遍历任务的动态调度设计有效地完成时序逻辑的状态遍历。     

状态电子密度的数值反演

提出了一种计算状态电子密度的超分辨处理方法。这种方法是在Fourier变换的基础上,引入高频滤波器函数H（ω,α）,经滤波处理后,再取Fourier逆变换,得到近似解。此方法能够较好地抑制噪声干扰,且计算复杂性较低,文中给出了算法,证明了收敛性,最后给出了计算机实验结果。     

数据光滑的一种新方法

提出了用变形的Fourier部分和来代替Fourier级数将输入数据光滑的一种新方法。该方法能稳定地解某些不适定的问题,如给定函数的近似,求函数微分的问题;Laplace方程Cauchy问题;时间逆向热传导方程的Cauchy问题等。     

次连续(S)型映射的广义拓扑度

基于Galerkin逼近技巧,本文构造了次连续(S)型映射的广义度,讨论了该广义度的初等性质,并给出了局部有界广义伪单调映射满值性的拓扑证明。     

雷达角跟踪系统检测的新方法

本文提出了雷达角跟踪系统检测的一种新方法——暂态特性测试法。文中介绍了该检测方法的原理及由CCD摄象传感器件、单片微机等组成的检测设备。分析了实验结果,讨论了提高检测精度的措施。     

带噪声的 AR 模型的参数估计及定阶

本文讨论了带噪声情形下 AR 模型的参数估计及定阶问题,还给出了噪声模型的参数估计,并证明了它们的强相容性。     

目标指示雷达导引炮瞄雷达捕获目标的精度分析

本文研究了情报指挥系统中目标指示雷达导引炮瞄雷达捕获目标的精度问题。结合工程实践分析了影响精度的诸误差因素,在此基础上,建立了目标指示雷达导引炮瞄雷达捕获目标成功率的计算公式,给出了计算结果,并进行了结果分析。