内部算子与闭包算子的若干性质 被引量：9

1

作者 姚卫 路玲霞 李生刚 《河北师范大学学报（自然科学版）》 CAS 2004年第3期234-236,共3页

研究了内部算子与闭包算子的一系列性质,得到如下结果:1)解决了有限完备链上内部算子和闭包算子的个数问题;2)证明了偏序集上的内部算子和闭包算子的图像是阶梯状的;3)建立了内部算子之集和闭包算子之集与某集合的幂集之间的序同构;4)... 研究了内部算子与闭包算子的一系列性质,得到如下结果:1)解决了有限完备链上内部算子和闭包算子的个数问题;2)证明了偏序集上的内部算子和闭包算子的图像是阶梯状的;3)建立了内部算子之集和闭包算子之集与某集合的幂集之间的序同构;4)找到了一个映射成为内部算子或闭包算子的等价刻画. 展开更多

关键词 内部算子 闭包算子 偏序集 BOOLE代数 序同构

下载PDF 职称材料

偏序集生成的K上自由格

2

作者 黎爱平 《上饶师专学报》 1996年第6期13-16,共4页

本文给出偏序集Ｐ生成的格等式类Ｋ上自由格存在的一个充要条件，由此证明Ｐ生成的自由格存在。

关键词 偏序集 格 自由格 格同构 序同构 格同态

下载PDF 职称材料

概念格上一类新的序同构关系 被引量：1

3

作者 杨思春 张伟 +1 位作者 郝祥根 高远飚 《苏州科技学院学报（自然科学版）》 CAS 2010年第2期9-12,共4页

在形式背景的对象集合幂集P(G)和属性集合幂集P(M)上定义了偏序关系。证明了偏序集(P(G),≤)或(P(M),≤)与概念格∪(K)之间存在序同构关系。给出了一种利用序同构关系构造∪(K)中所有概念的内涵和外延的方法。所得的若干定理拓展了文献... 在形式背景的对象集合幂集P(G)和属性集合幂集P(M)上定义了偏序关系。证明了偏序集(P(G),≤)或(P(M),≤)与概念格∪(K)之间存在序同构关系。给出了一种利用序同构关系构造∪(K)中所有概念的内涵和外延的方法。所得的若干定理拓展了文献中的研究结果。 展开更多

关键词 概念格 序同构 概念

下载PDF 职称材料

偏序半环上的半拟序格

4

作者 邵海琴 何万生 +1 位作者 郭莉琴 杨随意 《延安大学学报（自然科学版）》 2010年第4期12-14,17,共4页

给出了偏序半环的半拟序集构成的格,证明了它是完备的分配格,并讨论了偏序半环的两个特殊的半拟序格,即拟序集构成的格与楄序集构成的格的关系。

关键词 偏序半环 半拟序 完备格 分配格 序同构

下载PDF 职称材料

一类三维K-单调系统的全局稳定性

5

作者 周兰 刘月华 《湖南农业大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第1期112-116,共5页

利用序同构与负散度研究了三维K-单调合作系统的全局稳定性,给出了三维K-单调Lotka-Volterra合作系统全局渐近稳定的充分条件.所得结果改进和推广了已有文献的相关结论.

关键词 K-单调合作系统 序同构 散度 全局渐近稳定性

下载PDF 职称材料

数字高程模型内插方法的分析和选择 被引量：22

6

作者 胡海 游涟 +1 位作者 胡鹏 彭会琨 《武汉大学学报（信息科学版）》 EI CSCD 北大核心 2011年第1期82-85,共4页

在概略讨论地面曲面本身特性的基础上,指出地面曲面本身并非是具有较高光滑度的单纯曲面,而应看作为由结构线连接而成的低次曲面片组合;着重深入分析了地面已知数据的准确性,指出计算稳定性问题是采用内插DEM必须要重视的重要问题;同时... 在概略讨论地面曲面本身特性的基础上,指出地面曲面本身并非是具有较高光滑度的单纯曲面,而应看作为由结构线连接而成的低次曲面片组合;着重深入分析了地面已知数据的准确性,指出计算稳定性问题是采用内插DEM必须要重视的重要问题;同时还论述了内插方法必须要具有高程序同构特性的保证;相对而言,各种内插方法都具有一定的逼近性,在实际数据较为密集的条件下较为宽松。 展开更多

关键词 数字高程模型 组合曲面 高程序同构 内插精度

原文传递

顾及“保真性”原则的双向滚动球变换DDM多尺度表达算法 被引量：12

7

作者 董箭 彭认灿 +2 位作者 张立华 刘国辉 朱强 《测绘学报》 EI CSCD 北大核心 2017年第6期789-801,共13页

