《王振宇教授論文集》是2006年3月2日清華大學出版社出版的一本圖書，作者是王振宇。
基本介紹
- 書名：王振宇教授論文集
- 作者：王振宇
- ISBN：9787302125518
- 定價：140元
基本介紹,圖書簡介,目錄,
基本介紹
作者：
ISBN：
定價：
印次：1-1
裝幀：紙面圓脊精裝
印刷日期：2006-3-2
圖書簡介
承徐寶文、孫潮義、曹萬華等君的盛意，出版了這本論文集。連同國防工業出版社出過的《樹枚舉與算法複雜性分析》、《程式複雜性度量》和《Ada軟體開發技術》，大致能反映走過的路、喝過的水、摔過的跤，以及偶有的所得。整理過程中，常自覺淺陋，但那已是歷史。倘若能重來，有些事是不會那么做的，有些文章也是不會那么寫的。不過，“倘若”，只能是“倘若”，這一段歷史只能這么交代了。感謝論文集中收錄的論文的合作者——其中的絕大多數曾是我的碩士生或博士生。我的面前常常浮現他們年輕、鮮活的面容，在蒐集這些合作論文的時候就更加如此了。他們中間大多數和我仍有經常的聯繫，雖然有的遠隔千萬里，有的在我周圍工作。做了二十多年研究生導師，交了這么多青年朋友，實乃一段人生值得回憶的經歷和享受。
目錄
第1部分理論數學(函式論)1
全純函式的某些性質3
整函式的正規上升性及值的分布12
關於整函式的Weierstrass函式20
整函式的一個插補問題(英文)25
無限級整函式的插補問題42
整函式係數的聚值方向及其對封閉性問題的套用49
第2部分計算數學55
I01逼近與多項式計算中的係數捨入57
I01逼近與多項式計算中的係數捨入(續)71
第3部分樹枚舉與算法複雜性分析79
有序樹的幾個性質(英文) 81
有向樹上的幾個組合問題(英文)83
關於樹的帶次數路徑長度問題88
有序樹上的幾個組合問題(英文)93
關於自由樹的端點數(英文)97
樹上的可加枚舉問題(英文)101
t叉樹上的幾個組合問題(英文)108
t叉樹上的一個計數問題(英文)113
有序樹上的一個計數問題(英文)117
樹的幾個計數問題123
可加複雜性算法理論(英文)125
再論樹上的可加枚舉問題(英文)131
有序樹上的幾個等分問題(英文)137
樹枚舉與樹算法複雜性計算(英文)145
有向樹上的可加枚舉問題151
關於有序樹的結點枚舉與結點路徑長度(英文)153
遞歸樹的若干枚舉特徵(英文)158
BB圖的枚舉特徵169
第4部分Ada 語言、編譯與工具173
Ada語言分別編譯及其實現175
對抽象、封裝和單元層次結構的基於Ada的支持(英文)184
ρ圖：Ada並發程式的會合次序圖(英文)198
領域專用的面向對象軟體開發(英文)210
為Ada95引入A型對象215
並發對象Ada95 代碼的自動生成(英文)222
關於Ada軟體設計圖元的最佳化(英文)229
Ada中分散化的基於事件的隱式調用(英文)236
Omega: 一個易於達到Ada目的的統一對象模型（英文）248
提高Ada並發效率的一種途徑273
程式樹的快速定位算法281
第5部分程式複雜性度量287
程式的結構路徑複雜性度量289
SSACC: 基於軟體科學法的Ada並發複雜性度量301
基於會合關係的Ada 並發複雜性度量(英文)306
第6部分軟體工程、工具與環境315
單一語言：通向集成化軟體開發環境的一種途徑(英文)317
面向對象的可重用軟部件庫系統的設計與實現321
PERTS：一個實時軟體原型建造環境的設計與實現328
關於軟體標本重用技術的研究338
並發軟體的圖形化設計方法研究344
第7部分軟體體系結構351
CHAM的擴展與套用(英文)353
軟體體系結構在艦載指揮控制系統中的套用362
基於體系結構模型檢查分散式控制系統367
可擴展和可配置事件通知服務體系結構的研究381
TFSP：一種分散式實時系統的形式化描述工具395
一種基於ADL規格說明的實時系統測試用例生成方法研究402
王振宇教授的主要成就與貢獻409
王振宇教授的主要著作目錄412
感謝師恩——編者後記(徐寶文)420
