算法导论154

Ⅰ 王天明是谁

王天明
主要学历及工作经历:
王天明教授 1939年生于大连，汉族，中共党员，博士生导师。
个人简历：
1958-1963 大连工学院数理力学系学习
1963-1978 大连工学院基础部任助教
1978-1983 大连工学院数学所任讲师
1983-1985 美国匹兹堡大学数学系 访问学者
1985-1991 大连理工大学数学所副教授
1991-至今 大连理工大学数学系教授

主要学术及社会兼职:
社会兼职
1998-1991中国组合数学研究会秘书长
1991-2001中国组合数学研究会副理事长
2001- 中国数学会组合与图论专业委员会委员（中国组合与图论学会常务理事）
《数学研究与评论》杂志执行编委

研究领域（研究课题）:
主要研究方向：
本人从事研究的方向是组合数学。由于电子计算机的出现，一方面过去无法实现的算法现在能够实现，另一方面计算机发展的本身给组合数学提出新课题，因而近二、三十年来组合数学迅速发展，成为数学的一个十分活跃的分支，在国内外数学界越来越受到重视。他的成果渗入到数学的各个分支，同时数学的各个分支也在组合数学中发挥了作用。
主要的研究领域是计数理论及其应用，它是组合数学的基础。同时在物理学、化学、生命科学、计算机及通讯理论有着广泛的应用。目前的研究方向有：1经典组合学2组合数学中的机械化方法3计算分子生物学。承担的课题
国家教委博士点基金项目《数值逼近与计算组合学》89-90.12
《组合分析与计算方法》93-95.12
国家自然基金项目《计算组合学的理论与应用》 94-96.12
《组合恒等式及机械化证明》 98-2000.1
数学机械化方法推广基金项目 《组合恒等式的机械化证明》2002-2003.12

