计算机自动绘制光学零件图的软件系统的研制

介绍了计算机光学零件图自动绘制软件系统的功能，给出了用该软件完成的光学零件图图样，对程序设计过程中的难点及处理方法也进行了详细阐述。     

The role of the American Board of Professional Psychology in professional mobility.

This article describes the role of certification by the American Board of Professional Psychology (ABPP) in easing the process by which psychologists move beyond their original jurisdictional boundaries to practice psychology. Meeting the requirements for licensure or certification in the various jurisdictions can be a difficult task because these requirements vary considerably from jurisdiction to jurisdiction. Other mechanisms that are available to facilitate this process include the Certificate of Professional Qualification in Psychology issued by the Association of State and Provincial Psychology Boards and certification by the National Register of Health Service Providers in Psychology. The ABPP certificate/diploma has been regarded by many state psychological associations and state boards of psychology as an appropriate way in which to recognize psychologists who are eligible for licensure/certification in a jurisdiction because of the examination requirements for board certification. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

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.     

高速并行调制解调器中差错控制方法

本文简单介绍了适合高速并行调制解调器中差错控制的Reed-Solomon编码，提出了适合DSP软件实现的一整套的RS码的编码、译码实用方法，并对该编、译码法采用数字信号处理器TMS320C5410b进行仿真，对其性能与传统方法进行了对比。     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

Mixture-proportioning of high-performance concrete

The paper presents a new approach to design concrete mixtures. It is based upon a set of models relating composition and engineering properties of concrete, to be implemented into software, linked with a material database. The principles underlying the various models are summarized, most of which focus on the granular structure of fresh/hardened concrete. A global approach to concrete is promoted, where performance specifications can be formulated in terms of fresh concrete (yield stress, plastic viscosity, slump and air content), hardening concrete (adiabatic temperature rise and autogenous shrinkage) and hardened concrete (compressive strength at any age, tensile strength, elastic modulus, creep and shrinkage). This approach is illustrated through the design of a special high-shrinkage high-performance concrete (HPC) for road application. To date, durability is lacking in the model and requires further research.     

CASE与MIS的开发

本文介绍ＣＡＳＥ技术的基本思想与构成，ＣＡＳＥ工具在ＭＩＳ开发中的作用，概要介绍国内流行的ＣＡＳＥ产品并对其作出评述。     

一种数字语音通信系统的DSP实现

介绍了一种甚低频低码率数字通信系统的实现方案，该方案中的软件采用混合编程的方法，硬件则用DSP实现，文章给出了整个系统的DSP软硬件调试方法，并通过调试结果表明该方案具有很好的可行性和实时性。     

空调表冷器性能微机测试系统设计与软件开发

介绍了一套用于空调表冷器性能测试的试验装置及配套软件，重点叙述了系统的总体构成、程序的设计思想以及数据采样和处理等功能模块。微机测试技术以及配套软件的使用大大减少了测试人员的工作量，并在一定程度上提高了测试的精度。     

The seismic kernel system — a large-scale exercise in fortran 77 portability

The portability of software has become a major commercial issue in recent times. Such portability does not come easily, as few if any computer languages are really portable in practice. An additional complicating factor, especially in the commercial environment, is that the resulting software must be efficient. This paper describes the design and successful implementation of a 500,000+ line portable FORTRAN 77 package for the processing of seismic data. The package exhibits demonstrably high efficiency on a wide variety of machines from minicomputers to the largest supercomputers. Experiences gained during this exercise throw much light on the integration of the various thought processes which occur during the software engineering cycle, especially the notion of locality.