国家重点实验室开放基金(SKLSDE-2011KF-08)

作品数：11被引量：18H指数：3
导出分析报告
相关作者：徐罗山李高林丁杰凌雪岷朱新山更多>>
相关机构：扬州大学盐城师范学院安徽新华学院江苏经贸职业技术学院更多>>
相关期刊：《扬州大学学报（自然科学版）》《淮阴师范学院学报（自然科学版）》《模糊系统与数学》《软件》更多>>
相关主题：刻画SCOTT拓扑LAWSON拓扑偏序集收缩核更多>>
相关领域：理学自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
无限论域上粗糙集理论公理化条件的等价性被引量：2
《模糊系统与数学》2014年第3期153-156,共4页徐罗山 苏洋 李高林 
国家自然科学基金资助项目(61074129;61103018;11101352);国家重点实验室开放课题(SKLSDE-2011KF-08)
对无限论域U上的对偶算子L和H,在(L1)条件下,证明了条件(L2)与(K)是等价的,这推广了有限情形的相关结论。在此基础上刻画了几种特殊的粗糙集代数,并给出了与拓扑有关的简单应用。
关键词：粗糙集代数 串行 对偶算子 上(下)近似 
知识的交派生及其算法被引量：1
《模糊系统与数学》2014年第3期160-164,共5页赵静 徐罗山 
国家自然科学基金资助项目(61074129;61103018;11101352);江苏省自然科学基金资助项目(BK2010313;BK2011442);国家重点实验室开放课题(SKLSDE-2011KF-08)
对论域U上一般知识引入了知识交派生概念,研究了知识交派生集族的性质,证明了在论域U有限且给定知识对并关闭时,知识交派生集族形成一个拓扑。举例说明了论域U无穷且知识对任意并关闭时,其有限交派生集族不必形成一个拓扑。我们还给出...
关键词：粗糙集 知识 交派生 算法 
连续poset的投射像的连续性
《模糊系统与数学》2014年第2期91-94,共4页徐罗山 栾云骏 
国家自然科学基金资助项目(61074129;61103018;11101352);江苏省自然科学基金资助项目(BK2010313;BK2011442);国家重点实验室开放课题(SKLSDE-2011KF-08)
本文用反例说明了连续poset的保定向并的投射像不必连续,指出了《Continuous Lattices and Domains》一书中定理I-2.2的错误.证明了连续poset在保定向并的核映射下的像和连续收缩核还是连续的。
关键词：连续poset 投射像 定向并 收缩核 
关于FS-domain遗传性被引量：1
《模糊系统与数学》2013年第5期131-134,共4页李高林 徐罗山 
国家自然科学基金(61074129;61103018;11101352);江苏省高校自然科学基础研究项目(BK2010313;BK2011442);国家重点实验室开放课题(SKLSDE-2011KF-08);盐城师范学院科研项目(11YCKL001;11YSYJB0202)
考察了FS-domain对某些子结构和收缩核的遗传性。证明了FS-domain对闭子空间和一类特殊的开子空间均是可遗传的,还证明了FS-domain对任一收缩核也是遗传的,构造了一类有趣的收缩核的实例。
关键词：FS-domain 双有限Domain SCOTT拓扑 遗传性 收缩核 
一种采用随机归一化相关系数调制的量化水印被引量：4
《计算机学报》2012年第9期1959-1970,共12页朱新山 丁杰 
国家自然科学基金(60803122;61103018);江苏省基础研究计划(自然科学基金)项目(BK2011442;BK2012683);扬州大学科技创新培育基金(2011CXJ023);北大方正集团有限公司数字出版技术国家重点实验室开放课题;北京航空航天大学软件开发环境国家重点实验室开放课题(SKLSDE-2011KF-08)资助~~
该文提出了一种新颖的量化水印.该方案通过调制由宿主信号变换产生的特征信号嵌入水印信息.特征信号由源宿主信号与一个随机信号的归一化相关系数构成.对该信号的调制方法是从水印信息对应的码本中选择一个码字,码本设计使用了均匀量化...
关键词：数字水印 量化水印 归一化相关系数 鲁棒性 幅值缩放 
半连续dcpo被引量：3
《扬州大学学报（自然科学版）》2012年第2期1-5,共5页刘玉连 李高林 徐罗山 
国家自然科学基金资助项目(61074129;61103018;11101352);江苏省自然科学基金资助项目(BK2010313;BK2011442);国家重点实验室开放课题(SKLSDE-2011KF-08);盐城师范学院资助项目(11YCKL001)
作为半连续格的推广,引入半素集和半连续dcpo的概念,并讨论半连续dcpo的性质,在半连续dcpo中得到类似于半连续格的一些主要结果.同时研究了dcpo的内蕴拓扑——半Scott拓扑、半Lawson拓扑,证明了上集U半Lawson开当且仅当U为半Scott开,下...
关键词：半素集 半连续dcpo 半Scott拓扑 半连续映射 
偏序集中下收敛的一个刻画
《淮阴师范学院学报（自然科学版）》2012年第1期1-3,共3页李高林 
国家自然科学基金资助项目(61074129;61103018;11101352);国家重点实验室开放课题(SKLSDE-2011KF-08);江苏省高校自然科学基金资助项目(BK2010313;BK2011442)
偏序集中的下收敛概念在刻画连续偏序集的Lawson拓扑和交连续偏序集的连续性方面有着重要的作用.本文给出了下收敛的一个等价刻画,利用该刻画说明了在用下收敛刻化偏序集的连续性时,交连续性的条件是必要的.
关键词：偏序集 下收敛 LAWSON拓扑 交连续 
卫星和飞船的跟踪测控建模分析
《安庆师范学院学报（自然科学版）》2012年第1期59-63,共5页王娟 
国家自然科学青年基金(批准号61103018);江苏省自然科学基金(批准号BK2011442);软件开发环境国家重点实验室开放课题(SKLSDE-2011KF-08)资助
针对2009年全国大学生数学建模竞赛——卫星或飞船的跟踪测控问题,讨论了所有测控站与卫星的运行轨道共面的情况下实现全程监控所需测控站个数。分别就卫星在圆形轨道和椭圆轨道上运行的情况,利用几何与向量知识建立模型,通过MATLAB编...
关键词：卫星测控 地球 向量夹角 圆形轨道 椭圆轨道 
可换BR_0代数的刻画和性质被引量：5
《扬州大学学报（自然科学版）》2012年第1期1-4,37,共5页凌雪岷 徐罗山 
国家重点实验室开放课题(SKLSDE-2011KF-08);江苏省自然科学基金资助项目(BK2010313;BK2011442)
为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HF...
关键词：可换BR0代数 有界可换BCK代数 正则HFI代数 
偏序集中的下收敛与Lawson拓扑被引量：2
《扬州大学学报（自然科学版）》2012年第1期9-12,共4页李高林 徐罗山 
国家自然科学基金资助项目(61074129,61103018,11101352);江苏省自然科学基金资助项目(BK2010313,BK2011442);国家重点实验室开放课题(SKLSDE-2011KF-08);盐城师范学院资助项目(11YCKL001,11YSYJB0202)
在偏序集中引入下极限的概念,利用下极限定义下收敛,讨论下收敛类所生成拓扑的若干性质,利用下收敛(类)刻画连续偏序集的Lawson拓扑以及交连续偏序集的连续性.
关键词：偏序集 下极限 下收敛 LAWSON拓扑 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部