关于部分K值逻辑中正则可离函数集的极大封闭集之最小覆盖判定的一些结果

根据部分多值逻辑完备性理论,证明了当m=2时,若正则可离关系G2=G2({1,2})∪G2之关系图仅是一个回路,则T(G2)不是P k的最小覆盖成员.     

基于分治的属性约简相对核计算

针对信息表中相对核的计算采用分治策略提出了一个新的属性约简方法,将在计算整个全域上的属性约简问题转化为计算在相应划分的子区域上属性约简问题.将原有计算POSX0(Y)的算法复杂度O(|A||U|2),降为O(|A|(|Y1|2+|Y2|2+…+|Yn|2)),对于一般比较大的|U|说,效率提高非常明显,提高了属性约简的可计算性.     

基于Simulink的质点外弹道模型仿真

介绍了基于Simulink的质点外道模型的设计与仿真方法。首先给出了地面直角坐标系下的弹丸质心运动方程组,然后介绍如何采用Simulink建立系统的仿真模型并进行仿真计算。仿真方法具有模型设计过程简单、修改容易和结果直观等特点,可以应用到刚体弹道、火箭弹道及控制弹道等模型的仿真。     

小数分频频率合成器的研究和实现

本文通过对小数分频频率合成器的探讨和研究,对小数分频中的难点——相位补偿问题提出了点补偿和全补偿的概念并给出了实现电路,在一个波段上实现了五位小数分频。所研制的小数分频频率合成器可用于通信和电子仪器等有关设备中。     

基于任意两共面相交圆的双目立体视觉标定法

提出一种基于同一平面内两相交圆作为平面标定模板的自标定原理,应用于固连在同一支撑架上（相对静止）的双摄像机组成的视觉系统,分别从四个角度对模板进行拍摄,即可求解摄像机的内外参数。实验表明：该算法可以得到比较满意的精度, 并且计算简便。     

一种高效的通信电台测试点优化故障诊断策略

针对通信电台的测试诊断问题,通过建立“故障一测试”相关性矩阵,提出了一种GADPSO算法与最大诊断信息量准则结合进行通信电台故障诊断的方法．GADPSO算法收敛速度快、计算精度高,既避免了陷入局部最优和早熟收敛,又提高了优化效率;最大诊断信息量准则能全面评判测试点,快速有效地获得测试顺序．该方法为通信电台故障诊断提供了一种高效诊断策略．     

关于空投反潜鱼雷最佳入水点的探讨

“观测—定位—决策”组成了航空反潜作战的一个战术周期。高效率的反潜作战除了加速决策过程,缩短决策周期之外,还体现在选择一个最佳的决策方案中。其中,最佳入水点的选择就是一个重要的决策问题。本文在充分考虑空投鱼雷反潜特点基础上,分两种情况从理论上探讨了反潜鱼雷最佳入水位置和投雷入水方位。     

保形压缩映射产生的一类递归集的分形性质

研究了由保形压缩映射产生的一类递归集的分形性质,得到了该类集合的Hausdorff维数．     

一类化学反应动力系统的定性分析

研究一类描述多分子化学反应的数学模型应用微分方程定性理论,完整地解决了该系统极限环的存在性、不存在性和唯一性问题。     

L—R型模糊数及其在装备贮存可靠性研究中的应用

由于数据不足,在全寿命周期的初始阶段使用传统的可靠性分析技术,难以对装备的贮存可靠性进行研究。在模糊集理论的基础上,应用L-R型模糊数的模糊故障树分析技术,探讨了装备贮存可靠性的研究问题。