在分析符合"安全性"要求的数字水深模型(DDM)正向滚动球变换应用局限的基础上,根据高保真DDM多尺度表达评价标准中对水深值准确性、严密有序性及地形信息等级嵌套性的要求,从顾及"保真性"原则的DDM多尺度表达需要出... 在分析符合"安全性"要求的数字水深模型(DDM)正向滚动球变换应用局限的基础上,根据高保真DDM多尺度表达评价标准中对水深值准确性、严密有序性及地形信息等级嵌套性的要求,从顾及"保真性"原则的DDM多尺度表达需要出发,提出一种基于双向滚动球变换的DDM多尺度表达算法。分析了海底地貌特征点在DDM双向滚动球变换过程中的变化趋势,根据DDM正向滚动球变换的尺度依赖特性,计算出了一定尺度下海底地貌的横向分布范围与纵向分布高度,建立了DDM多尺度表达中细部(骨架)地貌的判定准则。通过保留给定尺度下DDM中的骨架地貌,使海底地形的整体变化趋势得到了保持,满足了DDM多尺度表达对水深值准确性的要求;论证了DDM单值曲面等距离面变换的水深序同构特性,通过对给定尺度下的细部地貌进行DDM双向滚动球变换的等距离面提取,使海底地形的局部起伏形态得到了保持,满足了DDM多尺度表达对水深值严密有序性的要求;从满足DDM多尺度表达对地形信息等级嵌套性的要求出发,分析了DDM双向滚动球变换中尺度因子与地形信息等级单元逻辑包含关系的不相关性,论证了任意尺度因子条件下具有的相应等级地形信息范围的一致性。试验结果表明该算法克服了DDM正向滚动球变换存在的无法保留负向骨架地貌和保持海底局部地形起伏形态等不足,可有效保留DDM中骨架地貌并综合细部地貌,满足顾及"保真性"原则的DDM多尺度表达要求。 展开更多

关键词 数字水深模型 多尺度表达 双向滚动球变换 水深值准确性 水深值严密有序性 地形信息等级嵌套性

下载PDF 职称材料

数字高程模型的数字综合原理研究 被引量：9

8

作者 胡鹏 高俊 《武汉大学学报（信息科学版）》 EI CSCD 北大核心 2009年第8期940-942,964,共4页

在讨论高程准确性、高程序正确性、高程特征保持性和模型概念的基础上,分析了DEM机械建模生成中的理论和实践局限,提出了特征建模目标和数字综合途径,论述了DEM数字综合原理,并给出了1∶5万和1∶1万两种DEM系列综合例图。实验表明,只有... 在讨论高程准确性、高程序正确性、高程特征保持性和模型概念的基础上,分析了DEM机械建模生成中的理论和实践局限,提出了特征建模目标和数字综合途径,论述了DEM数字综合原理,并给出了1∶5万和1∶1万两种DEM系列综合例图。实验表明,只有在表示出全部地形特征的可靠DEM基础上进行数字综合,才能在指定分辨率上表示出所需地形特征的DEM。 展开更多

关键词 数字高程模型 高程序同构 特征建模 数字综合 等高线水系组合综合

原文传递

数字高程模型生成中的高程序同构 被引量：4

9

作者 胡鹏 白轶多 胡海 《武汉大学学报（信息科学版）》 EI CSCD 北大核心 2009年第3期352-357,共6页

通过揭示三维地面严密的高程有序性,揭示并定义了数字高程模型(DEM)生成中的高程序同构特性。在此基础上论证了DEM的高程序同构的必需条件——内插生成过程中与地面的拓扑对应和变换的"高处仍高,低处仍低"的数量特性,并据此... 通过揭示三维地面严密的高程有序性,揭示并定义了数字高程模型(DEM)生成中的高程序同构特性。在此基础上论证了DEM的高程序同构的必需条件——内插生成过程中与地面的拓扑对应和变换的"高处仍高,低处仍低"的数量特性,并据此论证了在DEM生成中三种主要内插方法的高程序同构特性。 展开更多

关键词 数字高程模型 拓扑对应 高程序同构 线性内插 三角形线性内插 双一次拟线性内插

原文传递

可控自然序富足半群 被引量：3

10

作者 郭小江 《数学进展》 CSCD 北大核心 2001年第2期156-164,共9页

本文研究可控自然序富足半群．文中给出两类可控自然序富足半群的结构．

关键词 富足半球 拟适当半群 E-局部序同构 正规带 偏序半群

下载PDF 职称材料

FI代数的犹豫模糊滤子与犹豫模糊同余关系 被引量：8

11

作者 刘春辉 何涛 《数学的实践与认识》 北大核心 2018年第7期266-272,共7页

将犹豫模糊集概念与FI代数的滤子和同余关系概念相结合，引入了FI代数的犹豫模糊滤子和犹豫模糊同余关系概念并研究它们的性质和相互关系．获得了FI代数在给定犹豫模糊同余关系下的商代数特征并建立了同态基本定理．证明了当分别在CFI... 将犹豫模糊集概念与FI代数的滤子和同余关系概念相结合，引入了FI代数的犹豫模糊滤子和犹豫模糊同余关系概念并研究它们的性质和相互关系．获得了FI代数在给定犹豫模糊同余关系下的商代数特征并建立了同态基本定理．证明了当分别在CFI代数的全体犹豫模糊滤子集和全体犹豫模糊同余关系集上定义适当的序关系后，二者保序同构． 展开更多

