演算法導論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系統基本能實現通過網路收集客戶需求信息，並完成部分設計進程。