优秀研究生学位论文题录展示

基于多个通道的概率进程演算模型

专 业: 计算机科学与技术
关键词: 多通道概率进程 演算模型 计算机理论
分类号: TP301
形 态: 共 68 页 约 44,540 个字 约 2.131 M内容
阅 读: 全文阅读说明

内容摘要


当代计算科学的发展非常迅速,而在计算机理论方面也有着日新月异的突破。

随着各种交叉学科的出现,计算机科学和其他学科之间的交互渗透也日益增多。

在计算机理论中的并行理论、进程演算,比如传统的π演算,CCS,CSP,PETRE网等的出现为现实中的各种系统提供了非常好的形式化建模工具。

以生物过程为例,很多例子都成功地通过各种形式化的工具准确地描述出了生物系统演化的过程,并且通过这些并行语言本身所具有的性质还能够推导出一些生物系统自身所可能具有的性质。

后来人们意识到了单从系统的功能方面来定性分析一个系统是不够的,为了能够更好的分析这些系统,又出现了各种著名的同时兼顾数量和功能的定量演算,比如随机π演算Stochastic π Calculus ,以及概率进程演算(PCCS)等,这些语言的语义不仅适合分析一个系统的内部结构和特点,同时它还包括了量的概念。

本文主要分析了概率进程演算的3大模型的不足,提出了一个全新的概率进程模型—多通道概率进程模型,它主要通过引入多通道的并行操作语义来对原先的那3个模型进行了功能上的补充,然后使用这种新的多通道概率进程演算对生物中的自组装系统进行建模和分析,同时也给出了这个新的概率进程演算模型的语法和操作语义以及概率转移系统等,根据这种新模型的语法和语义分析了新的演算模型所具有的特点以及证明了它所具有的一些性质。

同时也论证出这个新的模型在描述和分析具有某些特点的一类系统中具有很大的优势。

文章通过运用该模型对计算生物学中比较著名的自组装(SELF ASSEMBLE)系统进行了建模以及过程分析,说明了这种新的演算具有较好的实用性质。

同时对同样基于自组装的π演算模型也进行了建模,比较了这2种演算模型的特点。

文章主要分成6个部分。

第一,第二部分主要介绍了一下背景和基础知识以及目前的形式化方法的发展程度。

文章的第三部分简单地介绍了自组装系统,同时通过传统的π演算来对这个系统进行建模和分析以用来和后面的新的模型描述进行比较。

第四和第五部分定义了一种全新的概率进程演算模型,给出了它的语法和语义,概率转移系统,并证明了它的一些特点和性质。

第六部分使用了这种新的演算模型对自组装系统进行了描述,说明了这种模型是有很大的实用价值的,文章的所有描述都是围绕计算生物学中著名的自组装系统进行的..……

全文目录


摘 要
英文摘要
1 引言
2 进程演算对于生物现象的模拟
3 基于π演算的生物自组装系统建模
4 传统进程演算再建模系统中的不足
5 新的概率进程演算模型
6 新模型对于自组装系统的描述
7 总结和展望
8 参考文献

相似论文

  1. 基于涌现视角的多Agent系统分析研究,172页,TP301.6 TP181
  2. 相似矩阵与谱聚类,62 页,TP301.6 TP311.13
  3. 改进的粒子群算法及其在控制器参数整定中的应用,54页,TP301.6
  4. 动态可重构片上系统的任务在线放置和调度算法研究,51页,TP301.6 TP311.52
  5. 关联规则算法的研究,61页,TP301.6
  6. 主题爬虫搜索Web页面策略的研究,62页,TP301.6 TP393.092
  7. 基于纹理的高质量矢量可视化研究,145页,TP301.6 TP391.41
  8. 基于智能优化算法的体绘制研究,133页,TP301.6 TP391.41
  9. 跨智能空间上下文共享研究,120页,TP301.5
  10. 高可用双机容错系统软件健壮性测试,63页,TP302.8 TP311.52
  11. 商业自动化系统数据安全技术的研究,51页,TP309 F716
  12. CA认证中心密钥生成与私钥封装系统的设计与实现,79页,TP309.7
  13. 基于Linux的可穿戴计算机导航定位系统设计与实现,70页,TP302.1
  14. 同时多线程踪迹处理器后端实现与研究,47页,TP302.1
  15. 基于准则和策略的自治式多agent服务协同体系研究,134页,TP301
  16. 虚拟域可信链的设计与实现,69 页,TP309.1
  17. 可信计算平台中TOCTOU攻击的响应方法,67 页,TP309.1
  18. 高性能DSP指令控制部件优化设计研究,74页,TP302.2
  19. 用于灾难恢复的远程备份系统的研究,68页,TP309.3
  20. 缓冲区溢出静态分析中的指针分析技术研究,61页,TP309
中图分类: > TP301 > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 理论、方法

© 2012 book.hzu.edu.cn