DOMAIN理论

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
稳定连续半格的闭包空间表示
《曲阜师范大学学报（自然科学版）》2024年第1期61-66,共6页王胜文 张冰 马俊叶 王龙春 
曲阜师范大学校级教改项目(22jg30);曲阜师范大学大学生创新训练项目(XJ20210065);六盘水师范学院重点学科建设项目—数学重点培育学科(LPSSYZDPYXK201709);山西省基础研究计划项目(202103021223272);太原科技大学博士科研启动基金(20202049)。
为稳定连续半格构建合适的闭包空间表示,引入了可乘闭包空间的概念,证明了可乘闭包空间的正则闭集族在集合包含关系下构成了一个稳定连续半格,并且所有的稳定连续半格都可在序同构的意义下由此生成.进一步提出了可乘闭包空间之间逼近映...
关键词：闭包空间 DOMAIN理论 稳定连续半格 Scott连续映射 范畴等价 
Lawson紧的代数L-domain递归方程的逻辑形式
《模糊系统与数学》2022年第5期69-80,共12页王龙春 邹娟 
国家自然科学基金资助项目(11801310);山东省自然科学基金资助项目(ZR2022MA022);曲阜师范大学大学生创新训练项目(XJ20210065)。
本文的目的是为Lawson紧的代数L-domain递归方程及其解提供一种逻辑刻画。基于N-序列演算上的子系统关系,证明了N-序列演算之集是定向完备的,并在这一定向完备偏序集上引入了三种连续构造算子:提升,联结和以及分离和。从而求解domain结...
关键词：DOMAIN理论 Lawson紧的代数L-domain N-序列演算 domain构造算子 domain递归方程 
TN型产品Zara Domain理论研究与分析改善被引量：4
《液晶与显示》2016年第3期242-248,共7页高荣荣 陈杰 刘俊豪 郭红光 张周生 左爱翠 桑胜光 
Zara Domain是高PPI TN型TFT-LCD制成中较为常见的一种不良,为了提高产品品质,急需改善Zara Domain。以3.97in TN产品(PPI 235)为例,Zara Domain发生率30%,对产品良率影响较大,文章结合生产情况对Zara Domain发生的原因进行理论分析和...
关键词：ZARA DOMAIN 配向膜&液晶材料 摩擦工艺 急速冷却 
domain理论下的建材信息系统设计及应用
《中国建材科技》2015年第4期58-59,共2页王韦帆 
建筑行业对于经济发展的影响有着重要的作用,在其迅速发展的进展中,也标志着一个国家的富强。随着科学技术的进步,市场化的发展已经逐步的走入了信息化,而domain理论也在这个时候悄然进入到了我们的视线之中。
关键词：DOMAIN理论 建材信息系统 建筑系统管理 
DOMAIN理论及其应用
《国际学术动态》2014年第6期50-51,共2页李庆国 
第6届Domain理论及其应用国际学术研讨会（The 6th International Symposiumon Domain Theory and Its Applications）于2013年10月25～2913在湖南大学举行。会议由四川大学和湖南大学联合主办，湖南大学承办。会议得到了教育部国际合...
关键词：DOMAIN理论 国家自然科学基金委员会 应用 DOMAIN理论 国际学术研讨会 湖南大学 中国数学会 四川大学 
我校喜获4项国家自然科学基金资助项目
《五邑大学学报（自然科学版）》2010年第4期23-23,共1页
2010年度国家自然科学基金项目评审已结束,五邑大学共获得国家自然科学基金资助项目4项,总资助经费84万元,立项数目、资助经费额度为历年最多。获得资助的项目分别是：曾庆光博士主持的高压下不同微结构的Eu：Ti纳米材料的光学性能与结...
关键词：国家自然科学基金 基金资助项目 DOMAIN理论 太阳能电池 FUZZY 项目评审 光学性能 纳米材料 
完全相容稳定模糊谓词转换器
《模糊系统与数学》2009年第6期113-125,共13页马艳芳 陈仪香 
国家自然科学基金资助项目(90718013);科技部高技术研究发展计划资助项目(2007AA01Z189);上海市重点学科基金资助项目(B412)
谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完...
关键词：DOMAIN理论 半拓扑 稳定模糊谓词 完全相容稳定模糊谓词转换器 
第4届Domain理论国际学术研讨会
《国际学术动态》2007年第1期52-53,共2页李庆国 
第4届Domain理论国际学术研讨会（The 4th International Symposiumon Domain Theory）于2006年6月2-6日在中国长沙湖南大学举行。由四川大学和湖南大学联合主办，会议得到了国家教育部和国家自然科学基金委员会以及教育部高等学校数学...
关键词：DOMAIN理论 国际学术研讨会 国家自然科学基金委员会 中国大陆地区 湖南大学 四川大学 人才培养 数学研究 
稳定模糊谓词被引量：1
《上海师范大学学报（自然科学版）》2006年第6期30-36,共7页马艳芳 陈仪香 
国家自然科学基金(60273054;60673117);教育部高等学校博士学科点专项科研基金(20050270004);上海市重点学科基金(T0401).
引入稳定模糊谓词的概念,讨论稳定模糊谓词的一些基本性质和它的线性运算,建立具有相容交dcpo上的ξ-半拓扑与模糊ξ-半拓扑之间的序同态关系．
关键词：DOMAIN理论 半拓扑 稳定模糊谓词 
第四届DOMAIN理论国际学术研讨会会议纪要
《模糊系统与数学》2006年第3期158-158,共1页
关键词：国际学术研讨会 DOMAIN理论 第四届 INTERNATIONAL 会议 国家自然科学基金委员会 DOMAIN理论 纪要 湖南大学 四川大学 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部