在快速解决计算量大、数据密集型问题时,人们越采越认识到并行处理是惟一节省成本的方法。价格低廉的并行计算机(如商用桌面多处理机和工作站机群)的出现,使得这种并行方法的适用范围越来越广。现在已经为可移植的并行程序设计制定了专门的软件标准,为并行软件的大幅度发展打好了基础。 事务处理、信息检索、数据挖掘和分析以及多媒体服务等数据密集型应用已经为当代的并行平台提供了新的挑战。计算生物学和纳米技术等新兴的领域对并行计算的算法和系统开发提供了前瞻性的启示,而体系结构,编程模型和应用中的变化对如何使用户以网格服务形式得到并行平台也提供了一些启发。 本书讨论了这些新技术的发展,也覆盖了并行计算机处理的较传统的问题。本书尽可能采用与体系结构无关的观点来对待抽象模型的底层平台和设计算法。书中选
第Ⅰ部分是密码学与信息安全的入门性介绍。第Ⅱ部分介绍学习本书的数学背景知识,也可作为学习现代密码学理论基础的系统背景知识。第Ⅲ部分介绍提供保密和数据完整性保护最基本的密码算法和技术。第Ⅳ部分介绍应用密码学和信息安全中一个重要的概念认证。第Ⅴ部分对公钥密码技术(加密、和签密)的强(实用)安全性概念进行严格的形式化处理,并给出认证协议的形式化分析方法。第Ⅵ部分包括两个技术章节和一个简短的评述。 本书适合大学本科生、在高科技公司从事信息安全系统设计和开发的安全工程师、企业信息安全系统管理人员或者生产安全产品的软/硬件开发商以及刚开始从事密码学或计算机安全方面研究的博士生等使用。
非线性系统的研究近年来受到越来越广泛的关注,国外许多工科院校已将“非线性系统”作为相关专业研究生的学位课程。本书是美国密歇根州立大学电气与计算机工程专业的研究生教材,全书内容按照数学知识的由浅入深分成了四个部分。基本分析部分介绍了非线性系统的基本概念和基本分析方法;反馈系统分析部分介绍了输入-输出稳定性、无源性和反馈系统的频域分析;现代分析部分介绍了现代稳定性分析的基本概念、扰动系统的稳定性、扰动理论和平均化以及奇异扰动理论;非线性反馈控制部分介绍了反馈控制的基本概念的反馈线性化,并给出了几种非线性设计工具,如滑模控制、Lyapunov再设计、反步法、基于无源的控制和高增益观测器等。此外本书附录还汇集了一些书中用到的数学知识,包括基本数学知识的复习、压缩映射和一些较为复杂的定理证明。