中国科技论文在线

上传时间

2011年01月14日

曾振柄，符红光），），钟秀琴），曾振柄）

计算机学报，2006，29（10）：1869～1875，-0001，（）：

-1年11月30日

从人的思维模式和技巧出发，通过观察专家直觉导出了一套三角函数化简规则链表。利用这套规则链表进行推理可以有效地化简一些对人工推导来说也有一定难度的三角函数表达式，同时产生可读的化简过程。有关算法已用Lisp编程实现。文中将它与aple9和Mathematica作了测试对比，结果显示在三角函数化简功能方面作者的软件明显优于Maple和Mathematica。

三角函数化简，组合规则，规则链表，可读证明，自动推理

368浏览
0点赞
0收藏
0分享
352下载
0

引用

上传时间

2011年01月14日

【期刊论文】一种基于图论的计算蛋白质数据库代表序列的算法

曾振柄，刘鹏飞，，蔡煜东·

计算机与应用化学，2008，25（5）：607～610，-0001，（）：

-1年11月30日

摘要

许多生物序列数据库中都含有大量的冗余序列，这些序列通常不利于对数据库的统计分析和处理，而且它们要战胜更多的计算存储和处理资源。针对这个问题，本文中我们设计了一种去除蛋白质冗余序列的算法。该算法基于图论最大独立集的概念来生成非冗余序列集合，对目前存在的不少蛋白质去冗余程序所采用的由Hobohm和Sander最早设计的一种首先将序列分成若干簇然后取出代表序列的算法进行了改进，使得生成了更多的非冗余代表序列集合，避免了一些非冗余的序列也被去除。我们开发出了实现该算法的程序FastCluster，可以用来去除蛋白质数据库中的冗余序列。

生物信息学，最大独立集，代表序列，去冗余