一种高可靠监控模型的研究

监控模型自身的可靠性是衡量其好坏的重要指标.集中式监控模型具有简单高效的特点,但由于这种集中式管理模型只有一个唯一的管理者,因此在可靠性方面具有明显的缺陷和不足.在保留集中式监控模型优点的基础上,通过引入多互联模型、分布式机制和负载均衡策略,设计了一种具有高可靠性的监控模型,并对其进行了可靠性分析.     

舰载火控系统的建模与仿真

探讨了建模与仿真技术在新型武器系统研制中的作用地位;介绍了WISE一体化建模／仿真开发环境及仿真软件,描述了新型舰载火控系统的建模与数字仿真方法,给出了采用分布交互式仿真(DIS)技术支持新型舰载火控系统进行效能评估的技术途径     

分布式防空C3I系统的分布交互仿真研究

分布式防空C3I系统具有分布性、交互性、抗毁性和资源共享性,是C3I系统的发展方向.在分析了分布式防空C3I系统和分布交互仿真功能、特点的基础上,利用分布仿真技术构建了分布式防空C3I系统的仿真平台.具体分析了在仿真平台中的各个仿真实体应实现的功能,并对在仿真中所采用的关键技术进行了论述.     

一维非均匀分布参数系统的渐近传递函数方法

提出了一维非均匀分布参数系统的一种通用解法：渐近传递函数方法。对一般的一维非均匀分布参数系统，引入状态变量将控制方程及边界方程写成状态空间形式。通过定义小参数和摄动方法，使之变成常系数微分方程，从而得到问题的摄动解。各阶摄动解均具有规范的形式，是一以传递函数为积分核的积分形式解析解。文中最后给出了一些数值算例，验证了方法的有效性。     

分布式操作系统MTA－OS的设计研究

介绍了一个用于空－空多目标攻击数字仿真的分布式操作系统ＭＴＡ－ＯＳ的设计思想、系统结构、组成及主要功能。     

The stochastic single resource service‐provision problem

The service‐provision problem described in this paper comes from an application of distributed processing in telecommunications networks. The objective is to maximize a service provider's profit from offering computational‐based services to customers. The service provider has limited capacity and must choose which of a set of software applications he would like to offer. This can be done dynamically, taking into consideration that demand for the different services is uncertain. The problem is examined in the framework of stochastic integer programming. Approximations and complexity are examined for the case when demand is described by a discrete probability distribution. For the deterministic counterpart, a fully polynomial approximation scheme is known 2 . We show that introduction of stochasticity makes the problem strongly NP‐hard, implying that the existence of such a scheme for the stochastic problem is highly unlikely. For the general case a heuristic with a worst‐case performance ratio that increases in the number of scenarios is presented. Restricting the class of problem instances in a way that many reasonable practical problem instances satisfy allows for the derivation of a heuristic with a constant worst‐case performance ratio. Worst‐case performance analysis of approximation algorithms is classical in the field of combinatorial optimization, but in stochastic programming the authors are not aware of any previous results in this direction. © 2003 Wiley Periodicals, Inc. Naval Research Logistics, 2003     

基于分布式排队网络的防空战术协同模型

分析了多个防空火力单元的作战过程,将战术BM/C3的控制协调决策抽象为决策策略。建立了多个火力单元协同作战的排队网络模型,并运用SPN理论对排队网络的运行机制进行了强有力的描述,有效地体现了防空作战过程中的威胁评估、目标分配等战术决策过程。这将为建立大型复杂排队网络,模拟仿真战役层面防空作战过程奠定基础。     

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敏感节点均分布于存储阵列中,表明静态模式下逻辑电路不会引发软错误。     

分布式卫星系统相对运动的Hamilton力学建模及求解方法研究

介绍了地球扁率摄动下分布式卫星系统(DSS,Distributed Satellite System)相对运动的Hamilton动力学模型,给出DSS相对运动的Hamilton正则方程;针对地球扁率摄动下DSS相对运动的两点边值问题,提出了一种基于生成函数的打靶求解法,应用该方法对地球扁率摄动下DSS高精度构型调整问题进行了计算,结果表明该算法具有较高的计算效率,可有效避免维数灾难问题。     

具连续分布滞量的二阶中立型阻尼偏微分方程解的振动准则

研究一类具有阻尼项和连续分布滞量的二阶中立型偏微分方程解的振动性,通过利用Riccati变换,引入一类Φ(t,s,l)型的新函数,获得该类方程在Robin,Dirichlet边值条件下振动的充分判据.