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

西北林学院学报 2019年第4期34卷 49-56页

作者：温永斌韩海荣程小琴王甜贾小东北京林业大学森林资源生态系统过程北京市重点实验室北京100083 常州工学院计算机信息工程学院江苏常州213032 山西省太岳山国有林管理局山西介休032000

为了探究森林生态系统碳水循环过程中的相互作用,对进一步理解生态系统的碳水耦合提供一定的理论基础,以山西太岳山好地方林场作为研究区域,运用InVEST模型对研究区的蒸散和碳密度进行了数值模拟,并借助ArcGIS的空间分析工具,以小班为... 详细信息

为了探究森林生态系统碳水循环过程中的相互作用,对进一步理解生态系统的碳水耦合提供一定的理论基础,以山西太岳山好地方林场作为研究区域,运用InVEST模型对研究区的蒸散和碳密度进行了数值模拟,并借助ArcGIS的空间分析工具,以小班为单位分别提取了研究区蒸散量与碳密度的值并对二者间的耦合关系进行了研究。结果表明,研究区年实际蒸散量(200.8~604.8mm)、土壤碳密度(0~154.6mg·hm^-2)和植被碳密度(0~118.7mg·hm^-2)的空间分布均表现为林区高于非林区。各植被类型中,华北落叶松林、油松林和混交林基于自身结构和功能的特点在年实际蒸散、土壤碳密度和植被碳密度含量排序中均为前3。Pearson相关性分析和线性回归分析结果表明,研究区年实际蒸散量同土壤碳密度和植被碳密度间存在显著的线性耦合关系(P<0.01),这种耦合关系可能在生态系统物质循环与能量流动过程中对碳水平衡起着至关重要的作用。研究结果可为山地人工林构建及植被恢复中碳水关系的管理与调控提供理论依据。

关键词：蒸散土壤碳密度植被碳密度 InVEST模型森林生态系统碳水循环

来源：评论

学校读者我要写书评

暂无评论

基于数字孪生的高端装备智能运维研究现状与展望

引用

计算机集成制造系统 2022年第7期28卷 1953-1965页

作者：高士根周敏郑伟张林鍹张斌宋海锋吴兴堂李妮王昆玉北京交通大学轨道交通控制与安全国家重点实验室北京100044 北京交通大学国家轨道交通安全评估研究中心北京100044 清华大学国家计算机集成制造系统工程技术研究中心北京100084 中国铁道科学研究院金属及化学研究所北京100081 北京航空航天大学电子信息工程学院北京100083 北京航空航天大学自动化科学与电气工程学院北京100083

大数据、工业物联网、人工智能等使能技术的发展促进了数字孪生与高端装备运维的深度融合,使得传统的“定期修”“故障修”运维模式向“预防修”“状态修”智能运维模式的升级,成为高端装备智能运维领域的研究热点。数字孪生充分利用机... 详细信息

大数据、工业物联网、人工智能等使能技术的发展促进了数字孪生与高端装备运维的深度融合,使得传统的“定期修”“故障修”运维模式向“预防修”“状态修”智能运维模式的升级,成为高端装备智能运维领域的研究热点。数字孪生充分利用机理模型、实时传感数据、历史数据以及专家知识等信息,集成多学科、多变量、多层次、多尺度、多粒度、多概率的建模仿真过程,准确表征数据特征并进行高效精准的计算分析,实现虚实空间的高精度、高可靠、高可信的映射及演化,为实际物理系统的状态评估、故障预警与运维决策提供支持。对数字孪生技术在高端装备智能运维领域的发展现状、关键技术及工程应用等进行了梳理,并对未来的挑战与难点进行了总结展望。

关键词：数字孪生高端装备智能运维故障诊断故障预警

来源：评论

学校读者我要写书评

暂无评论

基于人脸图像的BMI预测算法研究

引用

计算机应用与软件 2019年第7期36卷 242-248页

作者：邹睿智尚媛园郭国栋邵珠宏丁辉首都师范大学信息工程学院北京100048 北京成像技术高精尖创新中心北京100048 电子系统可靠性技术北京市重点实验室北京100048 西弗吉尼亚大学计算机科学与电气工程系西弗吉尼亚摩根城26506

