Quantales的代数余核和子Quantales

在研究代数余核的一些性质的基础上,得到了Quantales的映射构成代数余核的条件;同时证明了由wellinside关系生成的某种集是子Quantale．     

模糊拓扑空间的m-仿紧

在模糊拓空间中引进一个称作m-仿紧的仿紧性定义,证明了它是仿紧性"好的推广",并探讨了m-L ind elo。f性质。     

连续信息基

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

半连续格的性质

讨论了半连续格的一些基本性质。定义了一种新的元素——-素元,举例说明-素元与素元、伪素元是不同的,并给出了-素元与素元、伪素元相等的条件;同时,定义了半连续格上的拓扑和半连续格之间的映射,并证明了半连续格的收缩仍是半连续的。     

一类幂零矩阵幂零指标的特征

设(L, ,·)是一个incline. 本文给出了一个incline上幂零矩阵幂零指标的特征.其结果改进了文[4]中的相应结论.     

在解题中学会建模

建模就是构建一种模型.当遇到一些问题看起来很难或者觉得无从下手时,运用所学知识构建一个比较熟悉的物理模型,再运用与此模型相关的知识和方法,往往就能使问题得以顺利解决.中学物理教材中有许多物理知识比较抽象,学生往往不易理解和接受,并会因此而失去学习的信心.但如果借助"物理模型"教学,通过采用模型方法,突出物理问     

THE LARGEST SOLUTION OF LINEAR EQUATION OVER THE COMPLETE HEYTING ALGEBRA

Let (L, ≤, ∨, ∧) be a complete Heyting algebra. In this article, the linear system Ax = b over a complete Heyting algebra, where classical addition and multiplication operations are replaced by ∨ and ∧ respectively, is studied. We obtain: (i) the necessary and suffcient conditions for S(A, b)≠■l; (ii) the necessary conditions for |S(A, b)| = 1. We also obtain the vector  ∈ Ln and prove that it is the largest element of S(A, b) if S(A, b)≠■.     

用表面热透镜技术测量1315nm高反射硅镜弱吸收的研究

运用表面热透镜技术精确测量了1315nm高反射硅镜的弱吸收，判断引起吸收的原因，从而为工艺上减少吸收降低损耗提供了保证。     

Z-代数格和Z-代数交结构

讨论Z-代数格,Z-代数交结构以及Z-代数闭包算子之间的关系,得到了格L上的Z-代数闭包算子与带顶元的Z-代数交结构之间存在一一对应关系,并且每一个Z-代数格都与带顶元的Z-代数交结构同构.     

拟紧元和连续格

在连续格中, 引入了拟紧元和拟基的概念, 在研究了它们的基本性质的基础上, 给出了连续格的一种表示定理.