检索结果-内蒙古大学图书馆

全球变化数据学报（中英文） 2024年第2期8卷 111-124,226-239页

作者：陈锦王曙诸云强段福洲王斌首都师范大学资源环境与旅游学院北京100048 中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101 江苏省地理信息资源开发与利用协同创新中心南京210023 中国地质调查局自然资源综合调查指挥中心北京100055

地球表层系统科学数据叙词表是以规范化形式描述地球表层系统各圈层术语及其间基本语义关系的词汇表。作为基础性的数据资源,高质量的地球表层系统科学数据叙词表有助于概念的辨析对比、资源的组织检索、数据的标准化与共享,从而推动地... 详细信息

地球表层系统科学数据叙词表是以规范化形式描述地球表层系统各圈层术语及其间基本语义关系的词汇表。作为基础性的数据资源,高质量的地球表层系统科学数据叙词表有助于概念的辨析对比、资源的组织检索、数据的标准化与共享,从而推动地球表层系统跨学科的研究。本文基于领域主题词词典(如全球变化主目录)、领域专著(如地理辞典)、领域本体(如地球与环境术语语义网)及在线资源(如维基百科)等主题词数据,它们涵盖全球变化、地理环境、资源体系等领域,明确了地球表层系统的定义与范围,构建了高质量地球表层系统科学数据叙词表。其中具体包含基础空间、圈层、系统、子系统、对象、要素、属性七层概念,总计3,463个主题词,以及主题词之间的等同关系、层级关系和相关关系,共计4.454个。研究表明,叙词表在词表规模与词表性能两方面表现良好,有望为地球表层系统数据网络构建、信息关联对齐、信息资源检索、知识服务与知识发现等方面提供数据支撑。数据集以.xlsx格式存储,由3个数据文件组成,数据量为1.84 MB(压缩为1个文件,1.78 MB)。

关键词：地球表层系统科学数据主题词叙词表本体模型知识服务

来源：评论

学校读者我要写书评

暂无评论

中国八批5058处重点文物保护单位空间分布数据集

引用

全球变化数据学报（中英文） 2023年第4期7卷 362-368,V0362-V0368页

作者：叶鹏王曙陈培贾子谊鲁艳旭扬州大学城市规划与发展研究院扬州225127 中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101 江苏省地理信息资源开发与利用协同创新中心南京210023 南京师范大学虚拟地理环境教育部重点实验室南京210023 建设综合勘察研究设计院有限公司北京100007

全国重点文物保护单位是中国对于不可移动文物所核定的最高保护级别,具有极高的历史、艺术和科学价值。基于国务院1961、1982、1988、1996、2001、2006、2013和2019年先后八次发布的5058处全国重点文物保护单位名单,利用百度地图服务接... 详细信息

全国重点文物保护单位是中国对于不可移动文物所核定的最高保护级别,具有极高的历史、艺术和科学价值。基于国务院1961、1982、1988、1996、2001、2006、2013和2019年先后八次发布的5058处全国重点文物保护单位名单,利用百度地图服务接口提取各重点文物保护单位地理坐标,获得全国重点文物保护单位的空间分布数据集。该数据集包括每个国保单位的名称、编号、分类号、时代、文物类别、批次和地址等信息。数据集以.shp和.xls格式存储,由8个数据文件组成,数据量为25.8 MB(压缩为1个文件,839 KB)。

关键词：全国重点文物保护单位国家级不可移动文物空间点位中国

来源：评论

学校读者我要写书评

暂无评论

六角格网的弧线矢量数据量化拟合方法

引用

计算机辅助设计与图形学学报 2018年第4期30卷 557-567页

作者：张瀚李静吕品徐永志刘格林中国科学院软件研究所天基综合信息系统重点实验室北京100190 中国科学院软件研究所计算机科学国家重点实验室北京100190

兵棋地图矢量化是指将地理信息因子以属性形式映射到以六角网格为组织结构的兵棋地图中的过程.由于地理信息连通结构复杂,其中包含大量的有向弧段数据,如何在保持原有拓扑连接的前提下快速准确地量化到六角网格一直是一个困难的问题.对... 详细信息