BMI是目前国际上常用的衡量人体胖瘦程度以及是否健康的一个标准。通常情况下,BMI是由个体的身高和体重计算得到的。目前,国外的研究人员提出了基于人脸图像预测BMI的算法,通过构建面部特征与BMI之间的关联集合,利用SVR回归模型进行BMI... 详细信息

BMI是目前国际上常用的衡量人体胖瘦程度以及是否健康的一个标准。通常情况下,BMI是由个体的身高和体重计算得到的。目前,国外的研究人员提出了基于人脸图像预测BMI的算法,通过构建面部特征与BMI之间的关联集合,利用SVR回归模型进行BMI预测工作。该算法在实验室实验环境下表现良好,但在日常生活应用环境下仍有较大的预测误差。为了提高BMI预测算法在日常生活应用环境下的预测精度,提出面部区域面积比(RAR)、嘴颌宽度比(MJWR)和颊宽高度比(CWHR)这三种新的面部特征用于补充改进BMI预测算法,同时使用神经网络拟合代替SVR回归进行BMI预测实验。实验结果表明,在日常生活应用环境下,改进的BMI预测算法使得预测结果更加精确,BMI预测的平均绝对误差(MAE)降低了0.7。

关键词： BMI 面部特征 BMI预测神经网络拟合

来源：评论

学校读者我要写书评

暂无评论

TrustZone中断隔离机制的形式化验证

引用

小型微型计算机系统 2023年第9期44卷 2105-2112页

作者：付俊仪张倩颖王国辉李希萌施智平关永首都师范大学信息工程学院北京100048 高可靠嵌入式系统北京市工程研究中心北京100048 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 电子系统可靠性技术北京市重点实验室北京100048 北京成像理论与技术高精尖创新中心北京100048

TrustZone技术通过对硬件进行安全扩展,为软件提供了相互隔离的可信执行环境和通用执行环境.中断隔离机制是TrustZone的关键隔离机制,确保安全中断和非安全中断分别在可信执行环境和通用执行环境中被处理,该机制不正确可能导致安全中断... 详细信息

TrustZone技术通过对硬件进行安全扩展,为软件提供了相互隔离的可信执行环境和通用执行环境.中断隔离机制是TrustZone的关键隔离机制,确保安全中断和非安全中断分别在可信执行环境和通用执行环境中被处理,该机制不正确可能导致安全中断被通用执行环境处理,从而影响可信执行环境的安全性.本文提出ARMv8 TrustZone架构中断隔离机制的形式化验证方法,在定理证明器Isabelle/HOL中建立包含中断隔离机制关键软硬件的形式化模型,该模型为状态迁移系统,包括中断处理程序、TrustZone Monitor、中断控制器等组件;在证明模型满足正确性的基础上,通过展开定理验证无干扰、无泄露、无影响等信息流安全属性,结果表明TrustZone中断隔离机制满足信息流安全属性,在中断处理过程中不存在隐蔽的信息流通道.

关键词： TrustZone 可信执行环境中断隔离信息流安全形式化验证

来源：评论

学校读者我要写书评

暂无评论

根据分形理论与五指标评价体系构建NDVI连续空间尺度转换模型

引用

遥感学报 2015年第1期19卷 116-125页

作者：栾海军田庆久余涛顾行发黄彦胡新礼杨闫君南京大学国际地球系统科学研究所江苏南京210023 南京大学江苏省地理信息技术重点家重点实验室江苏南京210023 厦门理工学院计算机与信息工程学院福建厦门361024 中国科学院遥感与数字地球研究所遥感科学国家重点实验室北京100101

针对目前基于统计或物理模型方法的升尺度转换研究中存在的不足,以归一化差分植被指数NDVI为研究对象,基于分形理论提出一种连续空间升尺度转换模型CSSM(Continuous Spatial Scaling Model)构建方法。所构建的模型尺度适用范围更广,且... 详细信息