关键词 模糊逻辑 FI代数 犹豫模糊滤子 犹豫模糊同余关系 保序同构

原文传递

差序同构:中国政府纵向职责体系的结构形态

12

作者 黄洪凯 周振超 《上海行政学院学报》 CSSCI 北大核心 2024年第5期30-42,共13页

科学完善的纵向政府职责体系是构建系统完备、科学规范、运行高效的党和国家机构职能体系的重要支撑。中国政府纵向职责体系从外观上看是“上下一般粗”的形态。事实上,经过历次职能转变、职责优化和政府机构改革,纵向政府职责体系开始... 科学完善的纵向政府职责体系是构建系统完备、科学规范、运行高效的党和国家机构职能体系的重要支撑。中国政府纵向职责体系从外观上看是“上下一般粗”的形态。事实上,经过历次职能转变、职责优化和政府机构改革,纵向政府职责体系开始呈现“差序同构”特征。渐次形成的职责体系圈层网络,中央政府位于圈层中心位置,其职责要求作为原则性规则为地方政府所遵循,即“同构性”;不同于政府职责范围自上而下逐渐递减,地方政府履事责任的清晰度与行政链条长短呈正比,即“差序性”。纵向政府职责差序同构形态有利于确保党和国家大政方针上下贯通、实现有限资源有效整合、满足人民群众利益诉求。 展开更多

关键词 政府职责 职责同构 差序同构 条块关系 基层减负

原文传递

偏序集上的素强理想 被引量：1

13

作者 陈方鑫 姜广浩 唐照勇 《江苏师范大学学报（自然科学版）》 CAS 2019年第2期41-43,共3页

首先,在偏序集上引入并考察素强理想,探讨素强理想、素理想、强理想3者之间的关系;其次,给出强理想与素强理想等价的一个充分条件;最后,得到序同构映射下(素)强理想的像仍是(素)强理想.

关键词 素理想 强理想 素强理想 序同构映射

下载PDF 职称材料

籍确界原理构造实数系统 被引量：1

14

作者 闫萍 《常熟高专学报》 2004年第2期1-3,8,共4页

利用确界原理构造一个新的实数系统,证明这个系统满足实数连续性公理,并与Dedekind实数系统等价.

关键词 确界原理 等价关系 保序同构映射 实数系统 实数连续性公理

下载PDF 职称材料

下集列连通分支及其对连通性的刻画

15

作者 唐照勇 姜广浩 《模糊系统与数学》 北大核心 2023年第3期45-50,共6页

为研究偏序集的连通性,本文通过定义偏序集的下集列,进而给出下集列连通分支的概念。以下集列连通分支为工具刻画了偏序集以及子偏序集的连通性。指出连通关系是一个等价关系,而一个类的本质就是一个下集列连通分支。揭示了下集列连通... 为研究偏序集的连通性,本文通过定义偏序集的下集列,进而给出下集列连通分支的概念。以下集列连通分支为工具刻画了偏序集以及子偏序集的连通性。指出连通关系是一个等价关系,而一个类的本质就是一个下集列连通分支。揭示了下集列连通分支的特征是一个连通分支并。还证明了偏序集可唯一地分解为一些连通分支的不交并。最后探究了连通性在保序同构映射下仍然具有连通性。 展开更多

关键词 偏序集 下集列 下集列连通分支 连通 保序同构映射

原文传递

偏序集上的素强滤子

16

作者 李效民 姜广浩 《南昌大学学报（理科版）》 CAS 北大核心 2020年第3期219-221,共3页

在偏序集上引入素强滤子的概念,并考察其若干性质.此外,对素强滤子、素滤子、强滤子的关系进行了探究,并得到:序同构映射下素强滤子的像仍是素强滤子。

关键词 素滤子 强滤子 素强滤子 序同构映射

下载PDF 职称材料

偏序集的序连通关系及其序连通分支

17

作者 唐照勇 《高校应用数学学报（A辑）》 北大核心 2022年第3期315-322,共8页

为研究偏序集的连通性,文中通过定义偏序集的上集列,进而给出上集列连通分支的概念.以上集列连通分支为工具刻画偏序集以及子偏序集的连通性.指出连通关系是一个等价关系,而一个类的本质就是一个上集列连通分支.揭示上集列连通分支的特... 为研究偏序集的连通性,文中通过定义偏序集的上集列,进而给出上集列连通分支的概念.以上集列连通分支为工具刻画偏序集以及子偏序集的连通性.指出连通关系是一个等价关系,而一个类的本质就是一个上集列连通分支.揭示上集列连通分支的特征是一个连通分支并.还证明了偏序集可唯一地分解为连通分支的不交并.最后探究了在保序同构映射下连通子集的像(原像)仍然具有连通性.特别地,连通分支的像(原像)也是连通分支. 展开更多

关键词 偏序集 上集列 上集列连通分支 连通 保序同构映射

下载PDF 职称材料