Investigation of slider out-of-plane and in-plane vibrations during the track-seeking process

This paper employs the coupled air bearing model and modal order reduction (MOR) model of head stack assembly (HSA) to investigate the track-seeking process of a femto slider. Simulations indicate that the flying height and the pitch angle may increase or decrease significantly, depending on the track-seeking directions. For the slider studied in this paper, it is safer for sweeping from OD to ID, than sweeping from ID to OD. The most serious vibration is the off-track vibration, and it is highly related to the sweeping acceleration profile. A smooth acceleration profile is crucial to reduce all the vibrations of slider, especially the off-track vibration.     

面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究

提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法,该方法在约束生成时只考虑控制语句的条件表达式,可有效避免生成冗余约束;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题,以及处理各种HDL描述风格的问题;采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题,实验结果表明该方法能加快模拟矢量生成速度,提高路径覆盖率．生成的模拟矢量也能用于低层次设计验证和故障模拟,加快了设计进度,将该方法的原型系统用于一个32位微处理器核RTL级验证,发现了RTL级设计描述中的错误．     

HDL描述中决策图模型的提取方法和实现

决策图模型描述了TVLSI设计信号间的数据依赖关系,在VLSI设计验证中有广泛的应用。该文扩展了已有的决策图模型,给出了从硬件描述语言描述的设计中抽取决策图模型的方法并加以实现。将该方法用于RTL级模拟矢量自动生成系统,取得了良好的效果。     

RTL级模拟矢量自动生成设计化简方法研究

提出一种Verilog程序切片算法,给出了该算法的正确性证明的理论框架;并利用提出的Verilog程序切片算法对Verilog RTL级设计进行化简,实现模拟矢量自动生成状态化简目的,实验结果表明：该算法对状态化简效果非常明显,可以有效地解决状态空间爆炸问题。     

基于MCF52223USB数据采集系统的实时性研究

详细分析了基于USB传输的数据采集系统的实时特性。针对实时工业控制环境,研究了采用32位微处理器MCF52223进行AD采集,并通过USB总线通信方式向PC机传送AD数据的多路数据采集系统的实时特性,并从软件滤波、数据传输等方面提出了提高系统实时性的有效方法,最后较为具体地给出了MCU方和PC方的编程方法。     

微处理器敏捷设计方法综述

随着登纳德缩放定律和摩尔定律几近终结,通过领域特定体系结构提升微处理器性能变得越来越重要,迫切需要提升微处理器设计生产率来应对网络、智能、安全等领域特定需求.国内外的实践表明,微处理器敏捷设计方法是一种能有效提升微处理器设计生产率的方法.通过对比软硬件设计的差异,分析出敏捷设计的本质及其应用于微处理器设计所面临的挑战.综述了微处理器敏捷设计领域近年来代表性研究实践,归纳出微处理器敏捷设计关键使能技术,探讨了该领域未来潜在的研究方向.     

Neutronic study on the effect of first wall material thickness on tritium production and material damage in a fusion reactor

In this study, the effects of changing first wall materials and their thicknesses on a reactor were investigated to determine the displacement per atom（DPA） and gas production（helium and hydrogen） in the first wall, as well as the tritium breeding ratio（TBR） in the coolant and tritium breeding zones. Therefore, the modeling of the magnetic fusion reactor was determined based on the blanket parameters of the International Thermonuclear Experimental Reactor（ITER）. Stainless steel（SS 316 LNIG）, Oxi...