出版着作和论文:
发表论文：
1． 关于矩阵方程A2＝J的q－循环解 大工学报 25（86） 23－27
2． On the Matrix Equation A2=J Res. and Exposition 7(87) 207-216
3．On Some Solutions of Res. and Exposition 7(87) 665-557
4．Some solutions of Mtrix Equation A Friedly Collection of Mathematical PaperI 1990
5． Some Results on the Matrix Equation Am=λJ Res. & Exposition 9(89) 601-603.
6． 的六角系统的构造 大连理工大学学报 30（90）373-378.7。
7．矩阵方程 的某些解 大连理工大学学报30（90）621-624
8．Enumeration of Ideal Subgraph Graph Theory, Combinatorics, Algorithms, and Applications 539-544 SIAM Press,1991
9．整数的平面分拆格, 大连理工大学学报 32（92）1-4
10．移动平面分拆的计数, 大连理工大学学报 32（92）621-624
11．行严格长为偶数的平面分拆的计数, 数学研究与评论 13（93）137-138
12．和作n人费用对策的准核仁, 运筹于决策 第二卷1261-1265 1992成都科大出版社
13．网络计划技术在船体建造中的应用, 运筹于决策 第一卷 692-696 1992成都科大出版社
14.Two Combinatorial Identities, SIAM Review 37:1(95) 281-285
15.Two Summation Formulas for Basic Bilateral Series, Combinatorics and Graph Theory 95 vol 2
16．具有唯一定长路的有向图的一个注记, 大连理工大学学报 34（94）203-206
17．格路与组合恒等式, 大连理工大学学报 34（94）628-632
18．格链与组合恒等式, 大连理工大学学报 35（95）281-285
19．On Companion Boolean Relation Matrix, Res & Exposition (95) 173-178
20．Recurrence Sequences and Norlund-Euler Polynomials, Fibonacci Quaterly 34:4(96)314-319
21．组合数的一种矩阵表示及应用, 大连理工大学学报36（96）381-385
22．两对加权Stirling 数偶及其性质, 大连理工大学学报 36（96）386-390
23．格路与Vandermonde卷积恒等式, 大连理工大学学报 36（96）
24．关于Genocchi数和Riemann Zeta-函数的一些恒等式, 数学研究与评论 17（97）597-
25．Riordan-Lagrange Inverse Relation, Res.& Exposition 1597) 173-178大连理工大学学报26．the g-circurent solutions to the matrix equation , Combinatorics and Graph Theory 97 vol 1
27．词偏序集的Mobiu函数的Cohen-Macauley性质的推广, 应用数学学报 20：3（97）431-437
28．关于两类图的整和数, 科学通报 40：8（97） 2016
29．Stirling数的概率表示及应用, 数学学报 41：2（98） 281-290
30．Generalized Pascal Matrix and Recurrence Sequences, L.A.A. 283(98) 289-299
31．An Inequality on Connected Domination Parameters, A RS Combinatorics 50(98)309-315
32．The Algebraic Properties f Generalized Pascal Matrices Associated with the Exponential Families, Linear Algebra and Applications, 318(00), 45-52
33．反演关系的机械化证明, 大连理工大学学报 40(00) 642-644
34．卷积公式统一形势及其相应超几何变换, 大连理工大学学报 40(00)
35．Inverse Chain of Inverse Relations, Res. & Exposition 21(01) 7-16
36．Mobius Function and its Iversion Formulas over a Unique Factorization Integral Semigroup, 数学季刊， 17（01）1-8
38.Some Strange Identities Related to Faa di Bruno Formula， Res. & Exposition 21(01) 215-218
39.Generalizations of Some Identities Involving the Fibonacci Numbers， The Fibonacci Quarterly 39(01)165-167
40.Some Identities for the Generalized Fibonacci and Lucas Functions， The Fibonacci Quarterly 39(01) 436-438
41.Counter-examplesto the Conjecture ， Res.& Exposition 22(02)194-196
42.The Algebraic Properties of a Type of Infinite Lower Triagular Matrices Related to Derivatives， Res. & Exposition 22(02) 549-558.
43．一类RNA二级结构的计数, 应用数学,2（2002） 109－112
44．Some Identities Related to Reciprocal Functions ，Discrete Mathematics 265(03) 323-335
45．RNA 二级结构的最小自由能算法, 生物数学学报, 3（2003）
46.An Algorithm to Construct k-Regular k-Connected Graphs with Maximum k-Diameter, Graphs and Combinatorics 19(03) 111-119
47.On Generalized Wide Diameter of Graphs，Taiwanese J. of Mathematics, 7(03)339-345
48. Some Identities Involving the Powers of the Generalized Fibonacci Numbers， The Fibonacci Quarterly 41 (03) 7-12
49. Notes on Some Rogers-Ramanujan Type Identities, J. of Indian Mathematical Society, 70（03）
50. Note On Summation Formulas Derived From an Identity of F.H. Jackson, Australasiam J. of combinatorics, 28(03) 295-304
51. General Combinatorics of RNA Hairpins and Cloverleaves, J. Chem. Inf. Comput. Sci. 43(03), 1138-1142
52. New 3-D graphical representation of DNA sequences and their numerical characterization,
Chemical Physic Letters 379(2003) 又被选入电子杂志 Physics of Life
53. 一类新的包含Riemann-Zeta函数的求和计算公式， 高等学校计算数学学报，25（03）97-101
54. A note on the integrity of Certain Series, Res. & Exposition 23 (03) 28-32
55. 分布式三环网络的传输延迟 大连理工大学学报42（03）9-12
00. A Result about the number of Extensions of Poset, accepted by New Zealand J. of Mathematics
00. The Integrity of Certain Series , accepted by International J. of math. Ecation in Science And Technology.
00. Some Results on Generalized Fibonacci and Lucas Number and Dedekind Sums, accepted by The Fibonacci Quarterly
00.Some Identities Involving the Generalized Fibonacci and Lucas Numbers, accepted by The Fibonacci Quarter
00. The Values of Certain Polynomials, accepted by Utilitas Mathmatica.
00. Notes on Ragers-Ramanujan Type Identities, accepted by The Indian J. of Pure and applied mathematics.
00. Notes on Certain Reciprocal Series Related to Complex Fibonacci and Lucas Functions, accepted by International J. of Mathematics and Mathematical Sciences
00.RNA二级结构的计数，生物数学学报 已接受
00. General Combinatorics of RNA secondary Structure, Mathematical Bioscieces , revised
00. mRNA序列与蛋白序列的比较， 大连理工大学学报 已修改

