【摘 要】
：
Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究.几乎在同一时期，Lawson、Stralka等人为寻求一类紧半格的代数刻画而定义了一种
论文部分内容阅读
Domain理论产生于20世纪70年代早期D.Scott为解决计算机程序设计语言语义学问题对连续格的研究.几乎在同一时期，Lawson、Stralka等人为寻求一类紧半格的代数刻画而定义了一种有特殊性质的完备格.但他们很快发现这种完备格恰好是Scott定义的连续格，自此之后，对连续格及其更一般的具有某种连续性的格序结构的研究逐渐成为了数学界和理论计算机科学界关注的一个重要方向.
完全分配格与连续格有许多相似之处，从子集系统的角度来看，前者隶属由所有子集构成的子集系统，后者隶属定向子集系统，早在1952年，Raney在他的几篇经典论文中给出了完全分配格的一些性质，并证明了完备格L是完全分配格当且仅当L中不同的点可被主滤子的补集和主理想的补集分离.由于该刻画中没有使用交和并的运算，仅涉及到序关系，自然地可以在更一般的偏序集上讨论相应的性质.
循着Erne、Menon等人的思路，我们考虑了几种可以用特殊子集分离点的偏序集，引入了Raney偏序集、HC-偏序集、HA-偏序集等概念并讨论了相关偏序集的一些性质.得到定向完备偏序集p是强Raney偏序集当且仅当P既为Raney偏序集又为A-偏序集，证明了强Raney偏序集在有上伴随和下伴随的满映射下的像仍为强Raney偏序集.对HC-偏序集、HA-偏序集我们也有相应的结论.
其他文献
迁移理论对于当代课程教学起到了至关重要的指导作用，“为迁移而教”已经成为当代教育界的共识。那么什么是迁移理论，作为教师怎样在迁移理论指导下完善高中化学教学的相关策略
回顾我党80多年的成长历程,有一个永不可忘的重要历史结论,即没有人民群众的支持,共产党就不可能发展壮大,也不可能成为我们这个东方大国的执政党。处在执政地位的共产党人,
幻方可追溯到4000多年前的“洛书”,是组合设计的研究对象之一.幻方在图像信息处理技术等方面有重要的应用[31].对于幻方,前人已经做了大量的工作[1,7-9],而对幻方作系统研究
高中生在注重学习知识、考入名校的同时,更要充分了解自我,重视激发个人的内在价值和潜力,培养个人兴趣,通过不同的自我体验,去选择更适合自己发展的方向,规划合适的生涯.
爱因斯坦曾说过“兴趣是最好的老师,是学生学习的动力”,因此在小学体育教学过程中,教师要立足与小学生的兴趣,开展教学手段.但是在实际的教学过程中,体育教育还存在着较多的
在最近十年，多智能体系统的一致问题由于在多个领域的潜在应用，得到了大量的关注。现存的一致问题可分为两类：带有一个领导者的一致，也称作主从一致或是分布式跟踪；不带领导者的一
本文主要讨论具有某种特殊传递性的区组设计的分类和构造问题.全文由七章组成.
在第一章中,我们对群与设计的历史背景和研究现状进行了比较全面的综述.在第二章中,我们
自上世纪七十年代美国研究声纳信号理解系统后，数据融合技术作为一门新兴的交叉学科产生并迅速发展起来了。多传感器数据融合就是对来自多个传感器的观测数据进行多方面、多层
矩阵保持问题在某些领域有着广泛的实际应用背景，其很多研究具有较强的实际意义.设F是一个域，n为整数且n≥2.用Mn(F)记F上所有n×n矩阵的集合.如果一个映射f∶Mn(F)→Mn(F))被
秋天如约而至,不管此次你的旅游目的地是哪里,给孩子拍上几组美美的照片是重要的事。在最美的季节,拍下我眼中最美的你,让幸福、甜蜜随景入镜,来学点给孩子拍摄的小窍门吧!摄