极矩阵中正元个数遍历性质的一个注记

设　是恰含ｄ≥１个正对角元且幂敛指数达到上界　的ｎ阶布尔矩阵的集合，Ｑ（ｎ，ｄ）和Ｐ（ｎ，ｄ）分别是Ｄ＇ｎ，ｄ中矩阵正元个数的最小值和最大值．本文给出了Ｑ（ｎ，ｄ），Ｐ（ｎ，ｄ）的值，并证明了，对介于Ｑ（ｎ，ｄ）和Ｐ（ｎ，ｄ）之间的任意整数ｋ，都存在Ｄ中的某个矩阵，其正元个数等于ｋ．     

环上矩阵的Drazin逆

设Ｒ是一交换环,Ａ∈Ｍｎ（Ｒ）,定义Ａ的指数和Ｄｒａｚｉｎ逆Ａ＾Ｄ,假设Ａｋ＝ＰＢＱ,ｋ＝ｉｎｄ（Ａ）,其中Ｐ,Ｂ,Ｑ∈Ｍｎ（Ｒ）,存在Ｐ’,Ｑ’∈Ｍｎ（Ｒ）,使得Ｐ‘ＰＢ＝Ｂ＝ＢＱＱ’若Ｂ有群逆,则Ａ有Ｄｒａｚｉｎ逆当且仅当ＢＢ＾＃ＱＡＰＢ＋Ｉ－ＢＢ＾＃可能,此时有Ａ＾Ｄ＝ＰＢ（ＢＢ＾＃ＱＡＰＢ＋Ｉ－ＢＢ＾＃）＾－１Ｑ。     

（m，n）－树的次集和次序列

定义了（ｍ，ｎ）－树的次集和次序列的概念，并且定义一个集Ｄ是（ｍ，ｎ）－可实现的如果Ｄ是某个（ｍ，ｎ）－树的次集．证明了：如果Ｄ是具有最大元素ｄ的数集，则对某个ｋ’，ｋ’≥（ｄ－１）δ是（ｋ’－δ，ｋ’）－可实现的当且仅当Ｄ有一个实现是一个具有ｄ个极大单形的（ｄδ－δ－１，ｄδ－１）－树，并且对任意ｋ≥（ｄ－１）δ，Ｄ也是（ｋ－δ，ｋ）－可实现的     

次Hermite矩阵的次正定性

若ｎ阶次Ｈｅｒｍｉｔｅ矩阵Ａ，对任意非零向量Ｘ＇＝（ｘ＿１，ｘ＿２，…ｘ＿ｎ）∈Ｒ￣ｎ，有ＡＸ＞０，则称次Ｈｅｒｍｉｔｅ矩阵Ａ是次正定的．给出了判定次Ｈｅｒｍｉｔｅ矩阵次正定的几个充要条件：定理ｎ阶次Ｈｅｒｍｉｔｅ矩阵Ａ是次正定的，当且仅当下列条件之一成立：（ｌ）Ｈｅｒｍｉｔｅ矩阵ＪＡ是正定的；（２）存在ｎ阶可逆复矩阵Ｐ，使ＡＰ＝Ｊ；（３）次Ｈｅｒｍｉｔｅ矩阵Ａ的４ｋ阶，４ｋ十互阶下次主子式为正，４ｋ＋２阶，４ｋ＋３阶下次主子式为负；（４）存在ｎ阶可逆复矩阵Ｐ，使其中λ＿ｉ＞０，ｉ＝１，２，…，ｎ。     

圈Cn的道路多项式

道路多项式Ｐ＿ｋ（λ）是上，下对角线元素为１，其余位置元素为０的ｋ阶方阵的特征多项式，ｋ≥１和Ｐ＿０（λ）＝１。若Ｐ＿ｋ（Ａ）≥０，ｋ＝０，１，２，…，则说ｎ阶方阵Ａ是道路正矩阵。当图的邻接矩阵是道路正矩阵时，则称这个图是道路正图。该文给出了圈Ｃ＿ｎ的邻接矩阵的道路多项式计算公式。证明它是道路正图。     

