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

前瞻科技 2023年第1期2卷 7-22页

作者：詹乃军王戟中国科学院软件研究所天基综合信息系统重点实验室中国科学院软件研究所计算机科学国家重点实验室国防科技大学计算机学院国防科技大学高性能计算国家重点实验室

形式化方法包括计算系统（软硬件和网络）的规约、构造、分析与验证的数学基础、技术和工具。随着安全攸关系统在国民经济和国防等关键领域的应用越来越多，复杂系统可信性问题日益凸显。形式化方法已经成为开发安全可靠的安全攸关系统... 详细信息

形式化方法包括计算系统（软硬件和网络）的规约、构造、分析与验证的数学基础、技术和工具。随着安全攸关系统在国民经济和国防等关键领域的应用越来越多，复杂系统可信性问题日益凸显。形式化方法已经成为开发安全可靠的安全攸关系统的关键技术之一，也是解决中国“缺芯少魂”的核心技术之一，同时也是国际学术前沿。文章回顾国内外形式化方法研究现状，分析国内外研究差距，并提出加强中国这方面基础研发的若干建议。

关键词：形式化方法安全攸关系统形式规约形式分析与验证

来源：评论

学校读者我要写书评

暂无评论

中国陆地生态敏感性时空演变特征

引用

地理学报 2022年第1期77卷 150-163页

作者：李振亚魏伟周亮刘春芳郭泽呈庞素菲张静西北师范大学地理与环境科学学院兰州730070 中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101 兰州交通大学测绘与地理信息学院兰州730070 甘肃省土地利用与综合整治工程研究中心兰州730070

生态敏感性作为评价区域生态环境问题的重要指标之一,对区域的生态治理与管理工作具有重要意义。本文从自然生态系统、自然—社会复合生态系统、社会生态系统等视角选取生物多样性、水热环境、土壤盐渍化、土地荒漠化、土壤侵蚀和人类干... 详细信息

生态敏感性作为评价区域生态环境问题的重要指标之一,对区域的生态治理与管理工作具有重要意义。本文从自然生态系统、自然—社会复合生态系统、社会生态系统等视角选取生物多样性、水热环境、土壤盐渍化、土地荒漠化、土壤侵蚀和人类干扰6个指标,运用全排列多边形图示指标法对2000—2018年间中国陆地生态敏感性进行计算,并运用格网编码法对其时空演变特征进行分析。研究结果表明:①2000—2018年间中国陆地生态敏感性总体稳定,生态敏感值稳定在0.33~0.34之间;但得益于21世纪以来中国实施了一系列生态环境治理与预防工作,敏感值在2000—2018年间持续下降,表明中国陆地生态敏感性状况正在逐渐好转。②中国陆地生态敏感性空间异质性显著,呈现出“东低西高、南低北高”“城区高、郊区低”的空间分布格局。中国西部区域和北方区域自然环境恶劣,生态自我调节能力较差,易受外界因素的影响,而人类聚居区生态自我调节能力虽然较强,但由于人类活动强度较大,其敏感性反而较高。③中国陆地生态敏感性受土壤(地)环境因素影响较大,但人类干扰因素影响力也在逐年递增,这表明在经济快速发展的同时,中国的生态环境保护与治理工作仍然任重道远。

关键词：中国陆地生态敏感性时空演变地理信息系统全排列多边形图示指标法

来源：评论

学校读者我要写书评

暂无评论

生态环境执法事件本体构建研究和实践应用

引用

环境污染与防治 2022年第1期44卷 117-122页

作者：王晓爽诸云强中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101 中国科学院大学北京100049 北京市生态环境局综合事务中心北京100048

结合生态环境执法特点,建立生态环境执法事件本体模型,并对执法不同阶段的相关概念进行统一语义约定。该模型通过时间、环境、对象、动作、状态和语言描述六要素来描述执法事件,通过执法事件类、事件类间关系、事件推理规则和事件实例... 详细信息

