广义RUE—NRF归结

本文将RUE－NRF归结使用在广义子句集上，提出了广义RUE－NRF归结方法，并证明了这一方法对于一阶逻辑的完备性，将I型，2型删除策略引入广义RUE－NRF归结。     

两类广义对称阵及其应用

定义了两类广义对称阵，讨论了它们的性质并指出了它们的一些应用。     

广义作用与有限群结构

设G和H是给定的有限群,若φ是H到Gut（G）内的一个同态映射,就称φ为H在G的广义作用.通过研究群的广义作用,该文得到了若干结果,推广了群作用的某些结果.     

广义扇形算子的无界扰动

利用广义正则点的概念和它的有关理论与方法,引进了广义预解式和广义扇形算子的概念．广义扇形算子拓广了扇形算子的概念,利用已知的扇形算子的稳定扰动,推广出广义扇形算子在A-有界下的无界扰动．     

广义自反矩阵与广义反自反矩阵的广义逆特征值问题

研究了广义自反矩阵与广义反自反矩阵的广义逆特征值问题及相关最佳逼近问题,得到了广义逆特征值问题解的一般表达式.对任意给定的n阶矩阵对(A*,B*),得到了最佳逼近解的表达式,并对最佳逼近解进行扰动分析.     

广义回收锥与广义回收函数

研究了■~n中一般集合的广义回收锥和■~n上一般函数的广义回收函数,推广了R.T.Rockafcllar关于凸集和凸函数的回收锥和回收函数的一些结果。     

广义道路和广义圈的控制数

广义道路和广义圈分别是路和圈的推广．本文中我们确定了这类图的控制数．     

广义Fibonacci矩阵和广义Fibonacci数的矩阵表示

二阶矩阵M＝（p 1 -q 0）和它的整数幂M^n满足广义Fibonacci型递推关系,对整数n,M^n（Un 1 Un -qUn -qUn-1）其中,Un＝W（0,1;p,q）为广义Fibonacci数,通过对基本矩阵等式的精巧处理,重新得到和扩展了饮食广义Fibonacci数Un的著名关系式,用Mn也给出了Un的矩阵表示,另外,通过矩阵X1／2（p 1 △ p）（其中,△＝p^2-4q）的类似研究,得到广义Lucas数Vn=Wn(2,p;p,q）的相应结果以及Un和Vn之间的一些关系式。     

基于广义无功理论的广义瞬时无功电流的微机测量

在广义无功功率理论的基础上，提出了广义瞬时无功电流的微机测量技术，重点阐述了检测的原理和检测电路构成。该微机测量技术具有实时性好、可靠性强、测量精度高等优点。     

Banach空间几何与算子广义逆

本文综述了广义逆的研究概况,介绍用Ｂａｎａｃｈ空间几何方法研究Ｂａｎａｃｈ空间中线性算子的度量广义逆的系列结果。     

广义Fibonacci,Lucas序列的若干性质

本文以广义的Ｂｉｎｅｔ公式与移位算子方法为基础，得到了若干有趣的恒等式。     

von Neumann代数上广义反导子的线性映射

设M是复Hilbert空间H上的von Neumann代数,主要刻划了von Neumann代数M上的在零点(单位)广义反可导的范数连续的线性映射是M上的广义内导子.     

关于广义延迟更新序列的一些结果

给出了广义延迟更新序列与延迟更新序列,正广义延迟更新序列的关系,对广义延迟更新序列一些基本的性质进行了证明,并给出了一些反例进行说明.     

复亚正定矩阵和U_x-广义正定矩阵的推广

在复亚正定矩阵和Ux-广义正定矩阵的基础上,对正定矩阵进行了进一步的推广,研究讨论了Ux-复亚广义正定矩阵和U1x-广义正定矩阵及U2x-广义正定矩阵的定义及其性质,并给出了若干等价条件.     

半平面上慢增长的随机Dirichlet级数

借助一类慢增长函数Λ,在慢增长函数的定义下,给出半平面上慢增长的随机Dirichlet级数的广义级和广义型。结合随机Dirichlet级数和慢增长函数的性质,给出慢增长的随机Dirichlet级数的系数及广义型与最大模、最大项和最大项指标之间的关系。     

一类广义对称群的共轭类

该文首先推广Solomon引入的容许集的概念,然后利用容许集定义一类广义对称群ψ(l,m),该群是对称群S1与对称群Sm的织积.该文的目的是研究群ψ(l.m)的共轭类,计算共轭类的个数以及每个共轭类的阶.此外,还定义广义交错群 (l,m),并确定广义对称群ψ(l,m)的 (l,m)-共轭类.     

谱正型广义正定矩阵

本文提出了谱正型广义正定矩阵，讨论了它的有关性质，并给出了它与稳定矩阵的关系，使我们可得出稳定矩阵一系列的充要和充分条件．本文许多结果同样适合相应的广义正定矩阵，且由本文结果及证明还容易地修正了某些结论的错误和证明错误．     

无限维线性空间上线性映射的线性广义逆（Ⅱ）

本文对文「１」中所引入的Ｍｏｏｒｅ－Ｐｅｎｒｏｓｅ广义逆σ＾＋进行研讨,给出拓扑线性空间上Ｍｏｏｒｅ－Ｐｅｎｒｏｓｅ广义的判别条件。     

次可微广义凸函数与多值广义单调映射

本文在多值映射中引进了拟单调,伪单调和严格伪单调的概念,定义了次可微函数的伪凸性和严格伪凸性,研究了次可微函数的广义凸性和其次微分映射的广义单调性之间的关系。