移动探针测试技术的运用及测试结果剖析

主要讨论印刷电路板(PCB)移动探针测试中软件及检测中遇到特殊情况的处理,并对造成通短路现象的原因进行了分析,以达到保证PCB产品质量的目的。     

8098单片机在单相调压器中的应用

将8098单片机所特有的用软件来实现A/D,D/A及PWM信号输出的特性应用在模拟式移相电路中,展示了模拟式移相电路改造成具有智能化特点的一条有效途径。     

Finite elements in the analysis of pressure vessels and piping-a bibliography (1976–1996)

The paper gives a bibliographical review of the finite element methods (FEMs) applied for the analysis of pressure vessel structures/components and piping from the theoretical as well as practical points of view. The range of applications of FEMs in this area is wide and cannot be presented in a single paper; therefore the aim of this review is to give the reader an encyclopaedic view of the differnt possibilities that exist today for the finite element analysis in the fields of pressure vessels and piping. The bibliography at the end of the paper contains approximately 1900 references to papers, conference proceedings and theses/dissertations on the subject that were published in 1976–1996. These are classified in the following categories: linear and non-linear, static and dynamic, stress and deflection analysis; stability problems; thermal problems; fracture mechanics problems; contact problems; fluid-structure interaction problems; manufacturing of pipes and tubes; welded pipes and pressure vessel components; development of special finite elements for pressure vessels and pipes; finite element software; and other topics. Also finite element software, general purpose and special purpose codes, used for the analysis of pressure vessels and pipes are briefly discussed and presented.     

轻便型γ能谱测井仪几个关键技术问题的探讨

为研制性能好，功能强，微机化学程度高的轻便型γ能谱测井仪，针对非油气测井工作的井口径小（〈φ６０ｍｍ）井身浅（〈１０００ｍ）等特点，探讨了γ能谱测井仪的轻便化，测量精度，信号传输技术，稳谱技术及微机化等关键技术问题。     

A case study in SQA audits

Software quality assurance (SQA) audits are becoming a standard practice in corporations seeking to enter contractual relations with other organizations, or just evaluating their own state of readiness. This paper describes one approach to conducting SQA audits. Excerpts from reports of actual audits conducted on several organizations engaged in software development are used to show how an audit is conducted and what can be achieved through the auditing process. The paper is not meant to be a definitive answer or guide to doing SQA audits. Rather, it serves as an annotated case study of how SQA audits can be conducted with an emphasis on data gathering and reporting.Dr Paul W. Oman is an associate professor of computer science at the University of Idaho, and an independent software consultant who specializes in software analysis. He is the director of the Software Engineering Test Lab within the UI College of Engineering, where he conducts research in software development methods, CASE tools, and software maintainability issues. Oman has published over 50 articles and reports on software tools, software development, and computer science education. He has a PhD in computer science and is a member of the IEEE, IEEE Computer Society, and ACM.     

一个面向语义的解释器自动生成技术

本文给出从指称语义自动生成解释器后端的一种技术.解释器被表示成PASCAL_like形式.     

化工工艺计算机辅助设计

本文根据化工工艺设计的特点，阐述了化工工艺设计与ＣＡＤ的关系和开发研制计算机辅助化工工艺设计软件的思想，即将工艺设计、工艺图绘制与相关数据处理融为一体，并遵循这一构思，提出了软件开发研制的方法。     

Contemporary approaches to certification of measurement provision software

Contemporary approaches to the certification of measurement provision software are considered in domestic and overseas publications. Normative documentation is analyzed and a scheme is proposed for certification that takes account of the features of programs used for metrological purposes. __________ Translated from Izmeritel’naya Tekhnika, No. 5, pp. 65–68, May, 2007.     

烧结通用配料计算软件系统的开发

本文介绍了烧结通用配料计算软件系统的总体结构，软件的功能及其设计特点，该软件已在多个烧结经验中得到成功应用。