判定凸多边形可碰撞性的并行算法

设Ｐ与Ｑ旬平面内任意两个互不相交的凸多边形，ｄ为任一给定方向。研究并行判定Ｐ沿ｄ以平移方式移动与Ｑ碰撞的问题，采用Ｓ分搜索策略，在ＭＩＭＤ－ＣＬ模型上给出了求解此问题的并行算法，并证明了算法的正确性。最坏情况下，在超立方结构上算法的时间复杂度为Ｏｌｏｇ２（ｍ＋ｎ），通讯复杂度为Ｏ（ｅｌｏｇ２（ｍ＋ｎ）／ｌｏｇ２Ｓ）。     

D4h对称下^5D,^3L和^1L态的哈密矩阵研究及它的应用

本文推导了３ｄ＾４／３ｄ＾６离子在Ｄ４ｈ对称下＾５Ｄ、＾３Ｌ（Ｌ＝Ｐ，Ｄ，Ｆ，Ｇ，Ｈ）和＾１Ｌ（Ｌ＝Ｓ，Ｄ，Ｆ，Ｇ，Ｈ）态的哈密顿矩阵元，其中包括晶场、自旋－轨道、自旋－自旋相互作用及Ｔｒｅｅｓ＇修正。     

LMI解充要条件及其参数化方法

针对线性矩阵不等式（ＬＭＩ）ＢＧＣ＋（ＢＧＣ）＾Ｔ＋Ｄ〈０中，ｒａｎｋＢ〈ｎ．ｒａｎｋＢ＝ｎ＝ｍ，ｒａｎｋＣ〈ｎ，ｒａｎｄＣ＝ｎ＝ｋ及ｒａｎｋＢ＝ｎ＝ｍ＝ｒａｎｋＣ＝ｋ几种情况，分别得到ＬＭＩ解的新的充要条件，并给出了相应的参数化方法，可方便地用于方差控制、Ｑ稳定控制和鲁棒Ｌ控制等问题的固定阶输出反馈控制器的Ｇ的设计。     

矩阵的一个定理和线性方程组解的结构

设Ａ∈Ｍ＿（ｍ×ｎ）（Ｆ），则存在ｍ阶可逆矩阵Ｐ和ｎ阶可逆矩阵Ｑ，使其中ｒ＝Ｒ（Ａ）；本文还讨论了一般线性方程组Ａ＿（ｍｎ）Ｘ＿（ｎ１）＝ｂ＿（ｍ１）的可解性及解的结构与矩阵Ｐ，Ｑ之间的关系。     

乙炔二锂（C2Li2）异构体反应的分子轨道研究

基于量子化学从头计算法（ＣＣＳＤ（Ｔ）、ＱＣＩＳＤ（Ｔ））以及二阶微扰法（ＭＰ２），研究了乙炔二锂分子的平面桥式与线性式之间的异构化途径．６－３１１Ｇ（ｄ）基态被用于几何优化和反应途径的确定，而６－３１Ｇ（３ｄｆ）基态被用于单点式计算．其有关结构优先及成键特征的结果与用Ｍφｌｅｒ－Ｐｌｅｓｓｅｔ微扰方法所得一致．在ＭＰ２／６－３１１Ｇ（ｄ）理论水平上给出了质－权坐标的最小能量途径．在本研究的最高理论水平［ＱＣＩＳＤ（Ｔ，ＦＵＬＬ）／６－３１Ｇ（３ｄｆ）∥ＱＣＩＳＤ（Ｔ，ＦＵＬＬ）／６－３１１Ｇ（ｄ）］上，发现平面型分子的异构化势垒（１０．０ｋｃａｌ／ｍｏｌ）要比线型Ｃ２Ｌｉ２（１．３ｋｃａｌ／ｍｏｌ）的大得多     