译着：
组合学导引 华中工学院出版社 1983
高等组合学 大连理工大学出版社 1991
经济学数学导论 大连理工大学出版社 1992
发生函数论 清华大学出版社 2003
译文:
1. 数学能否继续存在?----关于苏黎世大会的报告，数学译林，15：2（1996），154-160
2. 关于组合学现状的报告，数学译林，16：3（1997）222-232
3. 圆周率的探索，数学译林，16：3（1997），205-215
4．大学水平数学的教与学—教育的现代研究的几个决定性问题， 数学译林，20（01）147-157

科研成果及所受奖励:
1.在组合矩陈方程求解方面给出 有解的必要条件, 方程的所有解及一些矩陈方程的g-循环解,其结果被多次引用。2.在组合反演理论方面提出词偏序集上的反演公式，并研究了相应的性质；解决了高维Gould-Hsu反演公式中附加因子的计算问题，使高维Gould-Hsu反演公式计算真正成为可能。给出Riordan-Lagrange反演，它是一个反演发生器，可以生成许多反演。3.在格路计数方面，利用发生函数技巧得到一系列具有深刻的应用背景和理论意义的组合恒等式，其结果被列入“中国八五科技成果选”编号[850801034]，引起一些国外数学家的兴趣，他们用不同的方法验证了我们的结果。首次提出了给出格链的概念，由此导出的结果概括了格路的一些经典公式。成果2.3.于96年获辽宁省教委科技进步一等奖4．偏序集是一般偏序集的推广，它在符号动力学和DNA结构研究中有着重要应用，因此引起人们的重视。就普遍偏序集而言，我们用同调代数的方法证明了分层偏序集P，Q和从P到Q等价分类映射ф若P是Cohen-Macaulay的，Q也是Cohen-Macaulay的。推广到了A.Bjöbius函数,同时也部分地解答了B.Stechin的问题。5.比较系统地把概率论的方法和技巧引入到了组合分析问题中，主要的结果包括以下几个方面：
把一些重要的组合数以及正交多项式表示成了常用的随机变量（或者它们的和）的矩; 提出了恒等式中的参数应当被看作随机变量的观点，这样可以极大地扩充恒等式的内涵; 给出了哑运算的一种自然的，不失数学严格性的解释，认为它就是省略了数学期望符号的概率运算。包括J.Riordan,G.C.Rota和B.D.Taylor所使用的哑运算方法大多数都能够被相应的概率运算所代替。6.组合恒等式的机械化证明方面,给出了Weyl代数的消元法，解决了超几何级数恒等式、Q-恒等式等的机械化证明算法并用Maple语言实现。其软件收入国家973项目数学自动化推理平台。同时给出组合反演的机械化证明算法及实现。7.计算分子生物学方面,也得到一些初步成果,如RNA二级结构的计算,DNA序列相似性的比较等.

Ⅱ 简明逻辑学导论的目录

