基于定周期策略的多品种维修器材联合订购模型

针对维修器材需求的随机性特点,在考虑维修器材保障度约束的条件下,基于定周期策略建立多品种维修器材的联合订购模型并给出了优化算法.该算法采用蒙特卡罗随机模拟技术求解随机变量的期望值,结合遗传算法求出使库存费用最小的基本订购周期、各种器材的订购周期和最大库存量,并能满足预定的保障度要求.与传统单品种补充策略比较发现,联合补充策略对经费节省作用显著.     

高速数字电路信号完整性设计

随着电子产品日愈复杂,电路板工作频率不断提升,从而导致信号完整性问题。从工程应用角度阐述了高速电路的概念,列举了典型的信号完整性问题,如反射、串扰、电源和地噪声、定时等,提出信号完整性设计中所应遵循的设计方法,如控制走线长度、特征阻抗控制与计算,仿真技术等,并讲解了真实的设计案例,具有工程应用实际参考价值。     

基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。     

开口金属腔体对强电磁脉冲的耦合效应

为了评价腔体开口因素对核电磁脉冲(High-amplitude Electro Magnetic Pulse,HEMP)和高功率微波(High Power Microwave,HPM)破坏效能的影响,采用CST电磁计算软件建立强电磁脉冲的孔缝耦合模型,研究孔缝的位置、大小以及长宽比对HEMP和HPM耦合效应的影响。结果表明,孔缝的位置、大小及长宽比对HEMP的耦合效应影响较大,合理控制孔缝的位置、大小以及长宽比能在一定程度上削弱HEMP的破坏效能。对于HPM,相同条件下其耦合效应要明显强于HEMP。在孔缝达到一定尺寸后,其大小和长宽比对HPM的耦合效应影响较小,仅孔缝位置会带来较大的影响。当开口平面与HPM入射方向平行时,耦合效应最弱,但此时耦合进入腔体内的能量还是很容易达到多种电子元器件的电磁损伤阈值级别。     

基于仿真的潜艇装备作战能力ANP幂指数评估方法

针对潜艇装备作战能力幂指数评估模型中评估指标之间存在相互依赖或影响关系,以及评估过程主观性较强的情况,建立了基于仿真的潜艇装备作战能力ANP幂指数评估流程;以潜艇反舰作战能力评估为例,给出了网络化评估指标体系设计与优化方法;基于专家和仿真数据的ANP超矩阵构建方法以及基于指标权重的幂指数评估模型构建方法,建立了基于仿真...     

天基导弹预警紫外波段尾焰信号与大气背景分析

利用氧化铝粒子模型计算了导弹尾焰在200～400 nm波段光谱辐亮度,通过Modtran软件计算了大气垂直方向紫外信号的透射率及不同条件下的大气紫外波段背景亮度,通过对不同高度上导弹尾焰紫外信号与大气背景亮度比较,得到当导弹目标高度超过40 km后,240～300 nm波段的比值较高,理论上可用来在日光照射模式下,进行目标探测与识别.     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

求解非对称线性方程组的 s-BiCR算法

在BiCR算法的基础上,提出了求解非对称线性方程组的s-BiCR算法。首先,给出了s-BiCR的基本计算框架,介绍了算法基本原理及参数求解方法;其次,通过分析s-BiCR中剩余向量与方向向量序列的基本性质,推导出减少参数求解计算量的方法,并在此基础上提出了一种更为高效的s-BiCR算法;最后,证明了s-BiCR的正确性,即在第i步产生的近似解与BiCR第is步产生的近似解是一致的,同时,通过性能分析发现,s-BiCR的同步通信次数与访存次数明显少于BiCR,说明该算法具有很好的并行特性和数据本地性。大量实验验证了s-BiCR的高效性和正确性。     

基于改进的区域能量特征多分辨率图像融合算法

基于区域能量特征的融合规则在多分辨率图像融合算法中应用很广,但区域窗口较小时,融合效果往往不是最好的,而窗口较大则容易使图像轮廓与非轮廓区域之间模糊,造成融合图像清晰度降低。针对上述问题提出了改进的基于区域加权能量的融合规则,包括矩形区域和近似圆形区域两种,权值与像素距区域中心的距离成反比。仿真表明,两种方法克服了传统的区域能量特征作为融合规则的不足,改善了图像融合的质量。