- 1、本文档共5页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
毕业设计外文文献毕业设计外文献
普遍布尔网络的流量控制分析
1介绍
监管网络发挥着至关重要的作用在生物体和理解他们的连接和他们整个动力学是相当具有挑战性的任务。可执行模型的生物过程暗示了这些网络可以提供有用的见解。然而,构建完整详细的可执行模型的生物系统常常遭到缺乏准确、高信任度的参数有关,例如,动力学的化学反应或分子的浓度。一个可能的解决方案在于提供一种定性模型,能够把握的基本特征的动态行为。这是接下来的步骤在[33、30、31、29]的逻辑方法,普遍托马斯布尔网络(GBN),提出了。在这个模型中,每个基因的状态(视为一个监管实体)是representedby浓度阈值不同于有限数量的值,例如,
低,中,高。
这个模型允许一个来推断GBN生物模型不完整数据,来研究生物稳定状态和反馈(正面或负面)。然而他们的应用程序生成一个指数级增长的州,没有大量的正式技术和分析工具可用。其他可执行语言,像佩特里网[26]或进程代数(例如。[19,6])可以提供相反他们有充分根据的理论和工具支持,一旦呈现逻辑管理模型框架内他们的互补。此外,GBNs很难处理不完整的或不一致的数据,即案件中可能有不止一个下一个状态,同时,再一次,佩特里网或进程代数模型这些情况下,可以利用非决定论。最后,佩特里网和过程代数都能很容易地扩展以处理定量信息,如随机的,例如。,将利率与转换。佩特里网理论,已经利用在系统生物学(如在[15、14]),已经被用来分析的动态监管网络在一些作品(见例如。[7、27、28]),逻辑模型方面的翻译,从而利用培养皿网上面的一些有用特性。进程代数提供另一种框架来分析动力学的监管网络。他们([23、25日,24日,9、10、11、5、22、8),引用只有几个)肥沃地用于模型的几种生物系统,依靠这个想法,一个生物系统可以抽象地描述为一个并发系统。我们的方法的目的是利用过程的建模和分析GBNs代数。更多的细节,我们的目的是
?引入一个可执行过程代数模型能够捕捉同步行为的GBNs,每个实体组成的网络可以改变其浓度只有当所有其他实体交互已经达到阈值;
?提出一个静态分析技术,一旦应用于获得的模型,能够提供安全的近似的行为建模的实体。因此,我们可以测试的忠实性模式,还提供自信预测,以防动力学模型是足够精确的。
2普遍布尔网络
布尔网络(BNs)[16]介绍了在生物基因调控网络模型(入库单),即那些网络相互作用的基因,它们在蛋白质合成的基础。一个布尔网络是由一组实体,相互调节在积极或者消极的道路。每个基因的状态(视为一个监管实体)表示为一个布尔值,即活跃(1)或非活动(0)。(全球)状态的布尔网络,由n基因,被表示为一个n维向量的布尔变量,一个用于每一个基因。从一个国家的进化到下一个是计算一组n布尔函数,每个代理在每个单一变量,定义下一个状态从当前状态的基因调节它。
3 Sim-πn过程代数
建模的GBNs同步模式,我们引入一个新的进程代数称为Sim - n,想起了π-calculus[19](没有总和与限制,限制形式的过程和一个特殊的许多许多同步机制。和谐的synchronisations获得必需的,我们的流程,代表监管实体P,得到了并联组成的特殊的子流程年代出现在定制表单。子过程年代结构两个部分:初始的警卫,由一组输入,必须所有的执行(第一部分),如果任何的,在执行之前唯一的最后输出前缀(第二部分)与美国或者子流程年代可以延续(b - S)或者可以像在π-calculus,术语0表示空的过程和运营商_表示并行成分。作为标准,我们省略0,在需要的时候,我们使用简写支∈R Si的简写并行成分的过程对我∈Si R前缀b表示输出的值b通道一个。多重选择性输入前缀警卫队{ a1(x1∈x1),……,一个(xn∈xn)}。(一个b _年代)(见[4]类似的构造)同时获得输出所有渠道ai bi a1,……,并继续作为(b - S),但每个bi属于习近平对于每个我∈(1,n),集喜不包括任何束缚的名字。换句话说,一个价值收到沿着通道ai是只接受如果它匹配的值包含在相应的选择集习近平。请注意,输入在Sim-πn已经完全n项。减少我们的微积分的语义给出了表2。我们使用标准的概念结构一致性的π-calculus≡:特别是,流程形成一个交换幺半群就并行成分。沟通是在平行和广播,即每个顶级输出同时同步每输入相应发生的输入组合,
4控制流分析
控制流分析(CFA)扩展了一个用于π-calculus在[3]。CFA在近似计算安全的所有可能的值的元组变量在系统可能被绑定到,和元组值,可同时流渠道。此外,它可以建立一个因果关系的配置和下一个。换句话说,它预测所有可能的通信,因此所有可能的可配置,从浓度水平。更准确地说,分析跟踪以下信息:
5可能的优化
稍微修改一下我们的定义过程导出了GBNs,我们获得一个更紧
您可能关注的文档
- 毕业生手册电子版毕业生手册子版.doc
- 段传斌:房地产精细管理之全案例解析程案例解析.doc
- 毕业考试电子版毕业考试电子.doc
- 毕业论文 07级计算机应用础 贺斌修改版2毕业论文 07级计算机应用基础 贺斌修改版2.doc
- 毕业论文 开题报告 详细步骤.doc
- 毕业论文 排版修改一毕业文 排版修改一.doc
- 毕业论文(前置)-城市湿地店景观生态规划设计-刘瑶-生态081毕业论文(前置)-城市湿地酒店景观生态规划设计-刘瑶-生态081.doc
- 毕业论文 密集毕业论文 密.doc
- 毕业论文(杨志强)毕业论文杨志强).doc
- 毕业论文(设计)-基于PL的自动化立体停车库自动控制系统毕业论文(设计)-基于PLC的自动化立体停车库自动控制系统.doc
- 江苏省灌云高级中学2023-2024学年高三上学期第一次月考地理试题含答案.docx
- 备战2024年高考物理一轮重难点复习 第十三章 近代物理.docx
- 江苏省高邮市一中2021-2022学年高三上学期第一次月考语文试题(原卷版).docx
- 江苏省华罗庚中学2023-2024学年高三上学期12月阶段检测数学试卷含答案.docx
- 江苏省海门中学2023-2024学年高三上学期第一次调研考试地理试题及答案.docx
- 备战2024年高考物理一轮重难点复习 第九章 恒定电流.docx
- 江苏省高邮市2023-2024学年高三下学期3月学情调研数学试题含答案.docx
- 备战2024年高考物理一轮重难点复习 实验十一:探究影响感应电流方向的因素.docx
- 备战2024年高考物理一轮重难点复习 实验三:验证平行四边形定则.docx
- 备战2024年高考物理一轮重难点复习 第十四章 光.docx
文档评论(0)