ER Builder：一个开发数据库应用系统概念模型的有力工具

阐述了一个用以开发数据库应用系统概念模型的实用工具（名叫ＥＲＢｕｉｌｄｅｒ）。ＥＲＢｕｉｌｄｅｒ基于我们提出的一种扩展实体一联系模型，该模型不仅支持实体的泛化（ｇｅｎｅｒａｌｉｚａｔｉｏｎ）和集聚（ａｇｇｒｅｇａｔｉｏｎ），而且引入多层实体一联系图机制。ＥＲＢｕｉｌｄｅｒ还提供了友好易用的图形用户界面。用ＥＲＢｕｉｌｄｅｒ设计数据库应用系统的概念模型，能大大提高概念模型的质量，减少设计时间和费用。     

基于面向对象的BPMS软件的设计与实现

主要介绍ＢＰＭＳ的设计与实现过程,对ＢＰＭＳ的功能需求、总体框架。类库实现和仿真模型进行了详细的模述和说明。     

可视化过程建模语言VPML

可视化过程建模语言用图形直观地定义过程模型的结构，用正文具体定义过程模型中对象原语，连接和连接符原语的属性。用ＶＰＭＬ建立的过程模型可以模拟执行，也可实际运作。本文详细介绍了ＶＰＭＬ的设计思想、对象原语和规则，最后给出了一个示例，并指出ＶＰＭＬ今后的发展方向。     

软件过程建模语言研究

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．     

IPEEE结构化图形支持工具的研究与实现

由于图形信息一目了然，几乎所有科学和工程技术领域都采用了可视化技术。本文首先描述了集成化过程工程环境ＩＰＥＥ的组成及系统结构和可视化过程建模语言ＶＰＭＬ的基本特点，然后详细介绍了该环境的图形支持工具结构化图形编辑器的生成工具ＳＧＥＧ、图形支持库ＧＳＬ和对象管理系统ＯＭＳ     

基于家族优生学的进化算法

模拟进化有几种典型方法，分别强调自然进化过程的不同侧面．人们已意识到恰当地结合这些方法将推进该领域的研究．本文将现有进化方法的差别归结为“遗传链”与“进化链”之间的差别，提出一种新的进化模型，称之为“基于家族优生学的进化ＦＥＢＥ（ｆａｍｉｌｙｅｕｇｅｎｉｃｓｂａｓｅｄｅｖｏｌｕｔｉｏｎ）”．新的模型用家族优生学的思想将遗传链与进化链溶为一体，将正交设计技术引入家庭的子代培植以加强个体的行为改进．本文将ＦＥＢＥ模型用于求解困难的Ｇｏｌｄｂｅｒｇ欺骗问题，取得了满意的实验结果.     

办公信息管理系统GLPMIS的多级授权接口设计

本文分析了办公信息管理系统（ＧＬＰＭＩＳ）的授权需求，对商用关系数据库系统（ｆｏｘＢＡＳＥ）进行了授权机制扩充，引出了有关数据授权的基本概念，并讨论了ＧＬＰＭＩＳ授权接口（工具）概要设计的基本思想。     

专家系统的软件工程建造方法

本文指出ＥＳ所固有的一些困难引起了ＥＳ的设计和维护上的困难，提出了ＥＳ的软件工程方法的观点、描述认知过程的知识说明和建造ＥＳ过程的ＰＬＷＦ模型，用来解决ＥＳ的设计阶段和维护阶段产生的问题。     

KBASE－P知识库系统的设计与实现

当前的实用知识库系统研究是将知识库查询语言嵌入到一个过程语言中．ＫＢＡＳＥ－Ｐ是一个通用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ以ＫＢＡＳＥ作为查询语言，以ＦＤ－ＰＲＯＬＯＧ（我们开发的一个ＰＲＯＬＯＧ扩充）为过程性的宿主语言执行１／Ｏ和ＤＢ更新操作（用扩充的内部谓词）．由于良好的设计和实现，查询语言与宿主语言之间的阻抗不匹配问题相对较小．因而，ＫＢＡＳＥ－Ｐ是一个比较实用的知识库程序设计语言．ＫＢＡＳＥ－Ｐ系统支持逻辑程序设计语言（ＫＢＡＳＥ－Ｐ语言）的程序开发，提供了文本编辑、文件管理、谓词管理、事实操作、Ｄａｔａｌｏｇ查询、ＳＱＬ查询等功能．本文详细介绍了ＫＢＡＳＥ－Ｐ系统的设计和实现．     

一个支持非独立“与”并行的逻辑程序“与”并行执行模型

本提出了一种支持非独立“与”并行的新型“与”并行执行模型ＤＡＰＭ，它通过在共享变元之间建立一种类似生产和消费的同步依赖关系以防止它们在并行执行时产生的约束冲突。与其它模型相比，ＤＡＰＭ可以开发更多的“与”并行。本还从理论上对ＤＡＰＭ的运行代价进行了分析，其分析结果表明ＤＡＰＭ只需较小的运行时刻支持。     

为支持协同设计对EDBMS的扩充及其实现

计算机支持下的协同设计是ＣＡＤ／ＣＡＭ技术的进一步发展。设计过程中有效的数据共享是协同设计的前提条件；而协同设计过程中用于交流、协调、决策等数据和知识的管理是协同设计系统的成功的基本保证。本文在工程数据库管理系统ＥＤＢＭＳ的基础上，根据协同设计的要求，对ＥＤＢＭＳ进行了扩充，使其在数据共享的基础上，能对用于协同的数据和知识等进行有效管理。为此对ＥＤＢＭＳ增加了支持开放分布式计算，以及多用户、多库处     

