收藏本站
《山东大学》 2019年
收藏 | 手机打开
二维码
手机客户端打开本文

逻辑矩阵方程及其在布尔网络中的应用

于永渊  
【摘要】:利用矩阵半张量积,布尔网络及其推广形式,布尔控制网络和切换布尔网络,可以转化为代数表达形式.基于它们的新形式,布尔网络中的大量问题可以被系统地解决.为处理一些设计类的问题,本文提出了一种基于矩阵方程的方法.通过这个构造性的方法,块分解中的坐标变换,可逆性分析中的逆系统,以及实现稳定性的切换信号等,都可以被设计出来.论文的第一章首先介绍了几类常用矩阵方程的历史由来与发展现状,其次介绍布尔网络的起源与发展,尤其是基于半张量积,布尔网络在能控能观性,分解与解耦,可逆性与稳定性等方面的背景.第二章是一些关于半张量积的预备知识.除此之外,本章也详细地演示了将布尔控制网络和切换布尔网络等价地转化为其代数表示的过程.在第三章中,三类逻辑矩阵方程从一些实际问题被提炼出来,并分别计算了它们的逻辑解集.由于逻辑矩阵的特殊形式,逻辑解集可以以一种简洁的方式进行呈现.这些结果将被应用于随后的章节,用以分解系统,设计逆系统,以及切换信号.通过逻辑矩阵方程,布尔控制网络的块分解问题在第四章进行了研究.首先,块分解的概念被提出.其次,布尔控制网络的块分解问题被等价地转化为一族逻辑矩阵方程的求解问题.据此,合适的坐标变换可以被设计出来.最后通过一个例子来展示结果的有效性.本文的第五章致力于更加一般形式的布尔控制网络的输出能观性(也被称为非奇异性和左可逆性).首先,利用图论方法,将全局非奇异性转化为有限步的逐点非奇异性.进而,给出一些矩阵形式的判据用以确定非奇异性.在这些判据的基础上,所需的逆布尔控制网络可以被计算和设计出来.章末,通过一个数值算例来显示所得结果的可行性与有效性.在第六章,本文分析了切换布尔网络的三类稳定性,分别是任意切换下的稳定性,逐点切换稳定性以及一致切换稳定性.在一个改进方法的框架下,任意切换下的稳定性和逐点切换稳定性被讨论.基于切换信号的类型,伴随逻辑网络被构造出来用以研究一致切换稳定性和时变输出反馈下的(逐点切换)稳定性.利用这些方法,可以给出一些矩阵判据.相比已有结果,本章结果具有较小的计算复杂度.基于矩阵半张量积,第七章进一步研究了切换布尔网络的切换信号设计问题.首先,提出了一个构造性的方法来获取实现稳定性的全部的状态反馈切换信号.接着,本文发现全局一致切换稳定性等价于伴随逻辑网络中的局部(单点)逐点切换稳定性,进而在有限时间可稳的意义下,所需的全部一致切换信号可以被确定.随之,该方法被推广到时变输出反馈的情况.此外,利用逻辑矩阵方程,本文还分析了切换布尔网络的反馈能力问题.最后,结合一个生物例子和一个数字电路的例子,本文讨论了该章结果的有效性.第八章从研究中存在的问题和布尔网络未来展望两个方面对全文进行了总结.
【学位授予单位】:山东大学
【学位级别】:博士
【学位授予年份】:2019
【分类号】:O157.5;O151.21

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 范志勇;李中杰;;一道全国大学生数学竞赛试题的推广[J];数学学习与研究;2017年01期
2 李晓莎;;解矩阵方程的新方法[J];课程教育研究;2017年33期
3 陈曦;;一类非线性矩阵方程对称解的双迭代算法[J];信息通信;2015年06期
4 房佳婷;朱慧媛;;一类非线性矩阵方程的研究[J];商业故事;2016年26期
5 刘巍;熊慧军;王柏育;;基于插值理论的非线性矩阵方程[J];湖南科技学院学报;2011年08期
6 闵惜琳;郭开仲;;基于特性增加变换的错误矩阵方程构建及求解[J];广东工业大学学报;2011年02期
7 闵惜琳;郭开仲;;基于空间分解变换的模糊错误矩阵方程求解[J];模糊系统与数学;2010年01期
8 郭江龙;张树芳;宋之平;;热力系统广义q-γ-τ矩阵方程式及其应用[J];热力发电;2006年02期
9 冯平;;解矩阵方程的一种简便方法[J];新疆职业大学学报;2006年03期
10 曹玉平;线性矩阵方程的有解条件和解的结构[J];广西工学院学报;2004年04期
中国重要会议论文全文数据库 前10条
1 郭开仲;;模糊错误二类3矩阵方程实解的存在性及其解法[A];1996年中国智能自动化学术会议论文集(上册)[C];1996年
2 潘文涛;;模糊错误二类4矩阵方程的实解[A];1996年中国智能自动化学术会议论文集(上册)[C];1996年
3 刘长学;;200000阶稀疏矩阵方程的求解问题[A];土木工程中计算机应用文集——中国土木工程学会计算机应用学会成立大会暨第一次学术交流会论文集[C];1981年
4 余波;董宁;李董辉;;关于一类二次矩阵方程迭代方法收敛性[A];中国运筹学会第九届学术交流会论文集[C];2008年
5 唐功友;刘永清;;离散型李雅普诺夫矩阵方程的新解法[A];1989年控制理论及其应用年会论文集(下)[C];1989年
6 黄力民;;Lyapunov矩阵方程与Lyapunov函数构造[A];数学·物理·力学·高新技术研究进展(一九九六·第六期)——中国数学力学物理学高新技术交叉研究会第6届学术研讨会论文集[C];1996年
7 段红梅;;一类二阶不确定Sylvester矩阵方程的鲁棒算法及其仿真[A];第二十七届中国控制会议论文集[C];2008年
8 雷林源;;工程CT技术的原理和模拟计算[A];中国地球物理学会年刊2002——中国地球物理学会第十八届年会论文集[C];2002年
9 朱成九;;用奇异函数解阶梯形连续梁[A];第四届全国结构工程学术会议论文集(上)[C];1995年
10 黄镜新;;二类4模糊错误对角矩阵方程求解[A];1998年中国智能自动化学术会议论文集(上册)[C];1998年
中国博士学位论文全文数据库 前10条
1 董宁;两类非线性矩阵方程的数值计算方法研究[D];湘潭大学;2018年
2 于永渊;逻辑矩阵方程及其在布尔网络中的应用[D];山东大学;2019年
3 MANSOUR SAEED IBRAHIM ADAM;[D];扬州大学;2018年
4 孟纯军;求解几类特殊的约束矩阵方程的理论与算法研究[D];湖南大学;2005年
5 李范良;几类特殊矩阵的左,右逆特征对问题及其矩阵方程组问题[D];湖南大学;2005年
6 郭孔华;求解约束矩阵方程的正交投影迭代法研究[D];湖南大学;2007年
7 龙建辉;求解几类非线性矩阵方程的数值算法[D];湖南大学;2008年
8 张娟;控制系统中的非线性矩阵方程的约束解及其数值算法[D];湘潭大学;2013年
9 段雪峰;几类非线性矩阵方程的理论与方法[D];湖南大学;2008年
10 雷曼阿卜杜勒(Abdur Rehman);四元数代数上一些矩阵方程系统的研究[D];上海大学;2015年
中国硕士学位论文全文数据库 前10条
1 陈露;几类矩阵方程迭代解法的研究[D];长沙理工大学;2018年
2 邓淼;矩阵方程预处理技术的研究[D];长沙理工大学;2017年
3 韩彦龙;对偶复模糊矩阵方程的模糊近似解[D];西北师范大学;2018年
4 徐露萍;几类矩阵方程特殊解的计算[D];青岛科技大学;2017年
5 闫逸波;一类矩阵方程与张量方程的算法探究[D];贵州师范大学;2017年
6 霍佩佩;一类线性矩阵方程的数值求解方法[D];陕西科技大学;2017年
7 裴伟娟;几类非线性矩阵方程的数值解法[D];东北林业大学;2014年
8 刘新萍;一类矩阵方程的解[D];曲阜师范大学;2013年
9 包红伟;几类模糊矩阵方程的计算理论与方法研究[D];西北师范大学;2016年
10 赵冰艳;矩阵方程的特殊解及其最佳逼近问题的研究[D];湖南科技大学;2015年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026