信念修正的实现方法

本文对信念修正的典型方法,如基于语法结构的方法,基于模型测试方法,修正理论,修正理论基础,重复方法等用我们的算法来实现,并且完成了其相关工作。

Analysis of the characteristic sequence of intein and revision of its motifs

Since the first intein (Sce VMA) was found in Saccharomydes cerevisiae ATPases gene in 1990, more and more inteins were identified. It is necessary to analyze the new inteins to understand the sequence charateristics of inteins. By searching protein and n