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

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

关于(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为例借助该方法进行分析。结果证明,利用概率影响图分析防空导弹作战能力影响关系是可行和有效的。     

基于高度图的地形纹理生成方法

介绍了利用高度图生成地形纹理图的方法。阐述了多个特征纹理图融合的方法,根据高度值计算地形纹理图各像素RGB值的过程和遍历图的方法和技巧,并介绍了在高度图中确定顶点高度值的方法。利用此方法,可以按照自己的需求制作地形纹理图,为三维地形可视化研究提供了参考。     

军事通信网络效能评估中的多数据源融合方法

通过分析军事通信网络效能评估数据源的特征,提出了一种融合专家经验、仿真和实测数据评估军事通信网络效能的方法。包括用信念图统一表达数据形式;以实测数据为训练样本,使用支持向量机拟合网络参数与性能指标关系模型,通过比较预测值与仿真结果获取仿真数据可信度;采用扩展贝叶斯法融合多源数据,给出了基于多数据源的军事通信网络效能评估流程;最后以评估某舰艇编队军事通信网络效能为例,给出了具体融合过程,结果表明融合多数据源的评估结果的有效性和可信性更高。