导读:本文包含了布尔网络论文开题报告文献综述及选题提纲参考文献，主要关键词:语义悖论,布尔网络,布尔悖论,语义不稳定性
布尔网络论文文献综述
陈智斌[1]（2019）在《基于布尔网络的语义悖论研究》一文中研究指出语义不稳定性是语义悖论的一个重要性质。基于布尔网络的分析理论及计算工具,以布尔系统,一类具有代表性的语义悖论语句集为研究对象,讨论布尔系统与布尔网络的等价关系,研究语义悖论的语义不稳定性。实验结果表明,对于系统稳定性较低的布尔系统,语句真值的变化能够通过语句间网络关系一直传递下去,从而形成语义不稳定现象。(本文来源于《现代计算机》期刊2019年26期）
胡海慧,梁义[2]（2019）在《受时滞影响的简单布尔网络内同步》一文中研究指出提出了时滞布尔网络内同步模型,利用矩阵半张量积理论,研究了简单时滞影响下布尔网络内同步问题,给出了时滞布尔网络实现内同步的充分必要条件,并且通过数值仿真实例进一步验证了结论的有效性.(本文来源于《伊犁师范学院学报(自然科学版)》期刊2019年02期）
崔禹欣[3]（2019）在《多层布尔控制网络的可达性》一文中研究指出布尔网络作为一种时间和状态的离散模型,可以研究遗传调控网络的动态特性。而遗传调控网络的控制问题在过去几年中受到了相当多的关注,为解决生命科学中的问题提供了很大帮助,例如疾病的治疗干预。同时,随着系统生物学的发展,对多种生物系统的整合研究也成为了该研究领域的研究热点。因此,研究多层布尔控制网络的可达性十分必要。本文关注多层布尔控制网络的可达性。首先,介绍了多层布尔控制网络,并基于矩阵的半张量积方法,将多层布尔控制网络的离散模型转化为相应的代数表示。提出了多层布尔控制网络的可达性的定义,并进一步给出多层布尔控制网络的可达性的充分必要条件。其次,考虑到实际生物系统的随机性,在多层布尔控制网络的基础上提出了多层概率布尔控制网络,并给出了多层概率布尔控制网络的可达性的充分必要条件。最后,利用多层布尔控制网络模拟了脱落酸诱导气孔关闭的信号转导子网络和哺乳动物G1/S期基因调控子网络。利用矩阵的半张量积方法将两网络转化为相应的代数表示,并给出了两网络的可达性分析。通过这两个实例进一步说明了结论的有效性。(本文来源于《哈尔滨理工大学》期刊2019-06-01）
杨芮[4]（2019）在《基于布尔网络低功耗物理随机数发生器的研究》一文中研究指出随着信息技术的飞速发展,大数据和云计算时代已经到来,信息安全问题日益突出,加密技术发挥着至关重要的作用。对一个加密系统而言,信息系统的安全性很大程度上取决于随机数的质量,高性能的物理随机数发生器是信息安全的基石。物理随机数的产生方法通常包括四种:电子热噪声放大、振荡器采样、混沌电路、亚稳态采样。电子噪声放大,由于噪声幅值较小,需要运放器进行放大,而放大器有限的带宽及失调会降低随机性;振荡器采样,为了降低输出序列之间的相关性,慢时钟的振荡频率远远低于快时钟,从而限制了随机数的产生速率,有些虽然满足了速率的要求,但是功耗较大;对于亚稳态采样,由于电路中亚稳态持续的时间比较短,且对温度和电压的变化比较敏感,随机数的生成速率比较慢;相比其他方法,基于混沌电路的随机数发生器可实现芯片化设计,通常混沌信号由模拟电路实现,不仅电路结构复杂,而且存在稳定性问题。基于此,本文设计并实现了一款全数字电路产生布尔混沌的物理随机数发生器,并完成随机数测试标准的检测。随机数发生器由熵源、采样电路及后处理电路叁部分组成。熵源部分是由1个反相器及12个2输入数字逻辑门构建的自治型布尔网络,并从熵值计算、时域及频域分析等方面研究熵源输出信号的动力学行为,最大李雅普诺夫指数的计算结果确定了其混沌特性。由于熵源较强的鲁棒性,产生的序列随机性较强,因此,在经过D触发器采样后,后处理只进行了简单的异或,在不影响原始序列随机性的情况下进一步消除了序列之间的统计偏差。本设计在Altera Cyclone IV EP4CE10F17C8N FPGA上实现。并使用NIST SP-22、Diehard、AIS 31等测试包进行随机性检测,结果表明,本设计能够通过以上测试。单个随机数发生器模块输出速率最高为100Mbps,由于本设计所用到的逻辑资源不到整个FPGA资源总量的0.1%,因此,可在其内部构建数万个本文提出的物理熵源,此时随机数的实时产生速率高达Tbit/s。因本文设计的物理随机数发生器具有高速、低功耗的特点,可广泛应用于高速片上加密系统中。(本文来源于《太原理工大学》期刊2019-06-01）
于永渊[5]（2019）在《逻辑矩阵方程及其在布尔网络中的应用》一文中研究指出利用矩阵半张量积,布尔网络及其推广形式,布尔控制网络和切换布尔网络,可以转化为代数表达形式.基于它们的新形式,布尔网络中的大量问题可以被系统地解决.为处理一些设计类的问题,本文提出了一种基于矩阵方程的方法.通过这个构造性的方法,块分解中的坐标变换,可逆性分析中的逆系统,以及实现稳定性的切换信号等,都可以被设计出来.论文的第一章首先介绍了几类常用矩阵方程的历史由来与发展现状,其次介绍布尔网络的起源与发展,尤其是基于半张量积,布尔网络在能控能观性,分解与解耦,可逆性与稳定性等方面的背景.第二章是一些关于半张量积的预备知识.除此之外,本章也详细地演示了将布尔控制网络和切换布尔网络等价地转化为其代数表示的过程.在第叁章中,叁类逻辑矩阵方程从一些实际问题被提炼出来,并分别计算了它们的逻辑解集.由于逻辑矩阵的特殊形式,逻辑解集可以以一种简洁的方式进行呈现.这些结果将被应用于随后的章节,用以分解系统,设计逆系统,以及切换信号.通过逻辑矩阵方程,布尔控制网络的块分解问题在第四章进行了研究.首先,块分解的概念被提出.其次,布尔控制网络的块分解问题被等价地转化为一族逻辑矩阵方程的求解问题.据此,合适的坐标变换可以被设计出来.最后通过一个例子来展示结果的有效性.本文的第五章致力于更加一般形式的布尔控制网络的输出能观性(也被称为非奇异性和左可逆性).首先,利用图论方法,将全局非奇异性转化为有限步的逐点非奇异性.进而,给出一些矩阵形式的判据用以确定非奇异性.在这些判据的基础上,所需的逆布尔控制网络可以被计算和设计出来.章末,通过一个数值算例来显示所得结果的可行性与有效性.在第六章,本文分析了切换布尔网络的叁类稳定性,分别是任意切换下的稳定性,逐点切换稳定性以及一致切换稳定性.在一个改进方法的框架下,任意切换下的稳定性和逐点切换稳定性被讨论.基于切换信号的类型,伴随逻辑网络被构造出来用以研究一致切换稳定性和时变输出反馈下的(逐点切换)稳定性.利用这些方法,可以给出一些矩阵判据.相比已有结果,本章结果具有较小的计算复杂度.基于矩阵半张量积,第七章进一步研究了切换布尔网络的切换信号设计问题.首先,提出了一个构造性的方法来获取实现稳定性的全部的状态反馈切换信号.接着,本文发现全局一致切换稳定性等价于伴随逻辑网络中的局部(单点)逐点切换稳定性,进而在有限时间可稳的意义下,所需的全部一致切换信号可以被确定.随之,该方法被推广到时变输出反馈的情况.此外,利用逻辑矩阵方程,本文还分析了切换布尔网络的反馈能力问题.最后,结合一个生物例子和一个数字电路的例子,本文讨论了该章结果的有效性.第八章从研究中存在的问题和布尔网络未来展望两个方面对全文进行了总结.(本文来源于《山东大学》期刊2019-05-23）
刘华超[6]（2019）在《基于STP方法的布尔网络可观性研究》一文中研究指出在系统生物中,学习和模拟基因调控网络是一个非常重要的课题.其中Kauffman首次提出将逻辑关系引入布尔函数,即用布尔网络模拟和分析基因调控网络.由于布尔网络非常适合于基因调控建模,所以受到了众多专家学者的关注.由于布尔网络的研究工具属半张量积较为合适,所以本文半张量积这个工具将布尔网络中的逻辑关系转换为代数形式,这有利于布尔网络的分析.论文的主要内容及创新点如下:第一章阐述了本文的研究背景.首先介绍了布尔网络网络和切换布尔网络的发展,以及矩阵半张量积的相关知识,然后介绍了布尔网络中逻辑函数的矩阵表示及其代数表达式.第二章研究了神经网络的可观性和最小可观问题.首先,给出了确定布尔网络可观性的充要条件.接着给出了布尔网络的最小可观问题的定义.我们发现系统的可观性会随着观测器的增加越来越好,也就是说已经可观的状态不会被新的观测器所影响.接着提出了一种观测器的设计方法,使得不可观的系统变可观.最后得到了确定最小节点数的充分必要条件.最后,利用数例验证了本文主要结果的有效性。第叁章研究了切换布尔控制网络的可观性.首先利用矩阵的半张量积,切换布尔网络的动力学可以转化为代数形式.接着,我们分别定义了在可设计切换信号和任意切换信号下的切换布尔控制网络的可观性,并通过将切换信号转化为布尔输入来确定系统的可观测性.接着设计了确定可观性的算法.同时可以得到反馈控制器以保证系统的可观性.最后,通过一个生物实例说明了该方法的有效性.第四章利用矩阵的半张量积和图论法研究了布尔网络的可观测性.首先,不可观状态可以分为两种类型,第一种类型的不可观状态可以通过分块思想很容易确定.接着,我们发现所有到达可观状态的状态都是可观的.基于图论法和分块思想,还可以确定第二类不可观测状态.并且得到了直接确定某些可观或不可观状态的方法.并通过数例验证了所提出方法的有效性.(本文来源于《浙江师范大学》期刊2019-05-01）
邓磊[7]（2019）在《不完全布尔网络的能控性与最优控制及在博弈中的应用》一文中研究指出布尔网络的分析与控制是当前控制领域的研究热点,它不仅是描述基因调控网络的一个有力工具,并且可以用来描述玩家个数有限的双策略重复博弈的演化动态。在实际的网络中,一些控制–状态可能产生不利甚至带来危险(例如基因调控网络中疾病的恶化、癌症的转移,博弈中玩家的破产等)。为了避免这类情况的发生,建立一类控制–状态受限的不完全布尔网络为这类问题的解决提供理论支持显得非常必要。本文利用矩阵的半张量积方法研究几类不完全布尔控制网络的能控性与最优控制,并将所得结果应用到具有破产机制的网络演化博弈的策略优化问题研究中。具体工作如下:1.具有脉冲影响的高阶不完全布尔控制网络能控性和最优控制分析。通过构造状态转移矩阵将具有脉冲影响的阶不完全布尔控制网络转化为代数形式。在此基础上,给出并证明了该不完全逻辑系统能控的几个充要条件。并且对Mayer型最优控制问题进行研究,建立了最优控制设计算法。2.具有干扰输入的不完全布尔控制网络的鲁棒输出能控性与鲁棒最优输出控制问题探究。首先,建立干扰不完全布尔控制网络的模型,利用矩阵半张量积方法将其转化成代数形式。然后,对这类不完全布尔控制网络的鲁棒输出能控性进行研究,给出并证明了在任意干扰输入下系统鲁棒输出能控的几个充分条件。最后,通过讨论鲁棒最优输出控制问题,给出了在任意干扰下可使目标函数最小化的控制器设计方法。3.状态和输入均受限的切换奇异布尔控制网络的最优控制问题研究。首先引入切换奇异布尔控制网络的更一般形式,利用半张量积方法将其转化成代数形式。由此,给出并证明了系统在任意切换信号和控制策略下解的存在唯一性。进而,将状态和输入均受限的切换奇异布尔控制网络转化为等价的非受限的切换布尔控制网络。在存在唯一解的条件下利用类似针状变分的方法,获得了状态和输入均受限的切换奇异布尔控制网络最优控制存在的必要条件。4.关于一类具有破产机制的网络演化博弈的策略优化问题讨论。首先利用代数形式将博弈的策略优化问题转化为带控制–状态避免集的不完全逻辑网络的控制问题。然后对于任一初始状态,给出并证明了在策略调控下避开所有禁止的控制–状态并到达目标状态的一个充要条件。并且,在避免出现玩家破产的情况下,设计出了使得这类网络演化博弈长期平均收益最大化的状态反馈控制器。(本文来源于《电子科技大学》期刊2019-04-15）
潘金凤[8]（2018）在《布尔网络控制与应用的代数方法》一文中研究指出论文主要分为两部分内容,大型布尔网络的相关分析以及布尔控制网络的输入输出解耦问题.其中第一部分都是基于网络的聚合算法对大型布尔网络进行分析.第二部分则是在网络代数表示下,应用状态空间的方法分析网络的输入输出解耦问题.论文第一章,作为预备知识介绍了布尔网络,半张量积,大型布尔网络,解耦问题的背景知识和研究现状.第二章介绍了半张量积定义和性质,布尔网络的代数表示,网络聚合算法,布尔网络状态空间及相关性质.第叁章研究了大型布尔网络的设计问题,使其含有想要的吸引子,且想要吸引子的吸引盆达到最大,不含有不想要吸引子.首先,应用聚合算法将布尔网络分为几个节点少且子块间联系稀疏的子块.在此基础上给出了网络包含想要的吸引子不包含不想要的吸引子的充要条件.最后,得到了各个子网络代数表示下的结构矩阵的设计算法.第四章研究了大型布尔网络最优单点摄动问题,即找到一个单点摄动,使得在此单点摄动下,想要吸引子的吸引盆与不想要吸引子的吸引盆大小之差达到最大.通过级联聚合算法将网络进行分块,在此基础上给出了依次确定最优单点摄动所需的5个算法.第五章中,我们依然应用网络分割来研究大型概率布尔网络的稳态分布问题.首先,基于小型概率布尔网络的代数表示,给出了其稳态分布存在的充要条件.在此基础上,通过分析得到了整个网络稳态分布的计算方法.第六章再次应用网络聚合算法分析带有限制的大型布尔控制网络的最小时间控制问题.在网络分块下,问题转化为寻找每个子块的最小时间问题.最后,给出了寻找整个网络最小时间和对应的最小时间控制的找寻方法.第七章基于布尔控制网络的代数表示,应用状态空间法分析了布尔控制网络的输入输出解耦问题.给出了可比较输出友好子空间存在的充要条件以及设计算法.得到了网络在开环控制器和状态反馈控制器下可输入输出解耦的充要条件及控制器设计方法.(本文来源于《山东大学》期刊2018-11-30）
李志强,宋金利,杨剑[9]（2018）在《概率布尔网络重构》一文中研究指出概率布尔网络是研究社会网络上的观念动力学以及基因调控网络的重要模型.对概率布尔网络的研究主要是利用Markov理论对系统的状态转移矩阵进行分析,矩阵的半张量积是将逻辑动态系统转化为代数形式的重要工具.本文主要利用矩阵的半张量积研究概率布尔网络到概率转移矩阵的逆问题,即将状态空间框架下的概率转移矩阵还原为原始的概率布尔网络.首先给出从状态概率转移矩阵构造概率布尔网络的算法,其次考虑到从概率状态转移矩阵到概率布尔网络构造的不唯一性,进一步改进了概率布尔网络逻辑表达的重构算法,最后通过实例检验了算法的有效性,并对未来的研究方向作出展望.(本文来源于《中国科学:信息科学》期刊2018年09期）
丁雪莹,李海涛[10]（2019）在《概率级联布尔网络的集镇定及其应用》一文中研究指出随着系统生物学和医学的迅速发展,基因调控网络已经成为一个热点研究领域.布尔网络作为研究生物系统和基因调控网络的一种重要模型,近年来引起了包括生物学家和系统科学家在内的很多学者的广泛关注.本文利用代数状态空间方法,研究了概率级联布尔网络的集镇定问题.首先给出概率级联布尔网络集镇定的定义,并利用矩阵的半张量积给出了概率级联布尔网络的代数表示.其次基于该代数表示,定义了一组合适的概率能达集,并给出了概率级联布尔网络集镇定问题可解的充要条件.最后将所得的理论结果应用于概率级联布尔网络的同步分析及n人随机级联演化布尔博弈的策略一致演化行为分析.(本文来源于《控制理论与应用》期刊2019年02期）
布尔网络论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
提出了时滞布尔网络内同步模型,利用矩阵半张量积理论,研究了简单时滞影响下布尔网络内同步问题,给出了时滞布尔网络实现内同步的充分必要条件,并且通过数值仿真实例进一步验证了结论的有效性.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
布尔网络论文参考文献
[1].陈智斌.基于布尔网络的语义悖论研究[J].现代计算机.2019
[2].胡海慧,梁义.受时滞影响的简单布尔网络内同步[J].伊犁师范学院学报(自然科学版).2019
[3].崔禹欣.多层布尔控制网络的可达性[D].哈尔滨理工大学.2019
[4].杨芮.基于布尔网络低功耗物理随机数发生器的研究[D].太原理工大学.2019
[5].于永渊.逻辑矩阵方程及其在布尔网络中的应用[D].山东大学.2019
[6].刘华超.基于STP方法的布尔网络可观性研究[D].浙江师范大学.2019
[7].邓磊.不完全布尔网络的能控性与最优控制及在博弈中的应用[D].电子科技大学.2019
[8].潘金凤.布尔网络控制与应用的代数方法[D].山东大学.2018
[9].李志强,宋金利,杨剑.概率布尔网络重构[J].中国科学:信息科学.2018
[10].丁雪莹,李海涛.概率级联布尔网络的集镇定及其应用[J].控制理论与应用.2019