论文部分内容阅读
近些年来,随着生物系统和基因网络研究的发展,逻辑网络在理论和应用方面发挥着越来越重要的作用.本文的研究内容包括以下两方面.第一、将布尔网络的函数摄动推广至混合值逻辑网络的情形,给出了函数摄动对混合值逻辑网络不动点和极限环影响的充分必要条件.受布尔网络单节点摄动的启发,本文首先在结构矩阵的基础上提出了混合值逻辑网络单节点摄动的定义,并利用矩阵半张量积的方法得到了单节点摄动下混合值逻辑网络的代数形式,同时给出了单节点摄动对混合值逻辑网络极限集影响的充分必要条件.以三种类型的单节点摄动为例,通过研究结构矩阵与状态转移矩阵间的关系,进一步给出了其对混合值逻辑网络不动点和极限集产生的影响.得到了单节点和多节点函数摄动的辨识方法,并将所得结论应用在WNT5A基因网络中. 第二、基于矩阵版张量积的方法,对布尔网络的稳定性及牵引控制问题进行了研究.首先通过研究布尔网络的结构,提出了一种新的使布尔网络全局稳定的充分必要条件.基于此条件,给出了一种用尽可能少的函数摄动使布尔网络稳定的算法.改进了牵引控制设计方法,使得反馈控制的求解更为系统与简化.最后给出一个算例,显示了理论结果的可行性.全文总共分为五童: 第一章介绍了布尔网络和混合值逻辑网络的研究背景,给出了布尔网络及混合值网络函数摄动、稳定性和牵引控制方面的现有研究成果,介绍了矩阵半张量积的相关知识与应用.最后,给出了本文的主要研究问题及结构安排. 第二章主要介绍矩阵半张量积的定义及性质.引入了混合值逻辑网络,在结构矩阵的定义和半张量积的框架下,给出了混合值逻辑网络的代数形式. 第三章基于矩阵半张量积的方法,给出了混合值逻辑网络函数摄动的代数形式.基于对状态转移矩阵代数形式变化的分析,研究了函数摄动对混合值逻辑网络不动点和极限环的影响.讨论了三种形式的单节点摄动.给出了函数摄动的辨识方法,并将所得结论应用在WNT5A基因网络中. 第四章讨论了布尔网络的牵引控制问题,给出了一个新的关于布尔网络全局稳定的充要条件,并提出利用尽可能少的函数摄动使布尔网络全局稳定的算法.同时,改进了原有的牵引控制设计方法,在保证布尔网络全局稳定的基础上简化了牵引控制设计方法. 第五章对全文进行了总结.