译序陈波1
前言5
第一编非形式逻辑
第1章基本概念3
1.1 论证、前提和结论5
杰出的逻辑学家 亚里士多德9
逻辑史注记10
练习题1.112
1.2 论证之认证13
简单的非推理的话语段落15
说明性话语段落17
例解18
解说19
条件陈述20
小结23
练习题1.223
1.3 演绎与归纳25
演绎论证形式26
归纳论证形式28
另外的考虑29
小结30
练习题1.331
1.4 有效性、真实性、可靠性、力度、恰当性32
演绎论证32
归纳论证35
杰出的逻辑学家 克吕西波39
小结40
练习题1.440
1.5 论证形式：非有效性之证实41
反例方法44
练习题1.547
1.6 扩展的论证48
练习题1.652
第2章语言：意义与定义55
2.1 意义的多样性57
练习题2.161
2.2 词项的内涵与外延63
练习题2.266
2.3 定义及其目的66
约定定义67
词典定义68
限定定义69
杰出的逻辑学家 彼得·阿伯拉尔70
理论定义71
诱导定义71
练习题2.372
2.4 定义的技术73
外延（指称）定义73
内涵（涵义）定义75
练习题2.4 79
2.5 词典定义的准则79
练习题2.583
第3章非形式谬误85
3.1 谬误概述87
练习题3.1 89
3.2 关联性谬误89
1. 诉诸强力90
2. 诉诸怜悯91
3. 诉诸公众92
4. 人身攻击93
5. 偶性的谬误96
6. 稻草人97
7. 错失主旨98
8. 熏鲱99
练习题3.2 100
3.3 弱归纳谬误101
9. 诉诸不胜任的权威101
10. 诉诸无知103
11. 轻率概括105
12. 假因果106
13. 滑坡的谬误109
14. 弱类比110
杰出的逻辑学家 奥康的威廉111
练习题3.3 112
3.4 预先假设、含糊不清和语法类比的谬误113
15. 乞求论题114
16. 复杂问语117
17. 假二择一119
18. 遮盖论据120
19. 歧义121
20. 含糊122
21. 合成124
22. 分解126
练习题3.4 129
3.5 日常语言中的谬误131
谬误之洞察131
谬误之避免132
练习题3.5137
第二编形式逻辑
第4章直言命题143
4.1 直言命题的组成145
练习题4.1 147
4.2 质、量和周延147
练习题4.2 151
4.3 文恩图与现代的对当方阵151
亚里士多德与布尔151
杰出的逻辑学家 乔治·布尔152
文恩图154
现代的对当方阵156
直接推理之检验156
练习题4.3 159
4.4 换位、换质和换质位160
换位160
换质162
换质位164
练习题4.4167
4.5 传统的对当方阵168
直接推理之检验170
练习题4.5173
4.6 文恩图与传统的观点174
传统的对当方阵之证明176
直接推理之检验177
练习题4.6180
4.7 把日常语言的陈述翻译成直言形式 180
1. 没有名词的词项181
2. 非标准的动词181
3. 单称命题181
4. 副词和代词183
5. 未表达的量词183
6. 非标准的量词184
7. 条件陈述184
8. 区别命题185
9. “那（些）仅有的”186
10. 除外命题187
练习题4.7 188
第5章直言三段论189
5.1 标准形式、式和格191
练习题5.1195
5.2 文恩图196
杰出的逻辑学家 约翰·文恩198
布尔的观点199
亚里士多德的观点203
练习题5.2206
5.3 规则和谬误207
布尔的观点207
亚里士多德的观点210
规则之证明211
练习题5.3213
5.4 减少词项的数目214
练习题5.4215
5.5 日常语言的论证216
练习题5.5218
5.6 省略三段论219
练习题5.6221
5.7 连锁推理221
练习题5.7225
第6章命题逻辑227
6.1 符号和翻译229
杰出的逻辑学家 哥特弗里德·
威廉·莱布尼茨236
练习题6.1237
6.2 真值函数238
逻辑算子之定义238
较长陈述的真值之计算242
与日常语言的进一步比较243
练习题6.2247
6.3 陈述的真值表247
陈述之分类250
陈述之比较251
练习题6.3253
6.4 论证的真值表254
练习题6.4256
6.5 间接真值表257
论证有效性之检验257
陈述一致性之检验260
杰出的逻辑学家 奥古斯特·德摩根 261
练习题6.5262
6.6 论证形式和谬误263
常见论证形式263
构造式二难推理和破斥式二难推理之反驳267
关于非有效形式的注记268
小结和应用269
练习题6.6273
第7章命题逻辑的自然推演277
7.1 蕴涵规则（一）279
练习题7.1284
7.2 蕴涵规则（二）286
练习题7.2291
7.3 置换规则（一）293
练习题7.3298
7.4 置换规则（二）299
练习题7.4304
7.5 条件证明306
杰出的逻辑学家 哥特洛布·
弗雷格308
练习题7.5309
7.6 间接证明310
练习题7.6313
7.7 逻辑真理之证明314
练习题7.7315
第8章谓词逻辑317
8.1 符号与翻译319
练习题8.1325
8.2 推理规则之运用326
练习题8.2334
8.3 量词转换规则334
杰出的逻辑学家 阿尔弗雷德·诺思·怀特海伯特兰·罗素335
练习题8.3337
8.4 条件证明和间接证明338
练习题8.4341
8.5 无效性之证明342
反例法342
有限域法343
练习题8.5346
8.6 关系谓词和重叠量词347
关系陈述之翻译347
推理规则之运用350
练习题8.6354
8.7 同一性355
简单同一性陈述355
杰出的逻辑学家 库尔特·哥德尔 356
“仅仅”、“唯一的”、“没有……除了”357
“除了”357
最高级358
数值陈述358
限定摹状词359
推理规则之运用360
练习题8.7363
第三编归纳逻辑
第9章类比与法律推理和道德推理 369
9.1 类比推理371
9.2 法律推理374
9.3 道德推理378
练习题9382
第10章因果性和密尔方法385
10.1 “原因”、 必要条件和充分条件387
10.2 密尔五法388
契合法389
差异法390
杰出的逻辑学家 约翰·斯图亚特·密尔391
契合差异并用法393
剩余法395
共变法396
10.3 密尔方法和科学397
练习题10402
第11章概率405
11.1 概率论407
11.2 概率演算410
1. 限制的合取规则411
2. 一般的合取规则411
3. 限制的析取规则412
4. 一般的析取规则413
5. 否定规则415
6. 贝叶斯定理416
练习题11420
第12章统计推理421
12.1 评价统计学423
12.2 样本423
12.3 “平均数”的含义427
12.4 离散度429
12.5 图表和象形统计图434
12.6 百分比436
练习题12438
第13章假说/科学推理441
13.1 假说方法443
13.2 假说推理：来自科学的四个例子 445
镭445
海王星446
大气压力447
自然发生说449
13.3 假说的证明450
杰出的逻辑学家 查尔斯·桑德尔·皮尔士451
13.4 假说的试验性接受453
练习题13455
第14章科学与迷信457
14.1 科学和迷信的区别459
14.2 证据支持460
14.3 客观性464
14.4 完整性468
14.5 结论性评述473
参考文献474
附录：逻辑学与研究生层次的入学考试
一、 有关省略结论的问题476
二、 有关省略前提的问题478
三、 有关加强的问题479
四、 有关削弱的问题481
五、有关谬误的问题482
六、有关自然演绎的问题483
七、有关类似推理的问题484
八、 有关论证形式或推理方法的问题486
答案487
练习题答案491
重要词汇549
出版后记569

