分布式标图系统关键技术研究

针对分布式标图系统的面临的主要问题,提出运用发布/订阅和消息中间件的技术,实现分布式标图系统的松散耦合,有效地降低了系统中的数据流量.介绍了基于消息中间件和发布/订阅机制实现的分布式标图系统的主要数据结构和功能模块的实现方法,指出这些技术对通用综合态势图的生成也具有重要意义.     

一种嵌入式系统中软硬件故障的划分方法

软硬件故障是嵌入式系统可靠性的关键问题之一,如何划分软硬件故障对于整个系统的可靠性研究来说是至关重要的,也是最基本的一步.给出了软硬件故障的基本定义,并与单纯的软件故障和单纯的硬件故障进行了对比,总结了软硬件故障的基本特点.在此基础上,归纳了几条软硬件故障的划分原则,提出了一种软硬件故障的划分流程,并通过形式化方法对某装备的具体软硬件故障进行了划分,为进一步的研究提供了有力的依据.     

质谱技术在火灾物证鉴定中的应用

随着火灾原因的多样化、复杂化,应用准确、高效的现代化仪器分析的方法鉴定火灾原因日益重要。简述了质谱相关技术,如气相色谱／质谱技术（GC／MS）,串联质谱技术（MS／MS）等在火灾物证鉴定中的应用。     

运动潜体湍流尾迹的SAR遥感仿真研究

采用点源法获得密度层化海洋中运动潜体产生的速度场,使用计入海洋内部湍流对海表面毛细重力波作用的SAR遥感全谱模式,利用考虑内波混合的湍流k-ε模式,并且使用Nasmyth海洋普适谱,建立了运动潜体湍流尾迹的SAR遥感仿真模型.利用该仿真模型对Rankine卵形体的湍流尾迹进行了仿真分析,获得令人满意的结果.     

含有p-Laplacian算子的非齐次边值问题正解的存在性

研究非齐次边界条件下,含有p-Laplacian算子的微分方程的可解性,在Banach空间中应用Krasnoselskii不动点定理,得到了边值问题正解存在性结果。     

Global Diagnosable Sequence的故障诊断能力分析

利用归纳法对Global Diagnosable Sequence的故障诊断能力进行了分析。分析结果表明：目前该算法＂关于征兆混淆问题＂的结论是不够准确的,除了满足一个基本互连诊断算法的抗混淆能力以外,还对W-A/W-O以及W-O/S-D-k无征兆混淆。并由证明过程得到以下结论：无W-O征兆误判的诊断算法必然不存在W-O/S-D-k征兆混淆。     

模糊灰色关联模型在遮弹层防护性能评价中的应用

为对遮弹层防护性能进行综合评价,建立了遮弹层防护性能评价指标体系,采用多对象模糊综合评价和加权多层次灰色关联评价相结合的方法.得到了遮弹层防护性能的二级模糊灰色关联评价模型,并对五种遮弹层的防护性能进行了评估.结果表明,综合考虑直接成本、施工条件、伪装性能等因素,刚玉块石混凝土遮弹层防护性能最佳.该模型为遮弹层防护能力综合评估提供了理论依据.     

A partial characterization of the optimal ordering/rationing policy for a periodic review system with two demand classes and backordering

We consider a finite horizon periodic review, single product inventory system with a fixed setup cost and two stochastic demand classes that differ in their backordering costs. In each period, one must decide whether and how much to order, and how much demand of the lower class should be satisfied. We show that the optimal ordering policy can be characterized as a state dependent (s,S) policy, and the rationing structure is partially obtained based on the subconvexity of the cost function. We then propose a simple heuristic rationing policy, which is easy to implement and close to optimal for intensive numerical examples. We further study the case when the first demand class is deterministic and must be satisfied immediately. We show the optimality of the state dependent (s,S) ordering policy, and obtain additional rationing structural properties. Based on these properties, the optimal ordering and rationing policy for any state can be generated by finding the optimal policy of only a finite set of states, and for each state in this set, the optimal policy is obtained simply by choosing a policy from at most two alternatives. An efficient algorithm is then proposed. © 2010 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

具有时滞的二阶多点边值问题3个正解的存在性

研究具有时滞的二阶多点边值问题,应用Avery和Peterson推广的Leggett-Williams不动点定理,给出了该边值问题至少存在3个正解的充分条件。     

激波诱导异质气体界面失稳的数值模拟

基于二维N-S方程,利用有限差分数值离散方法,对激波诱导异质气体界面失稳的现象进行了数值模拟,与文献中实验结果和计算结果进行了定性比较,并进一步分析了整个流动的非定常动态变化特性和非线性特征.研究表明,本文数值模拟的非定常流场图谱与文献中的实验结果和数值结果吻合较好;数值结果捕捉到了六氟化硫界面的演变过程及流场中复杂的波系结构.