泰瑞达:竞争优势何在?

经历了2001年全球半导体市场的历史性低潮,全世界热切地关注着2002年,期盼着2002年半导体行业的重振,各大半导体厂家尤其注视中国市场的发展。Semicon China 2002的空前盛况仿佛让人们看到了希望。泰瑞达,作为全球最大半导体测试设备制造商之一,对中国有何期待?本刊通讯员有幸对泰瑞达半导体测试事业部总裁Michael A.Bradley和亚太区总裁蒋福宇先生进行了采访。     

注汽锅炉调节系统

本文分析了油田注汽锅炉调节系统存在的问题，设计了新的调节系统，在生产中达到了预期的使用效果。     

飞控计算机的三余度架构及可靠性研究

余度架构设计是解决飞控计算机可靠性问题的有效途径。基于高可靠性飞控计算机系统对可靠性和容错性的特殊要求,提出一种新型三余度飞控计算机的余度架构方案,简要描述飞控计算机冗余设计方法,给出软硬件的总体框架设计,最后利用马尔可夫方法对该方案进行可靠性分析,通过观察故障覆盖率和失效率对飞控计算机整体可靠性的影响,验证了此余度架构方案的可行性。     

基于非支配排序差异演化的应急资源多目标分配算法

应急资源分配（Emergency resource allocation,ERA）是灾害应急管理中的核心环节,主要研究如何高效合理地把各储备点的应急救援物资分配给各发放点.然而,在大规模突发灾害发生后,每个发放点极可能会同时向多个储备点请求多种救援物资,从而带来潜在的应急资源冲突.为此,本文首先构建了考虑应急资源冲突消解的多储备点、多发放点、多种救援物资的应急资源多目标优化模型,并提出了一种基于非支配排序差异演化和编码修正机制的应急资源多目标分配算法.对比实验结果表明,该算法在大规模样本下能够从全局角度同时给出多个发放点的应急资源分配方案,有效实现多个储备点同时为多个发放点协同配备应急资源,而且不会产生任何应急资源冲突,为解决应急资源受限情况下的大规模应急资源分配问题提供了一个有益的尝试.     

二进制翻译中动静结合的寄存器分配优化方法

针对二进制翻译器QEMU(quick emulator)在寄存器映射时未考虑基本块之间以及循环体之间对寄存器需求的差异,造成不必要的寄存器溢出而导致的冗余访存开销问题,引入全局寄存器静态映射和局部寄存器动态分配思想,提出高效的基于优先级的动静结合寄存器映射优化算法.该算法首先基于源平台不同寄存器使用的统计特征和各变量的生命周期,静态进行全局寄存器映射;然后依据中间表示与源平台寄存器之间的映射关系,获取基本块中间指令需求寄存器次数并排序确定寄存器分配的优先级;之后依据优先级顺序动态进行寄存器分配,从而减少寄存器溢出次数,降低生成的本地代码的膨胀率以及访存次数,提高目标程序性能.对NBENCH、典型的递归程序和SPEC2006的测试表明:该算法有效地减少了本地代码的访存次数,提高了程序性能,平均比优化前性能分别提升了8.67%, 825%, 8.10%.     

一种高效解决间接转移的反馈式静态二进制翻译方法

为了在追求程序执行效率的同时解决静态二进制翻译中的间接转移问题,针对现有间接转移问题处理方法中线性遍历翻译方式代码优化较少、冗余代码较多的缺陷,提出了基于基本块翻译的反馈式静态二进制翻译方法,并结合二级地址映射表实现了间接转移目标地址的快速映射.首先,在目标可执行程序运行过程中添加监控反馈机制解决代码发现问题,对未确定的间接转移地址进行反馈,以便对源程序重新划分基本块并重新翻译执行;然后构造二级地址映射表,借助二级地址映射快速解决代码定位问题.在开源二进制翻译平台QEMU(quick emulator)上实现了反馈式静态二进制翻译框架FD-SQEMU(feedback static QEMU),并基于SPEC2006和NBENCH测试集进行测试,与QEMU相比,FD-SQEMU平均加速比分别达到3.97倍和6.94倍;与课题组之前提出的保存源程序指令全地址的静态SQEMU翻译器相比,FD-SQEMU的平均加速比达到1.18倍,最高加速比达到了1.36倍,验证了提出的框架和方法的有效性.     

95Al2O3陶瓷件的活性钎焊

对活性封接在真空器件制造中的应用进行了分析探讨,针对自制Ag-26.5Cu-4.5Ti(质量分数,%)钎料测试了钎料熔化温度范围以及对95Al2O3陶瓷的润湿铺展特性,制备了95Al2O3 /Ag-26.5Cu-4.5Ti搭接接头,并分析了接头组织形貌。针对真空器件封接需求,重点对95 Al2O3陶瓷进行了活性钎焊封接试验,测试钎焊强度及漏气率。     

中温反应过程中石灰石颗粒化学反应的数值研究

在晶粒模型的基础上建立了用于描述中温烟气(450∽1050℃)石灰石脱硫过程的数学模型。通过该模型的程序计算可以更好地了解中温区域内石灰石脱硫反应的进程和反应机理,准确地模拟石灰石的热解过程,以及温度和粒径对热解率的影响程度,从而为中温烟气脱硫技术在我国环保应用提供了理论基础。     

反汇编过程中call指令后混淆数据的识别

恶意程序往往使用各种混淆手段来阻碍静态反汇编,call指令后插入数据便是常用的一种,对该方式的混淆进行研究,提出一种有效的识别call指令后混淆数据的方法。该方法基于改进的递归分析反汇编算法,分两阶段对混淆进行处理。经测试验证,该方法可有效地对此种混淆做出判断,提高反汇编的准确性。