Ⅲ CAD技术在电子封装中的有哪些应用

一些软件公司为此开发了专门的封装CAD软件，有实力的微电子制造商也在大学的协助下或独立开发了封装CAD系统。如1991年University of Utah在IBM公司赞助下为进行电子封装设计开发了一个连接着目标CAD软件包和相关数据库的知识库系统。电性能分析包括串扰分析、ΔI噪声、电源分配和S-参数分析等。通过分别计算每个参数可使设计者隔离出问题的起源并独立对每个设计参数求解。每一个部分都有一个独立的软件包或者一套设计规则来分析其参数。可布线性分析用来预测布线能力、使互连长度最小化、减少高频耦合、降低成本并提高可靠性；热性能分析程序用来模拟稳态下传热的情况；力学性能分析用来处理封装件在不同温度下的力学行为；最后由一个知识库系统外壳将上述分析工具和相关的数据库连接成一个一体化的系统。它为用户提供了一个友好的设计界面，它的规则编辑功能还能不断地发展和修改专家系统的知识库，使系统具有推理能力。

NEC公司开发了LSI封装设计的CAD／CAM系统——INCASE，它提供了LSI封装设计者和LSI芯片设计者一体化的设计环境。封装设计者能够利用INCASE系统有效地设计封装，芯片设计者能够通过网络从已储存封装设计者设计的数据库中寻找最佳封装的数据，并能确定哪种封装最适合于他的芯片。当他找不到满足要求的封装时，需要为此开发新的封装，并通过系统把必要的数据送达封装设计者。该系统已用于开发ASIC上，可以为同样的芯片准备不同的封装。利用该系统可以有效地改善设计流程，减少交货时间。

