一个人机瞄系统的非线性分析设计

讨论了一个人机瞄系统的非线性分析设计。首先建立了人机瞄系统的非线性模型,然后采用反馈线性化方法,利用状态反馈,完全抵消了非线性因素对系统输出的影响,实现了系统输入－输出的严格线性关系和解耦控制,再利用线性系统方法,进行了系统的极点配置,使系统具有希望的跟踪性能,最后提出有待于深入研究的内容。     

推理树概率逻辑公式集有效赋值列数计算

本文通过对概率逻辑推理树知识结构模型的研究,得出在树推理中对矩阵列消减起主要作用的相邻关系及其计算方法,给出了树推理模型的有效赋值列数的一般计算方法。     

C3I时隙分配优化设计

用线性规划方法讨论了Ｃ３Ｉ通信网络中时隙分配的优化设计问题     

高级程序设计语言综述

为读者选择语言提供了总体思路,给出了高级语言的发展的趋势。     

最大面积避障矩形问题的解法

建立了在一个含有若干障碍点的矩形母域内求一个最大面积避障矩形问题的数学模型.通过分析避障矩形的几何特性,找到了求解这一含有0-1变量的非线性规划数学模型的一种特殊解法.     

零动态设计方法在鱼雷纵向运动控制中的应用

鱼雷纵向运动方程是非线性微分方程 ,非线性系统近似线性化建模方法有着不可忽视的局限性 .非线性系统的精确线性化设计方法由于其复杂性而限制了它的应用 .将零动态设计方法应用于鱼雷纵向系统 ,为解决鱼雷非线性控制系统稳定设计提供了新的途径 .     

非线性转子系统碰摩现象的动力学仿真

针对一类非线性转子系统 ,建立了碰摩模型。在此基础上 ,通过模型的动力学仿真分析 ,研究了非线性碰摩转子系统的同频、倍频、分频、拟周期和混沌振动及其出现特点。其中揭示的振动特征对转子系统的状态识别与诊断具有一定的意义     

Cyclic best first search: Using contours to guide branch‐and‐bound algorithms

The cyclic best‐first search (CBFS) strategy is a recent search strategy that has been successfully applied to branch‐and‐bound algorithms in a number of different settings. CBFS is a modification of best‐first search (BFS) that places search tree subproblems into contours which are collections of subproblems grouped in some way, and repeatedly cycles through all non‐empty contours, selecting one subproblem to explore from each. In this article, the theoretical properties of CBFS are analyzed for the first time. CBFS is proved to be a generalization of all other search strategies by using a contour definition that explores the same sequence of subproblems as any other search strategy. Further, a bound is proved between the number of subproblems explored by BFS and the number of children generated by CBFS, given a fixed branching strategy and set of pruning rules. Finally, a discussion of heuristic contour‐labeling functions is provided, and proof‐of‐concept computational results for mixed‐integer programming problems from the MIPLIB 2010 database are shown. © 2017 Wiley Periodicals, Inc. Naval Research Logistics, 64: 64–82, 2017     

Augmented nested sampling for stochastic programs with recourse and endogenous uncertainty

We propose a novel simulation‐based approach for solving two‐stage stochastic programs with recourse and endogenous (decision dependent) uncertainty. The proposed augmented nested sampling approach recasts the stochastic optimization problem as a simulation problem by treating the decision variables as random. The optimal decision is obtained via the mode of the augmented probability model. We illustrate our methodology on a newsvendor problem with stock‐dependent uncertain demand both in single and multi‐item (news‐stand) cases. We provide performance comparisons with Markov chain Monte Carlo and traditional Monte Carlo simulation‐based optimization schemes. Finally, we conclude with directions for future research.     

Exact algorithms and bounds for the dynamic assignment interdiction problem

We study a multi‐stage dynamic assignment interdiction (DAI) game in which two agents, a user and an attacker, compete in the underlying bipartite assignment graph. The user wishes to assign a set of tasks at the minimum cost, and the attacker seeks to interdict a subset of arcs to maximize the user's objective. The user assigns exactly one task per stage, and the assignment costs and interdiction impacts vary across stages. Before any stage commences in the game, the attacker can interdict arcs subject to a cardinality constraint. An interdicted arc can still be used by the user, but at an increased assignment cost. The goal is to find an optimal sequence of assignments, coupled with the attacker's optimal interdiction strategy. We prove that this problem is strongly NP‐hard, even when the attacker can interdict only one arc. We propose an exact exponential‐state dynamic‐programming algorithm for this problem as well as lower and upper bounds on the optimal objective function value. Our bounds are based on classical interdiction and robust optimization models, and on variations of the DAI game. We examine the efficiency of our algorithms and the quality of our bounds on a set of randomly generated instances. © 2017 Wiley Periodicals, Inc. Naval Research Logistics 64: 373–387, 2017