小高炮火控系统效能评估准则与模型研究

高炮火控系统性能的优劣对整个武器系统的性能有极大的影响。该文把小高炮火控系统作为独立系统,讨论了对其进行效能评估的准则、指标体系和模型     

直流TIG焊接电弧的数值分析

以直流钨极氢弧焊电弧为研究对象,考虑阴极几何形状,建立了轴对称电弧数值计算模型,在电流密度计算中包括了阴极区和弧柱区。采用ＳＩＭＰＬＥ算法求解磁流体动力学方程组。所得电弧弧柱温度分布与实验结果相吻合;电弧速度分布、电磁力分布、电流密度分布、压力分布等电弧参量的计算结果能较全面地反映电弧内部的作用机制。     

拉压异性材料楔体的极限载荷分析

利用莫尔屈服准则,对一侧承受均布垂直载荷作用的拉压异性材料楔体进行了极限载荷分析。计算结果表明,考虑了材料的拉压异性影响,楔体承受的极限载荷有明显提高。     

基于知识的模型库管理系统

模型库管理系统是决策支持系统区别于其它计算杌信息系统的一个重要特征,着重介绍了如何将知识的表达技术(网络图)和推理机制(深度优先搜索)应用于模型库管理系统,从而实现模型的自动集成和选择,并给出了具体实现过程。     

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

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

带限信号的最大熵正则外推算法

基于最大熵正则化构造了一种新的稳定的带限信号正则外推算法。当噪声δ（t）∈L~2[—T.T],其误差能量为δ,而且当δ→0时,所求得的正则化解将在（- ∞,∞）内一致收敛于问题的精确解。     

状态电子密度的数值反演

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

数据光滑的一种新方法

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

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

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

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

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