University of Arizona开发了VLSI互连和封装设计自动化的一体化系统PDSE(Packaging Design Support Environment)，可以对微电子封装结构进行分析和设计。PDSE提供了某些热点研究领域的工作平台，包括互连和封装形式以及电、热、电-机械方面的仿真，CAD框架的开发和性能、可制造性、可靠性等。

Pennsylvania State University开发了电子封装的交互式多学科分析、设计和优化(MDA&O)软件，可以分析、反向设计和优化二维流体流动、热传导、静电学、磁流体动力学、电流体动力学和弹性力学，同时考虑流体流动、热传导、弹性应力和变形。

Intel公司开发了可以在一个CAD工具中对封装进行力学、电学和热学分析的软件——封装设计顾问(Package Design Advisor)，可以使硅器件设计者把封装的选择作为他的产品设计流程的一部分，模拟芯片设计对封装的影响，以及封装对芯片设计的影响。该软件用户界面不需要输入详细的几何数据，只要有芯片的规范，如芯片尺寸、大概功率、I／0数等就可在Windows环境下运行。其主要的模块是：力学、电学和热学分析，电学模拟发生，封装规范和焊盘版图设计指导。力学模块是选择和检查为不同种类封装和组装要求所允许的最大和最小芯片尺寸，热学模块是计算θja和叭，并使用户在一个具体用途中(散热片尺寸，空气流速等)对封装的冷却系统进行配置，电学分析模块是根据用户输入的缓冲层和母线计算中间和四周所需要的电源和接地引脚数，电学模拟部分产生封装和用户指定的要在电路仿真中使用的传输线模型(微带线，带状线等)的概图。

LSI Logic公司认为VLSI的出现使互连和封装结构变得更复杂，对应用模拟和仿真技术发展分析和设计的CAD工具需求更为迫切。为了有效地管理设计数据和涉及电子封装模拟和仿真的CAD工具，他们提出了一个提供三个层面服务的计算机辅助设计框架。框架的第一层支持CAD工具的一体化和仿真的管理，该层为仿真环境提供了一个通用的图形用户界面；第二层的重点放在设计数据的描述和管理，在这一层提供了一个面向对象的接口来发展设计资源和包装CAD工具；框架的第三层是在系统层面上强调对多芯片系统的模拟和仿真。

Tanner Research公司认为高带宽数字、混合信号和RF系统需要用新方法对IC和高性能封装进行设计，应该在设计的初期就考虑基板和互连的性能。芯片及其封装的系统层面优化要求设计者对芯片和封装有一个同步的系统层面的想法，而这就需要同步进入芯片和封装的系统层面优化要求设计者对芯片和封装有一个同步的系统层面想法，而这就需要同步进入芯片封装的设计数据库，同步完成IC和封装的版图设计，同步仿真和分析，同步分离寄生参数，同步验证以保证制造成功。除非芯片及其封装的版图设计、仿真和验证的工具是一体化的，否则同步的设计需要就可能延长该系统的设计周期。Tanner MCM Pro实体设计环境能够用来设计IC和MCM系统。

Samsung公司考虑到微电子封装的热性能完全取决于所用材料的性能、几何参数和工作环境，而它们之间的关系非常复杂且是非线性的，由于包括了大量可变的参数，仿真也是耗时的，故开发了一种可更新的系统预测封装热性能。该系统使用的神经网络能够通过训练建立一个相当复杂的非线性模型，在封装开发中对于大量的可变参数不需要进一步的仿真或试验就能快速给出准确的结果，提供了快速、准确选择和设计微电子封装的指南。与仿真的结果相比，误差在1％以内，因此会成为一种既经济又有效率的技术。

