变量度量估计软件的复杂度

提出软件的变量度量方法分别度量软件的变量个数、变量距离及变量聚合缺乏度来估计软件的复杂度.该方法与已有的软件复杂度度量方法,如Halstead科学度量法、McCabe圈复杂度度量法以及Chidamber的6个度量OO代码的指标等不同,它通过度量构成软件的基本元素-变量,更能从底层抓住软件的本质,而且该方法运用于实际的软件复杂度估计十分准确有效.     

基于贝叶斯网络的态势估计时间推理方法

基于贝叶斯网络的态势估计方法是目前态势估计领域中的主要方法之一,然而,传统的贝叶斯网络不具备时间语义,因此无法解决态势估计中的时间推理问题.基于此,对贝叶斯网络进行改造,研究了时间贝叶斯网络的构建方法.通过一个战场想定,说明了时间贝叶斯网络构建、推理的过程与方法,证明了提出方法的有效性.     

区间正交小波变换域FLP算法及其在捷联寻北中的应用

针对机抖激光陀螺角随机游走和发动机干扰等影响静态捷联寻北精度的问题,提出了一种新的基于区间正交小波变换的前向线性预测算法。该算法利用前向线性预测技术以及区间正交小波变换抑制边界效应的能力,有效地减小了角随机游走和发动机干扰。车载实验证明该算法的有效性。     

初中函数概念教学过程设计

函数的概念和知识是一个逐步发展和深化的过程,在教学上从突破初中教学难点着眼,需要把这节概念课讲透.所以这节课的目的就是从变量的观点、对应的观点去理解函数的概念,为后期教学打好理论基础.     

系统动力学在电子对抗装备发展系统分析中的应用

影响和决定电子对抗装备(以下简称装备)发展的行为变量之间存在着各种复杂的相互关系,由这些行为变量及其相互关系构成的装备发展系统呈现出明显的非线性、非结构性、因果性和多重反馈性;而且系统中的人流、物流、能量流和信息流等,有的可以量化,有的则很难量化。所有这些特性给装备发展系统的分析提出了新的研究课题或是新的难度。     

马尔可夫链最优停止的值函数

本文讨论了时间无限的马尔可夫链的最优停止问题。对于无限状态情况,给出了其最优停止变量以及值函数存在的一个充分条件;对于有限状态情况,这个充分条件以及问题的计算等价于解一个线性规划问题。     

有限马氏链最优停止的线性规划解

离散时间的有限状态马尔可夫链最优停止的值函数存在的一个充分条件是所对应的线性规划有解,且其最优解等于值函数,本文证明这个条件还是必要的。     

制导武器命中精度估计方法与检验方法一致性研究

针对制导武器命中精度估计方法和检验方法存在的联系以及原理性差异,对两种命中精度评定方法的一致性进行了研究。从双方风险角度研究了小子样条件对命中精度点估计和区间估计方法的影响,明确了提升命中精度评定准确性的手段;在分析命中精度指标与检验方法关系基础上,通过将双方风险与区间上界估计方法进行比较,明确了命中精度指标为备择假设的检验方法;从双方风险层面进一步分析了区间估计方法与检验方法的一致性。结果表明：对于区间估计方法和检验方法,通过合理调整置信水平参数和检出比参数,能够实现两种方法双方风险的一致性,但两种评定方法理论基础不同,进行精度评定会存在评定结论不一致的现象,该现象出现概率与制导武器自身精度有关。     

信任函数理论在仿真评估中的应用

将信任函数理论应用到了仿真结果评估问题中,给出了总体仿真结果的信任函数和信念区间的计算方法。对仿真结果的真实性评估具有一定意义。这种思想和算法可推广应用到其它各种不确定性推理决策问题中去。