红外线气体分析记录仪模拟校准及检定方法

叙述了模拟校准红外线气体分析记录仪标尺刻度的工作原理，介绍了模拟校准该仪器标尺刻度的方法及其改进的检定方法，提出了该仪器的测量准确度，减少其示值误差和测量不确定度。     

ITS9000系列超大规模集成电路测试系统检定方法

以ITS9000MX超大规模集成电路测试系统为背景，系统地研究了ITS9000系列测试系统的检定方法，重点描述了它的基本思想，原理和关键技术。     

热电偶检定系统电测仪器选择的误区

针对目前热电偶检定行业存在的电测仪器的选择问题，对高精度数字电压表的误差进行了概要分析，从而为广大计量检定人员选择符合规程要求的电测仪器提供了参考。     

Validating functional equivalence of re-engineered programs via control path,result, and data flow comparison

A combination of three approaches is proposed here to validate the functional equivalence of re-engineered programs. These are: control path comparison; data result comparison; and data flow comparison. Two of the three approaches are based on the theory of program slicing. The third approach is based on the theory of data invariance, i.e. the same input must produce the same output. Together, these techniques can provide a cost effective regression test environment for large scale re-engineering projects.     

Inspecting module interface specifications

Despite dramatic changes in computing in the two decades since the term software engineering was coined, problems of deficient quality and unmanageable costs continue to afflict the software industry. Improvements in the software engineering process are vital to bringing software quality and costs under control. Module interface specification is a mature software engineering technology that, like many other proposed methodological improvements, has not significantly penetrated industrial practice. The inspection technique is well accepted for dealing with program code and pseudo-code, but its potential for application to other work products is largely unrealized. This paper describes a successful pilot project in jointly transferring these two technologies to the software workplace. A central theme of the project was purposeful customization of the technology to a particular industrial setting. Such adaptation is important for success in the notoriously difficult process of diffusing software engineering methodology in industry.     

用数字电压表检定标准电池的测量不确定度评定

介绍了用数字电压表检定高等级标准电池的操作方法，并对其测量不确定度进行了分析与评定。     

用两端安装法检定热电偶

利用一种设计好的专用检具 ,使两束被检热电偶分别从检定炉的两端安装均可保证符合检定规程的要求 ,从而在不添置新设备的情况下 ,使检定热电偶效率大大提高。     

智能便携式三表数据处理器

介绍一种智能型的便携式三表数据处理器，解决了三表检定数据处理繁琐的问题。