一个分布式嵌入系统的系统级模型

在分析CDM的基础上提出了一个适合干对分布式嵌入式系统进行分布式模拟的软硬件协同设计模型。该模型可描述分布式嵌入系统的实时性、同步，也可对其进行参数化修正。     

基于数据库管理系统的电机设计集成系统软件开发

本文基于电机设计的基本原理 ,采用Access数据库管理技术、面向对象技术、SQL查询语言 ,利用VisualBasic 6.0为工具开发了基于数据库管理系统的电机设计集成系统软件。在实际使用中充分证明 ,该软件操作方便、运行良好、可维护性高 ,软件计算结果比较接近实验值。     

ISO 9000 versus CMM: Standardization and certification of IS development

A growing number of software developers use standards as a basis for their quality systems. Some of them go one step further and have their quality systems certified. In this paper, two well-known quality standards, ISO 9000 and the CMM, are compared. It is concluded that both standards are useful but there is a growing need for more specific standards.     

基于决定的软件需求工程模型的设计与实现

需求工程是软件工程生命周期的初始阶段，其最终结果是软件需求规约。本文对需求工程的有关内容进行了剖析，设计了一个基于决定的软件需求工程模型ＤＢＳＲＥＭ，并给出了该模型的实现框架。ＤＢＳＲＥＭ的运作需要知识环境，方法工具和实现技术的支持。     

总体评价法在非线性控制系统极限环振荡研究中的应用

本文简要介绍了总体评价法在研究非线性控制系统极限环振荡方面的理论和应用。文中提供了大量例子说明总体评价法的正确和可信。总体评价法只需用少量的图和表就能方便地掌握系统中各种不同大小的非线性因素处于系统各种不同位置时，对系统动态性能的定性和定量影响，从总体上揭示非线性系统的各种特点。这无疑可以改进系统设计和改善运行性能。     

Application of multi-layer perceptron neural networks to vision problems

This paper discusses the application of a class of feed-forward Artificial Neural Networks (ANNs) known as Multi-Layer Perceptrons(MLPs) to two vision problems: recognition and pose estimation of 3D objects from a single 2D perspective view; and handwritten digit recognition. In both cases, a multi-MLP classification scheme is developed that combines the decisions of several classifiers. These classifiers operate on the same feature set for the 3D recognition problem whereas different feature types are used for the handwritten digit recognition. The backpropagationlearning rule is used to train the MLPs. Application of the MLP architecture to other vision problems is also briefly discussed.     

A framework for determining design correctness

Quality is one of the main concerns in today's systems and software development and use. One important instrument in verification is the use of formal methods, which means that requirements and designs are analyzed formally to determine their relationships. Furthermore, since professional software design is to an increasing extent a distributed process, the issue of integrating different systems to an entity is of great importance in modern system development and design. Various candidates for formalizing system development and integration have prevailed, but very often, particularly for dynamic conflict detection, these introduce non-standard objects and formalisms, leading to severe confusion, both regarding the semantics and the computability. In contrast to such, we introduce a framework for defining requirement fulfillment by designs, detecting conflicts of various kinds as well as integration of heterogeneous schemata. The framework introduced transcends ordinary logical consequence, as it takes into account static and dynamic aspects of design consistency and, in particular, the specific features of the state space of a specification. Another feature of the approach is that it provides a unifying framework for design conflict analysis and schema integration.     

An integrated system for process planning and cost estimation in hole making

The process planning function plays a critical role not only in computer integrated manufacture, but also in the economics of batch manufacturing. This paper describes the development of a generic knowledge-based system for process planning and cost estimation in the hole making process. The main function of the system, besides estimating the cost of production, is to recommend appropriate processes, their sequence and their respective machining conditions in order to obtain the required product specifications. The system has been implemented in a manufacturing organisation. The results obtained have indicated that in addition to cost savings the system also preserves the consistency in planning and cost estimation.     

混合物临界温度的预测与关联

在用分子基元分数表示组成和关联混合物临界温度的基础上,进一步研究有机、无机和有机—无机混合物的临界温度估算方法,经208个物系1539个计算点验证,误差小于1.04％。     

广义逆的计算与最小二乘估计

给出了某些广义逆的计算方法,将这些结果应用于观测系统的参数估计,给出了系统无加权和加权最小二乘的最新估计结果,推广了[1]的工作,同时简化了[2]中求多个相容矩阵方程公共解的算法。