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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

卫星5G融合的研究进展概述

引用

信息通信技术与政策 2019年第5期 86-90页

作者：刘帅军胡月梅王大鹏刘立祥中国科学院软件研究所天基综合信息系统重点实验室

对卫星相关标准化组织以及卫星通信的标准进行了介绍,并对卫星与5G融合的标准进展进行了概述,最后对卫星与5G融合下的发展趋势作了分析与总结。

关键词：卫星通信标准 5G 卫星5G融合

来源：评论

学校读者我要写书评

暂无评论

形式化方法概貌

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

天地一体化信息网络的体系结构与协议分析

引用

重庆邮电大学学报（自然科学版） 2018年第1期30卷 9-21页

作者：刘立祥中国科学院软件研究所天基综合信息系统重点实验室北京100190

天地一体化信息网络(space-ground integrated information network,SGIIN)作为未来信息获取、分发、传输和应用的核心基础设施,将对国民经济和社会发展起到非常大的作用。一体化网络的运行环境复杂和应用多样性,对一体化网络的网络架... 详细信息

天地一体化信息网络(space-ground integrated information network,SGIIN)作为未来信息获取、分发、传输和应用的核心基础设施,将对国民经济和社会发展起到非常大的作用。一体化网络的运行环境复杂和应用多样性,对一体化网络的网络架构和协议体系提出了重大挑战。在分析天地一体化网络特点的基础上,提出了两级组网体系,将一体化网络分为一级骨干网和二级接入网,给出了相应的体系架构。比较了不同的传输协议在空间环境下(如长时延、链路误码率高等特点)的性能,给出了量化分析结果;其次,在高度相同的卫星网络场景下,按照卫星网络传输任务的特点,分别从数据包转发、系统复杂度以及可移植性3个方面对不同的卫星网络路由算法进行性能分析。仿真和分析结果表明,基于CCSDS(consultative committee for space data systems)的协议体系可以作为未来天地一体化网络骨干网络的协议体系。

关键词：多级网络体系网络协议骨干网

来源：评论

学校读者我要写书评

暂无评论

实验室信息管理系统技术规范第 1 部分：检验流程管理

实验室信息管理系统技术规范第 1 部分：检验流程管理

引用

来源：评论

学校读者我要写书评

暂无评论

实验室信息管理系统技术规范第 4 部分：控制管理

实验室信息管理系统技术规范第 4 部分：控制管理

引用

来源：评论

学校读者我要写书评

暂无评论

基于密度偏倚抽样的局部距离异常检测方法

引用

软件学报 2017年第10期28卷 2625-2639页

作者：付培国胡晓惠中国科学院大学北京100049 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190

异常检测是数据挖掘的重要研究领域,当前基于距离或者最近邻概念的异常数据检测方法,在进行海量高维数据异常检测时,存在运算时间过长的问题.许多改进的异常检测方法虽然提高了算法运算效率,然而检测效果欠佳.基于此,提出一种基于密度... 详细信息

异常检测是数据挖掘的重要研究领域,当前基于距离或者最近邻概念的异常数据检测方法,在进行海量高维数据异常检测时,存在运算时间过长的问题.许多改进的异常检测方法虽然提高了算法运算效率,然而检测效果欠佳.基于此,提出一种基于密度偏倚抽样的局部距离异常检测算法,首先利用基于密度偏倚的概率抽样方法对所需检测的数据集合进行概率抽样,之后对抽样数据利用基于局部距离的局部异常检测方法,对抽样集合进行局部异常系数计算,得到的异常系数既是抽样数据的局部异常系数,又是数据集的近似全局异常系数.然后对得到的每个数据点的局部异常系数进行排序,异常系数值越大的数据点越可能是异常点.实验结果表明,与已有的算法相比,该算法具有更高的检测精确度和更少的运算时间,并且该算法对各种维度和数据规模的数据都具有很好的检测效果,可扩展性强.

关键词：异常检测局部异常系数局部距离密度偏倚抽样 SLDOF算法

来源：评论

学校读者我要写书评

暂无评论

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

引用

红外与激光工程 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″。根据观测时的天顶距、温度、湿度和气压等数据,结合大气折射模型计算了观测当时的理论大气色散值,与实测值进行了对比分析,结果基本吻合。对大气色散的影响因素和大气色散对高精度天文观测的影响进行了探讨,为大口径高精度天文观测提供了减小大气色散影响的方法。大气色散实测和理论计算结果表明:该方法可获得较高精度的大气色散值;大气色散对大口径望远镜的高精度天文观测影响较大,需要根据观测目的采用辅助设备来减小大气色散的影响。

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于迁移学习的在轨目标检测方法

基于迁移学习的在轨目标检测方法

引用

2018软件定义卫星高峰论坛

作者：傅妍玫吴凤鸽赵军锁中国科学院大学中国科学院软件研究所天基综合信息系统重点实验室

在轨自动检测技术是一种有效的过滤无用数据的手段。然而,由于星上有限的资源,在轨检测是极具挑战的性的。本文提出了一种基于迁移学习的上下文感知在轨目标识别方法,将地面训练的检测模型迁移至星上用于自动检测目标,过滤不含有特定目... 详细信息

在轨自动检测技术是一种有效的过滤无用数据的手段。然而,由于星上有限的资源,在轨检测是极具挑战的性的。本文提出了一种基于迁移学习的上下文感知在轨目标识别方法,将地面训练的检测模型迁移至星上用于自动检测目标,过滤不含有特定目标的图像,仅下传有用信息,以此实现数据过滤。为了适应星上的资源,本文采用深度可分离卷积代替传统卷积减少特征抽取的资源消耗,在保证识别精度的前提下,提高了效率,减少了内存消耗。针对遥感图像,为了进一步改善其小目标识别的效果,本文在特征抽取过程中加入上下文内容,弥补遥感图像中小目标像素不足。实验结果表明,本文提出的模型在预测准确率、时间以及内存消耗上均优于其他模型,且能满足在轨自动检测要求。

关键词：在轨自动检测过滤数据上下文感知低能耗

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：