基于PEPA的舰艇编队防空过程建模及分析

防空作战是大型水面舰艇编队的主要作战样式之一。本文运用PEPA（性能评价过程代数）方法对舰艇编队防空作战全过程进行有效建模,形式化描述了预警探测、情报传递、命令下达、防空拦截等作战主要过程。建立的PEPA模型具有层次化结构,考虑了要素间相互协作,体现了编队防空作战分布、并发的特点。通过对建立的PEPA模型进行性能指标选择和稳定状态分析,得到了不同因素对编队能力发挥的影响情况,获得了防空作战的基本要素组成。从而提供了一种解决舰艇编队问题的新方法。     

基于关键路径和任务复制的多核调度算法

针对目前大多数多核处理器任务分配优化算法没有考虑关键路径上节点对任务完成时间的重要影响,导致任务完成总时间延迟的问题,提出了基于关键路径和任务复制(CPTD)的单任务调度算法。CPTD算法通过复制任务图中fork节点的方式将任务图转化为与之相对应的产品加工树;再在生成的产品加工树中找到关键路径,并采取使关键路径上节点的紧前节点尽早调度的方式,使关键路径上节点尽早开始执行,进而使产品加工树中节点完成时间得以提前,达到缩短任务执行总时间的目的。理论分析表明,CPTD算法能够实现应用程序在多核上充分并行处理,并能缩短任务完成时间。     

一类分段线性费用网络流问题

本文通过把一类分段线性费用网络流问题化成线性费用网络流问题,给出了求解这类分段线性费用网络流问题的算法。     

高超音速化学平衡流粘性激波层数值计算

本文给出了层流化学平衡粘性激波层方程对于细长解析体的数值解。这些求解结果是通过空间步进方法得到的,并且与参考文献里的计算结果作了比较,以估价该方法的精确度。结果表明,这种控制方程完全耦合求解的方法能够给出相当精确和稳定的结果,这些结果与参考文献的计算结果相当吻合。     

空军网络化指挥信息系统作战效能评估指标体系构建?

针对目前网络化指挥信息系统作战效能评估指标体系不完善、且缺乏分项指标计算方法模型等问题,从网络化作战对指挥信息系统的作战需求出发,研究构建了空军网络化指挥信息系统的作战效能评估指标体系,并提出了分项指标概念内涵和计算模型与方法,可为指挥信息系统研制提供参考和支撑,为其作战效能的客观评估提供指标体系和模型方法。     

一种控制学科在设计回路的多学科设计优化方法

提出了一种直接针对设计参数不确定性描述的鲁棒控制器设计方法,并将该方法的研究和多学科设计优化方法的研究结合起来,实现了控制学科在设计回路的多学科设计优化。以某无尾布局微型飞行器为例开展了气动、控制学科的并行设计优化研究,说明了该方法的可行性。     

Flow shop scheduling with earliness,tardiness, and intermediate inventory holding costs

We consider the problem of scheduling customer orders in a flow shop with the objective of minimizing the sum of tardiness, earliness (finished goods inventory holding), and intermediate (work‐in‐process) inventory holding costs. We formulate this problem as an integer program, and based on approximate solutions to two different, but closely related, Dantzig‐Wolfe reformulations, we develop heuristics to minimize the total cost. We exploit the duality between Dantzig‐Wolfe reformulation and Lagrangian relaxation to enhance our heuristics. This combined approach enables us to develop two different lower bounds on the optimal integer solution, together with intuitive approaches for obtaining near‐optimal feasible integer solutions. To the best of our knowledge, this is the first paper that applies column generation to a scheduling problem with different types of strongly ????‐hard pricing problems which are solved heuristically. The computational study demonstrates that our algorithms have a significant speed advantage over alternate methods, yield good lower bounds, and generate near‐optimal feasible integer solutions for problem instances with many machines and a realistically large number of jobs. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

浅谈装备财务管理工作面临的问题及出路

装备财务管理工作是我军装备建设的关键点和枢纽,其管理效能的发挥直接关系我军装备建设经费的军事和经济效益。当前,受发展水平的限制,我军的装备财务管理工作任务十分艰巨,面临预算执行困难、开支随意性大、装备财务管理信息化水平低、专业人才数量少等问题,需要从内部控制机制建设、装备财务管理评价系统建设、人才建设三个方向,探寻解决问题的出路。     

浅析武警部队收费票据管理

近年来,武警部队一些财务部门在财务管理工作中,重视经费管理而轻视票据管理、重视收费管理而轻视收费票据管理的现象比较突出,使收费票据管理出现了一些薄弱环节。这些薄弱环节又进一步影响了财务部门对预算外收入的控制和监督,也影响了会计信息质量。对此,笔者提出了加强收费票据管理的对策,即：增强票据管理意识,严格落实管理制度,完善票据领用办法,规范票据的使用,加强业务稽查,加强管理信息化建设及提高人员素质。     

防空反导网络化作战发展研究

网络中心战是信息时代重要的作战形式,可将战场信息优势转化为决策优势,是信息技术在军事领域应用的必然选择,网络中心战在防空反导领域的应用也称为防空反导网络化作战.主要跟踪研究了国内外网络中心战的最新进展和发展趋势,分析了网络化作战的特点和关键技术,针对我国防空反导武器系统的现状,提出了防空反导网络化作战的发展建议.