针对目前基于统计或物理模型方法的升尺度转换研究中存在的不足,以归一化差分植被指数NDVI为研究对象,基于分形理论提出一种连续空间升尺度转换模型CSSM(Continuous Spatial Scaling Model)构建方法。所构建的模型尺度适用范围更广,且具有一定的物理意义。针对已有研究尚未解决的模型构建的最合理尺度层级确定问题,结合原有的统计学四指标评价体系(r、p、rlo、rup),融入了真实性检验应用效能评价指标(Max_of_abs(Error)),建立了一个基于五指标评价体系的模型构建最合理尺度层级确定方法。以北海市沙田半岛Landsat ETM+影像为实验影像,设定r≥0.8,p<0.05,rlo≥r≤rup及Max_of_abs(Error)≤0.05为评价体系的边界条件,从追求模型尺度适用范围更大的角度考虑,确定出该影像模型构建的最合理尺度层级Level=267,则该模型最高可对30 m×267即8 km分辨率遥感影像进行NDVI验证。通过动态调整此评价体系的边界条件,实现了最合理尺度层级取值的敏感性分析。这些工作使得基于分形理论的NDVI's CSSM构建研究更为系统。

关键词： NDVI 空间升尺度转换连续空间尺度转换模型分形五指标评价体系

来源：评论

学校读者我要写书评

暂无评论

基于方面构件模型及其组装与实现

引用

计算机技术与发展 2009年第4期19卷 160-162,165页

作者：谢武平薛锦云万松松江西师范大学计算机信息工程学院江西南昌330022 中国科学院软件研究所计算机科学开放实验室北京100080

将面向方面编程技术融入传统的基于构件开发方法,提出了一种基于方面的构件模型。同时探讨了基于方面构件的组装策略以及利用XML语言描述组装、编织方面化构件的处理逻辑。新的构件模型采用更加模块化的构件实现方式,从传统构件模型中... 详细信息

将面向方面编程技术融入传统的基于构件开发方法,提出了一种基于方面的构件模型。同时探讨了基于方面构件的组装策略以及利用XML语言描述组装、编织方面化构件的处理逻辑。新的构件模型采用更加模块化的构件实现方式,从传统构件模型中提取出方面元素,很好地解决了传统的基于构件开发方法中构件间关注点横切所导致系统混乱的问题,提高了构件的可复用性以及软件的开发效率。

关键词：面向方面编程构件组装关注点

来源：评论

学校读者我要写书评

暂无评论

智能铁路5G安全技术与策略综述

引用

计算机科学 2024年第5期51卷 1-11页

作者：李盼盼吴昊刘佳佳段莉卢云龙北京交通大学先进轨道交通自主运行全国重点实验室北京100044 北京交通大学电子信息工程学院北京100044 北京交通大学智慧高铁系统前沿科学中心北京100044 北京交通大学计算机与信息技术学院北京100044

数字技术正在重塑各行各业,这是行业发展的必经之路。5G等数字服务技术在为铁路等行业赋能的同时,也带来了一些安全风险。安全是一切服务的先决条件。为促进5G数字服务在智能铁路的创新应用,首先从基站空口、通信、数据、系统、终端和... 详细信息

数字技术正在重塑各行各业,这是行业发展的必经之路。5G等数字服务技术在为铁路等行业赋能的同时,也带来了一些安全风险。安全是一切服务的先决条件。为促进5G数字服务在智能铁路的创新应用,首先从基站空口、通信、数据、系统、终端和公专网融合应用几个角度,系统梳理了智能铁路5G通信网络面临的安全风险与挑战。然后针对大带宽、高可靠、低时延的新业务场景及网络切片、边缘计算等新技术和大规模异构新型终端以及面向铁路的智能新应用,全面分析了智能铁路5G服务的安全新需求,总结了密码算法、空口安全、隐私、统一认证及漫游等方面的5G安全增强新特性。在此基础上,给出智能铁路5G通信网络在安全认证、物理层安全、终端安全、切片安全、边缘计算安全方面需关注的重点。针对5G专网部署方式,给出基础设施、通信安全、安全管理数据安全、内生安全防御体系方面的建议。

关键词：智能铁路第5代移动通信系统(5G) 内生安全策略综述数字服务

来源：评论

学校读者我要写书评

暂无评论

一种多小波滤波器在医学图像融合中的应用

引用

计算机工程与应用 2007年第15期43卷 198-200,214页

作者：王修信胡维平李永军广西师范大学计算机科学与信息工程学院遥感科学国家重点实验室北京100875 环境遥感与数字城市北京市重点实验室北京师范大学地理学与遥感科学学院遥感与地理信息系统研究中心河南大学物理与信息光电子学院河南开封475001

