DOMAIN理论

作品数：21被引量：42H指数：4
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：陈仪香樊磊张奇业郑崇友梁基华更多>>
相关机构：四川大学湖南大学首都师范大学上海师范大学更多>>
相关期刊：《中国建材科技》《液晶与显示》《模糊系统与数学》《学会》更多>>
相关基金：国家自然科学基金上海市教育委员会重点学科基金上海市教育发展基金教育部高等学校骨干教师资助计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=模糊系统与数学x
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Lawson紧的代数L-domain递归方程的逻辑形式
《模糊系统与数学》2022年第5期69-80,共12页王龙春 邹娟 
国家自然科学基金资助项目(11801310);山东省自然科学基金资助项目(ZR2022MA022);曲阜师范大学大学生创新训练项目(XJ20210065)。
本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结...
关键词：DOMAIN理论 Lawson紧的代数L-domain N-序列演算 domain构造算子 domain递归方程 
完全相容稳定模糊谓词转换器
《模糊系统与数学》2009年第6期113-125,共13页马艳芳 陈仪香 
国家自然科学基金资助项目(90718013);科技部高技术研究发展计划资助项目(2007AA01Z189);上海市重点学科基金资助项目(B412)
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完...
关键词：DOMAIN理论 半拓扑 稳定模糊谓词 完全相容稳定模糊谓词转换器 
第四届DOMAIN理论国际学术研讨会会议纪要
《模糊系统与数学》2006年第3期158-158,共1页
关键词：国际学术研讨会 DOMAIN理论 第四届 INTERNATIONAL 会议 国家自然科学基金委员会 DOMAIN理论 纪要 湖南大学 四川大学 
量化Domain理论的L-Fuzzy式处理(II) L-Fuzzy拟序集的表示被引量：1
《模糊系统与数学》2005年第2期61-66,共6页樊磊 王万良 
北京市教委资助项目(KM-200310028177)
本文是文献[4]的续。对于固定的FrameL,本文证明了每个LF-拟序集可以等价地表示为拟序的层,该结果与L-Fuzzy集的分解和表示定理类似。由这此定理可得出以下结论:一类量化Domain(例如,广义超度量Domain)实际上是将满足一定条件的拟序族进...
关键词：LF-拟序集 LF-单调映射 拟序准层 拟序层 
第三届DOMAIN理论国际学术研讨会会议纪要
《模糊系统与数学》2004年第2期126-126,共1页无 
关键词：国际学术研讨会 陕西师范大学 DOMAIN 会议 
Dom ain理论中的映射被引量：1
《模糊系统与数学》2002年第4期1-11,共11页陈仪香 
国家自然科学基金资助项目 (6 98730 34);教育部高等学校骨干教师资助计划;上海市教育发展基金曙光计划资助项目 (98SG46 );上海市教委重点项目基金 (0 2 DZ46 )
Domain理论的目的是为程序设计语言提供数学语义模型 ,信息状态域的指称称为 Domain,而程序的指称是 Domain间的映射。本文主要介绍 Domain理论中的三类重要映射—— Scott连续映射、Berry的稳定映射以及 CM映射的定义以及等价刻画和表示。
关键词：DOMAIN理论 Scott连续映射 稳定映射 程序设计语言 
L-拟序集上的广义Alexandroff拓扑被引量：4
《模糊系统与数学》2002年第1期13-17,共5页张奇业 郑崇友 
国家自然科学基金资助项目 (199710 5 9)
在一类特殊的 L -拟序集上定义广义 Alexandroff拓扑 ,限制到通常的拟序集上就是 Alexandroff拓扑 ,并且该拓扑可以由其上的一族 Alexandroff拓扑取并得到。还证明任意一个拓扑空间的拓扑都可以表示为某个 L-拟序集上的广义 Alexandrof...
关键词：拓扑 拟序集 L-单调映射 广义Alexandroff拓扑 完全分配格 DOMAIN理论 
L-Fuzzy伴随的若干特征定理
《模糊系统与数学》2002年第1期18-23,共6页尚云 赵彬 
高等学校优秀青年教师教学与科研奖励计划资助项目 (教人司 [2 0 0 0 ]2 6号 )
研究 Frame格上的一类等价关系 ,给出 L - Fuzzy伴随的若干性质定理及其等价刻画 ,体现了L- Fuzzy伴随的层次伴随特点 ,最后引入广义 L-值偏序集的概念 ,得到了类似经典伴随的若干特征定理。
关键词：L-Fuzzy拟序集 L-Fuzzy伴随 广义L-Fuzzy偏序集 Frame格 伴随映射 DOMAIN理论 序理论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部