实代数数的代数表达式的符号判定

将符号计算方法与数值计算方法结合起来应用于计算机代数领域,构造了一种判定实代数数的代数表达式的符号的算法,并在计算机数学系统上加以实现,算法的基本思想是对每一个实代数数ａ定义了一个二元组（Ｉ,ｆ（ｘ））,其中Ｉ是包含ａ的区间,ｆ（ｘ）是ａ所满足的多项式,并将代数数的运算转化为对应的二元组的运算,同时结合多项式的根的最短距离估计式,从而达到对代数数的代数表达式进行符号判定的目的。     

广义smash积

引入了广义ｓｍａｓｈ积的概念,讨论了它的性质,推广了Ｙ．Ｄｏｉ有关方面所作的工作,改进了Ｙ．Ｄｏｉ的一个同构定理。     

关于代数体函数Borel方向的判定方法

本文利用角域内代数体函数的一个基本不等式,导出了代数体函数Ｂｏｒｅｌ方向的一个充分条件和一个充要条件     

C^＊—代数中的正逼近

讨论了Ｃ＊－代数中的正元逼近问题,研究了逼近度的一系列性质;应用Ｃ＊－代数的万有表示和Ｈａｌｍｏｓ关于正算子逼近的结果,证明了Ｃ＊－代数中的任一元都存在最佳正逼近并且给出了最佳正逼近的表达式。     

从切丛的微分几何看Finsler联络的比安基恒等式

应用切丛微分几何中Ｎ－分解的理论,证明Ｆｉｎｓｌｅｒ型线性联络的两个比安基恒等式等价于Ｆｉｎｓｌｅｒ联络的１１个比安基恒等式。     

离散交换群上的万有Toeplitz算子代数

设G为一离散交换群,（G,G＋）为一拟偏序群．相应于这样的一个拟偏序群（G,G＋）,构造了一个万有Toeplitz算子代数．     

四种发光细菌的生物发光的微分光谱

以明亮发光杆菌,福鱼发光杆菌,哈维氏弧菌和青海弧菌,四种发光菌,每种选取二个菌株检测其生物发光的一阶和二阶微分光谱。结果表明不同种的发光细菌的微分谱有显著差异,同一种菌的不同菌株则无显著差异,提示生物发光光谱,微分光谱可作为发光细菌菌种分类的特征。     

高指数非线性微分代数控制系统的解耦

讨论了一类高指数非线性微分代数控制系统的输入输出解耦问题,给出了使系统可通过静态反馈达到输入输出解耦控制问题的具体条件,并证明了解耦条件在正则静态状态反馈控制下的不变性．     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

关于含两参数的积分微分方程的奇异摄动

本文研究两个小参数的奇异摄动积分微分方程的边值问题εy"十μf(X,y,Ty）y'十g(x,y,Ty)=0Y(0)=A,y(1)=B其中和都是正的小参数,[Ty]（x）=ψ（x）＋∫0k（x,S）y（S）dS,k（x,S）在[0,1]*[0,1]上连续且非负,ψ（x）在［0,1］上连续。我们利用微分不等式方法证明了解的存在定理,并给出了解的估计。