医学图像融合为临床诊断、手术设计与效果评估等提供不同模态影像互补信息。构造具有3阶消失矩的双正交多小波滤波器,其以高斯函数一次泰勒规范展开正交化后得到的完备二次单位正交基作为尺度函数。利用构造的多小波滤波器,分别对CT、MR... 详细信息

医学图像融合为临床诊断、手术设计与效果评估等提供不同模态影像互补信息。构造具有3阶消失矩的双正交多小波滤波器,其以高斯函数一次泰勒规范展开正交化后得到的完备二次单位正交基作为尺度函数。利用构造的多小波滤波器,分别对CT、MRI医学图像进行分解,使用基于多小波分解改进的局部能量加权规则融合图像。结果表明改进规则融合了源图像主要信息,优于常用的融合规则。应用构造的多小波滤波器可有效地融合医学图像,略优于DGHM多小波。

关键词：医学图像滤波器构造多小波变换图像融合多层能量加权

来源：评论

学校读者我要写书评

暂无评论

从地理信息系统到虚拟地理环境的认知转变

引用

地球信息科学学报 2020年第4期22卷 662-672页

作者：林珲胡明远陈旻张帆游兰陈宇婷江西师范大学鄱阳湖湿地与流域研究教育部重点实验室南昌330022 香港中文大学太空与地球信息科学研究所香港9990777 南京师范大学虚拟地理环境教育部重点实验室南京210023 北京大学遥感与地理信息系统研究所北京100871 湖北大学计算机与信息工程学院武汉430062 Senseable City Laboratory Massachusetts Institute of TechnologyMA 02139USA

自20世纪60年代初以来,地理信息系统引领了地理信息的分析与服务。然而,由于地理学家对于地理过程开展多维模拟的需求,同时许多大型工程需要对于不同方案的后果事先开展模拟评估,为此中国学者们在世纪相交之际开始了对于虚拟地理环境的... 详细信息

自20世纪60年代初以来,地理信息系统引领了地理信息的分析与服务。然而,由于地理学家对于地理过程开展多维模拟的需求,同时许多大型工程需要对于不同方案的后果事先开展模拟评估,为此中国学者们在世纪相交之际开始了对于虚拟地理环境的探索。本文从地理信息系统到虚拟地理环境的认识上的转变着手,分析了虚拟地理环境的演进过程、当前的阶段定位与挑战,着重探讨了虚拟地理环境研究的新态势:基于虚拟地理环境的地理空间认知研究、虚拟地理环境与实验地理学新方向、大数据背景下的虚拟地理认知实验方法和虚拟地理环境与地理知识工程,并给出最新研究思路。

关键词：地理信息地理信息系统虚拟地理环境地理空间认知地理过程模拟地理协同实验地理学地理知识工程

来源：评论

学校读者我要写书评

暂无评论

一种面向信任管理的委托授权模型及其在P2P安全中的应用

引用

计算机科学 2009年第10期36卷 72-76页

作者：张志勇裴庆祺杨林河南科技大学电子信息工程学院洛阳471003 西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 中国电子设备系统工程总公司研究所北京100141

在信任管理中现有的委托授权模型并未涉及对角色、匿名用户等实体间信任关系的定义与度量,且缺少相关的细粒度形式化模型和委托授权安全协议其无法有效地满足信任管理系统的应用需求。现面向信任管理提出了一种能够刻画实体间信任关系... 详细信息

在信任管理中现有的委托授权模型并未涉及对角色、匿名用户等实体间信任关系的定义与度量,且缺少相关的细粒度形式化模型和委托授权安全协议其无法有效地满足信任管理系统的应用需求。现面向信任管理提出了一种能够刻画实体间信任关系的形式化委托授权模型DAMfor TM(Delegation Authorization Model for Trust Management),通过引入信任罚函数对实体的信任度量值加以动态调整。同时给出了支持可信计算的信任委托与角色委托等安全协议,以及在P2P安全中的应用实例。该实例表明,所提出的模型及安全协议构建了Peer间的信任委托关系,并通过终端完整性的远程证明确保了计算平台与共享资源的安全性。

关键词：信任管理委托授权远程证明 P2P安全

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：