生物序列比對(duì)動(dòng)態(tài)規(guī)劃算法的統(tǒng)一形式化構(gòu)造與Isabelle驗(yàn)證

摘要： 序列比對(duì)是生物序列分析中的一個(gè)經(jīng)典問(wèn)題，旨在找出序列之間的相似性，它對(duì)于發(fā)現(xiàn)生物序列中的功能、結(jié)構(gòu)和進(jìn)化信息都具有重要的意義.該問(wèn)題可分為雙序列比對(duì)和多序列比對(duì)2類(lèi)，現(xiàn)有工作多針對(duì)特定算法展開(kāi)，沒(méi)有設(shè)計(jì)通用的求解方法；此外，甚少涉及算法可信性的研究.從生物序列比對(duì)問(wèn)題的形式化規(guī)約出發(fā)，通過(guò)深入分析問(wèn)題的性質(zhì)，刻畫(huà)問(wèn)題求解的本質(zhì)特征，借助形式化方法 PAR(partition a... （共13頁(yè)）