生物序列比对动态规划算法的统一形式化构造与Isabelle验证
序列比对是生物序列分析中的一个经典问题,旨在找出序列之间的相似性,它对于发现生物序列中的功能、结构和进化信息都具有重要的意义.该问题可分为双序列比对和多序列比对2类,现有工作多针对特定算法展开,没有设计通用的求解方法;此外,甚少涉及算法可信性的研究....
计算机研究与发展
2025年01期
立即查看 >
图书推荐
相关工具书