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

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

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

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

HLA 海上编队对抗仿真系统构建

建立了具有通用性的基于HLA的作战仿真试验平台,在此基础之上,构建了基于HLA的海上编队对抗仿真模型.介绍了该仿真系统对象类和交互类的设计开发,并给出了仿真系统的工作流程.该对抗系统可设定为自动运行,也可人员参与指挥.通过对真实装备的模拟和现实作战环境的仿真,系统可以对每次演练进行评估和回演标定,并给出参战武器在作战性能方面的鉴定结果.该仿真系统可作为理论性辅助设备用于人员训练、作战与指挥研究和装备的性能测试评估.     

混合信号边界扫描测试控制系统的设计实现

现代装备火控系统中混合信号电路越来越普及,为了实现对其快速故障诊断,以IEEE 1149.4标准为依据,设计实现了一个基于边界扫描技术的数模混合信号测试控制系统。仿真实验表明,该测试控制系统操作简便,测试准确,测试效果好,为装备电子系统机内测试应用奠定了基础。     

HLA中仿真模型的验证

仿真模型的验证是根据模型预期的使用目的,判定模型和现实世界客观事物的符合程度,对于不同的问题可能有不同的方法。RTI使用UDP多点传送实现快速传输,因此在传输数据时容易产生信息包丢失的现象。本文对一个传统仿真模型进行了改造,使其与HLA兼容,并据此对模型验证进行了案例研究。     

微小型固体火箭发动机点火特性试验

设计了一种适用于某微小型固体火箭发动机的点火器 ,对某微小型固体火箭发动机的点火特性进行了大量试验研究 ,引入了初始点火压强的概念 ,找出了影响点火延迟时间散布的主要规律 ,确定了能满足微小型固体火箭发动机点火性能的点火方案     

基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

“三个代表”重要思想是马克思主义政党学说的新发展

“三个代表”重要思想是马克思主义论述的提炼和概括。以江泽民同志为核心的第三代领导集体不断研究新情况,不断总结我党的宝贵经验,提出了新时期党的建设的总目标,制定了一系列加强党的建设的重大举措,开辟了继毛泽东思想、邓小平理论之后马克思主义基本原理与中国实际相结合的又一新境界。     

焊接工艺对熔敷金属韧性的影响

探讨了改变焊接工艺对焊条熔敷金属冲击韧性的影响．研究表明：改变焊接工艺,将通过改变熔敷金属的化学成分,影响熔敷金属的强度和韧性;降低焊接线能量时,将降低熔敷金属中的氧含量及其氧化夹杂物的数量和大小,从而提高熔敷金属的韧性     

一类拟线性周期抛物边值问题

研究了一类带有小扩散系数的拟线性周期抛物混合边值问题。给出当扩散系数趋于零时其非平凡解的渐近性。