连续信息基

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

电子束、离子辅助和离子束溅射三种工艺对光学薄膜性能的影响

运用电子束、离子辅助和离子束溅射三种镀膜工艺分别制备光学薄膜,包括单层氧化物薄膜和增透膜,然后采取一系列测试手段,如Zygo轮廓仪、原子力显微镜、表面热透镜技术和X射线衍射等技术,来分析和研究不同的工艺对这些薄膜性能的不同影响,以判断合理的沉积工艺。     

算术半格的闭包空间表示

本文主要讨论算术半格的闭包空间表示.首先通过在给定的闭包空间中增加适当的条件,提出了算术闭包空间的概念,并且给出了算术半格的闭包空间表示.接着提出了算术闭包空间之间的算术逼近映射的概念,并证明了以算术逼近映射作为态射的算术闭包空间范畴和以Scott连续函数作为态射的算术半格范畴之间的范畴等价性.     

模糊拓扑空间的m-仿紧

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

半连续格的性质

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

德摩根拓扑代数上的紧性与q—收敛性

在文（１），（２），（３）的基础上，我们首先在德摩根拓扑代数上用有限覆盖性质定义了紧性，并引入ω－元，ω－ｄ－ｑ－聚点等概念，并着重讨论了紧性与ｑ－收敛性之间的关系。     

半连续格的刻画和映射

本文讨论了半连续格的一些性质,在半连续格中引入半Scott开集族,用半Scott开集族来刻画半连续格,同时定义了半连续格之间的半连续映射,得到闭包算子的像仍是半连续格的条件.最后,研究了半连续格上的半连续映射的全体不动点之集的性质。     

某些算子在局部紧的Vilenkin群上的Herz型Hardy空间

G表示局部紧的Vilenkin群， 在论文中作者将研究某些次线性算子和Calderón Zygmund算子在Herz型Hardy空间上的有界性.      

德摩根一致代数的度量化

我们给出了德摩根一致代数可伪度量化的一个充分必要条件。     

关于制备1315nm 45°入射高反射镜的实验研究

从优化膜系、控制膜厚、改善膜面、均衡应力等四个方面开展了实验研究工作,为制备1315nm 45°高反射镜提供一些判断实验数据,并提出改进的方法,从而使制备的高反射膜取得满意的结果：反射率大于99.8%。