生物过程的形式化建模及仿真—硕士毕业论文下载



生物过程的形式化建模及仿真

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机的应用论文→信息处理（信息加工）论文→计算机仿真论文

生物过程的形式化建模及仿真

论文目录
摘要	第1-6 页
Abstracts	第6-10 页
第一章概述	第10-25 页
· 研究背景及意义	第10-12 页
· 系统生物建模	第12-18 页
· 数学方法	第14-16 页
· 形式化方法	第16-18 页
· 进程代数和生物学	第18-22 页
· 研究现状及问题	第22-24 页
· 研究内容	第24-25 页
第二章基于随机π演算的形式化建模	第25-41 页
· π演算	第25-27 页
· 随机 Pi演算	第27-28 页
· 形式化描述	第28-30 页
· 建模实例	第30-34 页
· 聚合反应	第30-32 页
· 酶促反应	第32-34 页
· 模拟工具软件	第34-35 页
· BioSPi	第34-35 页
· Stochastic Pi Machine(SPIM)	第35 页
· 连续性模拟算法	第35-36 页
· 生物过程描述与仿真	第36-41 页
· 生物钟过程	第36-38 页
· 随机π演算模拟生物钟	第38-41 页
第三章基于膜计算的形式化建模	第41-51 页
· P Systems	第42-45 页
· 随机p系统	第45-46 页
· 建模生物过程	第46-49 页
· 仿真结果	第49-50 页
· 结论	第50-51 页
第四章总结	第51-57 页
· 主要工作	第51 页
· 不足之处	第51-52 页
· 待解决的问题	第52-57 页
参考文献	第57-60 页
附录 1: StochPsys核心代码	第60-69 页
附录 2: SPiM核心代码	第69-74 页
致谢	第74-75 页
攻读硕士学位期间发表的论文	第75 页

本篇论文共75页，点击这进入下载页面。

更多论文
生物过程的形式化建模及仿真
基于智能无线传感器网络的移动物体
安全协议的漏洞分析及自动验证工具
智能社区中的上下文融合
面向数据挖掘的遗传算法的研究与应
人脸检测中相关特征的研究
网格环境下分布式文件系统的设计与
基于移动终端的实时场景监控系统设
P2P环境下DRM系统的激励模型和安全
因特网上安全分布式计算的研究
基于IEEE 802.11e的QoS研究
片段存储系统--基于P2P的网络存储服
特殊环境下的协议安全研究
近距离小额移动支付系统的设计与分
可确保安全的分布式信息共享系统—
窃听信道及第二类窃听信道的新问题
面向对象集成测试的分层增量测试策
业务可扩展的IPPBX体系结构研究与设
故障分析及防御技术研究
MD5-Hash函数的安全性分析
基于网络处理器的网络管理探针的设
应急物流系统若干关键技术的研究与
P2P网络环境中基于文件的数字版权管
无线传感器网络安全路由协议研究
多核指令集仿真框架的设计与实现
基于Web服务的新药研发网格
基于网络处理器的IPv6组播技术研究
基于分布式哈希表对等覆盖网的自治
IP-PBX呼叫路由体系的研究与设计
基于网络处理器的入侵检测系统的设
3G分组交换核心网络的基于区分服务
金融业务处理中的电子影像传输
基于小波分析的车牌识别关键方法研
地区电子政务原型试点（人口领域）
金融系统数据安全交换平台的研究和
基于可生长与修剪T-S模糊模型的非线
零售业供应链中的采购、库存和分销
热轧生产计划优化系统研究与应用
SISO系统的数字控制研究及应用
基于WinCE的ARM9嵌入式一体化工控机
基于智能体的仿人机器人控制系统设

进程演算论文系统生物论文 π-演算论文膜计算论文
版权申明：目录由用户jbbsnowh**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved