论文部分内容阅读
本文系统介绍了生物信息学中的非常重要的序列比对问题，并针对带约束的星形多序列比对进行了深人的研究，证明了在某些给定的打分矩阵下，带约束的星形多序列比对是不存在常数近似度的多项式算法。
带约束星形序列比对复杂性的研究
【摘 要】
：
本文系统介绍了生物信息学中的非常重要的序列比对问题，并针对带约束的星形多序列比对进行了深人的研究，证明了在某些给定的打分矩阵下，带约束的星形多序列比对是不存在常数近似度的多项式算法。
【机 构】
：
复旦大学计算机科学与工程系,上海,200433 河北农业大学理学院,保定,071001
【出 处】
：
2006年全国理论计算机科学学术年会
【发表日期】
：
2006年7期
其他文献
本文对基于代理的分布式入侵检测系统模型进行了研究。文章围绕入侵检测技术的分析、不同可分为集中式和分布式入侵检测系统、分层式入侵检测系统等进行了论述。
本文针对MPICH2的结构，通过改进其包含的MPD进程管理组件的功能，提出了一套基于并行检查点技术的MPI容错机制。MPICH的较新版本中引入了MPD这个辅助机制，是负责MPI作业启动与终止以及信号处理等功能的进程管理组件。
本文对联合网格门户架构设计进行了研究。文章围绕当前网格门户架构分析、联合网格门户架构设计、评测和比较分析、数字化校园联合网格门户等进行了论述。
本文对基于概率关联图挖掘Web日志中有趣关联规则进行了研究。文章介绍了加权有向图的概率关联模型，阐述了挖掘算法，并将该算法与普通关联规则挖掘算法进行了比较分析。
本文基于DTD提出了XML多值依赖(XMVD)的概念，给出了一个有效和完备的推理规则集，并对其有效性和完备性进行了证明，从而增强了XML数据的语义表现力，为进一步完善XML数据库模式设计奠定了基础。
本文研究了对等系统的数据映射的推导问题。文章从用户的需求角度出发设计了一个映射推导系统来解决映射推导问题，有较好的实用性。本文对基础知识和数据映射推导系统进行了介绍。
本文对基于聚类的模式匹配方法进行了研究。文章提出了一种基于聚类的模式匹配方法，它可半自动的发掘数据库模式间的1：1和复杂匹配。实验表明，该方法不仅可全面的发掘匹配，与其他复杂模式匹配系统相比，还具有较高的效率与精确度。
本文从数据挖掘的角度，将决策树和支持向量机方法应用于液体火箭发动机的故障检测和诊断中，对试车数据进行了挖掘。结果发现，决策树方法和支持向量机方法均能够准确、及时地检测和诊断发动机工作过程中发生的故障，对于理论分析和工程应用都具有重要的意义。