检索 | 畅想之星电子书

大家都在搜

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

作者：

石海鹤，张旭初著

出版社：

江西高校出版社

出版时间：2020.12

ISBN：978-7-5762-0520-6

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