一类具有饱和发生率的离散型SIS传染病模型的全局渐近稳定性

研究一类具有饱和发生率的离散型SIS传染病模型,得到模型的基本再生数.通过比较原理以及构造适当的Lyapunov函数,证明当基本再生数R01时,无病平衡点是全局渐近稳定的;当基本再生数R01时,地方病平衡点是全局渐近稳定的.     

Maintenance scheduling for modular systems: Modeling and algorithms

We study new models of scheduled maintenance management for modular systems, consisting of multiple components with respective cycle limits. The cycle limit of each component specifies the time interval in which this component must be repaired or replaced. The goal is to compute a feasible maintenance schedule that minimizes the cost associated with component maintenance. Applications of these models arise in Air Force aircraft maintenance as well as in other arenas with required preventive maintenance. The typical cost structures that arise in practical settings are submodular, which make the resulting models computationally challenging. We develop two efficient and operationally tenable approximation algorithms. We prove constant factor worst‐case guarantees for both algorithms, and present computational experiments showing that these algorithms perform within a few percent of optimality on operationally relevant instances. © 2014 Wiley Periodicals, Inc. Naval Research Logistics 61: 472–488, 2014     

Scheduling twin robots on a line

This article introduces the twin robots scheduling problem (TRSP), in which two robots positioned at the opposite ends of a rail are required to deliver items to positions along the rail, and the objective is to minimize the makespan. A proof of ‐hardness of the TRSP is presented, along with exact and heuristic algorithms. Computational results on challenging instances are provided.Copyright © 2014 Wiley Periodicals, Inc. Naval Research Logistics 61: 119–130, 2014     

陆军作战仿真模型组件化设计

陆军作战仿真是一个复杂的系统工程,仿真所涉及的模型种类繁多、类别不一。针对当前陆军作战仿真模型开发不规范、通用性与可重用性差、开发和集成效率低的现状,在对陆军作战仿真模型构成要素进行分析和归纳的基础上,提出仿真模型组件化设计的建模方法、采用"方案-单元-实体-组件"方式的模型管理机制以及采用事件驱动、事件订购和分发方式的模型交互机制。     

基于近似策略的联合优化方法

针对优化中收敛速度和优化解全局性的问题,提出了一种联合优化方法:构造原问题的近似模型,使用全局优化方法对近似函数进行优化,得到优化点作为初值,再使用局部优化方法对原问题进行优化.为了获得对原问题更好的近似,改进了径向基插值方法,以优化误差的方法来选择参数.利用临近空间机翼模型的优化对算法进行了测试,结果表明,优化参数的...     

边检机关在处置口岸突发事件中的作用

口岸突发事件,是指在出入境口岸限定区域突然发生的危害社会治安、损害人民生命财产安全和国家利益的事件。及时、有效地预防和处置口岸突发事件,对于维护国家的主权和领土完整,保证人民的生命财产不受侵害,保护出入境人员和交通工具的安全,维持口岸的正常出入境秩序,促进口岸的发展具有重要意义。出入境边防检查机关是否能够迅速、稳妥地处置口岸突发事件,将口岸突发事件的不良结果降到最低,有着责无旁贷和不可替代的作用。     

一类二次Hamilton系统在三次多项式扰动下的极限环

通过计算一类二次Hamilton系统的高阶Mel′nikov函数,对该系统在三次多项式扰动下分岔的极限环个数进行了估计。     

Reliability inference for field conditions from accelerated degradation testing

Accelerated degradation testing (ADT) is usually conducted under deterministic stresses such as constant‐stress, step‐stress, and cyclic‐stress. Based on ADT data, an ADT model is developed to predict reliability under normal (field) operating conditions. In engineering applications, the “standard” approach for reliability prediction assumes that the normal operating conditions are deterministic or simply uses the mean values of the stresses while ignoring their variability. Such an approach may lead to significant prediction errors. In this paper, we extend an ADT model obtained from constant‐stress ADT experiments to predict field reliability by considering the stress variations. A case study is provided to demonstrate the proposed statistical inference procedure. The accuracy of the procedure is verified by simulation using various distributions of field stresses. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006.     

面向C程序的测试用例自动生成实现

软件测试工具很难达到通用的目标,大多数该类工具都是具体针对某一种或几种程序语言的.对于目前我军常用的程序编写语言开发相应的软件自动测试工具是十分必要的.介绍了一个面向C程序的测试用例自动生成系统,重点阐述了其系统结构的构成以及所采用的一个新的搜索寻优算法.该算法有效地改善了前有算法的一些缺陷,显示出不错的效果.     

基于高斯白噪声加入的EMD在旋转机械故障诊断中的应用研究

为了避免经验模式分解(EMD)过程中不同时间尺度函数间的模式混叠,采用基于高斯白噪声加入的经验模式分解方法,并将之应用于旋转机械故障诊断中。该方法主要是对同一信号重复若干次加入相互独立的高斯白噪声序列,并分别筛选固有模式函数,而后把各个对应的固有模式函数进行平均计算,消除白噪声对分解结果的影响。最后,通过对固有模式函数进行包络解调,从中提取故障特征。对实际旋转机械故障振动信号的分析结果表明,该方法能有效避免固有模式函数间模式混叠,提高故障诊断效果。