兵棋地图矢量化是指将地理信息因子以属性形式映射到以六角网格为组织结构的兵棋地图中的过程.由于地理信息连通结构复杂,其中包含大量的有向弧段数据,如何在保持原有拓扑连接的前提下快速准确地量化到六角网格一直是一个困难的问题.对此,提出一种串序匹配拟合方法.首先依据有向弧段生成所穿越的匹配单元序列;然后对每个匹配单元依据离散Fréchet距离确定最佳的拟合六角格边;最后寻找并连接各条有向格边序列的连通端点,形成连通图.实验结果表明,文中方法可以在线性时间内完成大量弧段的量化拟合计算;同时,由于在量化中弧段间的连接节点被调整到格点,各弧段间的连接关系可在拟合过程中得以保持;串序匹配拟合方法具有很好的适应性和很高的效率.

关键词：兵棋地图地形量化制图综合串序匹配拟合 Fréchet距离

来源：评论

学校读者我要写书评

暂无评论

黄河河口-龙门区间降雨时空分布特征及其与流域产沙的关系

引用

水土保持通报 2020年第4期40卷 25-31页

作者：张萍蔡强国郑明国何天乐中国科学院地理科学与资源研究所陆地水循环及地表过程重点实验室北京100101 中国科学院大学资源环境学院北京100049 广东省科学院生态环境与土壤研究所华南土壤污染控制与修复国家地方联合工程研究中心广东省农业环境综合治理重点实验室广东省面源污染防治工程技术研究中心广东广州510650 中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101

[目的]揭示黄土高原典型多沙粗沙区河口—龙门区间降雨时空分布特征及其与流域产沙的关系,为区域水土保持规划的制定提供科学依据。[方法]基于降雨和产沙模数资料,采用泰森多边形加权变差系数法、K-means聚类分析以及线性回归分析,系统... 详细信息

[目的]揭示黄土高原典型多沙粗沙区河口—龙门区间降雨时空分布特征及其与流域产沙的关系,为区域水土保持规划的制定提供科学依据。[方法]基于降雨和产沙模数资料,采用泰森多边形加权变差系数法、K-means聚类分析以及线性回归分析,系统研究河口—龙门区间降雨和产沙的空间变异规律。[结果]1959—2015年期间,河龙区间汛期降雨和汛期降雨侵蚀力具有相同的空间分布特征,但是汛期降雨侵蚀力表现出更强的空间变异性,两者在年内和年际时间尺度上分别表现出相同的空间分布特征,并且具有纬度地带性(p<0.01)。汛期降雨和汛期降雨侵蚀力在支流尺度上的空间变异性差异不大,具有同增同减的变化趋势。[结论]1959—2015年期间,水土流失大规模治理以前,河口—龙门区间流域产沙主要受降雨的影响(p<0.01),水土流失治理以后,流域产沙量锐减,降雨和流域产沙模数无显著相关关系。

关键词：汛期降雨汛期降雨侵蚀力流域产沙时空分布河龙区间

来源：评论

学校读者我要写书评

暂无评论

形式化方法概貌

引用

软件学报 2019年第1期30卷 33-61页

作者：王戟詹乃军冯新宇刘志明国防科技大学计算机学院湖南长沙410073 高性能计算国家重点实验室(国防科技大学) 湖南长沙410073 中国科学院软件研究所北京100190 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190 南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 西南大学计算机与信息科学学院重庆400715 西南大学软件研究与创新中心重庆400715

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 详细信息

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性.

关键词：形式化方法形式规约形式验证程序设计方法学软件开发

来源：评论

学校读者我要写书评

暂无评论

引入城市公共设施要素的人口数据空间化方法研究

引用

地球信息科学学报 2018年第7期20卷 918-928页

作者：董南杨小唤黄栋韩冬锐建设综合勘察研究设计院有限公司北京100007 中国科学院地理科学与资源研究所资源环境信息系统国家重点实验室北京100101 中国科学院大学北京100049

精细尺度的人口分布是当前人口地理学研究的热点和难点,其在灾害评估、资源配置、智慧城市建设等方面应用广泛。城区是人口分布集中的区域,揭示该区域人口分布差异是精细尺度人口空间化研究的核心内容。本研究基于城市公共设施要素点位... 详细信息

