预估到手价是按参与促销活动、以最优惠的购买方案计算出的价格(不含优惠券部分),仅供参考,未必等同于实际到手价。
-
>
宇宙、量子和人类心灵
-
>
考研数学专题练1200题
-
>
希格斯:“上帝粒子”的发明与发现
-
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁
-
>
二十四史天文志校注(上中下)
-
>
声音简史
-
>
浪漫地理学:追寻崇高景观
刘薰宇的数学三书:原来数学可以这样学全3册
¥34.2¥118.0格林斯潘传
¥76.5¥149.9泰山健康长寿秘典:三六九健身法
¥29.7¥99.0数学的魅力;初等数学概念演绎
¥7.7¥22.0全职太太
¥13.4¥42.0
并行性分析的数学原理 版权信息
- ISBN:9787312030024
- 条形码:9787312030024 ; 978-7-312-03002-4
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>>
并行性分析的数学原理 本书特色
本书既是计算机工程技术领域的理论专著,又是用抽象数学解决工程技术实际问题的应用专著。它囊括了(微积分学开创、由微分方程和复变函数等继承与发展的)精确思维与(概率论与数理统计和信息论开创、由模糊数学等发扬光大的)不精确思维,并包括“纯粹”数学中近世代数在内的几十门数学分支,运用于应超级电脑之运而生的并行处理这一工程技术前沿,获得巨大的成功。其内容基本按“公理一定义一引理一定理一证明一推论一应用”的数学演绎体系编写,以满足关系国计民生的高科技所要求的正确性与可靠性;它也是作者近半个世纪跨应用数学与计算机科学两大专业方向科研成果的结晶,由于透彻地把握住了本质,有能力深入浅出地展现给读者。 全书共14章,内容几乎穷尽硬件,语言,以及语句、变量、元素、指令、迭代等五大相关视图,以及离散与简洁、分割与分布、并行死锁等并行处理软件涉及的所有方面。 本书可供计算机科技工作者、大专院校师生,特别是有志于把抽象数学与工程技术相结合的科研人员阅读。
并行性分析的数学原理 内容简介
本书共14章,内容几乎穷尽硬件,语言,以及语句、变量、元素、指令、迭代等五大相关视图,以及离散与简洁、分割与分布、并行死锁等并行处理软件涉及的所有方面。
并行性分析的数学原理 目录
总序序**章 硬件并行设施 1.1 计算机并行性的发展 1.2 流水线并行原理 1.3 多向量流水 1.4 向量指令系统与向量汇编语言 1.5 阵列与数据流方式 1.6 多核芯片 1.7 紧耦合多处理机 1.8 松耦合多计算机 1.9 集群 1.10 单体巨型机 1.11 复体巨型机 1.12 源于小微巨型机的可伸缩性 1.13 云计算平台第二章 语言并行机制 2.1 vfortran语言 2.2 三元挑选符与下标对应规则 2.3 向量函数 2.4 向量过程 2.5 流水线处理 2.6 向量链接 2.7 向量屏蔽 2.8 数组运算 2.9 pfortran语言 2.10 hpf语言 2.11 bxc语言 2.12 时序算子 2.13 控制结构 2.14 点对点通信 2.15 并行程序设计第三章 显数据相关性的三种视图 3.1 并行处理的三种粒度 3.2 相关依赖等价条件下的并行处理 3.3 单层赋值循环的适应性 3.4 临时变量与归纳变量 3.5 三种赋值与限制条件 3.6 繁衍层次 3.7 结合链同体链与年长顺序定理 3.8 元素间的优先关系 3.9 数据相关与输人相关第四章 语句视图与依赖片断 4.1 语句问的相关依赖 4.2 语句图与并行性判别 4.3 解析判别法与非整除规则 4.4 变序点 4.5 a0型循环的层次片断 4.6 计算实例 4.7 a1型和a型循环的层次片断 4.8 循环体的*简形式 4.9 指令级的并行性 4.10 加权汇编语句图第五章 变量视图 5.1 坐标方法 5.2 超平面方法 5.3 相关分析方法 5.4 图论方法 5.5 统一的解析判别法 5.6 拓扑排序 5.7 临时数组与暂存语句 5.8 改写算法第六章 元素视图 6.1 以元素为结点的困难和片断的概念 6.2 有待跨越的“鸿沟” 6.3 判别准则 6.4 判别举例 6.5 等价类与r—p逆对所引起的暂存 6.6 时序层次等价类的数学抽象 6.7 结点的数学抽象 6.8 循环间包含关系的直观含义 6.9 生存带的胀缩 6.10 包含关系的数学表示 6.11 强化定理 6.12 偏序结构 6.13 比较判别法及其在循环体上的应用 6.14 比较判别法在取值点集合上的应用 6.15 元素视图a型算法全过程第七章 控制依赖向数据依赖的转换 7.1 不定因素与参数集 7.2 10型循环及其闭体 7.3 10型循环的并行处理 7.4 关于10型循环并行的充要条件 7.5 再识别算法 7.6 再改写算法 7.7 优化算法 7.8 识别改写优化链 7.9 两道例题演示10型算法全过程第八章 多岔控制转移的结构化重构 8.1 简单三岔控制转移 8.2 三岔控制转移的完备形式 8.3 程序变换应满足的集合方程 8.4 (t1,t2,m,t3,n>型组合方式的嵌入载体 8.5 (t1,t2,t3,m,n>型组合方式的嵌入载体 8.6 (t1,t2,t3,n,m)型组合方式的嵌入载体 8.7 程序变换目标程序的优化 8.8 退化情形 8.9 简单多岔控制转移 8.10 简单多岔控制转移的并行处理 8.11 多岔控制转移的完备形式 8.12 双阶律 8.13 完备形式多岔控制转移的结构化变换 8.14 gn型计算实例 8.15 结构化的多岔控制转移 8.16 gns型计算实例 8.17 g型实现算法第九章 离散连通与简洁冗余 9.1 离散层次的概念 9.2 具有离散层次的a型循环的可并行性质 9.3 向10型循环的拓广 9.4 时序层次离散性的判别方法 9.5 一类简单的具有离散层次的a型循环 9.6 一类简单的具有离散层次的10型循环 9.7 下标表达式单调变化的循环类 9.8 下标表达式单调变化的例题 9.9 反原形与拟离散性 9.10 简洁循环与冗余循环的概念 9.11 a型简洁循环与a型冗余循环 9.12 同态定理 9.13 向10型循环的拓广 9.14 向11型和g型循环的拓广第十章 分部并行与循环分布 10.1 从并行的本质把握分部并行 10.2 分部并行的两种手段 10.3 循环分布与局部并行 10.4 从元素视图考查循环分布 10.5 语句团 10.6 语句团顺序 10.7 语句团的复杂组合 10.8 孤立非线性下标“奇异”团 10.9 向控制结构的分布 10.10 向句内成分的分布 10.11 其他“奇异”现象举例第十一章 变序点分割 11.1 先分布后分割 11.2 变序点概念的精确描述 11.3 **类实变序点· 11.4 第二类实变序点 11.5 第三类实变序点 11.6 变序点的重叠 11.7 变序点的组合 11.8 变序点的萎缩 11.9 控制结构的变序点分割 11.10 综合实例第十二章 递归分割与并行划分 12.1 递归关系及其对并行性的否定 12.2 循环中递归的成因 12.3 递归的分割 12.4 等长递归分割算法 12.5 变长的递归分割 12.6 完善的关键边组析取算法 12.7 全程递归分割算法 12.8 片断分割与稳态目标搜索算法 12.9 片断递归分割算法 12.10 片断递归分割举例 12.11 控制结构的递归分割 12.12 并行划分中的次序与迭代视图 12.13 迭代结点与并行划分举例第十三章 向多重循环的拓广 13.1 多重循环的*内层循环 13.2 多重a型循环 13.3 多重层次片断定理 13.4 多重10型循环 13.5 多重11型和g型循环 13.6 多重循环的数组化第十四章 并行死锁的静态检测 14.1 预备知识 14.2 mpi同步通信死锁检测基本理论 14.3 mpi同步通信顺序模型死锁静态检测算法 14.4 比例方程组与mpi同步通信静态死锁检测 14.5 死锁检测算法实现与基于素数序列的哈希表性能优化 14.6 mpi同步通信嵌套循环模型死锁检测 14.7 全节点空间mpi同步通信死锁检测 14.8 mpich同步通信程序死锁判定框架性算法 14.9 结论附录一 从“银河”到“天河”附录二 对范植华并行处理理论与工程成果的专家评价参考文献
并行性分析的数学原理 作者简介
范植华,中国科学院软件研究所二级研究员,博士生导师,天基综合信息 系统国家重点实验室首任首席科学家兼总工程师。1942年生于南京,1960 年考人中国科学技术大学应用数学与电子计算机系,1965年本科毕业于其 应用数学专业,分配至中国人民解放军军事工程学院/国防科学技术大 学从事计算机软件科研与教学;1978年考入中国科学院研究生院,1981年 毕业于中国科学院计算技术研究所计算机科学专业;1987年调入中华人 民共和国国防科学技术工业委员会;1991年到中国科学院软件研究所工作 至今。在应用数学和计算机科学两个领域具有坚实的理论基础和系统深 入的专业知识,善于将理论与实践相结合,从工程应用中提炼尖端理论 问题,灵活运用现代数学工具合理解决后反哺工程实践。在并行处理与实 时处理两大前沿领域,分别首创元素视图理论与专用实时母系统理论,近 年来又在软件系统自动生成方面,做出国际领先水平的创造性成果。发表 学术论文百余篇,出版学术专著三部《向量化理论》,科学出版社,1990; 《数据相关性理论及其在并行处理中的应用》,科学出版社,1999;《并行 性分析的数学原理》,中国科学技术大学出版社,2014)。退休后在中国科 学院大学讲授“并行性分析的数学原理”课程,在历年教学奖评中保持各 项指标全优。
- >
史学评论
史学评论
¥23.2¥42.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
自卑与超越
自卑与超越
¥29.9¥39.8 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥17.4¥58.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥24.9¥49.8 - >
随园食单
随园食单
¥15.4¥48.0 - >
推拿
推拿
¥12.2¥32.0
-
怎样解题
¥17.2¥29 -
自然哲学的数学原理-拟定经典力学世界图景的旷世巨典-全新修订本
¥39.4¥58 -
数学-应用与思考
¥16.1¥32.8 -
数学万花筒 修订版
¥32.4¥49 -
数学万花筒-夏尔摩斯探案集-3
¥30.1¥39 -
新型元启发式算法及其应用
¥77.4¥98