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

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

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

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

基于聚类算法的多无人机系统任务分配

针对现有任务分配方法在任务点较多时不易解算,且计算量大的问题,提出了基于模糊C-均值聚类算法的多无人机系统任务分配方法.首先,利用模糊C-均值聚类算法得到的隶属度矩阵对任务点进行初始分配;其次,针对基于空间划分聚类可能造成各UAV任务不均衡的问题,设计任务的局部优化调整规则;最后,结合单旅行商问题,利用Tabu Sea...     

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

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

防空导弹对目标拦截的模糊二元对比排序

确定对空袭兵器的拦截次序是防空导弹火力分配的重要内容.定性分析和定量计算相结合,利用模糊数学中的模糊二元对比排序法确定防空导弹对多个目标拦截的优先次序,先对模型进行描述,给出模糊相似关系矩阵及相应的计算方法,再以4种空袭兵器为作战对象,运用模型进行计算,得出直观的目标拦截排序结果,变模糊的、复杂的问题为直观的结论.为指挥员科学分配防空火力,最大限度地发挥防空导弹的制空效能奠定基础.     

防空作战指挥对抗能力评估与分析

作战指挥对抗在未来防空作战中的地位越来越重要,为科学评估防空作战指挥对抗能力,对防空作战指挥对抗系统进行了全面分析,建立了防空作战指挥对抗能力评估指标体系,并利用幂函数的方法,建立该系统的评估模型,从而为评估防空作战指挥对抗能力提供了一种方法.该方法有利于进行单个评估指标的灵敏度分析,能较客观地反映各评估指标的影响情况,具有一定的参考价值.     

弹炮结合武器系统的优选配置

随着空袭兵器在速度、精确性、隐身性和突防能力方面的不断发展,弹炮结合是未来防空作战的必然趋势.在综合考虑了现代作战的对抗性、电子干扰情况以及参战人员素质的条件下,首先利用灰色关联算法在分析了弹炮结合系统的指标体系条件下对各种系统建立了优选模型,而后对选出的系统综合利用模糊对策论建立了高炮与导弹在一定的作战环境下具体配置比例的模型.     

语言评价信息的武器系统模糊积分评估

传统的武器系统评估方法是基于概率和统计理论的,并假设各指标之间相互独立.然而,实际上武器系统指标的评价具有人为主观性和模糊性,并且各指标之间通常存在着依存关系.综合评述和对比了传统武器系统评估方法的适用范围以及不同方法的优劣,指出了它们的不足,提出了一种基于语言评价信息和模糊积分的武器系统评估方法.专家的评判结果是可用梯形模糊数描述的自然语言信息.     

模糊综合评判的同类地空导弹火力单元作战能力评估

除实弹射击考评外,如何利用非实弹射击演练和平时可获取的信息,对武器系统同类的不同火力单元的作战能力做出科学评估,是现实而又迫切需要解决的问题.基于已建立的同类地空导弹火力单元作战能力的评价体系,运用AHP法和模糊数学建立了火力单元作战能力的三级模糊综合评判模型,给出了基于等级区间非均等划分的百分制和区间中值评定等级行向量下的具体评估算例,为同类地空导弹火力单元作战能力的科学量化评估做了有益探索.     

基于模糊综合评判的自行火炮机动性评估

为了减少人为因素对自行火炮机动性评估的影响,采用模糊综合评判的方法,提取并建立了影响自行火炮机动性的指标体系,给出了各项指标的隶属值域区间和权重的确定方法并建立了其机动性评估的数学评估模型, 最后用实例验证了模型的有效性.