具有随机扰动的SISV模型的解的渐近性态

研究一类具有两种随机扰动的SISV传染病模型．对于第一种随机SISV模型,证明对任给的非负初值,该随机模型一定存在唯一的全局正解,并讨论该随机模型的解围绕确定性模型的无病平衡点的渐近行为;对于第二种随机SISV模型,通过构造适当的Lyapunov泛函证明该随机模型的解是随机渐近稳定的．     

基于最优刚性编队分布式生成算法

为了描述一类特殊的刚性图,给出最优刚性图的概念。在保持队形时,最优刚性图可以减少拓扑图的复杂性。为了最大可能地减少队形通信的复杂性,研究了最优刚性编队的生成理论。首先,提出了4个命题,用以论证基于分布式的最优刚性生成方算法的可行性;其次,基于这些命题,提出了一种多智能体系统的编队算法;最后,通过仿真来验证所提算法的有效性。     

双差分相移键控在短波通信系统中的应用

文章针对短波通信系统中的载波频率偏移严重影响调制方式的误码性能这一问题,提出将双差分相移键控应用于短波通信系统中,该调制方式可以降低载波频率偏移对信号解调判决的影响。理论分析与计算机仿真表明:在具有载波频率偏移的短波通信系统中,该方式与传统的差分相移键控相比不需要载波频率校正,降低了设备复杂度,缩短了通信建立时间,能更有效地降低系统误码率,改善系统性能。     

基于物联网的武器装备管理系统

提出一种基于物联网技术的武器装备管理系统的建设方案。将各种信息传感设备如射频识别(RFID)、视频监控、温湿度传感器等种种装置与单位内部局域网结合起来形成一个综合性的装备信息管理网络,系统软件采用Oracle作为数据库管理工具,结构上采用浏览器/服务器(Browser/Server)模式,系统对提高武器装备管理的效率和水平具有重要的意义。     

面向争议领域的军事威慑信号博弈分析

围绕争议领域蕴藏的丰厚价值,有关国家不断展开军事博弈.基于此,分析了威慑方为捍卫主权完整可能采用的威慑方式和被威慑方为应对威慑恐吓而采取的对策,构建了基于争议领域的军事威慑信号博弈模型(Military Deterrence Signaling Game Model,MDSGM).将信号博弈理论和完美贝叶斯均衡思想引入MDSGM,探讨了均衡存在的类型和条件.算例表明,采用虚实结合、真假参杂的威慑信号传递方式,能达到“不战而屈人之兵”的目的,验证了模型的可行性和有效性,得出的结果能为决策者提供辅助参考.     

钢丝绳弹性联轴器特性建模

提出一个钢丝绳弹性联轴器特性的数学模型,该数学模型能很好地描述钢丝绳弹性联轴器的迟滞非线性特性.分析表明,钢丝绳弹性联轴器具有软刚度和阻尼大的特性,有利于抑制船舶轴系的振动.     

基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

协同空战制导优势模型研究

为解决多机协同空战中对导弹制导权移交时的制导机选择问题,建立了一种新的制导优势模型。分析了空空条件下制导优势的影响因素,主要包括机载脉冲多普勒雷达对目标的探测能力、雷达制导链路能力和导弹回传链路能力;根据不同态势下目标的雷达截面积和地杂波,采用探测概率建立了雷达探测优势模型;根据制导链路和回传链路接收的功率,建立了不同态势下的制导链路优势模型和回传链路优势模型;将前述三者优势聚合为制导优势模型。仿真实验证明了模型的合理性与有效性。     

A multi‐stage stochastic programming approach for network capacity expansion with multiple sources of capacity

In networks, there are often more than one sources of capacity. The capacities can be permanently or temporarily owned by the decision maker. Depending on the nature of sources, we identify the permanent capacity, spot market capacity, and contract capacity. We use a scenario tree to model the uncertainty, and build a multi‐stage stochastic integer program that can incorporate multiple sources and multiple types of capacities in a general network. We propose two solution methodologies for the problem. Firstly, we design an asymptotically convergent approximation algorithm. Secondly, we design a cutting plane algorithm based on Benders decomposition to find tight bounds for the problem. The numerical experiments show superb performance of the proposed algorithms compared with commercial software. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 600–614, 2017     

一类具有时滞和阶段结构的SI传染病模型的稳定性分析

研究一类具有时滞和阶段结构的SI传染病模型。讨论了系统平衡点的存在性和局部稳定性，并讨论了无病平衡点和地方病平衡点的全局稳定性。最后对所得理论结果进行了数值模拟。