向量化理论pdf电子书版本下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快] 温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页 直链下载[便捷但速度慢]   [在线试读本书]   [在线获取解压码]

向量化理论PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

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

第一章 引论 1

巨型计算机的兴起 1

巨型计算机与向量计算机 3

向量计算机的向量机制 5

在程序设计语言中的体现 6

向计算机科学理论提出的新课题 7

向量化理论的基本内容 9

显数据依赖关系识别能力概览 10

向量化理论的用途 14

第二章 向量高级语言VFORTRAN 17

简单数组对象 17

数组表达式 19

数组赋值 21

标量扩张与置界语句 23

数组片断 26

含有数组片断的数组表达式 29

条件数组赋值 32

数组用作过程参数与数组结构询问函数 35

第三章 下标追踪法的基本理论 39

可向量化的精确描述 39

限制条件 41

时序层次 44

年长顺序定理 47

可向量化判别准则 51

第四章 下标追踪法的工程化 56

循环体的最简形式 56

层次片断定理 59

计算实例 62

A1型赋值语句循环 67

A型赋值语句循环 71

一般的赋值语句循环 75

实现算法 80

第五章 强化定理 88

数据依赖关系的不确定因素 88

时序层次的抽象表示 91

不确定性引起的数据依赖关系的变化 94

循环中的偏序 99

强化定理 103

在赋值语句循环中的应用 106

在赋值语句循环中的应用（续） 111

第六章 IF语句的向量化 116

I0型循环 116

闭合定理和判别定理 120

再识别技术 125

再改写技术 137

向量化目标程序的优化 145

I1型循环 152

第七章 三叉控制转移的程序变换 159

三叉控制转移的表达形式 159

程序变换应满足的集合方程 162

〈t1，t2，m，t3，n〉型组合方式的嵌入载体 165

〈t1，t2，t3，m，n〉型组合方式的嵌入载体 170

〈t1，t2，t3，n，m〉型组合方式的嵌入载体 175

程序变换目标程序的优化 180

退化情形 190

G型循环 194

实现算法 202

一个综合性实例 213

第八章 离散层次 217

离散层次的概念 217

具有离散层次的A型循环的可向量化性质 222

向I0型循环的拓广 223

时序层次离散性的判别方法 226

一个简单的具有离散层次的循环类 232

下标表达式单调变化的循环类 235

反原形与拟离散性 241

第九章 简洁循环与冗余循环 249

简洁循环与冗余循环的概念 249

A型简洁循环与A型冗余循环 251

同态定理 253

向I0型循环的拓广 258

向I1型和G型循环的拓广 263

第十章 向多重循环的拓广 265

多重循环的最内层循环 265

多重A型循环 268

多重层次片断定理 272

多重I0型循环 275

多重I1型和G型循环 282

多重循环的数组化 285

参考文献 290