手机知网 App
24小时专家级知识服务
打 开
生物学
手机知网首页
文献检索
期刊
工具书
图书
我的知网
充值中心
生物序列比对动态规划算法的统一形式化构造与Isabelle验证
江西师范大学计算机信息工程学院;
江西师范大学软件学院
|
石海鹤
蓝孙文
刘日明
石海鹏
王岚
钟林辉
开通知网号
序列比对是生物序列分析中的一个经典问题,旨在找出序列之间的相似性,它对于发现生物序列中的功能、结构和进化信息都具有重要的意义.该问题可分为双序列比对和多序列比对2类,现有工作多针对特定算法展开,没有设计通用的求解方法;此外,甚少涉及算法可信性的研究....
机 构:
江西师范大学计算机信息工程学院;
江西师范大学软件学院;
领 域:
生物学;
生物医学工程;
自动化技术;
关键词:
序列比对;
PAR方法;
形式构造;
Isabelle定理证明器;
0
194
开通会员更优惠,尊享更多权益
下载PDF版
手机阅读本文
下载APP 手机查看本文
计算机研究与发展
2025年01期
立即查看 >
相似文献
期刊
硕士
博士
会议
报纸
加载中
更多
暂无数据
图书推荐
更多
相关工具书
更多
搜 索