结合生态环境执法特点,建立生态环境执法事件本体模型,并对执法不同阶段的相关概念进行统一语义约定。该模型通过时间、环境、对象、动作、状态和语言描述六要素来描述执法事件,通过执法事件类、事件类间关系、事件推理规则和事件实例案件的四元组结构进行执法事件的表达。同时,以某热力工程公司运营的锅炉房超标排放烟气污染物的执法案件构建为例,验证了该模型的合理性和可用性。

关键词：生态环境执法事件本体事件要素

来源：评论

学校读者我要写书评

暂无评论

基于优质样本筛选的离线强化学习算法

引用

模式识别与人工智能 2024年第11期37卷 1022-1032页

作者：侯永宏丁旺任懿董洪伟杨松领天津大学电气自动化与信息工程学院天津 300072 中国科学院软件研究所空间综合信息系统国家重点实验室北京 100190

针对离线强化学习算法过度依赖数据集样本质量的问题,提出基于优质样本筛选的离线强化学习算法.首先,在策略评估阶段,赋予优势值的样本更高的更新权重,并添加策略熵项,快速识别高质量且在数据分布内概率较高的动作样本,从而筛选更有价... 详细信息

针对离线强化学习算法过度依赖数据集样本质量的问题,提出基于优质样本筛选的离线强化学习算法.首先,在策略评估阶段,赋予优势值的样本更高的更新权重,并添加策略熵项,快速识别高质量且在数据分布内概率较高的动作样本,从而筛选更有价值的动作样本.在策略优化阶段,最大化归一化优势函数的同时,保持对数据集上动作的策略约束,使算法在数据集样本质量较低时也可高效利用优质样本,提升策略的学习效率和性能.实验表明,文中算法在MuJoCo-Gym环境的D4RL离线数据集上表现出色,并且可成功筛选更有价值的样本,由此验证其有效性.

关键词：强化学习离线强化学习分布偏移策略约束值函数样本筛选

来源：评论

学校读者我要写书评

暂无评论

中国煤矿安全生产水平空间差异与影响因素

引用

地理研究 2022年第4期41卷 1194-1211页

作者：周天墨陈鹏飞陈佳林诸云强王晓爽祁彦民李威蓉孙凯王曙程全英中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101 中国科学院大学北京100049 应急管理部信息研究院北京100029 江苏省地理信息协同创新中心南京210023 北京市生态环境局综合事务中心北京100048 宁波诺丁汉大学理工学院宁波315100

基于2001—2019年分省百万吨死亡率,利用泰尔指数、变异系数和地理探测器等对中国煤矿安全生产水平空间差异程度及其驱动因素展开定量化研究,为及时获取区域煤矿安全态势、提升煤矿事故精准预警与防范提供支持。结果显示:(1)依据百万吨... 详细信息

基于2001—2019年分省百万吨死亡率,利用泰尔指数、变异系数和地理探测器等对中国煤矿安全生产水平空间差异程度及其驱动因素展开定量化研究,为及时获取区域煤矿安全态势、提升煤矿事故精准预警与防范提供支持。结果显示:(1)依据百万吨死亡率可将中国煤矿安全生产水平分为南方区(川云渝贵湘鄂桂赣粤苏浙闽)、东北区(黑吉辽)、西北区(青新甘)、华北区(京冀鲁豫皖)和中北区(晋陕蒙宁)5个区域,各区煤矿安全水平依次升高。(2)煤矿安全水平总体差异经历了总体稳定且差异均衡期(2001—2007年)、总体及差异波动上升期(2008—2015年)、总体稳定但区间差异加大期(2016—2019年)3个发展阶段后仍保持缓慢增长态势,区内差异开始缩减但区间差异持续扩大。(3)影响五大区安全水平的因素各异,采掘环境对东北区、西北区和南方区影响大;供需情况和企业管理类指标的变化更易引起东北区、华北区和中北区安全水平变动;监察执法类指标对中北区以外的各区均具有较高的影响力;各区百万吨死亡率对经济环境均产生响应,但指标的影响系数处于中等水平。(4)监察执法、供需情况和经济环境类指标与其他类别指标普遍具有较强的非线性增强效应,通过调整监察执法类指标更易对安全水平变动产生效果。

关键词：煤矿安全时空特征差异分析影响因素百万吨死亡率地理探测器

来源：评论

学校读者我要写书评

暂无评论

