一阶理论的主型

研究了主型的有关性质,证明了一个素模型存在的充分必要条件。     

除环上rcf方阵的对角化

讨论了除环上ｒｃｆ方阵的对角化问题,证明了除环上ｒｃｆ方阵等价于一在特殊对角矩阵Ｄｍｎ的等价条件。     

四元数体上λ-多项式的线性因式分解

本文证明了实四元数体上任一次数大于１的λ－多项式可分解作一次因式的乘积给出了这样分解的若干性质及其在矩阵论中的应用。     

关于同伦正则态射

该文在点标拓扑空间的范畴中引进了同伦正则态射的概念,研究了它存在的条件,性质以及它与同伦单（满）态,同伦正则单（满）态和同伦等价之间的密切关系。     

关于代数微分方程(f')~n=R(z,f)的亚纯解

在本文中,我们首先考虑了具有理系数的代数微分方程（ｆ＇）ｎ＝Ｒ（ｚ,ｆ）亚 纯解的个数估计问题,并举例说明所得结果是精确的．其次,我们运用 Ｎｅｖａｎｌｉｎｎａ值 分布论,讨论了具亚纯系数的典型代数微分方程（ｆ＇）３＝ａ０（ｆ－ τ１）２（ｆ－ τ２）２（ｆ－ τ３）２ 的可分解亚纯解．文中的结果推广或改进了高仕安［１］,Ｇｕｎｄｅｒｓｅｎ Ｇ．和ＬａｉｎｅＩ［２］以 及何育赞, ＬａｉｎｅＩ．［３－５］等人的工作．     

带缓冲串行生产系统预防性维护建模及运行参数优化研究

为了保证串行生产系统的产能和提高系统可靠性,提出了带缓冲区的串行生产系统预防性维护决策模型。首先,分析了生产线各执行单元可靠性和运行参数之间的关系,建立了考虑执行单元运行参数和缓冲库存的维护模型。在此基础上,结合串行生产线的特点,建立综合考虑维护成本、有效运行速度和缓冲库存的多目标优化函数。最后,构建启发式算法求解目标函数,并以串行包装生产线为例进行仿真实验分析,结果表明本文所建模型是有效且实用的。     

连续信息基

D.Scott在20世纪60年代引入了domain理论,并给出了两种等价形式——信息系统和邻域系。在型论(typetheory)基础上,G.Sambin提出了形式拓扑(Formal topology)理论,并证明了一元形式拓扑与代数Scott domain等价,从而推出代数信息基的概念,同时作为信息系统与邻域系的推广。本文从信息基的观点出发,提出了连续信息基的概念,证明了它与连续Scott domain的等价性。     

展现科学探究个人的一面──波普尔科学知识增长论的视角

可错性是人的本性,同时也是科学的属性。个人视域中的科学探究充满了曲折、反复的试错过程。科学探究就其过程而言是以“试错”为本质特征的,主要表现为试探性、检验性和反复性。在科学探究中应重视和强调“假说-事例（证伪）-（更完善的）假说”的试错法。     

A NEW ALGORITHM FOR COMPUTING THE INVERSE AND GENERALIZED INVERSE OF THE SCALED FACTOR CIRCULANT MATRIX

A new algorithm for finding the inverse of a nonsingular scaled factor circulant matrix is presented by the Euclid＇s algorithm. Extension is made to compute the group inverse and the Moore-Penrose inverse of the singular scaled factor circulant matrix. Numerical examples are presented to demonstrate the implementation of the proposed algorithm.