基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

一种新型光带通滤波器的设计

设计一新颖的光纤环路作为光带通滤波器,它由３ｄＢ定向耦合器和光纤光栅构成,并用传输矩阵方法对其输入、输出特性进行了理论分析,表明是一种性能优异的带通滤波器,在光通信等领域有着良好的应用前景．     

引人注目的“马拉巴尔09”系列军演——美印联合军演规模空前

在连续进行了8年的海上联合军事演习后，印度和美国从10月12日开始在印度首都新德里以南的巴比纳，举行了一次代号为“作战训练-09”的最大规模的陆军联合实弹军事演习。此外，美印两国空军也于19日在邻近的阿格拉举行名为“应对印度-09”的联合军事演习。     

面向GPU的非结构网格有限体积计算流体力学的图染色方法优化

采用图染色方法解决通量累加和局部最大压力计算引起的两种典型资源竞争问题,并通过共享内存的使用、体编号和面编号的重排、面数据的重排三种策略优化图染色方法。针对应用在空气动力学多种规模的三维网格,分别采用双精度和单精度操作数,在Nvidia Tesla V100和K80 GPU上,展开性能测试。结果表明:共享内存的优化效果不明显;体编号和面编号重排降低了图染色方法的计算性能;面数据重排可以有效地优化图染色方法;计算性能在V100上提高20%左右,在K80上提高15%左右。     

国防费规模比较研究

与美、俄、日、印等国相比,我国国防费规模总体水平较低。据此,应按照国防费的增长与国防需求和国民经济发展水平相适应的原则,参照世界各国国防费水平,逐步建立国防费良性动态增长机制,包括与国防建设发展相适应的协调机制、与国民经济发展水平相适应的互动机制。     

一致最精确置信限的可靠性评定结果判断方法

准确可靠地分析和利用试验过程中获得的各种数据是复杂系统小子样可靠性评定的基础和前提,因此如何科学、合理地对试验数据折合结果的合理性进行判断是小子样评估理论要研究的根本问题.基于一致最精确置信限思想,给出对评定结果合理性判断的方法模型,可对评定方法是否保守、冒进或适中进行判断.最后对常用的评定方法进行了实例分析,结果表面,所提出的基于一致最精确置信限的判断方法是有效的.     

基于ISM的武器装备效能评价体系的构建方法

将系统工程中解释结构模型法引入到武器装备效能评价体系的构建过程中,在可拓空间确定武器效能影响因素逻辑关系的基础上,求解系统可达矩阵,建立结构模型,构建多层递阶的效能评价指标体系;应用该ISM,分析了评价体系的内部层次结构及主次因素,掌握系统评价的神经支撑结构;并以机动性指标为例,确定了单指标的因素支撑影响图。系统效能ISM的建立,可为确定提高武器效能的突破点、研发(R&D)控制的立足点等方面进行系统解释,为科学建立评价体系、判定内部结构提供理论基础。     

装备保障模拟推演想定子系统设计与实现

围绕空军主战装备作战飞机的保障任务机上推演问题,对空军装备保障模拟推演想定子系统设计与实现的方法与过程进行讨论,对系统设计与实现所涉及到的军事地理系统、推演想定实体、保障任务、保障过程、推演想定模型、需求测算、软件实现等进行了阐述.同时给出了xml格式的保障过程、保障任务的模拟推演想定文件描述方法.     

分布式代理技术在监控系统中的应用

集中式监控模型具有简单高效的特点,特别适合对小规模被监控系统的监控,但集中式监控模型在可靠性方面具有明显的缺陷和不足.针对小规模被监控系统,提出了通过在集中式监控模型中引入分布式机制达到提高监控系统可靠性的思想,同时,提出了适合这一特定模型的选举算法、负责均衡算法、负载指标评估模型,并对负载指标进行了量化.对上述模型和算法进行了详细的阐述,对模型和算法的正确性、性能和可靠性进行了分析.     

动态网络中的最短路径改进算法

本文在对动态网络进行理论分析的基础上,指出动态网络中可能出现的非FIFO弧是传统最短路径算法无法求得最优解的原因;通过对非FIFO弧进行理论分析,提出了等待时域和最佳出发时间理论,并将非FIFO弧变换成FIFO弧,给出了改进的Dijkstra算法。对比实验结果证明,该算法可以有效求得动态网络最短路径问题的最优解。