三角矩阵余代数上的有限Gorenstein余表现余模

利用范畴的等价定理和范畴之间的正合函子,给出了三角矩阵余代数Γ=(T _TM_U0 U)上的有限Gorenstein余表现余模的具体形式,并且得到三角矩阵余代数Γ与余代数T及U之间的有限Gorenstein余表现维数的关系Max{G.cp.dimT,G.cp.dimU}≤G.cp.dimΓ≤G.cp.dimT+G.cp.dimU+1。     

正规BCI-代数的“拟-广结并”构造

本文进一步讨论BCI—代数的拟结合部分的特征性质,引入正规BCI—代数的概念。同时给出一种构造正规BCI—代数的“拟—广结合并”方法。     

基于领域复用的软插件库应用研究

目的研究基于领域复用的软插件的原理和实现模型。方法 结合基于领域复用的基本原则,对构造基于领域复用的软插件库的方法进行讨论,并以商用ＰＯＳ机软插件库有组织构造为例进行了具体说明。结果与结论基于领域复用的软插件比传统方法更有利于软件复用。     

正蕴涵BCK-代数的伴随半群

本文讨论了正蕴涵BCK－代数的剩余刻划;证明了具有条件（S）的正蕴涵BCK－代数的伴随半群是一个下半格。     

Hopf模代数结构

引进Ｈｏｐｆ模代数的概念,研究了Ｈｏｐｆ模代数的结构,证明了Ｈｏｐｆ模代数等价于Ｓｍａｓｈ积,从而给出了Ｓｍａｓｈ积的一种新的刻划。     

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

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

视觉形象的构造

网膜映象由大小不一、亮度值不等、边界不同的等亮度斑块组成,称其为视素。它们以“软”、“硬”两种形式接在一起构成了姿态万千的视觉世界。     

广义smash积

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

软磁Fe基纳米微晶的穆斯堡尔谱研究

对纳米软磁合金Ｆｅ７３Ｃｕ１Ｎｂ１．５Ｍｏ２ｓＩ１２．５Ｂ１０的制备态和各退火态的室温Ｍｏｓｓｂａｕｅｒ谱研究,发现非晶相的超精细内场存在高场和低场两部分,     

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

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