共查询到10条相似文献，搜索用时 31 毫秒
1.
具有地理坐标的测绘资料属于地学空间数据范畴.该文给出了快速确定地学空间数据所属国家基本比例尺地形图的图幅编号及图幅范围的方法,并以实例验证.本方法对测绘资料的分幅存档和分发使用提供了依据和方便. 相似文献
2.
为了提高地理空间数据更新的自动化水平,将ECA规则和主动数据库的理念和技术引入数据更新。对各种地理事件的定义与描述做了重点研究,建立了地理事件逻辑表达模型。对更新条件与更新操作进行分类与描述,提出了GECA(Geo-Event-Condition-Action)规则驱动下的地理空间数据主动更新的执行模型。结果表明:该方法可以提高空间数据更新的自动化水平。 相似文献
3.
水利基础地理空间数据库系统作为水利建设基础地理空间框架的核心系统,是基础地理空间数据及资料进行水利系统分发服务的重要平台。探讨了省级水利基础地理空间数据库系统的设计思路和在数据库建设中的一些技术环节。 相似文献
4.
Dyck格路径是第一象限中由上升步与下降步构成的格路径.由Dyck格路径的包含关系确定了其为偏序集,且是一个分配格.此偏序集的Whitney数满足一个递归关系式,其生成函数可写成连分数的形式.此偏序集交不可约同构于n-元链的区间构成的偏序集.给出了此偏序集的Mbius函数,并讨论了其应用.利用ECO方法,递归地构造出了此偏序集的Hasse图.最后,还介绍了Dyck格路径上的另外一种类型的偏序集,即其偏序关系由包含关系和峰的个数来确定. 相似文献
5.
研究了domain的推广--连续偏序集的Cartesian积以及连续偏序集和代数偏序集的一些性质.给出了连续偏序集的若干等价刻画. 相似文献
6.
徐飞 《宝鸡文理学院学报(自然科学版)》2005,25(4):251-255
讨论了广义Z-拟连续偏序集的一些性质.利用伴随给出了广义Z-拟连续偏序集的等价刻画.证明了当Z是具有有限族并性质的Rudin子集系统时,Z-交连续的广义Z-拟连续偏序集是Z-拟连续偏序集. 相似文献
7.
给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足（ab）→c=a→（b→c）,那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图. 相似文献
8.
可数逼近偏序集是连续偏序集的一种推广,讨论了可数逼近偏序集的一些拓扑性质以及与连续映射相关的性质,结果表明:可数逼近偏序集具有许多类似于连续偏序集的良好性质. 相似文献
9.
李尧龙 《东北师大学报(自然科学版)》2008,40(1):11-14
在偏序集拟阵的基础上,引入了偏序集广义拟阵的函数,定义了偏序集广义拟阵的闭包算子,讨论了偏序集广义拟阵的一系列性质.最后得到了偏序集广义拟阵的闭包公理. 相似文献