已知经,纠度两点间相对位置的计算

本文通过讨论已知经、纬度的两点在地球基准椭球上的相对位置,得到了其东西、南北向偏差距离计算公式,从而解决了ＧＰＳ这位和电子地图相结合应用相对位置计算问题。     

基于状态变换的同步时序电路测试生成

详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。     

关于(1,f)-奇——复盖图

设ｆ是定义在图Ｇ的顶点集Ｖ（Ｇ）的顶点集Ｖ（Ｇ）上的一个奇数整函数。图Ｇ的一个（１,ｆ）－奇－因子是Ｇ的一个支搅揶图Ｆ使对任意的Ｘ∈Ｖ（Ｇ）有ｄｐ（ｘ）∈∪「１,３,ｆ（ｘ）」。图Ｇ是一个（１,ｆ）－奇－复盖图是对Ｇ的任一边ｅ,Ｇ都有一个（ｆ）－奇－因子含ｅ。本文给出Ｇ是（１,ｆ）－奇－复盖图的一个充要条件。     

一种新的非参数谱估计方法

提出了一种新的非参数谱密度估计方法,它是传统加窗周期谱估计方法的一种修正,并证明了此估计具有渐近无偏性、相合性、渐近正态性.     

核危机博弈冲突消解图模型分析

核安全是国家安全体系的重要组成部分。针对博弈过程定量化分析方法的不足,调整冲突消解图模型分析方法并将其应用于核危机博弈分析。提出冲突消解图模型分析流程、相关定义和矩阵表示方法;以1969年爆发的中苏核危机为背景,基于历史数据构建核危机冲突模型,应用矩阵表示算法分析博弈状态演化过程;引入博弈政策和军事能力两类模型参数,调节参数进行博弈模型敏感性分析;应用联盟分析方法识别出可能存在的决策者联盟及其对国家关系演化的影响;根据模型数据分析结果,总结相关结论和决策参考。研究结果表明,冲突分析方法适用于核危机管控研究,采用与军事实力相匹配的策略在危机博弈演化中具有重要作用。     

SAR图像适配区选择方法

为选择具有高匹配概率和高匹配精度特点的SAR适配区,结合SAR成像特点,分析了惯导及成像参数误差对适配区的影响,设计了多种适配性评价参数,提出了一种由粗到细的适配区层次性选择方法.该方法充分考虑了适配区在总体和细节上的需求,层次性选择有效避开了构造预测函数的难题.试验结果表明该方法可在SAR图像匹配系统中选出高性能的适配区,且所选适配区匹配概率可达97％以上.     

一个基于图着色的CACHE优化方法

提出了一个编译时的Cache管理优化方法。该方法根据访存行为将程序中的数据划分成若干数据对象,根据数据对象的大小将Cache划分为一个带有别名的伪寄存器文件,每个伪寄存器由若干Cache行组成,可以容纳一个数据对象;使用一个经过改进的图着色寄存器分配算法来决定这些对象在Cache中的位置以及发生冲突时的替换关系。数据对象的划分将Cache的管理分为两个层次,一个是编译时编译器对粗粒度的数据对象的管理,另一个是运行时硬件对细粒度的Cache行的管理,这样编译器和硬件的优势都得到发挥。基于GCC进行了方法实现,并通过simplescalar构造了支持Cache Coloring的硬件模拟平台。实验结果表明Cache Coloring能较好地开发程序的局部性,降低Cache失效率。     

一种基于UML/OCL的软件测试方法

根据UML/OCL和建模环境提供的软件模型信息,以一个武器装备管理信息系统的装备入库顺序图为例,在分析UML/OCL顺序图的语法和对象间的交互信息的基础上产生测试场景,提供了一种基于UML/OCL的面向对象的软件测试方法,并提出测试自动化的设想,对软件测试有一定的借鉴作用。     

作战潜能和作战能力计算方法探析

我们在科学研究中经常会用到战斗力、战斗能力、作战能力、作战效能、作战潜能 (作战潜力 )等概念 ,但在使用过程中往往又会出现“模糊”地理解其含义的情况。作战潜能是相对于基准单位潜能的数量特征 ,是一个静态量 ,是一个相对量 ;作战能力是火力单位所能完成的火力任务量 ,是一个绝对量。本文主要探讨作战潜能 (作战潜力 )、作战能力的概念、区别、联系和计算方法。重点探讨其计算方法而不是理论阐述。     

概率影响图的防空导弹作战能力影响分析

针对防空导弹系统各作战能力间影响关系难以量化评估的问题,提出利用概率影响图进行分析的方法。在分析防空导弹作战流程、确定各作战活动影响关系的前提下,该方法首先由作战活动影响关系估计各作战能力结点的边缘概率和条件概率;其次利用目标定向法建立防空导弹作战能力概率影响图;最后对概率影响图进行一致性变换,定量评估各作战能力间的影响关系,导找重要能力指标,并动态分析影响关系的概率变化。以战术级爱国者防空导弹系统PAC-3为例借助该方法进行分析。结果证明,利用概率影响图分析防空导弹作战能力影响关系是可行和有效的。