符号执行火控系统诸元解算程序测试用例生成技术

火控系统作为各种武器装备的中枢和大脑,控制着武器系统的运转,其有效性直接关系着射击的成败甚至武器系统的综合效能。诸元解算程序是将各种输入条件依据弹道模型经过多次迭代转换为射击诸元,由于其复杂性,当前软件测试用例只是在几个关键点上进行校验,很难覆盖程序所有分支和路径,存在着测试不充分。针对这个问题,提出了一种基于符号执行的用例自动生成技术,结合解弹道方程组约束条件和程序分支控制变量使用符号执行框架内能够得到覆盖所有可能的执行路径,从而保证测试的充分性。     

时序电路测试中敏化路径选择研究

时序电路测试产生过程中,在进行敏化路径选择时会遇到失败问题.本文针对迭代组合阵列模型测试中产生的这些问题进行了有益的探讨,并提出了改进的时序电路测试产生算法,使之更加完善.     

A risk function for the stochastic modeling of electric capacity expansion

We present a stochastic optimization model for planning capacity expansion under capacity deterioration and demand uncertainty. The paper focuses on the electric sector, although the methodology can be used in other applications. The goals of the model are deciding which energy types must be installed, and when. Another goal is providing an initial generation plan for short periods of the planning horizon that might be adequately modified in real time assuming penalties in the operation cost. Uncertainty is modeled under the assumption that the demand is a random vector. The cost of the risk associated with decisions that may need some tuning in the future is included in the objective function. The proposed scheme to solve the nonlinear stochastic optimization model is Generalized Benders' decomposition. We also exploit the Benders' subproblem structure to solve it efficiently. Computational results for moderate‐size problems are presented along with comparison to a general‐purpose nonlinear optimization package. © 2001 John Wiley & Sons, Inc. Naval Research Logistics 48:662–683, 2001     

Scheduling jobs and maintenance activities on parallel machines

Most machine scheduling models assume that the machines are available all of the time. However, in most realistic situations, machines need to be maintained and hence may become unavailable during certain periods. In this paper, we study the problem of processing a set of n jobs on m parallel machines where each machine must be maintained once during the planning horizon. Our objective is to schedule jobs and maintenance activities so that the total weighted completion time of jobs is minimized. Two cases are studied in this paper. In the first case, there are sufficient resources so that different machines can be maintained simultaneously if necessary. In the second case, only one machine can be maintained at any given time. In this paper, we first show that, even when all jobs have the same weight, both cases of the problem are NP-hard. We then propose branch and bound algorithms based on the column generation approach for solving both cases of the problem. Our algorithms are capable of optimally solving medium sized problems within a reasonable computational time. We note that the general problem where at most j machines, 1 ≤ j ≤ m, can be maintained simultaneously, can be solved similarly by the column generation approach proposed in this paper. © 2000 John Wiley & Sons, Inc. Naval Research Logistics 47: 145–165, 2000     

装备作战需求论证质量评估系统设计

开发陆军武器装备作战需求论证质量评估系统是实现需求论证工程化的重要环节,是提高装备需求论证质量与效率的有效手段。通过对武器装备作战需求论证评估系统功能需求进行分析,明确了系统设计框架;设计了基于管理Agent和评估模型Agent的多Agent模型管理模式,给出了系统开发流程,为需求论证质量评估提供了技术支撑。     

对第四代战斗机综合航电系统的构想

通过对战斗机综合航电系统的回顾,分析了第四代战斗机及其航电系统的主要特征和关键技术,并对我国新一代综合航电系统的能力、功能等进行了展望.为提高我国航空电子技术的水平,要充分研究国外先进技术,对第四代战斗机综合航电系统进行分析和预先研究.     

课程建设需要把握的几个问题

课程建设是一项系统工程,影响课程建设的因素很多,目前院校的课程建设尚存在一些问题,在一定程度上影响着教学质量的提高。文章主要针对学院新一轮课程建设的有关问题进行探讨。     

基于联合作战能力的装备体系需求生成过程研究

针对武器装备建设过程中需求不够明确、不够准确和不够科学的现状,从联合作战的角度出发,以“基于能力”的武器装备建设思想为指导,对“任务体系→能力体系→装备体系”的装备体系需求生成过程进行了深入研究,并与传统装备体系需求生成过程进行了比较。     

C~4ISR系统军事需求模型并行开发与一致性检验

介绍了C4ISR系统军事需求模型的概念、特点及其开发的并行性,并根据我军联合作战指挥信息系统的需求开发实践需要,针对C4ISR系统军事需求模型的模块划分以及分组建模过程进行分析,在此基础上给出了一个C4ISR系统军事需求模型并行开发过程的参考模型,并探讨了并行开发过程在系统需求周期内的一致性检验问题,包括了需求模型的语法、语义和语用一致性检验的过程和方法.     

基于多视点的武器装备体系需求建模

简要分析了国内外武器装备体系需求研究的现状,总结了武器装备体系需求特点,基于视点的需求开发方法,给出了武器装备体系需求的需求视点,建立了武器装备体系需求建模的过程模型,提出了基于UML元语言的一致性检验方法,为构建我军一体化联合作战的武器装备体系做出了探索性的研究.