关于可分2-D系统的几个注记

可分２－Ｄ系统是一类具有良好特性的特殊２－Ｄ系统，它在多方面均有重要的应用。本文在已有结果的基础上对具有可分性的２－Ｄ多输入多输出系统的再实现问题、渐近稳定性代数判据、状态观测设计等方面进行了较为广泛的研究，得到了许多较多的结果。     

2－D系统的干扰解耦

本文讨论了２－Ｄ系统的干扰解耦问题（ＤＤＰ），将１－Ｄ系统理论中的有关结果推广到了２－Ｄ线性离散常系数一般模型（２－ＤＧＭ），得到了问题可解的充分条件和必要条件以及相应的算法．这些结果较好地改进了现有结果     

2－DRoesser模型的静态干扰解耦

本文讨论了２－ＤＲｏｅｓｓｅｒ模型［１］（ＲＭ）的静态干扰解耦问题［２］（简称为２－ＤＤＤＰ），即寻求２－Ｄ状态反馈使相应的闭环系统具有抗干扰的能力，得到了问题有解的充分条件和计算相应反馈阵的算法．     

2-D系统的干扰解耦

本文讨论了２－Ｄ系统的干扰解耦问题（ＤＤＰ），将１－Ｄ系统理论中的有关结果推广到了２－Ｄ线性离散常系数一般模型（２－ＤＧＭ），得到了问题可解的充分条件和必要条件以及相应的算法。这些结果较好地改进了现有结果。     

一般模型2－D系统的观测器设计理论

该文讨论了２－Ｄ一般模型（２ＤＧＭ）在标准边界条件下的渐近观测器的存在性条件及其设计问题．为此，首先将由Ｂｉｓｉａｃｃｏ等人在１９８５年发展起来的相应于对角边界条件的２－Ｄ渐近稳定性理论推广到了具有标准边界条件的２－Ｄ一般模型．在此基础上，借助于局部能控性概念，建立了一系列十分类似于１－Ｄ情形的观测器的存在条件，从这些存在条件出发也可以得到相应的观测器设计算法，最后还得出了２ＤＧＭ的分离性定理．     

2-D奇异系统的干扰解耦控制

本文研究２－Ｄ奇异系统的干扰解耦控制问题,首先定义适合２－Ｄ奇异系统一般模型的（Ｅ,Ａ,Ｂ）－不变子空间的概念,然后利用Ｋａｃｏｒｅｋ给出的２－Ｄ奇异系统一般状态响应公式,得到２－Ｄ奇异系统的干扰解耦控制问题可解的充分条件及其设计算法。     

2-D正线性系统的实现问题

讨论广义２－Ｄ系统的正实现问题。首先引进了２－Ｄ主项系统的定义,给出了广义２－Ｄ主项系统传递函数阵分解为正则部分和广义部分的方法。然后分别讨论了各部分存在实现的条件和实现的方法。     

2-D线性离散系统一般模型的最优状态估计*

本文利用最优状态估计理论，讨论了二维线性离散系统一般模型最优状态估计问题，基于２－ＤＧＭ的变结构１－Ｄ表示，导出了表现为１－Ｄ形式的２－ＤＧＭ的最优状态估计器，文中还直接由２－ＤＧＭ出发，将１－Ｄ最优状态估计的思想推广到２－Ｄ情形，提出了２－Ｄ状态估计器的设计方法。     

MS－DOS6．2操作系统的多系统软件配置

本文分析了多系统软件运行时的内存冲突，介绍了采用ＭＳ－ＤＯＳ６．２操作系统后，解决运行多系统软件的内存冲突的多配置方法。     

离散事件动态系统的D－B动机模型

首先引入Ｄ－子集和Ｄ－语言的概念，在此基础上给出了一类离散事件动态系统的一般形式化表述──Ｄ－自动机模型，并讨论了受控系统的动态行为．最后研究了系统的状态可达性问题．     

一般2-D线性常系数离散状态空间模型渐近稳定性的一类Lyapunov方法

