一种支持群体设计的工程数据库管理系统的结构及实现

计算机支持下的群体合作设计是一种新的ＣＡＤ工作环境。而工程数据库管理系统则是ＣＡＤ／ＣＡＭ／ＣＩＭＳ等系统数据管理的基础。为了支持群体协同设计，工程数据库管理系统必须研究适应于群体工作的新的系统结构和工作模式。本文以自行开发的工程数据库管理系统——ＥＤＢＭＳ为基础，对其采用智能多Ａｇｅｎｔ技术、ＳＴＥＰ／ＥＸＰＲＥＳＳ国际标准、以及设计数据的多库分布式处理、并在客户服务器模式下构成了一种能用于群体设计的工程数据库管理系统。

面向多输出电路的BDD拼接构造

二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,极有效地完成电路的BDD构造。另外根据验证和测试的需要,在BDD拼接过程中,提出通过可观值的定义获得有效路径的方法。实验证明,作者提出的方法简单、直观而且有效。