维修方式再探讨

本文根据近几年关于维修方式讨论中提出的一些问题,在维修方式的分类、应用决策、设计要求和效能等方面,联系维修实际进行了探讨,提出了一些原则、方法和观点。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

Poisson方程生成数值网格方法中的源项计算法

网格生成是数值研究方法得以实现的基础。本文采用了Ｐｏｉｓｓｏｎ方程生成数值网格，并针对方程源项的选择问题，对两种形式的源项作了比较研究。     

C4ISR系统需求工程中作战过程描述方法

对于建设C4ISR系统来说,系统需求工程的出发点之一应该是基于对作战的描述.同时对目前作战过程进行描述的若干方法进行分析对比,结合实际情况对作战过程描述进行讨论并给出新的切入点,最后给出一个简单的描述示例.     

基于UML的侦察监视系统仿真分析

侦察监视系统的仿真是一体化联合作战仿真系统的重要组成部分。根据侦察监视系统的未来发展,进行了侦察监视系统的仿真需求分析,提出了仿真系统所要实现的基本功能,并利用UML对侦察监视仿真系统的角色、用例进行了分析,用用例图对整个仿真系统功能进行了描述。在此基础上,对系统进行了静态建模和动态建模。结果表明利用UML对侦察监视系统进行仿真分析,过程完整、易于理解,便于获取军事需求。     

正确认识信息化战争的制胜机理

习主席强调,研究作战问题核心是要把现代战争的特点规律和制胜机理搞清楚。深刻认识信息化战争的五个时代特征,准确把握特点规律,真正搞清信息化战争的五个制胜机理,在将信息化建设成果转化为现实战斗力的过程中做到五个坚持,对于做好军事斗争准备,打赢信息化战争具有重要意义。     

后勤物资消耗测算系统设计需求分析

针对当前后勤物资消耗测算方法过于简单粗略的问题,以构建有效的后勤物资消耗测算系统为目的,对系统的设计进行了需求分析。介绍了后勤物资消耗测算的基本流程以及关键理论,研究了后勤物资消耗测算系统的用户特点以及应用流程,着重对系统的功能需求进行了分析,确定了系统各主要功能的相关内容,并按照功能需求确定了系统的组成结构和接口关系,为系统的设计和实现奠定了基础。     

水下制氢反应室动态过程数值分析

为研究水下制氢反应室的动态过程规律,基于化学反应动力学和单液滴运动学得到合金/水反应转化率,并在最小自由能法计算得到生成物各组分摩尔数的基础上利用质量守恒方程得到室内各物质质量变化规律。在建立非线性移动边界螺旋管动态模型的前提下,利用能量守恒方程得到室内热力参数变化规律,进而完成制氢反应室动态过程详尽模型的建立。利用该模型编写计算程序,完成某水下制氢反应室动态过程仿真。结果表明,各仿真曲线较好地反映了对应参数的动态变化规律,验证了模型建立与仿真的正确性;合金/水反应转化率决定了反应室的物质质量变化规律及其能量释放特性。该模型可以作为制氢反应室动态特性分析及其过程控制研究的基础模型。     

基于WBS的装备作战需求联合论证任务流程设计方法

针对装备作战需求联合论证中任务分解与协同困难的问题,以构建融合业务活动与管理活动的集成论证活动为目标,提出了基于WBS的装备作战需求论证活动分解方法,分析了装备作战需求论证活动分解的原理、原则和活动表示方法,研究了业务活动与管理活动的WBS分解过程,研究了业务活动与管理活动的集成方法和协同分析方法,初步构建了基于WBS的装备作战需求联合论证任务流程模型,为进一步优化和调整装备作战需求论证流程、提高论证工作效率和成果质量提供了新的方法。     

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.