返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 正版新书]并行性分析的数学原理范植华 著9787312030024
  • 全店均为全新正版书籍,欢迎选购!新疆西藏青海(可包挂刷).港澳台及海外地区bu bao快递
    • 作者: 范植华 著著 | 范植华 著编 | 范植华 著译 | 范植华 著绘
    • 出版社: 中国科学技术大学出版社
    • 出版时间:2014-08-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    君凤文轩图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 范植华 著著| 范植华 著编| 范植华 著译| 范植华 著绘
    • 出版社:中国科学技术大学出版社
    • 出版时间:2014-08-01
    • 版次:1
    • 印次:1
    • 印刷时间:2014-08-01
    • 字数:970000.0
    • 页数:824
    • 开本:16开
    • ISBN:9787312030024
    • 版权提供:中国科学技术大学出版社
  • 作者: 范植华 著
  • 著: 范植华 著
  • 装帧: 平装
  • 印次: 1
  • 定价: 150
  • ISBN: 9787312030024
  • 出版社: 中国科学技术大学出版社
  • 开本: 16开
  • 印刷时间: 2014-08-01
  • 语种: 暂无
  • 出版时间: 2014-08-01
  • 页数: 824
  • 外部编号: 五三B185394
  • 版次: 1
  • 成品尺寸: 暂无
  • 总序

    章硬件并行设施
    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.1VFORTRAN语言
    2.2三元挑选符与下标对应规则
    2.3向量函数
    2.4向量过程
    2.5流水线处理
    2.6向量链接
    2.7向量屏蔽
    2.8数组运算
    2.9PFORTRAN语言
    2.10HPF语言
    2.11BXC语言
    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.5A0型循环的层次片断
    4.6计算实例
    4.7A1型和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.2I0型循环及其闭体
    7.3I0型循环的并行处理
    7.4关于I0型循环并行的充要条件
    7.5再识别算法
    7.6再改写算法
    7.7优化算法
    7.8识别改写优化链
    7.9两道例题演示I0型算法全过程
    第八章多岔控制转移的结构化重构
    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.14GN型计算实例
    8.15结构化的多岔控制转移
    8.16GNS型计算实例
    8.17G型实现算法
    第九章离散连通与简洁冗余
    9.1离散层次的概念
    9.2具有离散层次的A型循环的可并行性质
    9.3向I0型循环的拓广
    9.4时序层次离散性的判别方法
    9.5一类简单的具有离散层次的A型循环
    9.6一类简单的具有离散层次的I0型循环
    9.7下标表达式单调变化的循环类
    9.8下标表达式单调变化的例题
    9.9反原形与拟离散性
    9.10简洁循环与冗余循环的概念
    9.11A型简洁循环与A型冗余循环
    9.12同态定理
    9.13向I0型循环的拓广
    9.14向I1型和G型循环的拓广
    第十章分部并行与循环分布
    ……
    第十一章变序点分割
    第十二章递归分割与并行划分
    第十三章向多重循环的拓广
    第十四章并行死锁的静态检测
    附录一从“银河”到“天河”
    附录二对范植华并行处理理论与工程成果的专家评价
    参考文献

    范植华,中国科学院软件研究所二级研究员,博士生导师,天基综合信息系统国家重点实验室首任首席科学家兼总工程师。1942年生于南京,1960年考人中国科学技术大学应用数学与电子计算机系,1965年本科毕业于其应用数学专业,分配至中国人民解放军军事工程学院/国防科学技术大学从事计算机软件科研与教学;1978年考入中国科学院研究生院;1981年毕业于中国科学院计算技术研究所计算机科学专业;1987年调入中华人民共和国国防科学技术工业委员会;1991年到中国科学院软件研究所工作至今。在应用数学和计算机科学两个领域具有坚实的理论基础和系统深入的专业知识,善于将理论与实践相结合,从工程应用中提炼很好理论问题,灵活运用现代数学工具合理解决后反哺工程实践。在并行处理与实时处理两大前沿领域,分别首创元素视图理论与专用实时母系统理论,近年来又在软件系统自动生成方面,做出靠前靠前水平的创造性成果。发表学术论文百余篇,出版学术专著三部《向量化理论》,科学出版社,1990;《数据相关性理论及其在并行处理中的应用》,科学出版社,1999;《并行性分析的数学原理》,中国科学技术大学出版社,2014)。退休后在中国科学院大学讲授“并行性分析的数学原理”课程,在历年教学奖评中保持各项指标全优。

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购