超级计算机转移机制研究

延迟转移是RISC技术特点之一。根据在类Cray-I巨型机上对标量程序的模拟可知,机器运行中约15%～20%的时间花在转移处理上。本文深入分析了i860RISC机制中延迟转移技术,研究了在类Cray-I模型机上移植延迟转移技术的实现方法。模拟结果和理论分析表明,(?)向量化率不高的标量程序,每条转移指令的执行时间每减少一拍可提高系统速度4～5%左右。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

环境介质对超高强车用钢延迟开裂性能的影响

分析了环境介质对超高强车用钢的延迟开裂性能的影响,通过对DP1180、MS1180和QP1180三种材料的试验得到具体影响结果。     

基于DCSP的编队武器兼容性约束协调

编队武器兼容性约束协调,是一个典型的求解分布式约束满足问题的过程。针对这一特点,建立了编队武器兼容性约束满足问题模型,提出了一种基于异步回溯的分布式约束满足算法。该算法运用异步回溯获得一个初始可行解,然后以作战效能最优为原则增添新的方案,并进行约束一致性检查,最终得到满意的编队武器运用方案。仿真验证了算法的可行性。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

全面深化改革若干重大问题的决定(图解)

重大意义(1)改革开放是党在新的时代条件下带领全国各族人民进行的新的伟大革命,是当代中国最鲜明的特色。指导思想(2)高举中国特色社会主义伟大旗帜,以马克思列宁主义、毛泽东思想、邓小平理论、"三个代表"重要思想、科学发展观为指导。     

舰船装备限寿备件满足率评估模型

限寿备件(有寿件)作为舰船装备备件的重要组成部分,如何科学确定有寿件需求量,合理制定有寿件的配置方案,成为亟待解决的重要问题。针对目前备件满足率只有针对消耗件、贵重件以及不可修备件等备件的处理方法的问题,研究了部件故障率服从指数分布的有寿件在保障期内的更换规律,确定了有寿件在保障期内的需求数量,并给出了故障率服从指数分布有寿件满足率的处理方案,为合理制定有寿件保障方案提供了决策依据。     

基于可变增益的码跟踪环路优化设计

针对在突发直接序列扩频(DSSS)信号跟踪中,信号持续时间短,而传统延迟锁定环(DLL)存在入锁时间长的问题,提出一种可变增益码跟踪环路设计方法。介绍了DLL环路基本原理和环路结构,对环路优化进行了理论分析,最后采用可变增益设计方法,自适应的调整环路增益,达到锁定时间和跟踪精度的平衡。通过仿真分析,在相同跟踪精度上,与传统DLL环路相比,锁定时间大大缩短。     

基于负延迟技术的引信电池测试系统

研究一种定容量循环存储的方法实现对引信电池工作时电压及噪声的监控。由于存储空间有限,采用负延迟触发的方法对每片FLASH设计了4 MB的循环采样空间,能够记录触发前4 MB的数据,触发后顺序记录50MB的数据;采用两片FLASH交替工作的方式,避免了命令与数据编程在时间上的冲突。该方法合理地利用了存储空间,有效记录触发前的信息,保证了数据的可靠性和正确性。     

板级高速传输总线链路层关键技术研究与实现

随着高性能服务器和超大规模计算机的发展,系统设计者对板上高速互连总线的要求越来越高,如何使芯片间的数据传输延迟更小,提高计算通信比是需要解决的重要问题.论文研究了近年来发展迅速的超传输总线和PCI Express总线的链路层的特点,在此基础上提出了一种64位高速总线链路层体系结构,并对其关键技术进行了研究,设计实现了一...