切换布尔控制网络的能观性与可重构性
发布时间:2021-03-05 03:18
近年来,随着生物基因研究的发展,布尔控制网络衍生出多种类型,其中切换布尔控制网络在理论和应用方面发挥着非常重要的作用.本文涉及了三种切换布尔控制网络,主要的研究内容如下:第一种:传统切换布尔控制网络,主要研究其能观性问题.提出了四种能观性的定义,为了描述由不同输入序列、切换信号和初始状态驱动的输出,定义了观测数据矩阵并得到了四个充分必要条件来判别相应的能观性,然后讨论了这四种能观性之间的关系.第二种:输出含同步切换信号的切换布尔控制网络,主要研究其可重构性问题.可重构性是依据有限时间内收集的数据能否确定系统当前状态的能力.首次定义了该网络的四种可重构性,并提供了两种判别方法.一种是周期判别法,需要比较具有相同周期的周期性模型输入状态轨迹,另一种是矩阵判别法,该方法构造了一个可描述所有初始状态及其由不同模型输入序列驱动的相应输出的矩阵,从而比较其内部数据.第三种:输出含不同步切换信号的切换布尔控制网络,进一步探讨了可重构性问题.提出了该网络下七种可重构性,其中切换信号和输入序列的存在性和任意性不一致.定义了可以描述所有无法区分状态对的加权对图,结合该图和自动机理论给出了判定可重构性的方法...
【文章来源】:山东大学山东省 211工程院校 985工程院校 教育部直属院校
【文章页数】:75 页
【学位级别】:硕士
【部分图文】:
图1:例3.2中的切换布尔控制网络??本小节最后给出一个例子来简要说明周期判定法的使用过程.??
出含同步切换信号的切换布尔控制网络??Li?=?58[3?4?3?5?6?5?8?8?4?7?1?2?5?5?8?8],??L2?=?<58[2?7?3?5?5?5?8?7?3?7?3?5?5?5?8?8],??Hx?=?52[2?1112?2?12],??H2?=?S2[2?2?2?1?1?2?1?1],??在本例的图中,黑色圆圈中的数字代表状态.实线上的权重代表模型输??入,每个虚线对应在某个切换信号下的输出.所以,此系统可以表示为图1,则??所有周期状态模型输入轨线可以表示为图2?.正如我们所见,状态5和状态6??组成的输出的圈与状态7和状态8组成的输出的圈一样,所以由定理3.6知,??此系统不是R-2可重构的.同样地,不存在满足推论3.3所描述的模型输入轨??线,所以此系统也不是R-1可重构的.但是状态3和状态4诱导出的输出的??圈不同,所以此系统是R-3可重构的和R-4可重构的.??2?,?(14).(2.2)?i?1?(14)?.?1??2?(^2)?(1,1},(2,1),(2?2)?2?(!-2)?1??2?.?(U)?(L2);(2?1),(2,2)?5?2?I?j?(L1),(L2)?(2J)5(2.2)?j?2??5?1??(1,2),{2,1),(2:2)?(14)?2?1?C2'1)?(U),(L2),(2,2)??图2:例3.2中的所有周期状态模型输入轨线??§3.5可重构性的矩阵判别法??本节讨论输出含同步切换信号的切换布尔控制网络(2.12)的可重构性的??矩阵判别法,该方法的思想是构造一个能够描述出当前时刻状态和对应的输??出的矩阵.??-23?—??
?山东大学硕士学位论文???1?1?2?1?3?4??1?2?2?1?3?4??Hr?=?,?R〇?=?,Xi?=?,?Ri?=?.??2?3?2?2?3?3??1?4?11?4?4??由第5步得:??11?2?1??11?2?1??q〇?=?,yi?=?^i=?,??2?2?2?2??11?11??(2.3)?(1,4)??(2.3)?(1,4)??(2.3)?(2,3)??_(1,4)(1:4)_??这表明,氏的所有列都是对不可分列.所以此系统四种可重构性都满足.??1?-?????—1:2??1??1?<?-?=???魯。1.2??图3:例3.6中的布尔控制网络??文献[16]通过图3来判定此系统是可重构的.事实上,如果把本文中的??切换信号去掉,那么R-2可重构性则直接可以退化为文献[16]中的定义4?.??-31-??
本文编号:3064481
【文章来源】:山东大学山东省 211工程院校 985工程院校 教育部直属院校
【文章页数】:75 页
【学位级别】:硕士
【部分图文】:
图1:例3.2中的切换布尔控制网络??本小节最后给出一个例子来简要说明周期判定法的使用过程.??
出含同步切换信号的切换布尔控制网络??Li?=?58[3?4?3?5?6?5?8?8?4?7?1?2?5?5?8?8],??L2?=?<58[2?7?3?5?5?5?8?7?3?7?3?5?5?5?8?8],??Hx?=?52[2?1112?2?12],??H2?=?S2[2?2?2?1?1?2?1?1],??在本例的图中,黑色圆圈中的数字代表状态.实线上的权重代表模型输??入,每个虚线对应在某个切换信号下的输出.所以,此系统可以表示为图1,则??所有周期状态模型输入轨线可以表示为图2?.正如我们所见,状态5和状态6??组成的输出的圈与状态7和状态8组成的输出的圈一样,所以由定理3.6知,??此系统不是R-2可重构的.同样地,不存在满足推论3.3所描述的模型输入轨??线,所以此系统也不是R-1可重构的.但是状态3和状态4诱导出的输出的??圈不同,所以此系统是R-3可重构的和R-4可重构的.??2?,?(14).(2.2)?i?1?(14)?.?1??2?(^2)?(1,1},(2,1),(2?2)?2?(!-2)?1??2?.?(U)?(L2);(2?1),(2,2)?5?2?I?j?(L1),(L2)?(2J)5(2.2)?j?2??5?1??(1,2),{2,1),(2:2)?(14)?2?1?C2'1)?(U),(L2),(2,2)??图2:例3.2中的所有周期状态模型输入轨线??§3.5可重构性的矩阵判别法??本节讨论输出含同步切换信号的切换布尔控制网络(2.12)的可重构性的??矩阵判别法,该方法的思想是构造一个能够描述出当前时刻状态和对应的输??出的矩阵.??-23?—??
?山东大学硕士学位论文???1?1?2?1?3?4??1?2?2?1?3?4??Hr?=?,?R〇?=?,Xi?=?,?Ri?=?.??2?3?2?2?3?3??1?4?11?4?4??由第5步得:??11?2?1??11?2?1??q〇?=?,yi?=?^i=?,??2?2?2?2??11?11??(2.3)?(1,4)??(2.3)?(1,4)??(2.3)?(2,3)??_(1,4)(1:4)_??这表明,氏的所有列都是对不可分列.所以此系统四种可重构性都满足.??1?-?????—1:2??1??1?<?-?=???魯。1.2??图3:例3.6中的布尔控制网络??文献[16]通过图3来判定此系统是可重构的.事实上,如果把本文中的??切换信号去掉,那么R-2可重构性则直接可以退化为文献[16]中的定义4?.??-31-??
本文编号:3064481
本文链接:https://www.wllwen.com/shoufeilunwen/benkebiyelunwen/3064481.html