一种用于实现VPN的新型Tunnel技术

VPN是网络时代企业不同地区分支机构问通信的主要手段，Tunnel技术更是VPN实现的主要手段。提出并详细介绍了一种实现Tunnel的新技术，从实例出发，讲述了这种Tunnel技术的配置流程及转发流程。该Tunnel技术具有配置简单、转发速度快的优点。     

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

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

DPMAS:一种多主体系统设计方法

提出一种多主体系统设计方法DPMAS。首先,该方法以对象作为主体实现的基础,以UML作为基本的建模语言,保证了与面向对象方法的延续性。同时,该方法提供了新的图来表示多主体系统中的知识模型和主体间交互模型,并对UML符号进行了一些改进以表示主体特有的概念。     

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

本文基于电机设计的基本原理 ,采用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.     

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

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

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.     

The perceived effect of breakdown and repair on the performance of multiprocessor systems

It is argued that classical measures of computer system performance, for example mean response time, are inadequate in the context of fault-tolerant system design. Alternative, perception-based measures are proposed and theorems established describing their properties. Focus is directed upon the homogeneous M/M/m system in which total processor power is constrained by budget and processors are subject to failure and repair. A numerical technique for extracting both classical and perception-based measures from the associated two-dimensional Markov process is offered, along with bounds on time and space required for its execution. It is seen that the perception-based approach to system design can call for twice as many processors as the classical approach.     

基于设计模式的软件重用

针对软件重用。提出应用设计模式来记录软件设计知识。这可以使软件重用从构架重用提高到软件开发各阶段知识的重用。此外结合通用仓库／销售系统的实际对设计模式的用法进行了讨论。     

基于成组技术的电机制造CAPP系统

根据电机厂产品的特殊性及电机零件结构特点,自行设计了具有一定针对性的13位分类编码系统,通过工艺设计标准化、自动化过程,成功开发一套适合电机生产特点的DJ-1CAPP系统,解决电机生产过程中工艺设计的瓶颈问题。