形式化开发多序列比对算法

数字资源平台 > 理学> 数学> 计算数学> 形式化开发多序列比对算法

形式化开发多序列比对算法

作者：
石海鹤，张旭初著
出版社：
江西高校出版社

出版时间：
2020.12
ISBN：
978-7-5762-0520-6
主题：
最优化算法
中图法分类号：
O242.23
【中图法分类】
O 数理科学和化学 > O1数学 > O24计算数学
【学科分类】
理学 > 数学 > 计算数学

建议阅读终端：

在线试读

PDF格式

编辑推荐

简介

暂无推荐

简介

本研究以形式化方法PAR为基础，综合运用抽象、演绎、泛型等相关方法和机制，探索面向效率的算法演算法则/策略。通过对多序列比对算法族的研究，发现多序列比对算法领域(Domain of Multiple Sequence Alignment Algorithm,MSAA)包含双序列比对算法、启发式多序列比对算法、系统发生树生成算法以及目标函数。

展开 ∨

评分：

评价：

请输入评论信息

0/255 我要评论