极大加代数矩阵的整特征向量和整像

摘要

极大加代数是研究系统科学的一个重要工具，它可使时序离散事件系统具有像一般线性系统那样的状态空间表达式，达到利用线性系统模型分析离散事件动态系统的目的.极大加代数能解决许多实际问题，例如，资源分配问题，铁路系统调度问题，生产流水线最优控制问题，制造系统优化和控制问题等.在极大加代数结构中重新定义了许多重要的数学概念，并讨论其性质，例如，极大加代数矩阵的行列式及其性质、极大加代数矩阵的特征值和特征向量、线性独立、模结构等.矩阵的特征问题和像问题是极大加代数中重要的数学概念且有着重要的理论和实践意义.特征值表示系统的周期时间，特征向量表示系统的稳定状态.像表示系统的运行结果.
　　本文的主要内容是在前人工作的基础上，研究极大加代数矩阵的整特征向量和整像.给出可约极大加代数矩阵存在块整特征向量的充分必要条件和在一定条件下存在整特征向量的充分必要条件.给出广义整像算法，数值例子表明广义整像算法是伪多项式算法.给出m×3极大加代数矩阵和Monge矩阵存在整像的充分必要条件，并且给出强确定矩阵存在整特征向量和存在整像的等价性.本文共分为五个部分.
　　引言部分，介绍与极大加代数矩阵整特征向量和整像相关的研究背景和研究现状.
　　第一章，介绍本文涉及到的基本概念和引理，包括极大加代数、可约极大加代数矩阵、特征值、特征向量、整像等.举例说明极大加代数矩阵间的运算.这些概念和引理为后面的章节提供了理论支撑.
　　第二章，介绍极大加代数矩阵的整特征向量.提出块整特征向量的概念，分别给出可约极大加代数矩阵存在块整特征向量的充分必要条件和在一定条件下存在整特征向量的充分必要条件并给出相应的数值例子.
　　第三章，介绍极大加代数矩阵的整像.给出m×3极大加代数矩阵存在整像的充分必要条件，m×n极大加代数矩阵特殊条件下存在整像的充分必要条件.给出广义整像算法，通过验证主对角线上的块极大加代数矩阵确定可约和不可约极大加代数矩阵的整特征向量.数值例子表明广义整像算法是伪多项式算法.最后给出Monge矩阵存在整像的充分必要条件和强确定矩阵存在整特征向量和存在整像的等价性.
　　结论部分，总结本篇论文的主要结论，并提出有待进一步研究的问题.

目录

声明

摘要

引言

第一章 预备知识

1．1 极大加代数

1．2 极大加代数矩阵

1．3 极大加代数矩阵的特征问题和整像

第二章 极大加代数矩阵的整特征向量

2．1 可约极大加代数矩阵的整特征向量

2．2 数值例子

第三章 极大加代数矩阵的整像

3．1 m×3矩阵存在整像的充分必要条件

3．2 m×n矩阵特殊条件下存在整像的充分必要条件

3．3 可约极大加代数矩阵的整像算法

3．4 Monge矩阵和强确定矩阵

结论

参考文献

后记

攻读学位期间取得的科研成果清单