信息化的科学梦 从计算机科学到信息化科学PDF电子书下载

第1章　信息化科学梦的浮出 1

1.1　计算机科学发展回顾 2

1.2　现代数学与计算机科学 5

1.3　计算机可读数学 9

1.4　信息化与形式化 22

第2章　计算理论 30

2.1　可计算性理论 31

2.2　算法理论 32

第3章　电子计算机 34

3.1　单机、多机到网络虚拟计算机 35

3.2　高阶无穷计算机 36

第4章　程序设计语言 38

4.1　300多种程序设计语言 39

4.2　永恒的C语言 41

第5章　计算机操作系统 42

5.1　单机与多机操作系统 43

5.2　应当开发多代理网格操作系统 45

第6章　计算机应用 47

6.1 可视化与代理化的管理信息系统（Agent MIS） 48

6.2　管理、监控系统和自动化控制系统 49

6.3　可视化与代理化服务技术的融合 51

第7章 网络系统与网络世界 52

7.1　走向多网融合的网络世界 53

7.2　可信信息基础设施网络的基本要求 55

第8章　软件工程与面向对象的程序设计 57

8.1　面向对象的程序设计（OOP） 59

8.2　面向模式的程序设计（MOP） 60

8.3　面向类型的程序设计（TOP） 61

8.4　面向视角的程序设计（Aspect-OP） 78

第9章　并发程序设计与面向代理（主体）的程序设计 80

9.1　传统的并发程序设计 81

9.2　类型程序设计方法支持并发程序设计 87

9.3　面向代理（主体）的程序设计（Agent-OP） 89

9.4　类型程序设计支持面向代理的程序设计 91

第10章　可视化与多媒体 95

第11章　光学计算与光学计算机 98

第12章　计算的理解科学（形式语义与形式说明） 100

12.1　形式语言理论 101

12.2　形式语义学与形式说明 102

第13章　系统集成 106

13.1 微软公司的软件集成平台OLE 107

13.2　DII COE段开发技术是更高层次的系统集成技术 111

第14章　统一建模语言（UML）与可扩展标记语言（XML） 113

14.1 统一建模语言（UML） 114

14.2 可扩展标记语言（XML）与Web技术 116

第15章　代理化 118

15.1　什么是代理技术 119

15.2　代理技术的基本特性 121

15.3　代理软件工程框架 124

15.4　代理技术工厂 133

第16章　互操作性平台理论 136

16.1　互操作性概念 137

16.2　互操作性的实现技术 140

16.3　互操作性带来的服务模式的改变 145

16.4　互操作性引发的安全问题 145

16.5　互操作性的测评认证问题 147

第17章　网络世界行为学 150

17.1　什么是网络世界（Cyber） 151

17.2　如何研究网络世界的行为学 152

17.3 网络世界行为语义描述方法的总要求 158

17.4　软件行为学是研究网络世界行为的语义学 159

第18章　信息化服务理论 172

18.1 网络世界的服务行为模式 173

18.2　代理化的网络服务 176

第19章　信息化安全理论 178

19.1 从关注网络安全到更加关注网络运营的安全 180

19.2 TCP从不可信开启的可信网络世界安全新模式 185

19.3　建立网络世界的独立安全理论体系 188

第20章　信息化监管理论 195

20.1　从监管业务进网谈起 196

20.2　要建立网络世界风险监管的多视角认识体系 197

20.3　用信息资产风险监管来构建监管体系的核心理念 200

20.4　网络世界风险监管理论体系 201

20.5　行为监管的形式化描述 207

第21章　信息化认证理论 210

21.1 公众服务认证需要组合密钥（CPK） 211

21.2　活性认证理念带来的变革 212

21.3　行为认证形式化描述 218

第22章　网络行为对抗理论 222

22.1 建立网格对抗的威慑力量 223

22.2　网络行为对抗理论 225

22.3　行为对抗形式化描述 228

22.4 网络虚拟军队主体行为结构描述 230

22.5　行为对抗的态势评估 237

第23章　群体计算理论 239

23.1　群体计算将改变计算理论的面貌 241

23.2　群体计算的行为分析器 244

第24章　人类信息化活动的行为学 250

24.1 人类信息化行为 251

24.2　可信息化条件讨论 255

第25章　信息化总体学与体系结构 257

25.1　体系结构研究实践及存在的问题 258

25.2　体系结构理论研究 266

第26章　可信网络世界体系结构框架（TCAF） 276

26.1　可信网络世界的可信概念 277

26.2　可信网络世界的平台概念 278

26.3　可信网络世界体系结构框架（TCAF） 279

第27章　信息化技术法规 286

第28章　信息化标准化理论 289

28.1　标准需要理论与体系结构的研究 290

28.2　用户标准体系 295

28.3　现代标准化是一种网络服务体系 296

第29章　信息化评估理论 297

29.2　评估有效性的再评估 298

29.1　信息化工作的价值评估是核心 298

第30章　信息化测评认证理论 302

30.1　信息技术的安全测评认证 304

30.2　测评认证的网络化服务 320

第31章　可信息化科学的形式化 323

31.1　计算是现代科学研究的第三支柱 324

31.2　可信息化科学的形式化关系到人类整个知识体系的世代传承伟业 325

第32章　哲学形式化 330

32.1 网络世界的哲学体系 331

32.2 中国哲学范畴最有希望发展为网络世界的哲学体系 332

第33章　信息化科学使命 334

附录A　研究问题清单 339

附录B　资源 352

参考文献 354