-
题名一种支持群体设计的工程数据库管理系统的结构及实现
被引量:1
- 1
-
-
作者
王潜平
林宗楷
郭玉钗
-
机构
中国科学院计算所cad室
-
出处
《小型微型计算机系统》
EI
CSCD
北大核心
1997年第7期57-61,共5页
-
文摘
计算机支持下的群体合作设计是一种新的CAD工作环境。而工程数据库管理系统则是CAD/CAM/CIMS等系统数据管理的基础。为了支持群体协同设计,工程数据库管理系统必须研究适应于群体工作的新的系统结构和工作模式。本文以自行开发的工程数据库管理系统——EDBMS为基础,对其采用智能多Agent技术、STEP/EXPRESS国际标准、以及设计数据的多库分布式处理、并在客户服务器模式下构成了一种能用于群体设计的工程数据库管理系统。
-
关键词
CAD
群体协同设计
工程数据库
管理系统
结构
-
Keywords
CSCW, EDBMS, CAD, Client/Server, Distributed, Agent
-
分类号
TP392
[自动化与计算机技术—计算机应用技术]
TP391.72
[自动化与计算机技术—计算机应用技术]
-
-
题名面向多输出电路的BDD拼接构造
- 2
-
-
作者
何新华
宫云战
魏道政
-
机构
装甲兵工程学院计算机室
中国科学院计算所cad室
-
出处
《电子科学学刊》
CSCD
1997年第3期356-360,共5页
-
文摘
二元判定图(Binary Decision Diagram,BDD)的有效描述将大大提高验证和测试生成效率。作者根据电路结构的特点,以标准门的BDD为基础,从原始输入到输出,通过逐级拼接,极有效地完成电路的BDD构造。另外根据验证和测试的需要,在BDD拼接过程中,提出通过可观值的定义获得有效路径的方法。实验证明,作者提出的方法简单、直观而且有效。
-
关键词
标准站
IC
二元判定图
CAD
-
Keywords
Binary dicision diagram, Vertex, Share, Variable ordering
-
分类号
TN402
[电子电信—微电子学与固体电子学]
-