编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

采用改进遗传算法的舰载机保障调度方法

舰载机保障作业过程受到多种资源约束,同时可能存在突发事件的干扰。针对此特点,分析并制定干扰情况下的模型修正策略。在遗传算法中引入禁忌搜索算子改进传统遗传算法的变异操作,并通过具体实例进行仿真验证,其结果证明改进后的遗传算法在优化含干扰事件的多机保障问题时效率更高,并通过甘特图直观地反映重调度方案,为真实情况下有效处理舰载机保障过程中的干扰事件奠定理论基础。     

Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

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

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

电磁发射用分段供电六相圆筒式直线感应电动机数学模型

为研究新型分段供电六相圆筒式直线感应电动机的运行规律,针对其不对称运行的特点,采用磁动势理论推导了气隙中与空间位置无关的脉振磁场的电感矩阵表达式,通过将其引入abc坐标系下对称的电机数学模型,从而构建了描述六相圆筒式直线感应电机不对称的数学模型。在Simulink环境下,采用隐式梯形法构建了该不对称模型的系统仿真模型。最后,对样机进行了仿真分析和实验验证,仿真结果与实验数据吻合良好,验证了模型的正确性。     

基于型号性能指标的武器装备体系作战能力评估方法

武器装备体系需求方案通常只能给出装备型号的性能指标,性能指标到能力指标的转化和型号能力到体系能力的聚合成为体系评估的关键。为此,提出了从装备型号性能指标出发的武器装备体系作战能力评估方法。首先通过使命任务到能力需求的分析,建立了能力需求指标体系。然后通过建立装备性能与底层能力指标的关联关系,以及各层级能力指标之间聚合关系,得到从武器装备型号的性能指标到武器装备体系作战能力的函数关系,从而完成装备单元能力评估和装备体系子能力评估,最终得到武器装备体系作战能力评估结果。最后,通过一个实例说明该评估方法的具体步骤和可行性。     

基于Web服务的作战仿真模型一体化建模与验证

作战仿真实体一体化建模的结果是生成能够便于计算机实现的作战实体类的组件模型,目的是提高模型的重用性和建模质量,使模型开发向标准化、规范化方向发展。主要论述基于一体化建模的作战仿真实体模型开发方法和过程,从模型转换的正向工程和逆向工程两个思路来阐述实体仿真模型一体化建模过程,采用基于模型驱动架构MDA(Model Driven Architecture)的作战仿真系统开发方法,并通过Web服务的方式实现建模、仿真与体系对抗的一体化,屏蔽操作系统、软件、应用程序和数据间的异构性。     

末端防御作战中火控雷达组网系统应用研究

火控雷达组网是应对未来末端防御作战挑战的有效途径。提出了基于指挥信息系统的火控雷达组网方式,并分析了该方式的优势。继而基于末端防御战斗部署一般要求和火控雷达组网系统对空侦察配系的特殊要求,经仿真计算得出和分析了火控雷达组网系统的典型对空侦察配系。最后详细论述了火控雷达组网系统的指挥控制要点。研究结果对于促进末端防御部队形成以信息系统为核心的体系作战能力具有重要意义。     

武器控制系统战斗有效性分析

分析了武器控制系统对机载武器系统战斗有效性的影响因素,定量描述了各影响因素,给出了影响战斗有效性程度的指数,并研究了其计算的方法。根据计算结果,得到了战斗有效性的损失变化范围,这一变化范围可作为评价武器控制系统优劣的重要依据,最后给出了具体算例和说明。     

Modeling and analysis of a mixed‐model assembly line with stochastic operation times

We consider a mixed‐model assembly line (MMAL) comprised a set of workstations and a conveyor. The workstations are arranged in a serial configuration. The conveyor moves at a constant speed along the workstations. Initial units belonging to different models are successively fed onto the conveyor, and they are moved by the conveyor to pass through the workstations to gradually generate final products. All assembling tasks are manually performed with operation times to be stochastic. An important performance measure of MMALs is overload times that refer to uncompleted operations for operators within their work zones. This paper establishes a method to analyze the expected overload times for MMALs with stochastic operation times. The operation processes of operators form discrete time nonhomogeneous Markov processes with continuous state spaces. For a given daily production schedule, the expected overload times involve in analyzing the Markov processes for finite horizon. Based on some important properties of the performance measure, we propose an efficient approach for calculating the expected overload times. Numerical computations show that the results are very satisfactory. © 2007 Wiley Periodicals, Inc. Naval Research Logistics, 2007