毕业设计外文文献毕业设计外文献.doc

普遍布尔网络的流量控制分析 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,我们获得一个更紧