关于矩阵不等式F0+k∑j=1XjFj＞0

运用矩阵求迹运算“tr”得到一类线性矩阵不等式F0＋∑j=1^kXjFj〉0解的充分条件．这些充分条件皆为应用中容易检验的代数不等式,并此给出了相应的代数解。同时给出了线性矩阵不等式的几个主要定理。     

轮烯的螺旋结构和旋光性

本文讨论了轮烯类化合物的立体结构．从螺旋理论看，芳香轮烯和非芳香轮烯都是内消旋体和外消旋体的混合物，故都不呈现旋光性．但轮烯的衍生物t由于受碳架结构的限制，难以外消旋化，因此呈现旋光性．轮烯类化合物的旋光性也遵循右螺旋右旋．左螺旋左旋的螺旋规律。     

约束机械系统动力学的一类完全解耦方法

针对约束机械系统动力学分析所要处理的微分－代数方程组,先将其转化为基于隐式线性多步法的超定微分－代数方程组形式,然后采用一种微分流形的“投影”技术消除超定性,再对变化后的微分－代数方程组按照位置,速度,加速度的顺序进行解耦,化为线性方且的求解序列,从而得到一类完全解耦算法,算法可用于处理刚性问题,无需预估式,具有较高的效率,算例证明了该算法的有效性。     

归纳环及归纳域

提出了归纳环的概念(即:含1且适合1阶Peano归纳公理的环),指出其意义并提出下列关于确定归纳环代数结构的问题:是否每一归纳环都与由整数环的一族剩余类环及特征数0的代数闭域所作的一个超积初等等价?首先给出了有关归纳环及归纳域的一些基本事实.然后着重在代数范围内进行讨论,得到下列的结果:每个有限次实代数数域都不是归纳域;代数整数环的每个子环都不是归纳环.还证明了很多有限次代数数域不与上述的超积初等等价.     

人口算子广义本征函数的非基性质(Ⅰ)

本文分两部分发表。第一部分对生育模式、女性比例函数和相对死亡率函数加上一些条件,证明了人口算子本征值除可能有限个外,其余均是代数单的,并得到了这些本征值的一些分布性质。     

离散事件动态系统状态空间模型的降维与化简

DEDS的分析总需要将状态空间表达式变为输入/输出表达式,需要进行A~*的运算.这在min max<γ,δ>代数中是一项十分复杂的任务。本文引入一种模型降维的方法,可使求星运算由矩阵情况转为标量情况,为系统分析提供了方便。     

环扩张与有限表现维数

分别得到环的矩阵扩张的有限表现维数及环的代数扩张的有限表现维数的几个结果     

用代数方程求射影向量

设■=L(α_1,α_2,…,α_m)是R~n的一个子空间,α_1,α_2,…,α_m,β∈R~n是列向量,则β_0=X_10α_1+…+X_m0α_m是β在W上的正(内)射影,当且仅当(X_10,…,X_0)′是线性方程组的解,此处A′是A的转置矩阵。