图中含有k－因子的一个充分性条件

设ｋ是一不小于３的整数，Ｇ是连通图，具顶点数ｎ≥７ｋ－７，ｋｎ是偶数，且Ｇ的最小度δ（Ｇ）≥ｋ。本文证明了：若对Ｇ中任意一对不相邻的顶点ｕ、ｖ均有２ｎ－１≤ｄ（ｕ）＋ｄ（ｖ）十２｜（ｕ）ＵＮ（Ｖ）Ｄ，则Ｇ有ｋ一因子。     

Drazin逆的子式

给出了Ａ 的Ｄｒａｚｉｎ 逆的子式表示,对Ａ∈Ｒｎ×ｎ,Ｉｎｄ（Ａ）＝ ｋ,且ｒａｎｋ（Ａｋ）＝ ｒｋ, 则Ａ的Ｄｒａｚｉｎ 逆Ａｄ 的子式为：ｄｅｔＡｄ［β,α］ ＝ ν－ ２ ∑ω ∑（Ｉ,Ｊ）∈Ｎ（ω,β）ｄｅｔ（Ａｋ）ＪＩｄｅｔＡｋ－ １［ω,α］ ｜（Ａｋ）ωβ｜｜（Ａｋ）ＩＪ｜,这里α,β,ω∈Ｑｈ,ｎ, Ｉ,Ｊ∈Ｑｒｋ,ｎ, １≤ｈ≤ｒｋ, 且ν＝ ∑Ｊ∈Ｊ（Ａｋ）ｄｅｔ（Ａｋ）ＪＪ． 利用上述公式,不必先计算出Ａｄ,就可直接计算Ａｄ 的子式     

一个关于2—连通图周长的次条件

设Ｇ为ｎ阶２－连通图，顶点ｖ１，ｖ２，…，ｖｎ满足ｄ≤ｄ２≤…≤ｄｎ，其中ｄｉ＝ｄ９ｖｉ），ｉ＝１，２，…，ｎ。给出ｃ（Ｇ）≥ｍｉｎ「ｎ，ｍ」的如下条件：ｊ〈ｋ，ｖｊｖｋ∈Ｅ，Ｊ＋Ｋ〈ｍ，ｄＪ≤Ｊ，Ｄｋ＋１≤ｋｄ（ｖ），ｄ（ｕ）≤Ｊ（其中Ｊ＝ｄ（ｖｊ），Ｋ＝ｄ９ｖｋ））｝→ｄｉｓｔ（ｖ，ｕ）≠２。     

关于S[^In（）k]的上界

记Ｉｎ＝（１，２，…，ｎ），（＾Ｉｎｋ）是Ｉｎ的ｋ元子集的全体，Ｓ（（＾Ｉｎｋ））是（（＾Ｉｎｋ））作为Ｓｐｅｒｎｅｒ最小矩阵表示数，本文证明：对任何３≤ｋ≤ｎ－１，（＾Ｉｎｋ））≤（＾ｎ－１ｋ－２）＋１。     

关于环面网格和对角网格网络的对剖宽度

Ｔａｎｇ和Ｐａｄｕｂｉｄｒｉ在１９９４年曾指出：ｎ×ｋ（ｎ，ｋ为奇数且３≤ｎ≤ｋ）的环面网络网络（Ｔｏｒｏｉｄａｌ Ｍｅｓｈ Ｎｅｔｗｏｒｋｓ，ＴＭ）ＴＭ（ｎ，ｋ）和对角网格网络（Ｄｉａｇｏｎａｌ Ｍｅｓｋ Ｎｅｔｗｏｒｋｓ，ＤＭ）ＤＭ（ｎ，ｋ）的对剖宽度分别为ｂ（ＴＭ（ｎ，ｋ）＝２ｎ＋２和ｂ（ＤＭ（ｎ，ｋ））＝４ｎ，本文证明了前一等式确实成立但后一等式不然，当ｎ＝ｋ时，ＤＭ（ｎ，ｎ）与ＴＭ（ｎ，     

