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

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

Comparison of rank aggregation methods based on inherent ability

Ranking is a common task for selecting and evaluating alternatives. In the past few decades, combining rankings results from various sources into a consensus ranking has become an increasingly active research topic. In this study, we focus on the evaluation of rank aggregation methods. We first develop an experimental data generation method, which can provide ground truth ranking for alternatives based on their “inherent ability.” This experimental data generation method can generate the required individual synthetic rankings with adjustable accuracy and length. We propose characterizing the effectiveness of rank aggregation methods by calculating the Kendall tau distance between the aggregated ranking and the ground truth ranking. We then compare four classical rank aggregation methods and present some useful findings on the relative performances of the four methods. The results reveal that both the accuracy and length of individual rankings have a remarkable effect on the comparison results between rank aggregation methods. Our methods and results may be helpful to both researchers and decision‐makers.     

椭圆型方程曲线网格的快速生成方法

本文在用椭圆型方程的网格生成方法生成曲线网格时,通过比较四种常用的计算格式,得到了收敛速度较快的生成方法。在计算流体力学领域,对于边界形状随时间变化的流动问题的数值计算,及自适应网格的生成等同题,生成网格的收敛速度直接影响流场的计算速度。在上述情况下使用本文的结果,能有效的减少机时,提高计算效率。     

基于可拓方法的C3I作战方案生成与评价

作战指挥决策支持系统是指挥自动化系统的重要组成部分,作战方案生成与评价是作战指挥决策支持系统的基本功能.根据作战指挥决策支持系统特点将可拓方法应用于作战方案生成与评价,并分析了其优势所在.结合空战案例运用发散树方法进行作战方案集的开拓,并利用优度评价方法进行作战方案的评价,从而得到最佳作战方案.     

面向第四代战斗机的超视距空战

面对第四代战斗机的列装服役,其先进的技战术性能使得未来空战中超视距空战这种模式越来越占据主导地位,超视距空战具有其特殊的战术特点和影响其空战效果的因素,尤其是机载雷达和空空导弹的性能差异对超视距空战影响很大,因此要充分掌握战斗机的主要性能,做到取长补短.但是,空战中情况瞬息万变,任何时候也离不开飞行员和指挥员的灵活处置.只有在战斗机性能的不断提升的基础上,研究出相应的超视距空战战术,才能在未来高技术空战中真正具备打赢能力.     

超连续谱激光光源研究进展

高非线性光纤制造技术的成熟和光纤激光器性能的提升,极大地促进了超连续谱光源的快速发展,以光纤为非线性介质的超连续谱的产生成为当前研究热点。从可见光、近红外和中红外3个不同波段,综述了超连续谱产生的技术方案与最新进展。当前,可见光和近红外波段的超连续谱光源输出功率已经突破百瓦量级,并出现了多芯光子晶体光纤、光纤放大器和随机光纤激光器产生超连续谱等众多新方案;以氟化物光纤和亚碲酸盐光纤为非线性介质的中红外超连续谱,输出功率也突破了十瓦量级;在光谱拓展方面,以硫系光纤为非线性介质的超连续谱,输出光谱已扩展到12μm以上。     

多约束条件下互联网骨干网路由器级拓扑生成方法

互联网骨干网是网络流量的中枢传输系统,其路由器级拓扑结构对于网络抗毁性分析具有重要意义。由于难以获取互联网骨干网路由器级的真实拓扑,通过分析骨干网的形成因素,将地理位置、节点间联系强度、基础设施费用、鲁棒性等因素结合起来,提出一种多约束条件下的互联网骨干网路由器级拓扑生成方法。该方法既可以构造难以公开获取网络测量数据的骨干网,也可以用来生成某一骨干网的多种替身拓扑集。通过现实中的互联网骨干网作为实例,验证了方法的有效性。     

水面舰艇防空作战能力的需求生成方法

为了更好地量化表达水面舰艇所具备的防空作战能力,提出了一种基于元活动的能力需求生成方法。建立了能力需求生成框架,在此框架下进行元活动库的提取,能力指标的分解,元活动-能力指标映射规则的分析得到中近程拦截能力的能力指标并进行了冲突消解,验证了所提方法的有效性。     

空袭目标生成仿真模型研究

空袭目标生成,是防空兵作战仿真中一项十分重要的内容,其是否合理、有效将直接影响作战仿真的真实性.从防空兵作战的实际出发,依据空袭兵器的作战规律探讨了空袭目标的随机抽样过程,构建了单个空袭目标、单一空袭目标流和混合目标流的生成模型.     

陆军武器装备体系需求生成支撑平台建设

分析了装备需求论证中存在的问题,探讨了武器装备体系需求生成的目标。借鉴外军武器装备需求生成的成功经验,以"需求驱动、架构主导"的系统工程思想和方法为指导,提出陆军武器装备体系需求生成支撑平台的要求、任务和组成,并结合具体工具给出支撑平台设计框架示例。