基于代数方法的逻辑网络控制与应用

发布时间：2024-01-31 06:59

　　利用矩阵半张量积,论文将逻辑动态系统表示为代数状态空间动力系统.并在这个框架下,讨论并解决或部分解决了切换布尔网络的能控能观性,混合值逻辑系统的干扰解耦,以及基于混合值逻辑的队列控制问题.论文第一章,作为预备知识介绍了布尔网络,队列控制,半张量积的背景知识和研究现状.第二章介绍了布尔网络的模型,半张量积定义和性质以及将逻辑运算形式的布尔网络动态方程代数化的方法.第三章研究了切换布尔网络的能控性和能观性.利用矩阵的半张量积,切换布尔控制网络的动态方程可转换为代数形式.随后提出了MIS (model-input-state)矩阵并研究了其相关性质.MIS矩阵包含了模型、输入、状态映射的完整信息.然后是切换布尔网络能控性的充要条件.能控条件下,我们给出了点到点之间的控制和切换律设计算法.关于切换系统的能观性,我们先给出了一个充分条件.然后,在能控性假设下,我们也给出了能观性的充要条件.在此章最后一节我们研究了高阶切换布尔网络的能控性.我们给出了它的两种代数形式.基于第二种代数形式得到了能控性的充要条件.第四章,我们研究混合值逻辑网络的干扰解耦问题.利用质因子分解定理,我们得到唯一的混合值逻辑...

【文章页数】：119 页

【学位级别】：博士

【部分图文】：

统计资料科研情况(1)

科技成果奖励情况表合计特等一等二等三等未评级合计国家自然科学奖国家发明奖国家科技进步奖国家星火奖国务院各部门科技进步奖省、市、自治区科技进步奖4500l0377055l211127121511学术论文科研成果鉴定统计表计量单位数量1计量单位数量出版科技著作科技专著大专院校教科书科....

统计资料科研情况(2)

科技成果奖励情况表合计特等一等二等三等未评级合计国家自然科学奖国家发明奖国家科技进步奖国家星火奖国务院各部门科技进步奖省、市、自治区科技进步奖4500l0377055l211127121511学术论文科研成果鉴定统计表计量单位数量1计量单位数量出版科技著作科技专著大专院校教科书科....

统计资料科研情况(3)

科技成果奖励情况表合计特等一等二等三等未评级合计国家自然科学奖国家发明奖国家科技进步奖国家星火奖国务院各部门科技进步奖省、市、自治区科技进步奖4500l0377055l211127121511学术论文科研成果鉴定统计表计量单位数量1计量单位数量出版科技著作科技专著大专院校教科书科....

统计资料科研情况(4)

科技成果奖励情况表合计特等一等二等三等未评级合计国家自然科学奖国家发明奖国家科技进步奖国家星火奖国务院各部门科技进步奖省、市、自治区科技进步奖4500l0377055l211127121511学术论文科研成果鉴定统计表计量单位数量1计量单位数量出版科技著作科技专著大专院校教科书科....

本文编号：3891171