SPC交换程序的半自动生成技术

本文介绍我院正在研制的 SPC 交换领域用的半自动编程系统,该系统通过用规范和描述语言 SDL 书写的规范来产生 SPC 交换程序。文中讨论了半自动生成系统的基本结构,并给出一个具体的半自动生成实例。     

截击机作战起飞规划分析

根据截击机在优化的目标分配形式下拦截效果的概率模型,导出了截击机在拦截多攻击机机群时的最优目标分配形式,研究了机场飞机起飞架数与机场战术、技术参数、机场飞机的战术、技术参数以及与攻击机的进攻态势之间的关系,确定了多机场飞机对多攻击机机群进行最优目标分配时所应满足的量化关系,给出的模型可对作战决策过程提供理论依据     

凸极式同步发电机空载电压波形的预测计算

提出了一种预测计算凸极式同步发电机空载电压波形的方法,据此可以在电机设计阶段,根据电机转子磁极形状尺寸及定子绕组结构,预测计算电压谐波幅值和波形正弦性畸变率,从而优化电机结构设计,抑制电压谐波,改善电机的电磁兼容性能.     

轨、姿控固体燃气发生器式动力系统研究

概述了固体燃气发生器的特点及发展状况,提出了如何进一步研究的建议。     

同步发电机气隙磁场非正弦时整流系统性能的研究

提出了一种发电机气隙磁场非正弦分布时整流系统的近似电路模型和仿真方法;分析了气隙磁场非正弦分布对系统交直流电压和电流波形的影响．仿真结果表明,合理控制气隙磁场谐波含量有利于提高轻负载下整流电压的品质．由此提出：带整流负载的多相同步发电机采用气隙磁场非正弦分布的转子结构和集中整距的定子绕组（即所谓方波电机）是合理的     

Windows设备驱动程序结构及兼容性探讨

介绍了Win95虚拟设备驱动程序、WinNT内核模式驱动程序与Win32设备驱动程序的概念与结构特性．讨论在不同Windows开发平台下设备驱动程序的兼容性．     

战场损伤评估与修复分析及应用

本文根据我国国情和我军实践,论述了武器装备战场损伤评估与修复(BDAR)的基本概念、原理、分析程序及方法,提出了进行BDAR分析、制定HDAR大纲等一系列实际应用问题。     

Minimizing sums and products of linear fractional functions over a polytope

In this paper, we develop efficient deterministic algorithms for globally minimizing the sum and the product of several linear fractional functions over a polytope. We will show that an elaborate implementation of an outer approximation algorithm applied to the master problem generated by a parametric transformation of the objective function serves as an efficient method for calculating global minima of these nonconvex minimization problems if the number of linear fractional terms in the objective function is less than four or five. It will be shown that the Charnes–Cooper transformation plays an essential role in solving these problems. Also a simple bounding technique using linear multiplicative programming techniques has remarkable effects on structured problems. © 1999 John Wiley & Sons, Inc. Naval Research Logistics 46: 583–596, 1999     

一种小型的高压毫微秒脉冲发生器及其应用

本文讨论了一种小型的高压毫微秒脉冲装置。该装置可以产生幅值120kV,上升前沿陡度大于5kV/ns、脉宽100ns 的高压脉冲,并已被用作REB 加速器的触发源、高压EMP 模拟器的脉冲源和研究介质击穿特性的能源。     

Solution algorithms for the parallel replacement problem under economy of scale

We consider the parallel replacement problem in which machine investment costs exhibit economy of scale which is modeled through associating both fixed and variable costs with machine investment costs. Both finite- and infinite-horizon cases are investigated. Under the three assumptions made in the literature on the problem parameters, we show that the finite-horizon problem with time-varying parameters is equivalent to a shortest path problem and hence can be solved very efficiently, and give a very simple and fast algorithm for the infinite-horizon problem with time-invariant parameters. For the general finite-horizon problem without any assumption on the problem parameters, we formulate it as a zero-one integer program and propose an algorithm for solving it exactly based on Benders' decomposition. Computational results show that this solution algorithm is efficient, i.e., it is capable of solving large scale problems within a reasonable cpu time, and robust, i.e., the number of iterations needed to solve a problem does not increase quickly with the problem size. © 1998 John Wiley & Sons, Inc. Naval Research Logistics 45: 279–295, 1998