搜索到70 篇“ DOMAIN理论 “的相关文章
格值Domain理论 理论 作为Domain理论 的一个重要分支，有较大的理论 研究价值和较好的应用前景，可为并发式语言提供量化模型。目前，该理论 已有一些有价值的研究成果，不仅可以推动相关结构语义学的研究，而且可以为程序设计语言指称...基于连续三角模的量化domain 理论 domain 理论 研究序与拓扑之间的联系,Scott拓扑在其中扮演了极其重要的角色.同样地,在量化domain 理论 中,量化序与量化拓扑之间联系的研究,特别是量化Scott拓扑的研究,一直是一个核心课题.1...几类广义模糊度量空间的Domain理论 表示 理论 是模糊集理论 的一个重要研究分支.基于t-模的模糊度量空间因具有概率背景,以及在广义测度论,拓扑空间理论 和图像处理等领域的广泛应用而最受关注.近年来,随着模糊度量空间理论 的不断丰富,若干广义模糊度量空间的概...关键词：模糊度量空间 连续DOMAIN 文献传递 T0空间上的Domain理论 研究 理论 作为理论 计算机科学中程序设计语言的指称语义学的数学基础,由Scott在20世纪60年代末70年代初建立以来,已取得了丰富的成果.序和拓扑的相互结合、相互作用是这一理论 的基本特征.正是这一特征使Domain...关键词：DOMAIN 文献传递 局部连续Domain理论 的研究 理论 从上世纪70年代以来,一直受到计算机科学及数学领域的关注.Domain理论 研究的对象是满足一定条件的偏序集与它们之间的映射,研究的一个内容是将连续格的理论 推广到更为一般的格序结构.本文主要研究工作如下:1...关键词：局部基 稠密子集 文献传递 TN型产品Zara Domain理论 研究与分析改善 被引量：4 2016年 理论 分析和实验验证,得出改善Zara Domain的方法。首先,产品设计上可以通过增加平坦膜改善彩膜侧平坦度。其次,材料上可以选择高预倾角的配向膜以及低Pitch的液晶分子。最后工艺上优化摩擦强度和对盒后冷却工艺。实验结果表明:通过设计,材料,工艺三方面改善,最终生产过程中Zara Domain发生率<1%,提高了产品品质。关键词：ZARA DOMAIN domain 理论 下的建材信息系统设计及应用2015年 domain 理论 也在这个时候悄然进入到了我们的视线之中。关键词：DOMAIN理论 DOMAIN 理论 及其应用2014年 理论 及其应用国际学术研讨会（The 6th International Symposiumon Domain Theory and Its Applications）于2013年10月25～2913在湖南大学举行。会议由四川大学和湖南大学联合主办，湖南大学承办。会议得到了教育部国际合作与交流司、中国数学会、国家自然科学基金委员会以及湖南大学的资助。关键词：DOMAIN理论 DOMAIN理论 Ω-范畴在量化Domain理论 中的应用研究 理论 计算机与纯数学的双重背景下产生的Domain理论 是理论 计算机科学的基础和核心，起着举足轻重的作用.它以数学为工具，运用符号和公式，并借助函数式程序语言严格地解释了程序设计的语义.自从上世纪70年代D.S.Scott...关键词：Ω-范畴 闭包算子 紧化的一个Domain理论 构造 2013年 理论 中的极大点空间的方法给出正规Hausdorff空间的Wallman紧化的一个序理论 构造。
相关作者
陈仪香 作品数：67 被引量：149 H指数：7 供职机构：华东师范大学 研究主题：互模拟 DOMAIN理论 拓扑 拓扑学 程序设计语言 张奇业 作品数：15 被引量：40 H指数：4 供职机构：北京航空航天大学 研究主题：FUZZY DOMAIN理论 DOMAIN 序集 拓扑 樊磊 作品数：52 被引量：253 H指数：7 供职机构：教育部 研究主题：偏序集 DOMAIN理论 FUZZY 人工智能 连续映射 郑崇友 作品数：33 被引量：213 H指数：10 供职机构：首都师范大学数学科学学院 研究主题：完全分配格 连通性 F 英文 拓扑空间 马艳芳 作品数：26 被引量：37 H指数：4 供职机构：淮北师范大学计算机科学与技术学院 研究主题：进程代数 形式化 互模拟 形式化描述 离散数学