Motorola公司认为对一个给定的IC，封装的设计要在封装的尺寸、I／0的布局、电性能与热性能、费用之间平衡。一个CSP的设计对某些用途是理想的，但对另一些是不好的，需要早期分析工具给出对任何用途的选择和设计都是最好的封装技术信息，因此开发了芯片尺寸封装设计与评价系统(CSPDES)。用户提供IC的信息，再从系统可能的CSP中选择一种，并选择互连的方式。

系统就会提供用户使用条件下的电性能与热性能，也可以选择另一种，并选择互连的方式。系统就会提供用户使用条件下的电性能与热性能，也可以选择另外一种，以在这些方面之间达到最好的平衡。当分析结束后，系统出口就会接通实际设计的CAD工具，完成封装的设计过程。

2.4 高度一体化、智能化和网络化阶段

从20世纪90年代末至今，芯片已发展到UL SI阶段，把裸芯片直接安装在基板上的直接芯片安装(DCA)技术已开始实用，微电子封装向系统级封装(SOP或SIP)发展，即将各类元器件、布线、介质以及各种通用比芯片和专用IC芯片甚至射频和光电器件都集成在一个电子封装系统里，这可以通过单级集成组件(SLIM)、三维(简称3D)封装技术(过去的电子封装系统都是限于xy平面二维电子封装)而实现，或者向晶圆级封装(WLP)技术发展。封装CAD技术也进入高度一体化、智能化和网络化的新时期。

新阶段的一体化概念不同于20世纪90年代初提出的一体化。此时的一体化已经不仅仅是将各种不同的CAD工具集成起来，而且还要将CAD与CAM(计算机辅助制造)、CAE(计算机辅助工程)、CAPP(计算机辅助工艺过程)、PDM(产品数据管理)、ERP(企业资源计划管理)等系统集成起来。这些系统如果相互独立，很难发挥企业的整体效益。系统集成的核心问题是数据的共享问题。系统必须保证数据有效、完整、惟一而且能及时更新。即使是CAD系统内部，各个部分共享数据也是一体化的核心问题。要解决这个问题，需要将数据格式标准化。目前有很多分析软件可以直接输入CAD的SAT格式数据。当前，数据共享问题仍然是研究的一个热点。

智能CAD是CAD发展的必然方向。智能设计(Intelligent Design)和基于知识库系统(Knowledge-basedSystem)的工程是出现在产品处理发展过程中的新趋势。数据库技术发展到数据仓库(Data Warehouse)又进一步发展到知识库(Knowledge Repository)，从单纯的数据集到应用一定的规则从数据中进行知识的挖掘，再到让数据自身具有自我学习、积累能力，这是一个对数据处理、应用逐步深入的过程。正是由于数据库技术的发展，使得软件系统高度智能化成为可能。 二维平面设计方法已经无法满足新一代封装产品的设计要求，基于整体的三维设计CAD工具开始发展起来。超变量几何技术(Variational Geometry extended，VGX)开始应用于CAD中，使三维产品的设计更为直观和实时，从而使CAD软件更加易于使用，效率更高。虚拟现实(Virtual Reality，VR)技术也开始应用于CAD中，可以用来进行各类可视化模拟(如电性能、热性能分析等)，用以验证设计的正确性和可行性。

网络技术的发展又给电子封装CAD的发展开创了新的空间。局域网和Intranet技术用于企业内部，基本上结束了单机应用的历史，也只有网络技术的发展才使得CAD与CAM、CAPP、PDM和ERP等系统实现一体化成为可能。互联网和电子商务的发展，将重要的商务系统与关键支持者(客户、雇员、供应商、分销商)连接起来。为配合电子商务的发展，CAD系统必须实现远程设计。目前国际上大多数企业的CAD系统基本能实现通过网络收集客户需求信息，并完成部分设计进程。