论文部分内容阅读
本文对用进程演算建模生物化学反应过程进行了研究。文章以两类典型的生物化学反应“聚合反应和酶促反应”为例，介绍了如何用进程演算来形式化描述和分析生物化学反应的方法。
用进程演算建模生物化学反应过程
【摘 要】
：
本文对用进程演算建模生物化学反应过程进行了研究。文章以两类典型的生物化学反应“聚合反应和酶促反应”为例，介绍了如何用进程演算来形式化描述和分析生物化学反应的方法。
【机 构】
：
上海交通大学计算机科学与工程系BASICS实验室,上海,200240
【出 处】
：
2006年全国理论计算机科学学术年会
【发表日期】
：
2006年7期
其他文献
本文基于DTD提出了XML多值依赖(XMVD)的概念，给出了一个有效和完备的推理规则集，并对其有效性和完备性进行了证明，从而增强了XML数据的语义表现力，为进一步完善XML数据库模式设计奠定了基础。
本文研究了对等系统的数据映射的推导问题。文章从用户的需求角度出发设计了一个映射推导系统来解决映射推导问题，有较好的实用性。本文对基础知识和数据映射推导系统进行了介绍。
本文对基于聚类的模式匹配方法进行了研究。文章提出了一种基于聚类的模式匹配方法，它可半自动的发掘数据库模式间的1：1和复杂匹配。实验表明，该方法不仅可全面的发掘匹配，与其他复杂模式匹配系统相比，还具有较高的效率与精确度。
本文从数据挖掘的角度，将决策树和支持向量机方法应用于液体火箭发动机的故障检测和诊断中，对试车数据进行了挖掘。结果发现，决策树方法和支持向量机方法均能够准确、及时地检测和诊断发动机工作过程中发生的故障，对于理论分析和工程应用都具有重要的意义。
本文系统介绍了生物信息学中的非常重要的序列比对问题，并针对带约束的星形多序列比对进行了深人的研究，证明了在某些给定的打分矩阵下，带约束的星形多序列比对是不存在常数近似度的多项式算法。
本文对Web结构挖掘算法的改进进行了研究。文章提出了WHITS(Weighted HITS)算法。该算法通过对网页内容和结构的分析和计算，给每个网页赋予一定的权值，再将其综合应用到超链接的迭代运算中，以获得更好的返回结果。
本文对机器学习在软件预测与评估中的应用进行了研究。文章围绕机器学习技术及其在软件工程中的应用、机器学习在软件预测与评估中的应用等进行了论述。
本文对语义相似性测度方法进行了研究。文章分别介绍了以边为距离的语义相似性测度、基于信息内容的语义相似性测度、综合了距离和信息内容的语义相似性测度以及基于图的语义相似性测度算法。
本文对上下文无关文法的句子生成方法进行了探讨。文章围绕句子生成覆盖标准、句子生成算法的比较、句子枚举和其他的句子生成算法等进行了论述。
本文对具有反应扩散和分布时滞的Cohen-Grossberg神经网络的指数稳定性进行了探讨。文章研究了带反应扩散和分布时滞的CGNN模型，利用M一矩阵性质和不等式技巧，给出其平衡点存在唯一性和指数收敛性的一些新的判别。