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

军事信息系统互操作性是信息化联合作战夺取战场主动权的关键,是武器装备体系综合评估研究的重点之一。通过研究美军信息系统联合互操作性测试、验证的机制与流程,提出了适用于我军的基于就绪网络关键性能参数的信息系统,介绍了美军信息系统互操作性等级(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).对均聚物及共聚物做了红外光谱表征并讨论了聚合反应机理。     

极压抗磨性能良好的润滑油添加剂

本文对含硫、钼的有机化合物的合成及性能进行了研究,并探讨了其化学结构对极压抗磨性能的影响。四球机试验表明:这类化合物有很好的抗磨性能和较高的承载能力,在润滑油中性能稳定,是较好的极压抗磨添加剂。烃基的改变对其极压抗磨性能有一定的影响。     

固定形式的变结构控制对应的趋近律

对固定形式的变结构控制对应的趋近律进行了研究,分别推导出用全部状态构成的控制、用部分状态构成的控制以及形式为u＝ueq＋ud的控制所对应的趋近律．