陆基常规导弹武器系统射击效率评估

现行的陆基常规导弹武器射击效率的算法原理滞后于导弹作战实际需要.针对毁伤律问题、积累毁伤效应问题、相关性问题、目标毁伤的模糊性问题进行了探讨,指出应用当代新的数学理论方法改造现行陆基常规导弹射击效率算法理论的必要性和迫切性.     

军事设施建设项目环境影响评价有关问题分析及建议

根据《中国人民解放军环境保护条例》,军事设施建设项目应进行环境影响评价。由于军事项目建设内容高度机密、国防需要迫切、建设时间紧迫等,再加上一些从事军事设施项目建设的管理人员对环境影响评价的理解还存在某些偏差,使许多军事设施建设项目未进行环境影响评价,影响了我军的环境保护工作。简要介绍了军事设施的范围及军事设施建设项目的环境影响评价概况,结合军事设施建设项目环境影响评价中出现的一些问题,提出了进行军事设施建设项目环境影响评价工作的几点建议。     

Heuristics for the location of inspection stations on a network

This article considers the preventive flow interception problem (FIP) on a network. Given a directed network with known origin‐destination path flows, each generating a certain amount of risk, the preventive FIP consists of optimally locating m facilities on the network in order to maximize the total risk reduction. A greedy search heuristic as well as several variants of an ascent search heuristic and of a tabu search heuristic are presented for the FIP. Computational results indicate that the best versions of the latter heuristics consistently produce optimal or near optimal solutions on test problems. © 2000 John Wiley & Sons, Inc. Naval Research Logistics 47: 287–303, 2000     

联合作战目标协同模型构建与求解方法?

在对联合作战目标协同研究内容分析的基础上,提出了多任务部队与多作战目标的协同目标分配模型,其融合了目标综合价值、目标打击有效性、目标威胁适配度、目标类型匹配、目标距离匹配等因素。通过对各因素量化并将协同目标分配模型转换为指派问题进行求解,验证了分析方法的可行性。     

Concise RLT forms of binary programs: A computational study of the quadratic knapsack problem

The reformulation‐linearization technique (RLT) is a methodology for constructing tight linear programming relaxations of mixed discrete problems. A key construct is the multiplication of “product factors” of the discrete variables with problem constraints to form polynomial restrictions, which are subsequently linearized. For special problem forms, the structure of these linearized constraints tends to suggest that certain classes may be more beneficial than others. We examine the usefulness of subsets of constraints for a family of 0–1 quadratic multidimensional knapsack programs and perform extensive computational tests on a classical special case known as the 0–1 quadratic knapsack problem. We consider RLT forms both with and without these inequalities, and their comparisons with linearizations derived from published methods. Interestingly, the computational results depend in part upon the commercial software used. © 2009 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

浅析汉语应用中的问题及对策

在英语等强势语言的影响下,受到网络语言等非主流语言的冲击,汉语应用中出现了一些问题。分析现阶段汉语应用现状,找出汉语污染源,有利于有的放矢地加强汉语保护工作。     

兵团少数民族教师双语培训中存在的问题与对策

兵团中小学少数民族教师双语培训工程自2005年实施以来,已进行五期学员培训,在取得成绩获得经验的同时,也出现了不少值得思考的问题。本文从兵团少数民族教师双语培训的教学管理,日常管理,教育实习,学员自身等几个方面进行详细分析,针对主要问题及其成因进行客观深入地分析并提出相应的对策,在全面推行少数民族双语教育的今天,具有非常重要的现实意义。     

二次型极小化问题的迭代算法

在新的控制条件下,证明了二次型极小化问题的迭代算法的有效性,所得结果改进了徐洪坤关于二次型优化的最新结果。     

Analysis of a machine repair problem with an unreliable server and phase type repairs and services

In this paper we study a machine repair problem in which a single unreliable server maintains N identical machines. The breakdown times of the machines are assumed to follow an exponential distribution. The server is subject to failure and the failure times are exponentially distributed. The repair times of the machine and the service times of the repairman are assumed to be of phase type. Using matrix‐analytic methods, we perform steady state analysis of this model. The time spent by a failed machine in service and the total time in the repair facility are shown to be of phase type. Several performance measures are evaluated. An optimization problem to determine the number of machines to be assigned to the server that will maximize the expected total profit per unit time is discussed. An illustrative numerical example is presented. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 462–480, 2003     

A branch‐and‐cut algorithm for the nonpreemptive swapping problem

In the Swapping Problem (SP), we are given a complete graph, a set of object types, and a vehicle of unit capacity. An initial state specifies the object type currently located at each vertex (at most one type per vertex). A final state describes where these object types must be repositioned. In general, there exist several identical objects for a given object type, yielding multiple possible destinations for each object. The SP consists of finding a shortest vehicle route starting and ending at an arbitrary vertex, in such a way that each object is repositioned in its final state. This article exhibits some structural properties of optimal solutions and proposes a branch‐and‐cut algorithm based on a 0‐1 formulation of the problem. Computational results on random instances containing up to 200 vertices and eight object types are reported. © 2009 Wiley Periodicals, Inc. Naval Research Logistics 2009