INTEL的新掌门人：Intel D815EEA主板试用手记

引言 继ＶＩＡ推出了ＰＭ１３３芯片组后,Ｉｎｔｅｌ也不甘示弱地推出１８１５Ｅ芯片组来与之抗衡。新一轮主板芯片的竞争已经开始了,为了向世人展示出１８１５Ｅ芯片组的强大威力,Ｉｎｔｅｌ自己推出了基于该芯片组的主板──Ｄ８１５ＥＥＡ。 功能介绍 在选择主板时,我们用户对主板的功能都会十分在意,那么我们看看Ｄ８１５ＥＥＡ到底都支持些什么功能。 支持１３３ＭＨｚ外频 Ｉｎｔｅｌ的产品一向以发热量小著称,当年第一块ＢＸ主板推出时,在主板的北桥芯片上是没有散热片的。由于Ｉｎｔｅｌ一直没有推出基于１３３外频的低端芯…     

测试集自动生成工具TUGEN的设计与实现

测试集自动生成工具的研究是协议一致性测试领域中比较活跃的一个分支，本文在对目前已有的各种测试集生成方法进行分析的基础上，提出了一种新的测试集自动生成方法并对它的实现ＴＵＧＥＮ作了介绍．ＴＵＧＥＮ基于一种称为ＥＢＥ的形式模型，ＥＢＥ模型只对协议的外部行为进行描述，而且可以从协议的Ｅｓｔｅｌｌｅ或ＬＯＴＯＳ描述中转化得到．ＴＵＧＥＮ以协议的ＥＢＥ－ＮＦ描述作为输入，使用我们新提出的一套测试事例生成策略，最后产生出ＴＴＣＮ．ＭＰ格式的测试集．我们用Ｘ．２５ＬＡＰＢ协议的ＥＢＥ－ＮＦ描述作为例子，对ＴＵＧＥＮ     

千兆以太网1000BASE—X体系结构实现分析

本文详细分析了千兆以太网１０００ＢＡＳＥ－Ｘ体系结构的具体实现,对ＰＣＳ,ＰＭＡ和ＰＭＤ子层特别是关键的ＰＣＳ子层的实现技术进行了深入的讨论,对有关算法的设计思想也进行了详尽的分析。     

一个新的多分支全局软件流水方法

在指令级并行性很高的体系结构中，为了得到比较好的并行优化效果，通常需要设置多个分支控制机构，本文提出一个新的支持多个分支操作并行执行的全局软件流水方法──ＧＰＭＢ．并用衡量全局软件流水方法性能的两个主要参数：时间开销和空间开销把我们的方法与其它几种全局软件流水方法进行了比较．模拟实验结果表明：ＧＰＭＢ方法的时间开销和空间开销都比较小，所需要的硬件支持也比较少．     

功能+健康 征战互联网──惠普功能服务器

惠普功能服务器共分为四大类,即主机托管（ＷＥＢ ＨＯＳＴＩＮＧ）功能服务器、加速（ＷＥＢ ＣＡＣＨＥ）功能服务器、虚拟专用网（ＷＮ）功能服务器和流量管理（ＴＲＡＦＦＩ ＭＡＮＡＧＥＭＥＮＴ）功能服务器。 ＨＰ ＷＥＢ ＨＯＳＴＩＮＧ功能服务器配有 Ａｐａｃｈｅ（Ｗｅｂ服务器高性能商务网站托管设备）、Ｓｅｎｄｍａｉｌ（邮件托管设备）,没有域或用户个数的限制,易于配置的浏览器界面,虚拟主机／专用主机托管的理想选择,１Ｕ机柜式结构,支持 ＳＳＬ安全连接,基于 Ｒｅｄ Ｈａｔ（Ｌｉｎｕｘ ６．２）,ＲＰＭ在线软件…     

基于层次请求模型的PPMB系统性能分析

本文运用层次请求模型详细地分析了ＰＰＭＢ系统有效存储器带宽性能，推得一个用于计算有效存储器带宽的数学模型，将获得的模型与已有的模型进行了比较与分析。     

过程环境PoCASE的设计

ＰｏＣＡＳＥ过程环境是一个原型系统，用以支持软件过程的方法学开发，实例化和实施。本文探讨了这个过程工作模型，并用模型的各部件来描述它的体系结构，该体系结构主要软件过程的产品以及高级过程所支持的生产周期。本文的核心是讨论建立和裁剪过程模型的几步步骤，并给出支持这种描述的方法，其中过程模型是用混合过程语言建立的。本文的工作可以看作是过程环境的基础。     

过程工程原理与过程工程环境引论

本文扼要介绍了过程工程和过程工程环境的历史发展和当前动向，介绍了过程工程的基本语和基本原理，概括了蕴含在ＩＰＥＥ中的基本概念及其设计思想，论述了企事业过程工程的组成和体系结构，详细讨论了ＩＰＥＥ支持的并行螺旋开发模型、过程运行的４个阶段和两种工程模式，扼要介绍了支持这些方法学的ＩＰＥＥ的组成及其系统结构，最终指出了当前版本的ＩＰＥＥ需要今后进一步研究，开发与实现的方向。     

FoxBASE与ORACLE之间数据转载的实现

首先分析了ＤＯＳ支持的ＦｏｘＢＡＳＥ数据库与ＵＮＩＸ支持的ＯＲＡＣＬＥ数据的内部结构，进而以此为基础介绍一种ＦｏｘＢＡＳＥ与ＯＲＡＣＬＥ之间的数据转载方法。