基于知识的可重用构件查询系统KCQ

本文提出了一个基于知识的、支持面向对象程序设计方法的软件重用构件查询系统，本系统采用了语义网络知识表示模型，提供了构件知识表示语言ＣＫＲＬ，来描述可重用构件的特征和用于检索的知识．提供了语义网络联想式查询、条件查询和构件评价．     

Object-extending class transformations

Reorganisation and evolution of class hierarchies is important for object-oriented system development and has received considerable attention in the literature. The contributions of this paper are: (1) a formal study of a set of extension relations and transformations on class hierarchies; (2) a presentation of a small set of primitive transformations which form a minimal and complete basis for the extension relations; and (3) an analysis of the impact of these transformations at the object level.The study leads to a better understanding of evolution and reuse of object-oriented software and class hierarchies. It also provides a terminology and a means of classification for design reuse. The theory presented in this paper is based on the Demeter data model, which gives a concise mathematical foundation for classes and their inheritance and part-of relationships. Parts of the theory have been implemented in the Demeter System ^TM C++, a CASE tool for object-oriented design and programming.     

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建立了专用的语音库，本系统使得有语言障碍的人可以与其他正常人之间进行正常的交流，从而避免了使用哑语带来的不便。     

Analysis of exclusively kinetic two-link underactuated mechanical systems

Analysis of exclusively kinetic two-link underactuated mechanical systems is undertaken in this paper. It is first shown that such systems are not full-state feedback linearizable around any equilibrium point. Also, the equilibrium points for which the system is small-time locally controllable (STLC) is at most a one-dimensional submanifold. A concept less restrictive than STLC, termed the small-time local output controllability (STLOC) is introduced, the satisfaction of which guarantees that a chosen configuration output can be controlled at its desired value. It is shown that the class of systems considered is STLOC, if the inertial coupling between the input and output is nonzero. Also, in such a case, the system is nonminimum phase. An example section illustrates all the results presented.     

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

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

基于软件总线的星载系统软件结构的研究与设计

针对目前国内外星载系统软件可重构性较差的问题，提出了一种基于软件总线的星载系统软件结构。首先，介绍了软件总线和软构件的结构。其次，阐述了星载实时多任务操作系统中混合任务调度算法的设计。最后，对这个混合任务调度算法的正确性给出了证明。     

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

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

基于DSP的图像灰度校正

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