形式化开发多序列比对算法PDF电子书下载

查看更多关于的内容

第一章 引言 1

第二章 形式化软件开发方法概述 4

2.1 形式化方法 4

2.2 形式化软件开发方法及其研究意义 4

2.2.1 形式化软件开发方法 4

2.2.2 形式化软件开发方法的分类 5

2.3 国内外研究现状及存在的问题 6

2.3.1 VDM方法（Cliff Jones） 6

2.3.2 Z方法（Spivey） 7

2.3.3 RAISE方法（Nielsen） 8

2.3.4 B方法（J.R.Abrial） 8

2.3.5 PAR方法（Xue） 9

第三章 序列比对算法研究及相关理论 15

3.1 概述 15

3.2 产生式编程 20

3.3 领域工程 22

第四章 多序列比对算法领域分析 25

4.1 替换矩阵和罚分模型 25

4.1.1 替换矩阵 25

4.1.2 罚分模型 27

4.2 目标函数 28

4.3 双序列比对算法 29

4.4 多序列比对算法 31

4.5 系统发生树的生成算法 34

第五章 MSAA构件设计与实现 35

5.1 MSAA领域模型设计 35

5.1.1 领域分析过程 35

5.1.2 领域设计过程 36

5.1.3 渐进式比对算法设计 37

5.2 构件的形式化实现 40

5.3 Clustal W算法的装配实现 44

5.4 基于Apla-C＋＋转换的算法装配 45

5.4.1 Apla转换成C+++ 45

5.4.2 实验结果与分析 48

第六章 序列比对算法构件装配平台实现 50

6.1 平台需求分析 50

6.2 平台系统设计 51

6.2.1 总体架构 51

6.2.2 功能架构 53

6.2.3 详细设计 54

6.3 平台演示 56

结束语 59

参考文献 60

查看更多关于的内容