智能钻井电缆信号传输的研究现状及难点

目前，钻井中井下检测信号的传输主要运用泥浆脉冲、电磁波等方式。随着井深的增加、复杂结构井和欠平衡井的增多以及对传输速度要求的提高，电缆信号传输必然是今后智能钻井的发展方向。通过对半个多世纪来各类电缆信号传输的设计进行归类，详细介绍了其设计原理，提出了电缆信号传输设计的基本要求与难点。     

Study on axiomatic rules for building up relationships between requirement and source programs

The purpose of our study is to build up relationships between requirement and source programs with our originally thought-out rules. When other rules to be derived from these original rules are applied to software development, even a single instruction in a programming language could be determined, and the program would satisfy the requirement. More specifically speaking, these rules will turn into a formula or a prototype of software programs. Hence, when the variables in the requirement are placed in the formula, we can get a required program in an automatic way.     

基于电报编码的"电子喉"系统

本文介绍一种能够解决有语言障碍的人汉语发音问题的计算机软件系统，此系统采用电报和五笔画编码方案作为汉字输入方法，自建了一套汉字录入和检索体系，并利用Microsoft公司的Speech SDK4.0和Concatenated Text-to-Speech Engine建立了专用的语音库，本系统使得有语言障碍的人可以与其他正常人之间进行正常的交流，从而避免了使用哑语带来的不便。     

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

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

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进行仿真，对其性能与传统方法进行了对比。     

基于DSP的图像灰度校正

本文介绍了一个在用户视频环境下，采用典型非线性因子2.2进行非线性校正的公式；进而给出采用TMS320C2000进行图像灰度校正的软件设计方法。