国家重点实验室开放基金(SKLSDE-2011KF-08)
- 作品数：11 被引量：16H指数：3
- 相关作者：徐罗山李高林丁杰凌雪岷朱新山更多>>
- 相关机构：扬州大学盐城师范学院安徽新华学院更多>>
- 发文基金：国家重点实验室开放基金国家自然科学基金江苏省自然科学基金更多>>
- 相关领域：理学自动化与计算机技术电子电信更多>>
- 连续poset的投射像的连续性
- 2014年
- 本文用反例说明了连续poset的保定向并的投射像不必连续,指出了《Continuous Lattices and Domains》一书中定理I-2.2的错误.证明了连续poset在保定向并的核映射下的像和连续收缩核还是连续的。
- 徐罗山栾云骏
- 关键词：收缩核
- 半连续dcpo被引量：3
- 2012年
- 作为半连续格的推广,引入半素集和半连续dcpo的概念,并讨论半连续dcpo的性质,在半连续dcpo中得到类似于半连续格的一些主要结果.同时研究了dcpo的内蕴拓扑——半Scott拓扑、半Lawson拓扑,证明了上集U半Lawson开当且仅当U为半Scott开,下集U半Lawson闭当且仅当U为半Scott闭.最后研究了半连续映射,证明了若保序映射f半连续,则f关于半Scott拓扑是连续映射.
- 刘玉连李高林徐罗山
- 关键词：半连续映射
- 关于FS-domain遗传性被引量：1
- 2013年
- 考察了FS-domain对某些子结构和收缩核的遗传性。证明了FS-domain对闭子空间和一类特殊的开子空间均是可遗传的,还证明了FS-domain对任一收缩核也是遗传的,构造了一类有趣的收缩核的实例。
- 李高林徐罗山
- 关键词：SCOTT拓扑遗传性收缩核
- 偏序集中下收敛的一个刻画
- 2012年
- 偏序集中的下收敛概念在刻画连续偏序集的Lawson拓扑和交连续偏序集的连续性方面有着重要的作用.本文给出了下收敛的一个等价刻画,利用该刻画说明了在用下收敛刻化偏序集的连续性时,交连续性的条件是必要的.
- 李高林
- 关键词：偏序集LAWSON拓扑
- 随机进程代数新技术综述(英文)
- 2011年
- 本文以PEPA语言为例,对近年来发展起来的随机进程代数的缓解状态空间爆炸问题的新技术做一个综述.
- 戴慧丁杰
- 关键词：随机进程代数PEPA状态空间爆炸
- 一种采用随机归一化相关系数调制的量化水印被引量：3
- 2012年
- 该文提出了一种新颖的量化水印.该方案通过调制由宿主信号变换产生的特征信号嵌入水印信息.特征信号由源宿主信号与一个随机信号的归一化相关系数构成.对该信号的调制方法是从水印信息对应的码本中选择一个码字,码本设计使用了均匀量化器并考虑了多进制的情况.加水印的宿主信号在最小化嵌入失真的意义下产生,并使其与随机信号具有调制后的归一化相关系数.同时,该文给出了嵌入失真与可移除水印信息的最小通道失真的表达式,根据它们可以在码本中搜索最优的码字以提高水印性能.该文方案对幅值缩放攻击具有不变性,而且抗噪能力优于著名的扩展变换抖动调制水印.图像仿真结果表明,该方案具有良好的不可感知性以及能抵抗广泛的攻击,和几种典型的水印方案相比具有显著的性能优势.
- 朱新山丁杰
- 关键词：数字水印量化水印鲁棒性
- 卫星和飞船的跟踪测控建模分析
- 2012年
- 针对2009年全国大学生数学建模竞赛——卫星或飞船的跟踪测控问题,讨论了所有测控站与卫星的运行轨道共面的情况下实现全程监控所需测控站个数。分别就卫星在圆形轨道和椭圆轨道上运行的情况,利用几何与向量知识建立模型,通过MATLAB编程和数值计算的方法给出了卫星在不同飞行高度上测控站点的个数以及各测控站点的具体位置。
- 王娟
- 关键词：卫星测控地球向量夹角
- 无限论域上粗糙集理论公理化条件的等价性被引量：1
- 2014年
- 对无限论域U上的对偶算子L和H,在(L1)条件下,证明了条件(L2)与(K)是等价的,这推广了有限情形的相关结论。在此基础上刻画了几种特殊的粗糙集代数,并给出了与拓扑有关的简单应用。
- 徐罗山苏洋李高林
- 关键词：串行对偶算子
- 知识的交派生及其算法被引量：1
- 2014年
- 对论域U上一般知识引入了知识交派生概念,研究了知识交派生集族的性质,证明了在论域U有限且给定知识对并关闭时,知识交派生集族形成一个拓扑。举例说明了论域U无穷且知识对任意并关闭时,其有限交派生集族不必形成一个拓扑。我们还给出了有穷论域上知识交派生的有效算法,证明了这种算法确实给出了交派生集族。
- 赵静徐罗山
- 关键词：粗糙集知识
- 可换BR_0代数的刻画和性质被引量：5
- 2012年
- 为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.
- 凌雪岷徐罗山
