排序方式: 共有78条查询结果,搜索用时 233 毫秒
41.
本文给出了算术信息系统的概念,证明了算术信息系统是算术半格的表示。基于算术信息系统之间的逼近映射,我们得到了算术信息系统范畴和算术半格范畴之间的范畴等价。 相似文献
42.
43.
44.
用Ta2O5/SiO2膜系镀制了石英窗口增透膜。并在优化膜系,改进膜厚控制后,使得1315nm波长单面剩余反射率降到0.050%。 相似文献
45.
46.
47.
给出定向完备偏序半群的定义,研究定向完备偏序半群在定向完备偏序集上的作用.探讨S-定向完备偏序集范畴的一些基本性质,并且证明以S-定向完备偏序集为对象,以S-Scott连续映射为态射的范畴是笛卡尔闭范畴. 相似文献
48.
给出L-幂集上LK-闭包系统的等价刻画。提出L-偏序集上闭包系统的概念并讨论其基本性质。最后,将经典偏序集和L-幂集上关于闭包算子和闭包系统的对应理论推广到L-偏序集上。 相似文献
49.
50.
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的刻划. 相似文献