子集系统相关论文
Domain理论为计算机程序设计语言的指称语义学奠定了数学基础,序与拓扑的相互结合,相互作用在这一理论中起着基本而重要的作用.这......
该文结合八年来乌鲁木齐铁路局推广使用《铁路干部管理信息系统》的实际，从完善ＴＧＭＩＳ子集系统、扩大系统功能、简化操作、基本集结构改进......
本文将exact偏序集推广至了一般子集系统Z，引入了Z—极小集、Z—exact偏序集、拟Z—exact偏序集、Z—交exact偏序集和拟Z—代数exac......
Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究.几乎在同一时期，Lawson、Stralka等......
Domam理论诞生于20世纪70年代Scott为解决计算机程序设计语言语义学问题的研究.几乎在同一时期,Lawson、Stralka等人为寻求一类紧......
讨论了广义Z-拟连续偏序集的一些性质.利用伴随给出了广义Z-拟连续偏序集的等价刻画.证明了当Z是具有有限族并性质的Rudin子集系统......
主要研究了Ｚ－子集系统，得到了下列性质：１）Ｚ－连续偏序集和Ｚ－拟连续偏序集的刻划定理；２）关于Ｚ－子格，Ｚ－子代数和Ｚ－代数的性质；３）一定条件下（强）Ｚ－连续偏序集的映象......
研究了Ｚ－拟连续偏序集的基，得到了它的一个刻划定理，另外也研究了关于Ｚ－ｂｅｌｏｗ关系的一些性质，特别是得到了在一定条件Ｇａｌｏｉｓ联络的下伴随保Ｚ－ｂｅｌｏｗ关系和反射......
在FZ-Domain中引入FZ-定向基与FZ-抽象基的概念,研究了它们的RZ-理想完备化.证明了：对一类子集系统,一个FZ-Domain的FZ-定向基的定......
基于正则关系,建立了偏序集到完全分配格的并稠嵌入定理,证明了在同构的意义下,偏序集到完全分配格的并稠嵌入是唯一的,即均是由一......
想为每个子集与成功和失败的相等的概率扔一个独立硬币[ n ]={ l ， 2 ，， n }，并且因为有成功的 cointosses.It 的子集被证明那 H (n)的......
引入WZ-双小于关系，以此为基础给出WZ—Domain的概念，讨论它的基本性质，证明当子集系统z满足一定条件时，WZ—Domain上的WZ-双小于关系......
