程序设计方法与优化2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

程序设计方法与优化PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

目录3

第一部分 基础篇3

第1章 绪论3

1.1 程序设计方法的发展3

1.2 程序设计的一般方法9

1.2.1 程序设计语言简介9

1.2.2 三种基本的程序结构10

1.2.3 程序设计的基本方法要素11

1.2.4 程序设计风格15

1.3 程序设计的表示方法18

1.3.1 程序流程图18

1.3.2 判定表20

1.3.3 过程设计语言（PDL）22

小结27

第2章 程序算法与图灵机模型29

2.1 算法概念29

2.2.1 图灵机概念31

2.2 图灵机模型31

2.2.2 二进位码的数据表示39

2.2.3 非自然数的表示43

2.3 通用图灵机44

2.4 希尔伯特问题的不可解性48

小结53

第二部分 方法篇57

第3章 结构化程序设计方法57

3.1 结构化程序设计的基本思想57

3.1.1 结构化程序设计的概念与标准结构57

3.1.2 结构化程序设计的判别60

3.1.3 结构化程序设计的步骤与原理61

3.2 逐步求精的方法62

3.3 改进的N-S图66

3.4 非结构化程序到结构化程序的转化70

3.4.1 非结构化程序转化为结构化程序的一般方法70

3.4.2 非结构化程序转化为结构化程序的实例72

小结75

第4章 面向对象程序设计方法76

4.1 面向对象程序设计的基本思想76

4.1.1 面向对象程序设计的概述76

4.1.2 面向对象方法的理论基础82

4.1.3 面向对象程序设计的方法与步骤86

4.2 面向对象程序设计中的继承机制91

4.3 面向对象程序设计中的多态性99

4.3.1 多态性的实现方式99

4.3.2 多态性在程序设计中的应用107

4.4 面向对象方法与结构化方法的比又116

4.5 面向对象技术的未来发展121

小结125

第5章 组件化程序设计方法126

5.1 组件化程序设计的基本思想126

5.1.1 组件化程序的标准126

5.1.2 组件技术与面向对象技术的比又133

5.1.3 组件化程序的开发方法134

5.2 CORBA组件模型136

5.2.1 CORBA的相关概念136

5.2.2 CORBA中面向对象分析的方法与JavaIDL程序实例142

5.2.3 CORBA技术的新发展150

5.3 COM组件对象模型153

5.3.1 COM的相关概念153

5.3.2 COM组件开发方法与程序实例157

5.3.3 DCOM与COM＋技术175

5.4 EJB组件模型177

5.4.1 EJB的相关概念177

5.4.2 EJB组件的开发方法和程序实例181

5.4.3 EJB和其他技术的比又189

5.5 组件技术与软件体系结构192

小结196

6.1.1 递归算法的分析与设计方法198

第6章 递归程序设计方法198

6.1 递归程序设计的基本思想198

6.1.2 递归程序的公式化方法与程序实例200

6.1.3 递归方法的应用领域204

6.2 递归方法与树型结构206

6.3 递归方法与栈结构209

6.4 递归算法到非递归算法的变换211

小结217

第7章 嵌入式程序设计方法218

7.1 嵌入式程序设计的基本思想218

7.1.1 嵌入式系统的定义与特点218

7.1.2 嵌入式程序设计的关键技术和方法220

7.2 嵌入式实时操作系统分析226

7.3 嵌入式C/C＋＋语言程序设计方法229

7.3.1 嵌入式C语言程序设计方法229

7.3.2 嵌入式C＋＋语言程序设计方法234

7.4.1 嵌入式J2ME概述239

7.4 嵌入式J2ME程序设计方法239

7.4.2 MIDP在仿真器上的程序设计与实例244

小结248

第8章 程序的正确性证明250

8.1 证明程序正确性的Floyd断言方法250

8.1.1 基本概念与定义250

8.1.2 部分正确性的证明251

8.1.3 终止性证明253

8.2 证明程序正确性的Hoare公理系统255

8.2.1 Hoare逻辑255

8.2.2 Hoare公理系统中的简单公理和证明实例256

8.2.3 循环不变式的建立258

8.3 面向对象程序设计的正确性证明260

8.3.1 面向对象程序验证的特点260

8.3.2 类级正确性261

8.3.3 系统级正确性264

8.3.4 类级正确性与系统级正确性的关系与证明265

8.4 组件程序设计的正确性证明266

8.4.1 组件的描述266

8.4.2 组件的正确性验证271

8.5 用广义数学归纳法证明递归程序的正确性273

8.5.1 普通数学归纳法及应用实例274

8.5.2 广义数学归纳法在递归程序证明中的应用275

小结278

第三部分 优化篇281

第9章 程序计算复杂度的分析方法281

9.1 程序结构复杂度的分析281

9.1.1 程序结构复杂度的度量与建模281

9.1.2 结构复杂度度量的自动实现283

9.2 程序嵌套结构复杂度的分析285

9.3 递归函数时间复杂度的分析289

9.3.1 渐进算法分析289

9.3.2 递归函数的分析方法290

9.4 简化法则对程序算法时间复杂度的估算293

小结295

第10章 程序设计优化的方法296

10.1 程序优化的内容与基本方法296

10.1.1 程序优化的内容与原则296

10.1.2 程序结构优化的基本方法298

10.1.3 程序代码优化的基本方法299

10.2 算法剖析与程序优化303

10.3 常用高级程序语言的优化305

10.3.1 C程序的常用优化方法305

10.3.2 C＋＋程序的常用优化方法314

10.3.3 Java程序性能的优化方法329

10.3.4 ASP程序性能的优化方法343

10.3.5 Prolog逻辑程序的优化方法349

10.4 32位汇编指令的常用优化方法358

小结365