王振宇教授論文集

王振宇教授論文集

《王振宇教授論文集》是2006年3月2日清華大學出版社出版的一本圖書,作者是王振宇。

基本信息

基本介紹

作者:

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

相關詞條

相關搜尋

熱門詞條

聯絡我們