基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

基于MADM的雷达辐射源威胁等级评定

雷达被喻为战场的千里眼,在现代战争中扮演着重要角色.随着军队信息化程度的不断提高,目标威胁程度判断也成为亟待解决的瓶颈问题.如何快速、高效和准确地判断出众多雷达的威胁程度,对于电子对抗行动乃至整个作战行动具有十分重要的意义.研究了对敌防空压制行动中,基于多属性决策(Multiple Attribute Decision Making,MADM)的雷达辐射源威胁等级评定方法,建立了数学模型,最后的实例说明了模型的实用性.     

反对称铺层碳纤维复合材料圆柱壳的双稳态应力特性

双稳态复合材料可广泛应用于各类可变结构的设计.针对反对称铺层的圆柱壳,利用有限元软件ABAQUS的Standard准静态分析,模拟其双稳态跳变过程和跳回过程,探讨在整个连续过程中圆柱壳上的应力分布情况,以及应力随时间和载荷变化的趋势,从而对该类可变结构的设计起到指导作用.结果表明:该类复合材料圆柱壳跳变过程中最大应力出...     

面向对象方法的一类飞行器模拟器设计与实现

对一类C4I飞行器模拟器的设计与实现进行了研究.该模拟器是分布式C4I仿真系统中的兵力生成子系统,起着演示指控效果、检验决策质量的重要作用.从系统需求出发,采用面向对象的方法对它进行了分析与设计,并最终实现了飞行器模拟器软件系统.该系统已成功应用于某防空C4I仿真试验床中,C4I联机试验表明,飞行器模拟器能较好地模拟指控命令响应并提供较高精度的飞行导航模拟数据.此外,面向对象方法的采用,不仅使系统功能得到了加强,也大大缩短了系统的开发周期.     

受限空间可燃气体爆炸抑爆实验系统研究

针对狭长受限空间可燃气体爆炸抑制模拟实验研究的需要,采用超细冷气溶胶抑爆技术设计了一套操作方便、组装灵活、结构合理的复合式气体爆炸抑制系统.完成气体爆炸和抑爆实验.实验表明该抑爆实验系统能满足受限空间不同工况气体爆炸抑爆实验研究的需要;同时也表明可燃气体浓度、抑爆剂性能、信号采集及控制系统响应速度等是影响抑爆效果的主要因素.文中的研究为进一步研制抑爆装置奠定了实验和理论基础.     

柴油机喷油压力波形的符号描述与结构模式分类

波峰和波谷是波形上基本的局部形态特征基于波峰、波谷之间的支配关系,本文提出了一种规则波形的结构特征抽取与符号描述方法,进而建立了一个基于该方法的柴油机喷油压力波形结构模式分类系统,并通过实例验证了该系统的有效性。     

核安全保护装置温漂性能改进的实验研究

核动力系统中,安全保护装置的温度漂移是一直存在的,它不仅影响整个控制系统的安全,而且影响该装置中各插件板的互换性。本文针对这一实际问题,在实验室用实际单元插件模拟现场温度变化的过程中,进行了参数测试。通过对电路及测试数据的分析,找出了问题所在,提出了改进措施。通过对改进前后测试数据的对比,证明改进之后性能有非常明显的提高。     

某型飞机武器控制系统原理分析

详细讲述了某型飞机武器控制系统各功能模块的组成和功能,按照不同的信号线路详细分析了武器控制系统的工作原理,总结归纳出该系统所具有的功能,为进一步研究该武器控制系统打下基础     

弹底引信许用旋卸扭矩的可靠性设计

分析了弹底引信旋卸时的应力分布特点,给出了应力分布规律已知时,引信不发生破坏的可靠度与最大许用旋卸扭矩之间的函数关系式,并将此式中的积分区间化为有限区间,使之能够用数值积分的方法求解。当应力分布规律未知时,假定所有被旋卸的引信都承受了同一最大应力,这样根据应力-强度干涉模型即可方便地求出其可靠度或最大许用扭矩。这两种计算方法也适用于其它螺纹连接件的旋卸可靠性分析。     

周期扰动下一类双中心二次系统的浑沌与次谐波

研究周期扰动下一类双中心二次Hamilton系统的动力学性质,应用Melnikov方法给出了该系统产生浑沌与次谐波的参数区域。