连续信息基

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

序半群的阿基米德半群的半格分解

本文通过一个序半群S上的一些二元关系以及它的理想的根集的性质该序半群是阿基米德半群的半格,特别地是阿基米德半群的链的刻划,证明了S是阿基米德链当且仅当S是准素的.通过序半群的m-系的概念,证明了S的任意半素理想是含它的所有素理想的交,并通过该结论,证明了S是阿基米德半群的链当且仅当S是阿基米德半群的半格且S的所有素理想关于集包含关系构成链.作为应用,该结论在一般的半群（没有序）[1]中也成立.     

催化光度法分析电镀废液中Cr（Ⅵ）

催化光度法测定Cr(Ⅵ)已有报道,但为数不多.我们发现在pH 4.0的HOAc-NaOAc介质中,Cr(Ⅵ)强烈地催化H_2O_2氧化苯酚红的反应.由此我们采用固定时间法建立了利用该反应测定电镀废液中Cr(Ⅵ)的新方法.本方法的重现性好,试剂易得,手续简便,费时不多.     

Fe(Ⅲ)-H_2O_2-二甲基黄退色反应体系催化动力学法测定痕量铁

本文研究了Fe(Ⅲ)离子对过氧化氢氧化二甲基黄退色反应的催化作用及其动力学条件,从而建立了痕量铁的催化光度分析方法。灵敏度为2×10~(-9)g/mL Fe,测定范围为0—0.7μg/25mL。用于测定人发等试样中的铁含量取得了满意的结果。     

拟信息基,ω-代数Cpo,和SFP domain

G.Sam b in引入了(代数)信息基的概念,并证明了代数Scott D om a in范畴和信息基范畴是等价的.B.R.C.Bedrega l给出了ω-代数cpo和SFP dom a in的刻划.而G.Q.Zhang通过序结构给出了SFP dom a in的刻划.本文将引入了拟信息基的概念并给出了ω-代数cpo和SFP dom a in的刻划.