【摘 要】
：
可移动类进程代数是为描述可移动进程及通讯连接动态构成的进程网络而对传统抽象演算的扩展,为有效地计算系统的动态行为和运行的拓扑结构,本文开发了该类演算基于控制流分析和抽象解释的静态分析策略,并把系统生物学作为一个重要的应用领域。主要工作如下: 开发了Mobile Ambients演算和Boxed Ambients演算的基于环境和能力出现次数的抽象解释技术。在演算的语法和语义规则中引进静态名字
论文部分内容阅读
可移动类进程代数是为描述可移动进程及通讯连接动态构成的进程网络而对传统抽象演算的扩展,为有效地计算系统的动态行为和运行的拓扑结构,本文开发了该类演算基于控制流分析和抽象解释的静态分析策略,并把系统生物学作为一个重要的应用领域。主要工作如下: 开发了Mobile Ambients演算和Boxed Ambients演算的基于环境和能力出现次数的抽象解释技术。在演算的语法和语义规则中引进静态名字和捆绑器,分别标识约束名字和输入动作中引进的变量,使得静态分析结果在α-变换下恒等。 开发了BioAmbients演算和Mobile Safe Ambients演算的控制流分析技术。在进程抽象表示的基础上,通过识别可被激活的移动能力探明环境的层次体系变化、通过识别可被激活的通讯能力确定变量与静态名字的捆绑关系,有效地计算系统运行的拓扑结构。 应用可移动类进程代数描述具体的生物系统,分别建立了ABC转运器的π-演算模型及Na+-K+ATP酶的BioAmbients演算模型。 应用基于控制流分析的静态分析技术对基于BioAmbients演算的Na+-K+ATP酶系统的动态行为和属性进行了分析和验证。 研究结果显示:可移动类进程代数是一种很有前途的系统生物学的形式化工具,其静态分析技术是系统生物学的一种可靠的分析和验证工具。
其他文献
本研究在对犬贾第虫（G. canis）病毒研究的基础上,构建了犬贾第虫病毒（GCV）通用型转染载体,在载体中引入了抗性盒、多克隆酶切位点和内源性启动子,并在G. canis体内持续稳定表达了绿色荧光蛋白基因;根据国外报到的蓝氏贾第虫的端粒重复序列设计了寡聚核苷酸探针[5′-TAGGG-3′]5与Bal31-EcoRI不同消化时间的G. canis基因组DNA进行杂交鉴定,确定了我国G. canis
简单双原子分子固体的压致分子解离和金属化,一直是高压领域重要的研究课题。在众多简单双原子分子中,氧是唯一带有磁矩的分子,使得高压下固态氧的行为研究尤其引人关注。高压下,固态氧具有丰富的相图。但是,由于ε相的结构一直没能得到准确的认定,长久以来对于固态氧高压下的结构相变、性质的变化等问题都没有解决。自从2006年Nature和Phys. Rev. Lett先后报道了ε相的结构以来,引起了围绕固态氧ε
作为天然免疫的效应分子,人源阳离子抗菌肽hCAP-18/LL-37不仅具有广谱的体内外抗菌活性,还具有趋化、促血管生成等多重生物学效应。近年研究发现,hCAP-18/LL-37还参与机体的获得性免疫,但机制尚不十分清楚。 为了深入探讨hCAP-18/LL-37参与机体获得性免疫的可能机制,本研究从基因工程的角度入手,从正常人外周血中性粒细胞中克隆出hCAP-18/LL-37基
本论文首次将高压技术与飞秒超快时间分辨光谱技术结合起来,建立了研究高压下分子超快动力学过程的实验技术。利用此技术我们研究了LDS698染料分子在高压下的振动动力学过程,观察到了分子内和分子间动力学过程随压力的变化情况。当压力超过3 GPa时,染料溶液发生了固化,固化前后压力对分子动力学过程的影响是明显不同的。我们提出了一些理论模型对得到的实验结果进行了分析,并给出了合理的物理解释。同时我们还研究了
以meso-位具有不同侧链的卟啉化合物四-[3-甲氧基-4-（N-咔唑）正丁氧苯基]卟啉（4C4-TPP）和四-[3-甲氧基-4-（N-咔唑）正己氧苯基]卟啉（4C6-TPP）为研究对象,利用吸收光谱、荧光光谱、圆二色谱和拉曼光谱探讨卟啉侧链基团在聚集体形成、聚集体结构及其与DNA结合中所起的作用。 在一定浓度范围内,4C4-TPP和4C6-TPP在有机溶剂四氢呋喃中以单体分子存在,溶于水
北朝是秦汉魏晋到隋唐过渡的重要时期,在对政权的争夺与正统性与合法性的构建中,北魏成为中国历史上第一个正史中的少数民族政权,这一结果推动了北方民族的融合,加快了多元文化的交流与融合。音乐形态也随之面目一新。北朝音乐在中国音乐史的编撰中却很难尽如人意,其原因是一个多元与复杂的问题,但意识形态、视角与资料缺乏无疑是其进展的最大阻碍。本论文以北朝墓葬考古发现为核心材料,在政权“正统化”斗争的思想上,对大量
基于强子物理的研究和观察,人们期望夸克禁闭和动力学手征对称破缺等非微扰现象应该成为量子色动力学的两个关键特征。这些非微扰现象的根本原因迄今所知甚不完全。围绕着这一问题,进一步的理论探索就必需建立可靠的非微扰方法。 目前,研究量子色动力学的这两个特征和强子物理的一个自然方法是采用Dyson-Schwinger方法,对于QCD中夸克和胶子的传播子而言,这些方程形成耦合的方程组体系。由于方程呈现
本文的主要研究工作是根据实际应用的需要,针对离散混沌系统和延迟混沌系统的特点,设计并构建了离散混沌电路和延迟混沌电路,结合理论分析和数值计算,分别实现了离散混沌电路和延迟混沌电路的同步和控制。首先,介绍了离散混沌电路的设计方法,利用脉冲驱动法实现了二维离散混沌和超混沌电路的同步;其次,分别将OGY法、变量脉冲反馈法和延迟反馈法用于控制离散混沌电路,均得到多个稳定的周期轨道。第三,介绍了延迟混沌电路
随着生命科学理论发展和方法学的不断进步,蛋白质的许多具有特殊生物学活性的结构如短肽研究也取得了可喜的进展。在浩瀚的科技文献中,每天都有关于生物活性肽生物学功能和意义的新发现。尽管如此,但由于生物性肽体内半衰期短,水溶液稳定性差和人工合成昂贵等问题,迄今少有研究可以解决将生物活性肽应用于疾病的诊断、治疗和预防,致使大量关于生物活性肽的研究“沉睡”在科技文献之中。本研究构建了携带融合基因TRX-ABA
如何区分中子星和奇异星是当前核天体物理研究中的热点课题。本文对目前区分中子星和奇异星的三种主要方法进行了一些研究。 一,介质效应及相应的热力学自洽项对奇异星体粘滞系数的影响。考虑介质效应后,我们对奇异夸克物质的热力学方程进行了热力学自洽处理,在压强中发现了一项由夸克的密度相关有效质量引入的压强附加项。它使得奇异夸克物质的体粘滞系数是未考虑热力学自洽的情况的33%,与不考虑介质效应的情况相