共查询到20条相似文献,搜索用时 31 毫秒
1.
《模糊系统与数学》2000,14(1):88
1999Domain理论国际学术会议研讨会 (1 999International Symposium on DomainTheory,' 99ISDT)于 1 999年 1 0月 1 7日至 2 3日在上海师范大学举行。这次会议是由国家教育部高等学校数学研究与高等人才培养中心、四川大学、上海师范大学共同主办 ,会议得到了国家自然科学基金委员会的资助 ,也得到了中国系统工程学会模糊数学与模糊系统委员会的支持。共有 50位学者出席了会议。国外代表有 1 0人 ,他们分别来自美国、英国、德国、意大利、挪威等国家 ,其中有在 Domain理论做出突出贡献的 J.Lawson教授及 K.Keimel教授。国内代表来自中… 相似文献
2.
3.
第四届Domain理论国际学术研讨会(The Fourth International Symposium on DomainTheory)于2006年6月2日至6日在中国长沙湖南大学举行。这次会议由四川大学和湖南大学联合主办,会议得到了国家教育部和教育部高等学校数学研究与高等人才培养中心以及国家自然科学基金委员会的资助。这是在我国举行的一次高规格、高水平、高质量的国际盛会。中国科学院院士、全国人大常务委员会委员刘应明教授任会议程序委员会主席,美国Tulane大学M.Mislove教授,四川大学“长江学者”罗懋康教授和美国Case Western Reserve大学张国强教授任程序委员会副… 相似文献
4.
定义相容Domain的子Domain与子空间等概念,得到Scott开集和Scott闭集都是相容Domain的子Domain与子空间的结论,证明了相容连续Domain或相容代数Domain对开子空间和闭子空间都是可遗传的。 相似文献
5.
6.
连续Domain的遗传性及其不变性 总被引:1,自引:0,他引:1
引入Domain子空间的概念,得到Scott开集和闭集都是Domain的子空间。证明连续Domain或代数Domain对开子空间和闭子空间都是可遗传的。证明连续Domain或代数Domain在保Waybelow序的Scott连续映射下保持不变。 相似文献
7.
首先给出相客定向极小集的概念,讨论它的性质及与相客连续Domain的关系;其次蛤出相客连续Domain基的概念,得到它的等价刻画.最后,引入了相客连续Domain上的序同态,同时研究了它的性质,并得出相应的扩张定理. 相似文献
8.
第四届Domain理论国际学术研讨会筹备组 《模糊系统与数学》2005,(4)
第四届Domain理论国际学术研讨会(The 4th International Symposium on Domain Theory-ISDT 2006)由四川大学与湖南大学主办,将于2006年6月2日至6日在湖南大学(长沙)召开。会议将就以下方面进行学术交流:*Topological and logical aspects of domain*Categories of domains and powerdomains*Partial orders and metric spaces*Applications in databases,mathematics,and AI*Types,process algebra and concurrency*Non-classical and partial logics*Programming language logics邀请包括以下著名学者在内的专家进行专题报告:Sams… 相似文献
9.
《模糊系统与数学》2006,20(1):158-158
2005年12月10日至12日,中国系统工程学会模糊数学与模糊系统专业委员会常务委员会在江门市五邑大学召开,并取得圆满成功。参加会议的有全国人大常委、九三学社副主席、本专业委员会名誉主任委员刘应明院士,国际模糊系统协会(International Fuzzy System s A ssociation,IFSA)副主席、本专业委员会主任委员应明生教授等二十余人。这次会议讨论了本专业委员会的换届工作。陕西师范大学副校长赵彬教授在会上汇报了2006年10月在西安召开中国系统工程学会模糊数学与模糊系统专业委员会学术年会的筹备情况。本专业委员会秘书长、清华大学经济… 相似文献
10.
引入了相容半连续Domain、相容强连续Domain的概念,给出了一系列性质,讨论了相容半连续Domain、相容强连续Domain与相容连续Domain间的关系.引入了相容半Scott拓扑,并讨论了其相关性质. 相似文献
11.
定义了拟Z-极小集,并证明了拟Z-连续Domain的每个元都有拟Z-极小集,在拟Z-连续Domain中,给出了保拟Z-极小集映射的几个等价刻画,并且在此基础上,运用Rudin性质,得到了拟Z-连续Domain上的两个相应扩张定理. 相似文献
12.
首先引入了相通连续Domain的概念,利用主理想及连通闭集刻画了相通连续Domain; 其次考察了相通完备偏序集的定向完备化,得到了一些好的结果. 相似文献
13.
年Domain理论国际学术研讨会筹备组 《模糊系统与数学》2001,15(2):39
第 2届 Domain理论国际学术研讨会 (ISDT 2 0 0 1- International Symposium on Domain Theory 2 0 0 1)将于2 0 0 1年 10月 2 2— 2 6日在四川大学 (成都 )召开。会议将就以下方面进行学术交流 : Topological and logical aspects of domain Categories of domains and powerdomains Partial orders and metric spaces Applications in databases,mathematics,and AI Types,process algebra and concurrency Non- classical and partial logics Programming language logics邀请包括以下著名学者在内的专家… 相似文献
14.
Domain理论中的映射 总被引:1,自引:0,他引:1
Domain理论的目的是为程序设计语言提供数学语义的模型,信息状态域的指标称为Domain,而程序的指称是Domain间的映射。本文主要介绍Domain理论中的三类重要映射-Scott连续映射,Berry的稳定映射以及CM映射的定义以及等价刻画和表示。 相似文献
15.
16.
何卫民 《纯粹数学与应用数学》2010,26(2):211-214
引入了Scott相容连续映射与商相容Domain等概念,研究了Scott相容连续映射保局部基与保waybelow序及保局部基与保紧元之间的关系,证明了相容连续Domain或相容代数Domain在保局部基的Scott相容连续满映射下保持不变. 相似文献
17.
FS-相容Domain的定向完备化及相关范畴性质 总被引:3,自引:1,他引:2
引入FS-相容Domain概念,研究FS-相容Domain的性质,主要结果有:(1)FS-相容Domain的收缩核与连续函数空间还是FS-相容Domain;(2)FS-相容Domain是有限生成上集,从而是Scott紧的;(3)FS-相容Domain的定向完备化是FS-Domaln;(4)有最大元的FS-Domain去掉最大元后是FS-相容Domain;(5)证明了以Scott连续映射为态射,FS-相容Domain为对象的范畴FS-CDOM是笛卡儿闭范畴并以FS-Domain范畴FS-DOM作为满的反射子范畴。 相似文献
18.
在定向完备偏序集(即dcpo)上引入了拟基的概念,给出了拟基的若干刻画并在此基础上定义了拟连续Domain的权。探讨了拟连续Domain的权与该拟连续Domain上赋予内蕴拓扑时的拓扑空间的权之间的关系。 相似文献
19.
拟连续Domain及其子范畴间的伴随关系 总被引:1,自引:0,他引:1
基于Smyth幂 Domain的构造,本文证明了连续半格范畴 CSL(分别地,有界完备连续Domain范畴CBD)是拟连续Domain范畴QCONT(分别地,Coherent拟连续 Domain范畴QCCOH)的反射子范畴.反例表明,连续 Domain范畴CONT作为范畴 QCONT的真子范畴并非其反射子范畴.所有结果均被进一步推广到拟代数Domain范畴. 相似文献
20.
首先引入了L-抽象基和模糊Round理想,并给出模糊Round理想的等价刻画,证明了一个模糊Domain的模糊Round理想同构于该模糊Domain。其次,研究了L-抽象基的模糊Round理想完备化,且证明了模糊偏序集的模糊Round理想完备化是模糊Domain。最后证明了模糊Domain的连续收缩是模糊Domain。 相似文献