图书介绍
形式化框架下置换和查找类算法的组装生成PDF|Epub|txt|kindle电子书版本网盘下载
- 石海鹤著 著
- 出版社： 北京：科学出版社
- ISBN：9787030522139
- 出版时间：2017
- 标注页数：147页
- 文件大小：23MB
- 文件页数：157页
- 主题词：算法设计
PDF下载
下载说明
形式化框架下置换和查找类算法的组装生成PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第1章 引言1
1.1 研究背景1
1.2 研究目标和内容2
1.3 本书组织结构5
第2章 算法程序自动化方法概述6
2.1 基于演绎推理的方法6
2.2 程序变换方法9
2.2.1 横向变换11
2.2.2 纵向变换12
2.2.3 广义纵向变换16
2.3 基于归纳推理的方法19
2.4 基于机器学习和进化的方法21
2.5 模型驱动软件开发方法21
2.6 生成式程序设计方法22
2.7 分析与小结23
第3章 PAR方法25
3.1 循环不变式新定义和新开发策略26
3.2 语言27
3.2.1 Radl规约及其变换规则28
3.2.2 Radl算法表示法31
3.3 算法程序开发方法31
3.4 分析与小结32
第4章 基于PAR的算法形式化开发34
4.1 自动问题分划35
4.2 启发式规约变换40
4.3 一个实例43
4.4 小结49
第5章 置换和查找类算法生成模型50
5.1 置换问题的代数性质50
5.2 领域分析52
5.3 领域设计55
5.4 排序算法类构件实现57
5.4.1 类型构件SortingList57
5.4.2 类型构件Heap74
5.4.3 算法构件DBPSort77
5.4.4 算法构件UBPSort81
5.4.5 算法构件HSort85
5.5 查找算法类构件实现85
5.5.1 类型构件SearchingList85
5.5.2 类型构件Hash88
5.5.3 算法构件UnorderSearch92
5.5.4 算法构件OrderSearch94
5.6 小结96
第6章 置换算法程序生成98
6.1 荷兰国旗问题98
6.1.1 平衡分划求解98
6.1.2 非平衡分划求解102
6.1.3 算法分析和扩展103
6.2 基于DBP分划的排序算法104
6.2.1 归并排序104
6.2.2 插入排序105
6.2.3 二分插入排序106
6.2.4 其他排序算法106
6.3 基于UBP分划的排序算法107
6.3.1 快速排序107
6.3.2 选择排序107
6.3.3 冒泡排序108
6.3.4 堆排序108
6.4 其他类排序算法108
6.4.1 H-增量排序108
6.4.2 双向选择排序111
6.5 系统支持117
6.6 小结118
第7章 查找算法程序生成121
7.1 无序查找121
7.1.1 递归查找121
7.1.2 线性查找122
7.1.3 散列表查找122
7.1.4 其他查找算法125
7.2 有序查找125
7.2.1 有序线性查找125
7.2.2 二分查找126
7.2.3 二叉树查找126
7.2.4 其他查找算法127
7.3 系统支持127
7.4 小结128
第8章 总结与讨论130
8.1 相关工作比较130
8.2 主要内容和贡献132
8.3 进一步的工作134
参考文献136
附录 Radl规约文法145