用范德蒙行列式构造协调正交对角线拉丁D体和双重标准幻D体

要所谓ｎ阶双重标准幻Ｄ体是一个ｎ阶Ｄ维阵列，它的元是ｎ￣Ｄ个不同的正整数，使得每一“行”，每一“对角线”上的－ｎ个元不仅和，而且积均为常数．在本文中，我们给出了用范德蒙行列式构造协调正交对角线拉丁Ｄ体和用协调正交对角线拉丁Ｄ体构造双重标准幻Ｄ体的方法，从而证明了：对于所有２≤Ｄ≤ｋ，存在常数Ｃ＿（ｋ，Ｄ），当ｍ的最小素因子大于Ｃ＿（ｋ，Ｄ）时，至少存在一个ｍ￣ｋ阶标准幻Ｄ体．特别地，Ｃ＿（ｋ，２）＝２；当ｋ≥３时，Ｃ＿（ｋ，２）＝１；Ｃ＿（ｋ，３）≤７．     

CVD矩阵与l_p中的n－宽度

证明了ｄ２ｋ＝ｄ２ｋ＝δ２ｋ，其中ｄ２ｋ、ｄ２ｋ、δ２ｋ分别表示在中的Ｋｏｌｍｏｇｏｒｏｖ，Ｇｅｌ’ｆａｎｄ和线性型２ｋ－宽度，Ａ是一个Ｎ×Ｍ的ＣＶＤ矩阵（Ｎ＞Ｍ＝ｒａｎｋＡ，Ｍ是奇数），１＜ｐ＜∞．     

在MIMD—CREW模型上确定凸多边形可碰撞区域的并行算法

设Ｐ和Ｑ是平面内任意两个互不相交的凸多边形，目前确定Ｐ与Ｑ的可碰撞区域的最佳串行算法时间复杂度为Ｏ（ｎ＋ｍ），其中ｎ和ｍ分别为凸多边形Ｐ和Ｑ的顶点个数。在该算法的基础构造了一个易于并行化的求支撑点的串行算法，进而给出了在ＭＩＭＤ－ＣＲＥＷ模型上确定可碰撞区域的并行算法，其时间复杂度为Ｏ（（Ｓ＋ｌｏｇ２（ｎ＋ｍ）ｌｏｇ２（ｎ＋ｍ）／ｌｏｇ２Ｓ），其中Ｓ为处理机个数。     

具有唯一定长路的有向图的一个注记

Ｌａｍ和ｖａｎ Ｌｉｎｔ构造了一类具有唯一定长路的有向图Ｄ（ｃ，ｋ），其阶为ｎ＝ｃ＾ｋ＋１，并证明Ｄ（ｃ，ｋ）的自同群包含一个２（ｃ＋１）阶二面体群，其中ｃ为大于１的整数，ｋ为大于１的奇数。本文利用（０，１）矩阵方程的性质证明，对任意的整数ｃ＞１和奇数ｋ＞１，存在ψ（ｋ）（ψ为Ｅｕｌｅｒ函数）个ｎ＝Ｃ＾ｋ＋１阶具有唯一定长路的有路的有向图；它们互不同构且其中每一个图的全自同构群都是２（Ｃ＋１）阶二     

关于S｛[_k~(I_n)]｝的上界

记Ｉｎ＝｛１,２,……,ｎ｝,｛［_ｋ~（Ｉ_ｎ）］｝是Ｉｎ的ｋ元子集的全体,Ｓ｛［_ｋ~（Ｉ_ｎ）］｝是｛［_ｋ~（Ｉ_ｎ）］｝作为Ｓｐｅｒｎｅｒ系的最小矩阵表示数．本文证明;对任何３≤ｋ≤ｎ－１,｛［_ｋ~（Ｉ_ｎ）］｝≤［_（ｋ－２）~（ｎ－１）］＋１。