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

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

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

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

基于语音识别的计算机声图系统

本文提出一种计算机声图系统的模型,阐述了它的原理,并以TI-SPEECH语音处理系统、KX-600图形显示系统和IBM PC/AT计算机为基础,实现了一个简单的计算机声图系统。该系统的图形软件采用在KX-600图形显示系统上实现的MGP二维军用图形包,实现了语音输入的透明键盘支持。本文还提出了用自然语言输入和GKD-PROGKS图形系统构造的智能计算机图形系统的功能模型。     

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

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

基于脉冲块追赶的双基地雷达空间同步技术

为解决脉冲追赶技术在双基地雷达空间同步上的应用问题,提出了一种基于脉冲块追赶的双基地雷达空间同步技术,推导了脉冲块追赶时间表的计算公式,提出了以接收机波束形成速率为标准的工程可实现性分析方法,并对脉冲块追赶下的接收波束宽度和波束形成速率进行了仿真分析。仿真结果表明,在相同的双基距离积下,减小发射波束宽度、基线距离、发射脉冲宽度以及增大脉冲块长度可以降低对接收机波束形成的要求,便于工程实现。     

联合作战自同步指挥问题探析

研究联合作战自同步指挥问题。本文从自同步指挥的概念入手,阐述了自同步指挥的特点、实现基础和运行机理,分析自同步指挥的应用与发展前景。     

面向大规模交互数据空间划分的Voronoi图生成算法及应用

传统Voronoi图对大量点集进行Voronoi划分时会产生Voronoi单元格数过多的现象,导致难以适用于地理信息系统、生物医学等诸多领域.为了解决这个问题,提出一种自适应基于密度的聚类算法(Density-Based Spatial Clustering of Applications with Noise,DBS...     

面向定位的分布式无线传感器网络细粒度调整方法

针对在初始的部署条件下不可定位的无线传感器网络,提出一种分布式的面向定位的网络调整方法。该方法通过节点所处的路径信息判别确定该节点的调整策略,从而使初始状况下不可定位的网络达到可定位条件,该方法仅需调整约11%节点就能够将稀疏的网络调整至可定位,比当前最好的网络调整方法减少了约40%。此外,该方法采用分布式执行策略,从而将定位所产生的通信负载和能耗均衡到网络中的多个节点,克服了先前集中式方法的可扩展性限制。大量的仿真实验结果表明,该方法较现有方法而言具有更高的执行效率。     

一种基于排序向量法的改进雷达图评估方法

为解决传统雷达图中指标权重设计不合理的问题,提出一种基于排序向量法改进雷达图的评估方法。提出基于排序向量法的指标权重计算方法,解决因指标归一化导致权重计算不合理的问题。根据上述得到的指标权重,绘制得到改进的雷达图,并通过计算指标的扇形面积和弧长来反映系统的效能和指标的均衡程度。通过加权和法和加权积法建立了改进雷图的评价模型。实例表明,所提评估方法合理可行。该研究能够进一步拓展雷达图法的应用领域,为系统评价理论与方法提供一种科学可行的技术手段。