论文部分内容阅读
在计算机网络、数字电路和自动化制造业等方面的许多问题都可以用极大-加系统来建立模型.极大-加系统以极大-加代数为基础,极大-加代数是把一般代数结构中的加法运算和乘法运算分别替换为取极大运算和加法运算得到的一种代数结构.极大-加代数是一种特殊的双子,在极大-加代数上的所有区间的集合上定义两种运算,构成一个区间双子. 本文主要研究状态限制的区间极大-加系统的反馈控制.对于带有输入结构的生产系统,我们经常需要考虑原料的输入时间、工件的运输时间和机器的加工时间等.在满足系统条件的基础上,我们希望对系统加以控制,并使系统的状态满足外界给定的限制.当系统中机器的加工时间是区间时,本文通过求区间极大-加系统的反馈区间矩阵,达到对输入端的控制,从而控制整个系统.同时,为了求区间极大-加系统的反馈区间矩阵,本文还要研究方程A(X)x=B(X)y的解和算法等. 引言部分,介绍与区间极大-加系统相关的研究背景和研究现状. 第一章主要对本文涉及到的一些基本概念进行介绍.例如双子、极大-加代数、区间、区间矩阵及区间极大-加系统等,重点证明区间及区间矩阵的一些性质,还举例介绍区间双子上区间矩阵的运算.这些概念和性质为后面章节奠定了理论基础. 第二章对方程A(X)x=B(X)y的解和算法做进一步研究.我们主要研究方程的解和稳定解,给出方程的算法.当区间矩阵A,B的每个元素的上、下界是整数时,分析算法的运行次数与方程的解的关系.该算法为第三章求反馈区间矩阵提供了方法. 第三章是本文的核心章节,基于区间及区间矩阵的性质,运用代数的方法,研究区间极大-加系统的反馈控制.当初始状态满足给定的限制时,给出反馈控制有解的一个充分必要条件.从而将求反馈控制的解的问题转化成求方程的解的问题.然后通过添加限制条件,找到反馈控制有解的一个充分条件.这样,根据这个充分条件及第二章中的方程的算法,就可以求出反馈区间矩阵.最后,通过一个数值例子对区间极大-加系统的反馈控制及其结论进行解释说明. 结论部分,总结本文的主要结论,并提出有待研究的问题.