嵌入式软件智能合成框架及关键科学问题

引用

中国空间科学技术 2022年第4期42卷 1-7页

作者：杨孟飞顾斌段振华金芝詹乃军董云卫田聪李戈董晓刚李晓锋中国空间技术研究院北京100094 空间智能控制技术国家级重点实验室北京100094 北京控制工程研究所北京100190 西安电子科技大学计算机科学与技术学院西安710071 北京大学计算机学院北京100871 中国科学院软件研究所天基综合信息系统重点实验室北京100190 西北工业大学计算机学院西安710072

程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入... 详细信息

程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入式软件智能合成开发模式(IP-based embedded software intelligent synthesis,IPESIS)及其框架。最后,阐述了IPESIS需要解决的关键科学问题和主要研究内容。IPESIS通过定义领域需求描述语言,在更高的抽象层次上对目标软件进行刻画,以软件IP为粒度缩小程序搜索空间,采用机器学习等人工智能技术自动合成程序,有望突破现有方法的局限,进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变。

关键词：嵌入式软件程序合成软件IP 软件需求人工智能

来源：评论

学校读者我要写书评

暂无评论

柴达木盆地西部黑北凹地—大浪滩深层卤水钾盐储卤层地震响应特征研究

引用

地学前缘 2021年第6期28卷 134-145页

作者：侯献华王伟郑绵平樊馥李洪普高雪峰中国地质科学院矿产资源研究所自然资源部盐湖资源与环境重点实验室北京100037 中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101 青海省柴达木综合地质矿产勘查院青海省柴达木盆地盐湖资源勘探研究重点实验室青海格尔木816000 中国石油青海油田分公司甘肃敦煌736202

柴达木盆地西部深层卤水型钾盐是近期新发现的一种以砂砾层为储存介质的氯化钠亚型钾盐资源,其中,以黑北凹地—大浪滩次级盐湖凹地工作程度较高,研究也相对深入。该区已经求取该类型KCl资源量(333)约3.5亿吨。对该类型成矿地质体的解剖... 详细信息

柴达木盆地西部深层卤水型钾盐是近期新发现的一种以砂砾层为储存介质的氯化钠亚型钾盐资源,其中,以黑北凹地—大浪滩次级盐湖凹地工作程度较高,研究也相对深入。该区已经求取该类型KCl资源量(333)约3.5亿吨。对该类型成矿地质体的解剖可对该区钾盐找矿在面上和纵深拓展提供借鉴。鉴于此,笔者根据实际生产需要,系统收集了该区的钻井、测录井及地震探测资料,通过地震资料解释和属性分析,对比钻孔揭露储卤层岩性特征,获得研究区域内中深部孔隙储卤层地震响应特征:储卤层底部同相轴振幅较强、局部连续性较好,顶部同相轴为中强振幅,内部多为弱反射振幅,成团块状;瞬时频率属性表现为中低频反射特征;甜点属性表现为顶、底为甜点高值而内部为甜点低值的特征;包络属性表现为顶、底为异常高值而储层内部为低值分布。通过对地震剖面及钻孔资料分析,建立了砂砾储卤层的地球物理识别标志,为预测中深部储卤层分布范围及优选水文地质钻孔提供依据。

关键词：砂砾储卤层属性分析水文地质钻孔黑北凹地—大浪滩柴达木盆地

来源：评论

学校读者我要写书评

暂无评论

基于无人机视频流的草原放牧家畜在线检测和体重估算

引用

生态学杂志 2021年第12期40卷 4099-4108页

作者：王东亮廖小罕张扬建丛楠叶虎平邵全琴辛晓平中国科学院地理科学与资源研究所陆地表层格局与模拟院重点实验室北京100101 中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101 中国科学院地理科学与资源研究所生态系统网络观测与模拟重点实验室北京100101 中国科学院地理科学与资源研究所拉萨高原生态综合试验站北京100101 中国农业科学院农业科学与农业区划研究所呼伦贝尔草原生态系统国家野外科学观测研究站北京100081

