继电器微机检测装置的软件设计

继电器作为主要电气元件之一，广泛应用于各个领域。对继电器的检测主要包括机械参数和电气参数的检测。电气参数由于其项目多，实现微机测试比较困难，据此，开发了电磁继电器电参数的自动测试装置，本文仅介绍其软件设计。     

交流伺服系统在玻璃裂片机中的应用

随着运动控制技术的飞速发展，交流伺服系统应用的日益广泛。介绍了液晶生产中的关键设备玻璃裂片机，并详细分析松下MINAS A系列交流伺服系统在玻璃裂片机中的应用。     

浅谈应用标准进行软件测试

国家标准GB T175 44规定了软件包的质量要求及针对这些要求如何对软件包进行测试的细则。质量要求从产品描述、用户文档、程序及数据三个方面进行了规定 ,测试细则依据这些规定制定。ISO IEC912 6 (1991)版由ISO IEC 912 6 (软件产品质量 )和ISO IEC14 5 98(软件产品评测 )两个标准代替 ,ISO IEC912 6表述了软件产品质量的内部质量、外部质量和使用中的质量 ,规定了内部质量、外部质量的六个质量特性 ,并细分为 2 1个子特性 ,使用中的质量规定了四个使用质量特性 ,使用质量是指六个软件产品质量特性的综合效果。进行软件测试时 ,可以依据GB T175 44中的规定组织测试过程再结合ISO IEC912 6中的质量特性及子特性的规定确定测试需求的内容和测试的重点 ,利用ISO IEC912 6质量的规定建立质量评级的标准。     

双极关键工艺的在线统计分析

采用了双极晶体管作为双极工艺的测试结构,将在线工艺的统计分析理论应用于双极工艺,研制了双极工艺的统计分析软件。最后给出了双极工艺的某些分析结果。     

AlGaAs／GaAs HBT集成电路的CAD

介绍了一套用于ＡｌＧａＡｓ／ＧａＡｓＨＢＴ集成电路的ＣＡＤ软件，它可完成ＨＢＴ的器件模拟、模型参数提取及电路模拟。应用该软件对ＨＢＴ运算放大器进行了模拟，为电路的研制提供了依据。     

军事科研项目中软件项目管理方法研究

列举分析了目前软件开发中存在的问题，提出了在军事科研项目中，对软件项目实施管理的方法，应用先进的软件项目管理理论和方法，有效的提高软件开发效率，确保软件质量。     

A Noninvasive, on Wafer Method to Determine the Intrinsic Stress of a Polymer Layer

The method described in this paper allows an investigator to determine the intrinsic stress of a polymer layer in a way that does not result in damage to devices or test structures. The method requires that a small area of the polymer be released from the substrate to form a diaphragm. The diaphragm is stimulated with acoustic white noise and the diaphragm movement is monitored with a laser vibrometer. The first few resonance frequencies of the diaphragm are obtained using a laser vibrometer and then those frequencies are used to calculate the membrane intrinsic bi-axial tension.     

An approach to deciding the observational equivalence of Algol-like languages

We prove that the observational equivalence of third-order finitary (i.e. recursion-free) Idealized Algol (IA) is decidable using Game Semantics. By modelling the state explicitly in our games, we show that the denotation of a term M of this fragment of IA is a compactly innocent strategy-with-state, i.e. the strategy is generated by a finite view function f_M. Given any such f_M, we construct a real-time deterministic pushdown automaton (DPDA) that recognizes the complete plays of the knowing-strategy denotation of M. Since such plays characterize observational equivalence, and there is an algorithm for deciding whether any two DPDAs recognize the same language, we obtain a procedure for deciding the observational equivalence of third-order finitary IA. Restricted to second-order terms, the DPDA representation cuts down to a deterministic finite automaton; thus our approach gives a new proof of Ghica and McCusker’s regular-expression characterization for this fragment. Our algorithmic representation of program meanings, which is compositional, provides a foundation for model-checking a wide range of behavioural properties of IA and other cognate programming languages. Another result concerns second-order IA with full recursion: we show that observational equivalence for this fragment is undecidable.     

Expert systems as a tool for statistics: A review

The current state of using expert system (ES) techniques for statistics is expounded through the difficulties of defining the notion of statistical expert system (SES) and through several well-known examples. The main characteristics of statistical expertise, and particularly the important concept of strategy are emphasized. The current state of SESs is seen in the context of the global trend of the evolution of ES, i.e. within the growth of second generation expert system (SGESs). The knowledge base of these ESs represent an attempt to represent not only experts' knowledge but also the way experts acquire their expertise, thanks to the existence of an underlying model. We show through many examples how far SESs are and/or will be able to be SGESs.     

NATA: 50 years experience with accreditation

 Laboratory accreditation is becoming increasingly accepted around the world as a means of identifying technically competent laboratories. It is also being used as a mechanism for the acceptance of test data both nationally and internationally. The concept and mechanisms of accreditation have been developed over the past 50 years. The first national laboratory accreditation system appeared in Australia in 1947. This organisation, known as the National Association of Testing Authorities (NATA), has since taken a leading role in developing accreditation practices that are now used world-wide in evaluating testing, measurement and calibration laboratories. This paper examines the development of the world's first and largest laboratory accreditation system, and looks at the difficulties and triumphs in gaining acceptance and recognition by government and industry of the benefits of laboratory accreditation. Received: 24 June 1996 Accepted: 25 June 1996