本文给出了一般2-D线性常系数离散状态空间模型(2-D GM)的渐近稳定性的定义以及相应的判据,并借助于Lyapunov方程给出了2-D Roesser Model(2-D RM)渐近稳定条件,推广和简化了文献[1,7]的有关结论。最后通过行列式的一个简单性质,证明了关于2-DGM渐近稳定性的判定可以转化为一类特殊的2-D RM的相应问题,从而得到了判定2-D GM渐近稳定性的Lyapunov方法。     

不确定线性2-D 离散系统的鲁棒滑模控制

针对不确定线性离散二维（2-D）系统,研究了其鲁棒稳定性、鲁棒镇定和鲁棒滑模控制问题.基于线性矩阵不等式的方法推导了该系统鲁棒渐近稳定的充分条件,并给出了系统状态反馈镇定器和理想滑动模态存在的充分条件.改进了离散时间滑模控制系统的趋近律方法,使得状态能够到达滑模面上产生理想的滑动模态,并将其推广应用到2-D离散系统中,综合了一类滑模控制器保证闭环系统鲁棒渐近稳定.仿真实例证实了该设计方法的有效性.     

一般模型2-D系统的观测器设计理论

该文讨论了2-D一般模型(2DGM)在标准边界条件下的渐近观测器的存在性条件及其 设计问题.为此,首先将由Bisiacco等人在1985年发展起来的相应于对角边界条件的2-D、 渐近稳定性理论推广到了具有标准边界条件的2-D一般模型.在此基础上,借助于局部能控 性概念,建立了一系列十分类似于1-D情形的观测器的存在条件,从这些存在条件出发也可 以得到相应的观测器设计算法,最后还得出了2DGM的分离性定理.     

New necessary and sufficient conditions for local controllability and local observability of 2-D separable denominator systems

New necessary and sufficient conditions for local controllability and observability of 2-D separable denominator systems (SDS's) are presented on the basis of the reduced-dimensional decomposition of 2-D SDS's. It is proved that local controllability of a 2-D SDS is equivalent to controllability of two 1-D systems which are a special decomposition pair of the 2-D SDS. Furthermore, local observability of a 2-D SDS is equivalent to a full rank condition of the coefficient matrices of the 2-D SDS in addition to observability of two 1-D systems which are another special decomposition pair of the 2-D SDS. Thus, these new conditions which use only 1-D controllability matrices, 1-D observability matrices, and coefficient matrices of the 2-D SDS are much simpler than any previous conditions which use complex 2-D controllability and observability matrices.     

二维可分Roesser模型的模能控(观)性

本文讨论了二维可分Roesser模型(RM)的模能控(观)性的判定问题,得出了相应的 充要条件和数值稳定的算法,同时给出了该算法具有数值鲁棒性的充要条件和算法累积误差 最大容许上界的显式估计,最后对二维可分RM的模能观性在状态空间中给出了一种几何解 释.     

Duality of 2-D singular systems of Roesser models

In this paper, the properties and concepts of dual systems of the two-dimensional singular Roesser models （2-D SRM） are studied. Two different concepts of the dual systems are proposed for the 2-D SRM. One is derived from the duality defined for two-dimensional singular general models （2-D SGM）-called the S-dual systems; the other one is defined based on 2-D SRM in a traditional sense-called the T-dual systems. It is shown that if a 2-D SRM is jump-mode free or jump-mode reachable, then it can be equivalently transformed into a canonical form of a 2-D SRM, for which the T-duality and the S-duality are equivalent. This will be of some perspective applications in the robust control of 2-D SRM.     

Duality of 2-D singular systems of Roesser models

In this paper, the properties and concepts of dual systems of the two-dimensional singular Roesser models (2-D SRM) are studied. Two different concepts of the dual systems are proposed for the 2-D SRM. One is derived from the duality defined for two-dimensional singular general models (2-D SGM)-called the S-dual systems; the other one is defined based on 2-D SRM in a traditional sense-called the T-dual systems. It is shown that if a 2-D SRM is jump-mode free or jump-mode reachable, then it can be equivalently transformed into a canonical form of a 2-D SRM, for which the T-duality and the S-duality are equivalent. This will be of some perspective applications in the robust control of 2-D SRM.     

Note on the pole assignment of q-dimensional linear systems

The method in Chu (1986) for the solution of the pole assignment problem of separable 2-D linear discrete systems with state feedback is improved and extended to q-D linear discrete systems and systems with output feedback.