精确实时的家畜数据对发展现代畜牧业、保障畜产品有效供给和草原生态系统平衡,促进草原可持续发展至关重要。目前这些数据主要通过地面调查和基层上报方式获取,成本高、实时性差。本文在构建家畜深度学习识别模型和体重估算模型基础上... 详细信息

精确实时的家畜数据对发展现代畜牧业、保障畜产品有效供给和草原生态系统平衡,促进草原可持续发展至关重要。目前这些数据主要通过地面调查和基层上报方式获取,成本高、实时性差。本文在构建家畜深度学习识别模型和体重估算模型基础上,建立了基于浏览器/服务器(B/S)架构的家畜实时监控系统(http://218.202.104.82:5806/vid),利用无人机视频流,实现了家畜的在线识别、计数和体重估算。家畜识别模型训练使用了13803张无人机影像块和视频图像帧,牛的检出率为90.51%,错检率为11.64%,漏检率为9.49%,羊的检出率为91.47%,错检率为7.04%,漏检率为8.53%。体重估算模型构建采用了在青海和内蒙等地实测的头体长和牛体重数据,对牛和羊体重的估算精度分别为90.28%和90.00%。该系统将无人机和深度学习等技术应用于家畜监控领域,对禁牧、休牧等草原放牧家畜监管,以及帮助牧民远程监控家畜有重要意义。

关键词：无人机实时视频流深度学习家畜识别体重估算

来源：评论

学校读者我要写书评

暂无评论

顾及时空特征的大气污染执法事理图谱构建方法研究

引用

地理与地理信息科学 2022年第3期38卷 1-8页

作者：王晓爽李吉东徐海红诸云强代小亮周天墨中国科学院地理科学与资源研究所/资源与环境信息系统国家重点实验室北京100101 中国科学院大学北京100049 北京市生态环境局综合事务中心北京100048 东营市生态环境局山东东营257091 生态环境部环境工程评估中心北京100012 应急管理部信息研究院北京100029

针对大气污染执法存在数据资源难以整合集成、违法认定和处罚决定不一致、案件难以实现全程追溯等问题,提出顾及时空特征的大气污染执法事理图谱构建方法。首先,以大气污染执法事件为核心,提出大气污染执法事件本体表示模型,自上而下系... 详细信息

针对大气污染执法存在数据资源难以整合集成、违法认定和处罚决定不一致、案件难以实现全程追溯等问题,提出顾及时空特征的大气污染执法事理图谱构建方法。首先,以大气污染执法事件为核心,提出大气污染执法事件本体表示模型,自上而下系统梳理大气污染执法事件知识体系,构建大气污染执法事件本体;在此基础上,提出大气污染执法事理图谱案例知识自动化抽取和存储方法,并以某燃气锅炉超标排放执法案件为例,开展大气污染执法事理图谱构建实践,结果展现了大气污染执法事件的时空变化特征和逻辑演化规律,弥补了事理图谱研究中较少关注事件间时空演变关系这一不足,可助推事理图谱构建发展,促进大气污染执法数据资源整合与共享、智能辅助裁定以及案件全程关联和跟踪监督。

关键词：大气污染执法事件本体时空特征事理图谱

来源：评论

学校读者我要写书评

暂无评论

Starlink系统对GSO卫星系统的干扰和分析

引用

卫星与网络 2021年第7期 58-61页

作者：刘帅军徐帆江刘立祥王大鹏李伟中国科学院软件研究所天基综合信息系统重点实验室国家无线电监测中心

一、概述SpaceX公司Starlink星座的发射进程自2021年始显著加快,然而也导致了对地球同步轨道GSO卫星系统更大的干扰。本系列前述文章中对Starlink容量、时延及接入协议等进行了分析,本文则重点关注Starlink系统对GSO卫星系统的干扰情况... 详细信息

一、概述SpaceX公司Starlink星座的发射进程自2021年始显著加快,然而也导致了对地球同步轨道GSO卫星系统更大的干扰。本系列前述文章中对Starlink容量、时延及接入协议等进行了分析,本文则重点关注Starlink系统对GSO卫星系统的干扰情况,此问题是当前所有低轨星座能否获得频率授权的关键所在。

关键词：卫星系统地球同步轨道 GSO 干扰情况接入协议 Star 低轨星座

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：