美军信息系统互操作性测试、验证与评估研究

军事信息系统互操作性是信息化联合作战夺取战场主动权的关键,是武器装备体系综合评估研究的重点之一。通过研究美军信息系统联合互操作性测试、验证的机制与流程,提出了适用于我军的基于就绪网络关键性能参数的信息系统,介绍了美军信息系统互操作性等级(LISI)评估方法与模型,为提高我军信息系统互操作水平提供有意义的参考。     

基于分布式网络化指控体系的协同跟踪设计

针对当前干扰防空环境下的作战特点,通过对网络化作战需求的分析,建立了一种分布式的网络化指挥控制体系架构,并结合协同跟踪的具体作战运用,设计了基于此分布式体系的协同跟踪作战流程,并建立了效能验证模型。对比一般的集中式指挥控制体系,基于分布式的体系具有生存性强、作战使用效能高的特点。     

Capacity investment decisions under risk aversion

This article studies the optimal capacity investment problem for a risk‐averse decision maker. The capacity can be either purchased or salvaged, whereas both involve a fixed cost and a proportional cost/revenue. We incorporate risk preference and use a consumption model to capture the decision maker's risk sensitivity in a multiperiod capacity investment model. We show that, in each period, capacity and consumption decisions can be separately determined. In addition, we characterize the structure of the optimal capacity strategy. When the parameters are stationary, we present certain conditions under which the optimal capacity strategy could be easily characterized by a static two‐sided (s, S) policy, whereby, the capacity is determined only at the beginning of period one, and held constant during the entire planning horizon. It is purchased up to B when the initial capacity is below b, salvaged down to Σ when it is above σ, and remains constant otherwise. Numerical tests are presented to investigate the impact of demand volatility on the optimal capacity strategy. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 218–235, 2016     

65纳米工艺双层三维静态存储器的软错误分析与评估

首先搭建了3D SRAM软错误分析平台,可以快速、自动分析多层die堆叠结构3D SRAM的软错误特性。此平台集成了多种层次模拟软件Geant4、TCAD、Nanosim,数据记录处理软件ROOT,版图处理软件Calibre,以及用于任务链接和结果分析的Perl和shell脚本。利用该平台,对以字线划分设计的3D SRAM和同等规模的2D SRAM分别进行软错误分析,并对分析结果进行了对比。对比分析表明2D 和3D SRAM的翻转截面几乎相同,但3D SRAM单个字中发生的软错误要比2D SRAM更严重,导致难以使用ECC技术对其进行加固。静态模式下2D SRAM和3D SRAM敏感节点均分布于存储阵列中,表明静态模式下逻辑电路不会引发软错误。     

用SEA法分析预警机指控系统的时效性

分析时效性是对预警机指控系统进行评价的主要内容,利用SEA方法建立了一个时效性分析模型,在典型空情想定下定义了一个时间轴,并在时间轴上定义了一个机会窗口,通过分析系统时延和机会窗口的关系确定了分析模型,最后通过算例验证了模型的正确性和实用性。     

高炮旅(团)作战面向对象Petri网模型

概要分析了高炮旅(团)指挥控制与信息处理分发过程,对基本Petri进行扩展构建了面向对象Petri网模型,采用其分层次构建了高炮旅(团)作战OPN模型,较好地实现了对传统指控体制下高炮群作战与信息分发过程的静态与动态描述,为下一步具体仿真实现,找出现有传统指控体制存在的薄弱环节,进行相应改进提供了基础和依据。     

一类包含m—增生算子紧扰动的算子方程的可解性

设X为一致凸的Banach空间,T:X(?)D(T)→X为m—增生的且强增生的算子,T_0:X→X为线性紧算子。C:X→X为全连续算子,应用Leray-Schauder度理论,研究了算子方程Tx-T_0x Cx=f,f∈X的可解性。     

关于(S)_+型映射的一个区域不变定理及其应用

本文运用拓扑度方法,获得一个关于(S)_+型映射的区域不变定理。作为它的应用,本文得到了扩张映射的满值性,从而部分地回答了著名数学家L.Nirenberg提出的一个关于扩张映射满值性的公开问题。     

舰船航行监控变量的微机产生方法研究

通过建立舰船航行监控变量的数学模型,提出了一种基于微机的产生舰船航行监控变量的实现方法,经过实际运用表明,能有效地监视和实时控制舰船航行．     

1,4 -二乙炔苯与1,4-丁炔二醇的共聚及表征研究

本文以(Ph_3P)_2 PdCl_2为催化剂,用各种比例的对二乙炔苯(DEB)与1,4-丁炔二醇(BD)合成出共聚物及两种单体的均聚物。共聚物为褐黑色,不溶不熔。单体配比中DEB比例越高,共聚物交联度和比重越大,产率越高,溶胀度越小。单体摩尔比DEB/BD≥1/2时,共聚物最良溶剂为苯,溶度参数(δP)为9.15卡~(0.5)·cm~(-1.5),而DEB/BD=1/5时,共聚物最良溶剂为无水乙醇,8p=12.7卡~(0.5)·cm~(-1.5).对均聚物及共聚物做了红外光谱表征并讨论了聚合反应机理。