管雪冲

作品数：11被引量：13H指数：2
导出分析报告
供职机构：江苏师范大学数学与统计学院更多>>
发文主题：代数反射子范畴同态连续格不动点集更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《高等数学研究》《中国学术期刊文摘》《计算机工程与应用》《江西师范大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金徐州师范大学校科研和教改项目国家教育部博士点基金陕西省自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于软集的无标记信息代数模型与算法被引量：1
《软件学报》2015年第5期1037-1047,共11页许格妮 李永明 管雪冲 
国家自然科学基金(11271237;61228305;11201278);陕西省自然科学基金(2014JQ9372)
在给定的一个初始论域U和参数集E上的全体软集中引入扩展运算与转移运算,研究了它们的性质.在此基础上引入商软集的概念,并在全体商软集中引入联合运算与聚焦运算,得到其构成一个无标记的信息代数,并且若参数集E有限,这个信息代数还是...
关键词：软集 扩展 转移 商软集 无标记信息代数 紧信息代数 
信息代数紧扩张的一种新方法(英文)
《数学杂志》2014年第4期610-616,共7页管雪冲 
本文研究了从一般信息代数获取紧信息代数的一种新方法.通过在一个信息代数的定向集族上建立一个等价关系,证得相应的等价类全体之集关于联合和聚焦两种运算构成了原信息代数的一个紧扩张.
关键词：信息代数 紧信息代数 双小于关系 紧扩张 
连续信息代数
《模糊系统与数学》2011年第1期103-111,共9页管雪冲 李永明 
国家自然科学基金资助项目(60873119);教育部高等学校博士点基金资助项目(200807180005)
给出基于自由域信息代数和带论域信息代数上的连续性概念。证明在域集格有最大元的情况下,两种连续性之间是相互对应的。定义了连续信息代数之间的连续映射的概念,证得:若(,ΦD),(Ψ,E)都是强连续的信息代数,则([Φ→Ψ]c,D×E)也是强...
关键词：连续信息代数 连续函数 紧信息代数 连续格 
投影问题的序关系研究
《陕西师范大学学报（自然科学版）》2011年第1期5-9,共5页管雪冲 李永明 
国家自然科学基金资助项目(60873119);教育部高等学校博士点专项科研基金项目(200807180005)
给出了赋值代数系统上投影问题的概念,定义了投影问题的解序和问题序,研究了这些序之间的关系.证明了半环间的映射保问题序与该映射单调是等价的.通过引入映射具有性质P的概念,证明得到半环间的一个满射保投影问题的解序的充分必要条件...
关键词：赋值代数 投影问题 半环同态 序 
半环诱导的赋值代数的解轮廓和解扩展
《计算机工程与应用》2010年第35期42-44,共3页管雪冲 李永明 
国家自然科学基金(No.60873119)~~
在由半环诱导的赋值代数中,通过半环同态与赋值的复合得到了一个新的赋值代数。证明了嵌入同态保持赋值的解轮廓,推广了赋值的解扩展定理。
关键词：赋值代数 半环 同态 解轮廓 解扩展 
站“高”再看高考题
《高等数学研究》2009年第1期100-101,共2页管雪冲 王颖 
针对2006年四川省一道有关不等式证明的高考题,利用导数研究函数单调性和凸凹性的方法,结合使用微分中值定理,给出证明,并对两个不等式成立的取值范围进行了推广.
关键词：导数 不等式 微分中值定理 
BC-domain的性质及core紧空间的刻画被引量：1
《江西师范大学学报（自然科学版）》2007年第6期616-618,627,共4页管雪冲 
国家自然科学基金(10371079);徐州师范大学自然科学基金(04XLB04)资助项目
该文研究了bc-domain与其他domain之间的联系,给出了bc-domain的一些性质,得到了范畴BC不是笛卡尔闭范畴,最后给出了bc-domain与core紧空间的一个等价刻画.
关键词：bc-domain com紧 Iawson紧 紧空间 笛卡尔闭范畴 
一类局部定向完备集及其范畴的性质
《中国学术期刊文摘》2006年第11期13-14,共2页管雪冲 王戈平 
国家自然科学基金资助（10371079）
给出了局部定向完备集的概念及其在此结构下的一种新的双小于关系，从而进一步给出了一种新的连续性概念，接着讨论了局部定向完备集，连续的局部定向完备集等对象的一些性质，最后考察了三种范畴的笛卡儿闭性，并证明了范畴LDCPO是范畴...
关键词：局部定向完备集 笛卡儿闭范畴 反射子范畴 
一些Scott连续自映射的不动点集的性质被引量：2
《徐州师范大学学报（自然科学版）》2005年第4期32-34,共3页管雪冲 
徐州师范大学自然科学基金资助项目(02BXL003)
研究了一些连续domain在幂等的连续自映射下的不动点集的性质,并证明了PF-domain在Scott连续自映射下的不动点集为连续的dcpo(定向完备集).
关键词：Scott连续自映射 不动点集 FS-domain PF—domain 
一类局部定向完备集及其范畴的性质被引量：8
《数学进展》2005年第6期677-682,共6页管雪冲 王戈平 
国家自然科学基金(No.10371079);徐州师范大学自然科学基金(No.02BXL003).
本文给出了局部定向完备集的概念及其在此结构下的一种新的双小于关系,从而进一步给出了一种新的连续性概念,接着讨论了局部定向完备集,连续的曷部定向完备集等对象的一些性质,最后考察了三种范畴的笛卡儿闭性,并证明了范畴LDCPO是范畴...
关键词：局部定向完备集 笛卡儿闭范畴 反射子范畴 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部