程式設計方法與最佳化

《程式設計方法與最佳化》是2007年西安交通大學出版社出版的圖書，作者是覃征。

基本介紹

• 中文名：程式設計方法與最佳化
• 出版社：西安交通大學出版社
• 正文語種：簡體中文
• 尺寸：22.4x16.8x2cm
• 平裝：392頁
• ISBN：9787560518015
• 出版時間：2007年9月1日

作者簡介

覃征，清華大學信息學院、軟體學院教授，計算機科學與技術系博士生導師；西安交通大學計算機寫技術系教授、博士生導師；赴美高級訪問學者。擔任清華大學軟體工程與管理研究所所長、西安交通大學電子商務研究所所長等職，兼任國家科技獎勵評審專家、教育部科技獎勵評審專家組評審。主要研究方向為數據融合、軟體項目管理、電子政務、電子商務等。作為第一完成人，先後獲國家教育部科技進步一等獎1項、二等獎3項、軍隊科技進步獎3項、省級科技進步獎1項。在國內外重要期刊和會議發表論文數十篇，出版著作多部。已指導博士後、博士生、碩士生數十人。

內容簡介

《程式設計方法與最佳化》主要內容：電腦程式設計的基本概念、基本方法和常用程式語言的最佳化設計思想，用大量的程式實例說明了常用程式設計方法的實際套用和編程技巧。分10章，以三個部分介紹了程式設計的基礎知識、基本方法及其最佳化方法。第一部分概要介紹了程式設計方法的發展、程式設計的一般方法和表示方法，並描述了算法的概念和圖靈機模型；第二部分結合具體程式實例詳細講述了結構化程式設計方法、面向對象程式設計方法、組件化程式設計方法、遞歸程式設計方法、嵌入式程式設計方法和面向Agent的程式設計方法；第三部分介紹了程式計算複雜度的分析方法，對程式設計進行了定量的表示，並舉例說明了C/C++程式、Java程式、ASP程式、Prolog邏輯程式、32位彙編指令常用的最佳化內容、原則與方法。

目錄

第一部分 基礎篇

第1章 緒論

1.1 程式設計方法的發展

1.2 程式設計的一般方法

1.2.1 程式設計語言簡介

1.2.2 三種基本的程式結構

1.2.3 程式設計的基本方法要素

1.2.4 程式設計風格

1.3 程式設計的表示方法

1.3.1 程式流程圖

1.3.2 判定表

1.3.3 過程設計語言（PDL）

小結

第2章 程式算法與圖靈機模型

2.1 算法概念

2.2 圖靈機模型

2.2.1 圖靈機概念

2.2.2 二進位碼的數據表示

2.2.3 非自然數的表示

2.3 通用圖靈機

2.4 希爾伯特問題的不可解性

小結

第二部分 方法篇

第3章 結構化程式設計方法

3.1 結構化程式設計的基本思想

3.1.1 結構化程式設計的概念與標準結構

3.1.2 結構化程式設計的判別

3.1.3 結構化程式設計的步驟與原理

3.2 逐步求精的方法

3.3 改進的N-S圖

3.4 非結構化程式到結構化程式的轉化

3.4.1 非結構化程式轉化為結構化程式的一般方法

3.4.2 非結構化程式轉化為結構化程式的實例

小結

第4章 面向對象程式設計方法

4.1 面向對象程式設計的基本思想

4.1.1 面向對象程式設計的概述

4.1.2 面向對象方法的理論基礎

4.1.3 面向對象程式設計的方法與步驟

4.2 面向對象程式設計中的繼承機制

4.3 面向對象程式設計中的多態性

4.3.1 多態性的實現方式

4.3.2 多態性在程式設計中的套用

4.4 面向對象程式設計方法的軟體模式

4.4.1 代碼模式

4.4.2 設計模式

4.4.3 架構模式

4.5 面向對象方法與結構化方法的比較

4.6 面向對象技術的未來發展

小結

第5章 組件化程式設計方法

5.1 組件化程式設計的基本思想

5.1.1 組件化程式的標準

5.1.2 組件技術與面向對象技術的比較

5.1.3 組件化程式的開發方法

5.2 CORBA組件模型

5.2.1 CORBA的相關概念

5.2.2 CORBA中面向對象分析的方法與JavaIDL程式實例

5.2.3 CORBA技術的新發展

5.3 COM組件對象模型

5.3.1 COM的相關概念

5.3.2 COM組件開發方法與程式實例

5.3.3 DCOM與COM4+技術

5.4 EJB組件模型

5.4.1 EJB的相關概念

5.4.2 EJB組件的開發方法和程式實例

5.4.3 EJB和其他技術的比較

5.5 組件技術與軟體體系結構

小結

第6章 遞歸程式設計方法

6.1 遞歸程式設計的基本思想

6.1.1 遞歸算法的分析與設計方法

6.1.2 遞歸程式的公式化方法與程式實例

6.1.3 遞歸方法的套用領域

6.2 遞歸方法與樹型結構

6.3 遞歸方法與棧結構

6.4 遞歸算法到非遞歸算法的變換

小結

第7章 嵌入式程式設計方法

7.1 嵌入式程式設計的基本思想

7.1.1 嵌入式系統的定義與特點

7.1.2 嵌入式程式設計的關鍵技術和方法

7.2 嵌入式實時作業系統分析

7.3 嵌入式C/C++語言程式設計方法

7.3.1 嵌入式C語言程式設計方法

7.3.2 嵌入式C++語言程式設計方法

7.4 嵌入式JavaME程式設計方法

7.4.1 嵌入式JavaME概述

7.4.2 同JavaWirelessToolkit進行無線設備程式設計

小結

第8章 面向Agent的程式設計方法

8.1 關於Agent

8.2 面向Agent程式設計的產生背景

8.2.1 套用需求的變化

8.2.2 用戶期望的變化

8.3 面向Agent方法與面向對象方法的對比

8.4 面向Agent程式設計的邏輯基礎

8.4.1 可能世界語義

8.4.2 模態句子邏輯

8.4.3 BDI邏輯語法和語義

8.4.4 關於模態詞BEL、GOAL和INTTEND的公理體系

8.5 Agent程式語言

8.5.1 邏輯程式設計

8.5.2 AgentO語言

8.5.3 AgentSpeak語言

8.6 JACK開發環境

8.6.1 JACK框架簡介

8.6.2 JACK開發實例

8.7 JADE框架

8.7.1 JADE架構

8.7.2 JADE中Agent生命周期

8.7.3 JADE開發實例

小結

第三部分 最佳化篇

第9章 程式計算複雜度的分析方法

9.1 程式結構複雜度的分析

9.1.1 程式結構複雜度的度量與建模

9.1.2 結構複雜度度量的自動實現

9.2 程式嵌套結構複雜度的分析

9.3 遞歸函式時間複雜度的分析

9.3.1 漸進算法分析

9.3.2 遞歸函式的分析方法

9.4 簡化法則對程式算法時間複雜度的估算

小結

第10章 程式設計最佳化的方法

10.1 程式最佳化的內容與基本方法

10.1.1 程式最佳化的內容與原則

10.1.2 程式結構最佳化的基本方法

10.1.3 程式代碼最佳化的基本方法

10.2 算法剖析與程式最佳化

10.3 常用高級程式語言的最佳化

10.3.1 C程式的常用最佳化方法

10.3.2 C++程式的常用最佳化方法

10.3.3 Java程式性能的最佳化方法

10.3.4 ASP程式性能的最佳化方法

10.3.5 Prolog邏輯程式的最佳化方法

10.4 32位彙編指令的常用最佳化方法

小結

主要英文縮寫索引

參考文獻