基于质谱技术的计算蛋白质组学研究

蛋白质组是继人类基因组计划完成之后又一新兴的生命科学研究对象，蛋白质组学研究细胞或组织内所有表达的蛋白质．生物质谱技术已为蛋白质组学研究产生了大规模的质谱数据；而如何从这些数据中提取和发现有关蛋白质组的重要生物学知识为计算蛋白质组学的研究提出了重大需求，如蛋白质鉴定、翻译后修饰、定量分析，以及疾病模式的发现等．本文研究了如何应用计算技术来解决蛋白质组学研究中质谱信息处理的这几个关键问题．     

基于全基因组比较的SARS冠状病毒种系进化分析

SARS(severe acute respiratory syndrome)冠状病毒已被世界卫生组织确认为SARS传染病的病原体, 它的全基因组测序工作分别由中国、加拿大、美国等国的研究小组完成. 然而它的起源仍是一个谜. 为了探寻SARS冠状病毒的来源, 基于FDOD(function of degree of disagreement)方法, 对12个SARS冠状病毒分离株和12种以往发现的冠状病毒进行了全基因组比较, 构造出种系进化无根树. 结果表明, 这两类病毒(分别由12个SARS冠状病毒分离株和12种以往发现的冠状病毒构成)虽然都来自冠状病毒属, 但它们位于两个不同的进化分支上. 冠状病毒属中的3个组被准确地重构. 根据得到的结果, 推测SARS冠状病毒更类似于第一组中的冠状病毒. 根据种系进化树的拓扑结构和各SARS冠状病毒分离株与造成香港Metropole饭店疫情的SARS冠状病毒株之间的联系, 推测各SARS冠状病毒分离株分别位于进化树上两个大的分支, 这为SARS的流行病学研究提供了辅助信息.     

态射的和与积的Moore-Penrose逆

态射的Moore-Penrose逆是矩阵的Moore-Penrose逆在有对合*的范畴中的推广。本文给出加法范畴及Abel范畴中态射的和与积的Moore-Penrose逆存在的充分条件和一些性质。     

解 packing 及 CNF-SAT 问题的拟物拟人方法

提出拟物拟人方法．论述了如何按此种方法为ＮＰ难问题设计出高效实用的快速求解算法．作为例证，所得出的关于ＣＮＦ－ＳＡＴ问题及ｐａｃｋｉｎｇ问题的算法，其先进性在国际竞赛及工业生产中得到了显示．