装备需求论证工具化研究

以体系工程思想和DoDAF2．0为指导,在系统分析国内外装备需求论证工具软件研制现状和存在的问题基础上,提出了装备需求论证工具化概念及其软件功能需求,优化设计了工具软件体系结构框架,并着重探讨了软件集成和数据模型等关键支撑技术,为装备需求论证工具化实践奠定了理论基础。     

Rectangles algorithm for generating normal variates

We propose an algorithm for generating normal random variates that is based on the acceptance–rejection method and uses a piecewise majorizing function. The piecewise function has 2048 equal‐area pieces, 2046 of which are constant, and the two extreme pieces are curves that majorize the tails. The proposed algorithm has not only good performance from correlation induction perspective, but also works well from a speed perspective. It is faster than the inversion method by Odeh and Evans and most other methods. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

皮秒脉冲泵浦的高功率超连续谱光源

实验研究利用皮秒脉冲泵浦光子晶体光纤产生高功率超连续谱输出,探讨制作高功率全光纤超连续谱光源的关键技术,分析不同结构皮秒脉冲光纤激光器泵浦光子晶体光纤产生超连续谱的优缺点.应用重复频率倍增技术降低激光器自身的非线性效应,得到性能参数合适的高功率皮秒脉冲光纤激光器;采用后处理技术将光子晶体光纤输入端扩芯后与双包层光纤进行...     

基于区间数的第4代战斗机空战效能评估

根据第4代战斗机所具有的典型特征,建立了第4代战斗机的空战效能评估指标体系。采用区间数特征向量法确定了效能评估指标体系中的各指标的权重,给出了定量指标和定性指标的规范化方法,提出了采用区间数形式的加权和关系进行效能指标聚合的方法。最后,通过实例验证了所建立的空战效能评估指标体系的合理,评估方法的有效、可行。     

分布式实时网络半实物仿真方法研究

介绍了基于分布式实时网络的复合寻的制导武器半实物仿真试验环境建立的基本方法,对其工作原理、主要设备和技术进行了分析。     

作战信息交换分析与建模

在C4ISR体系结构中,虽然活动模型,逻辑数据模型及其它的产品是开发信息交换矩阵的基础,但是随着C4ISR系统越来越复杂,相应的信息元素数量也越来越多,以至于很难从这些产品直接过渡到信息交换矩阵。在数学的基本理论——集合论的基础上,提出一种识别信息交换元素的模型。它通过整理作战活动,作战节点,作战信息元素的关系,并用一种直观的方式表现作战信息元素。     

A combination of Lagrangian relaxation and column generation for order batching in steelmaking and continuous‐casting production

This article considers the order batching problem in steelmaking and continuous‐casting production. The problem is to jointly specify the slabs needed to satisfy each customer order and group all the slabs of different customer orders into production batches. A novel mixed integer programming model is formulated for the problem. Through relaxing the order assignment constraints, a Lagrangian relaxation model is then obtained. By exploiting the relationship between Lagrangian relaxation and column generation, we develop a combined algorithm that contains nested double loops. At the inner loop, the subgradient method is applied for approximating the Lagrangian dual problem and pricing out columns of the master problem corresponding to the linear dual form of the Lagrangian dual problem. At the outer loop, column generation is employed to solve the master problem exactly and adjust Lagrangian multipliers. Computational experiments are carried out using real data collected from a large steel company, as well as on large‐scaled problem instances randomly generated. The results demonstrate that the combined algorithm can obtain tighter lower bound and higher quality solution within an acceptable computation time as compared to the conventional Lagrangian relaxation algorithm. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

Open64的MPI代码自动生成算法

针对开源编译器Open64存在MPI不能自动并行化的问题,对Open64中面向Cluster的MPI代码自动生成进行了研究。分析了MPI代码自动生成模块在Open64体系结构中的位置,提出了基于Open64的MPI代码自动生成算法,并对其进行了实验验证。实验结果表明：该算法不但能够有效降低MPI并行程序的通信开销,而且能够明显提高其加速比。     

基于作战功能模块设计的武器装备体系需求生成方法框架研究

以FoS（Family of Systems）武器装备体系需求生成为研究对象,构建基于作战功能模块设计的武器装备体系需求生成框架,提出适用于该方法框架的基于目标-概念-任务的作战任务需求分析方法、基于任务-功能的作战能力分析方法,从实践角度实现了模块化作战力量建设与FoS武器装备体系模块化、综合化、集成化建设的一体化设计,为武器装备体系需求生成提供了新的方法框架。     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。