精细尺度的人口分布是当前人口地理学研究的热点和难点,其在灾害评估、资源配置、智慧城市建设等方面应用广泛。城区是人口分布集中的区域,揭示该区域人口分布差异是精细尺度人口空间化研究的核心内容。本研究基于城市公共设施要素点位数据,对居住建筑斑块进行分类,以社区作为人口数据空间化转换尺度,构建各类别斑块面积与人口数量的多元回归模型,生成了宣州城区居住建筑尺度的人口空间数据,揭示了研究区人口空间分布差异。结果表明:(1)该方法生成的人口空间数据精度较高,结果可信。779个居住建筑斑块中,估算人数在合理区内的斑块个数占比为35.4%,相对误差在-20%~20%范围内的斑块个数比例之和为61.2%;城东社区、思佳社区作为精度验证单元,其人数估算的相对误差绝对值低于9%;(2)城市公共设施要素数据,尤其是中小学及幼儿园、菜市场及水果店,是建筑物尺度上人口分布的指示性因素,其对多层居住建筑人数的估算精度较高,但对中高层居住建筑人数的估算精度偏低。

关键词：人口空间化公共设施要素居住建筑斑块

来源：评论

学校读者我要写书评

暂无评论

兴隆观测基地的大气色散实测研究

引用

红外与激光工程 2017年第4期46卷 244-249页

作者：向娥王汇娟许克峰姜晓军中国科学院软件研究所天基综合信息系统重点实验室北京100190 中国科学院国家天文台光学天文重点实验室北京100012

大气色散会影响高分辨率成像、测光和光谱观测的质量。利用国家天文台兴隆观测基地80 cm望远镜获得了四个波长范围和五个天顶距的大气色散实测值,波段范围为360~440 nm、360~550 nm、360~640 nm和360~790 nm,天顶距分别为59.8°、57... 详细信息

大气色散会影响高分辨率成像、测光和光谱观测的质量。利用国家天文台兴隆观测基地80 cm望远镜获得了四个波长范围和五个天顶距的大气色散实测值,波段范围为360~440 nm、360~550 nm、360~640 nm和360~790 nm,天顶距分别为59.8°、57.6°、48.1°、47.8°和36.4°。讨论了实验过程中的四种主要误差来源,测量精度约为0.6″。根据观测时的天顶距、温度、湿度和气压等数据,结合大气折射模型计算了观测当时的理论大气色散值,与实测值进行了对比分析,结果基本吻合。对大气色散的影响因素和大气色散对高精度天文观测的影响进行了探讨,为大口径高精度天文观测提供了减小大气色散影响的方法。大气色散实测和理论计算结果表明:该方法可获得较高精度的大气色散值;大气色散对大口径望远镜的高精度天文观测影响较大,需要根据观测目的采用辅助设备来减小大气色散的影响。

关键词：大气色散大气折射天顶距误差分析

来源：评论

学校读者我要写书评

暂无评论

井冈山地形特征与土地利用类型分布相关性研究

引用

遥感信息 2018年第4期33卷 64-71页

作者：齐文娟杨晓梅李治李喻龙杨丰硕中国科学院地理资源与科学研究所资源与环境信息系统国家重点实验室北京100101 中国科学院大学北京100049 中国科学院新疆生态与地理研究所乌鲁木齐830011 建设综合勘察研究设计院有限公司北京100007

针对土地覆被类型在不同高程、坡度、地形起伏度等地形地貌特征下,差异性明显的问题,提出了一种分析和研究地形地貌特征与土地覆被类型相关性的方法。通过数学分析与计算,将土地覆被类型在不同地形景观下的分布情况进行了统计分析。引... 详细信息

