污线法测量厚度的分析与比较

对用电子显微镜测量薄膜厚度的三种方法：双束衍射法、污斑法、污线法进行了实验及比较分析。结果表明：污法操作简单、使用方便、定位准确、测量误差小，是一种较为理想的测厚方法。     

浅析模具高速加工技术

介绍了高速加工的定义及其与传统加工方式相比的技术优势,详细阐明了由于模具加工的特殊性以及高速加工技术的自身特点,对模具高速加工系统（加工机床系统、刀具系统、CAD/CAM技术等）及加工工艺策略提出的更高要求.     

实行专业安全监理就是好

多年来，活跃在建设工程战线上的监理队伍，在工程的管理中做了大量的工作，使建筑产品得到了保证。近几年来，随着监理事业的不断扩大和发展，安全监理被作为监理工作的一项重要内容，也正式纳入建筑监理工作中。     

单缸柴油机油量校正器的工作原理及使用问题分析

介绍了195型柴油机油量校正器的工作原理、主要结构参数，并对使用中存在的问题进行了分析。     

双臂式装煤机机械传动方案设计专家系统的研究

对双臂式装煤机机械传动系统方案设计进行了计算机模拟，研究了机械传动设计知识库、推理、决策理论和计算机图形等现代ＣＡＤ技术，建造了专家系统，并将该技术应用于双臂式装煤机设计之中。     

ProMiner:系统性质驱动的双向一致性检验框架

在模型驱动软件开发过程中,基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量.然而,随着当今软件系统规模的不断扩大,相应的软件开发过程也变得越来越灵活,代码有时会先于模型被修改,以更忠实地体现系统功能和实现机制.传统的基于模型的测试方法只能检测代码之于模型的一致性而不能反作用于模型层面,模型的修改者只能人为地评估修改的正确性,大大降低了效率并增加了系统的潜在隐患.为此,对传统基于模型的测试方法的一致性检验进行了扩展,实现了一致性检验框架ProMiner,通过抽取表达模型与代码的不一致的系统性质来自动定位模型中与实际运行系统不匹配的部分,并将其表示为可直接用于模型检测的线性时序逻辑(LTL)表达式,以支持软件模型和代码间双向的一致性检验.实验结果表明,ProMiner可有效查找软件模型和代码间的不一致并生成可直接检测模型的系统性质,从而实现了自动化的模型与代码间的双向一致性检测,不仅提高了一致性检测的有效性,而且大大减少了人力开销.     

基于混合测试和动态分析的分段代码测试

传统混合执行测试方法无法对源代码不可见函数进行符号执行。针对该问题,将符号执行、分段式符号执行以及具体执行按需结合,提出一种分段式混合执行测试方法,将源代码不可见函数以分段式分析法截取为单独代码片段,结合动态执行和回归分析方法推导其相应的程序语义。为验证该方法的有效性,实现sCREST原型系统,并对5个应用广泛的开源系统进行测试。实验结果表明,该方法能够产生比传统方法覆盖更多分支数的测试数据。     

斜切基片上同质,异质外延薄膜的TEM研究

钙钛矿结构薄膜如铁电和高温超导薄膜有极大的应用前景和探索新型多元素氧化物薄膜的前途,因此它的外延生长机制引起人们的极大关注。不少人认为螺旋位错岛状生长是YBa2Cu3O7-δ(YBCO)薄膜的本征生长模式[1],因此薄膜表面的平整度极差,使器件应用尚不能达到实现。近些年来,人们对于SrTiO3(STO)基片表面的重构处理作了大量的研究[1,2],得到平台形貌有利于改变钙钛矿结构薄膜的生长机制为台阶流动生长机制,可以得到表面平整的单晶薄膜。本文就是使用斜切1°和10°的STO(001)基片在激光镀膜仪中分别生长STO、YBCO薄膜,将所得薄膜用平…     

降低中小型高速柴油机噪声的措施

本文通过对中小型高速柴油机噪声的研究,分析了柴油机噪声产生的机理,综合了多台柴油机降低噪声的经验,提出了降低中小型高速柴油机噪声的途径和措施。     

柴油机气缸套穴蚀产生的原因和影响因素及防止措施

本文分析了柴油机气缸套穴蚀产生的原因,阐述了柴油机气缸套穴蚀产生的影响因素及防止穴蚀的具体措施。