针对土地覆被类型在不同高程、坡度、地形起伏度等地形地貌特征下,差异性明显的问题,提出了一种分析和研究地形地貌特征与土地覆被类型相关性的方法。通过数学分析与计算,将土地覆被类型在不同地形景观下的分布情况进行了统计分析。引入高程、坡度、坡向等地形因子信息,通过将地形因子通过一定规则进行分级,并进行统计、计算,分析了不同地形特征下土地利用类型的分布规律、变化趋势和成因,说明了地形对土地利用分类的重要性。研究发现,土地利用类型在不同高程、坡度、地形起伏度上,呈现出阶梯状变化的特征。在较低的高程、坡度、地形起伏度区域内,主要分布着与人类的生产、生活密切相关的土地利用类型,如水田、旱地、果园、茶园、水田、坑塘水面、内陆滩涂、城市、建制镇、村庄、采矿用地等。有林地等则主要分布在高程、坡度、地形起伏度较高的区域。这些地区人类活动少,土地开发程度也较弱,因而多是自然植物覆被。

关键词： DEM模型分析高程因子计算坡度因子计算坡向因子计算地形起伏度因子计算土地利用类型分析

来源：评论

学校读者我要写书评

暂无评论

基于证据的软件过程可信度模型及评估方法

引用

软件学报 2017年第7期28卷 1713-1731页

作者：王德鑫王青贺劼中国科学院软件研究所互联网软件技术实验室北京100190 中国科学院大学北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所天基综合信息系统重点实验室北京100190

软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级别就高一些,而若有用户的使用反馈则可信级别就更高.这些工作... 详细信息

软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级别就高一些,而若有用户的使用反馈则可信级别就更高.这些工作在可信的客观性方面做了很好的贡献.但可信其实是一个系统性的问题,而且质量形成于过程,其证据的充分必要程度以及对必要开发过程的覆盖程度等非常关键.基于软件开发过程,从过程的实体、行为以及制品3个方面提取软件可信的证据,建立了由37个可信原则、182个过程可信证据和108个制品可信程度证据组成的软件过程可信度模型,并给出基于该模型证据的软件过程可信评估方法,试图从开发过程的可信程度来建立软件产品的可信的信心.

关键词：软件可信过程可信软件制品可信

来源：评论

学校读者我要写书评

暂无评论

融合波段特征的多光谱遥感影像感知哈希认证算法

引用

中国图象图形学报 2018年第5期23卷 708-718页

作者：丁凯孟杨晓梅苏守宝刘岳明金陵科技学院网络与通信工程学院南京211169 中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101 金陵科技学院数据科学与智慧软件江苏省重点实验室南京211169

目的多光谱遥感影像的完整性、真实性等安全问题逐步受到人们的关注,但是,传统认证技术更多地关注数据载体的认证,其不能满足多光谱遥感影像的认证需求。针对多光谱遥感影像的数据特点,提出一种融合波段感知特征的多光谱遥感影像感知... 详细信息

目的多光谱遥感影像的完整性、真实性等安全问题逐步受到人们的关注,但是,传统认证技术更多地关注数据载体的认证,其不能满足多光谱遥感影像的认证需求。针对多光谱遥感影像的数据特点,提出一种融合波段感知特征的多光谱遥感影像感知哈希认证算法。方法首先,采用隐形格网划分将多光谱影像的各个波段划分成不同的区域;然后,采用离散小波变换对各波段相同地理位置的格网单元进行分解,并分别采用不同的融合规则对小波变换后的不同分量进行融合;最后,通过Canny算子与奇异值分解提取融合结果的感知特征,再对提取的感知特征进行归一化,最终生成影像的感知哈希序列。多光谱影像的认证过程通过精确匹配感知哈希序列来实现。结果本文算法采用Landsat TM影像和高分二号卫星的融合影像数据为实验对象,从摘要性、可区分行、鲁棒性、算法运行效率以及安全性等方面进行测试与分析。结果表明,该算法只需要32字节的认证信息就能够实现多光谱遥感影像的认证,摘要性有了较大提高,且算法运行效率提高约1倍;同时,该算法可以有效检测影像的恶意篡改,并对无损压缩和LSB水印嵌入保持近乎100%的鲁棒性。结论本文算法克服了现有技术在摘要性、算法运行效率等方面不足,而且有较好的可区分性、鲁棒性,能够用于多光谱遥感影像的完整性认证,尤其适合对摘要性要求较高的环境。

关键词：多光谱遥感影像感知哈希波段融合完整性认证边缘特征离散小波变换

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：