检索结果-南通市图书馆

基于PLUS模型和InVEST模型的新安江流域生态系统碳储量时空变化分析与预测

在线全文

学校读者我要写书评

暂无评论

现代地质 2024年第3期38卷 574-588页

作者：闵婕刘晓煌肖粤新李洪宇雒新萍王然邢莉圆王超赵宏慧新疆大学地理与遥感科学学院新疆乌鲁木齐870000 自然资源部自然资源要素耦合过程与效应重点实验室北京100055 中国地质调查局自然资源综合调查指挥中心北京100055 黄山水土资源野外科学观测研究站安徽黄山245000 中国地质调查局长沙自然资源综合调查中心湖南长沙410600

探析碳储量的时空格局演化规律,对新安江流域生态环境保护、土地利用方式优化具有积极反馈作用。基于2000—2020年土地利用数据,采用InVEST模型对2000—2020年新安江流域土地利用变化及碳储量变化情况进行分析,同时运用PLUS模型预测不... 详细信息

探析碳储量的时空格局演化规律,对新安江流域生态环境保护、土地利用方式优化具有积极反馈作用。基于2000—2020年土地利用数据,采用InVEST模型对2000—2020年新安江流域土地利用变化及碳储量变化情况进行分析,同时运用PLUS模型预测不同发展情景下2040年新安江流域碳储量分布。结果显示:(1)土地利用变化直接影响研究区的碳储量。2000—2020年,新安江流域建设用地扩张602.707 km^(2),林地、耕地、草地和灌木分别减少615.225 km^(2)、42.640 km^(2)、3.021 km^(2)和0.296 km^(2),碳储量减少4.937×10^(6)t;碳储量与土地利用空间分布一致,碳储量较高区域的建设用地少、生态用地集聚连片且分布较多。(2)2040年多情景模拟显示,整体土地利用格局一致,局部变化明显。城镇发展、自然发展和耕地保护情景碳储量分别下降7.540×10^(6)t、7.544×10^(6)t和11.302×10^(6)t,其中在生态保护情景下,碳储量下降最少(7.130×10^(6)t)。(3)碳储量空间分异受地形、生态和人为因素影响。地理探测器表明,NDVI(0.561)和NPP(0.398)的解释力显著高于其他因子,是新安江流域碳储量空间分异的主要驱动因子。不同影响因子间的交互作用强于单一因子,其中NDVI与坡度的协同影响类型最强(0.652)。研究结果表明,采取城镇发展和生态保护政策可控制碳储量减少,在未来规划中,应保护生态用地,控制建设用地扩张,以提高碳储量水平。

关键词：新安江流域土地利用变化 PLUS模型 InVEST模型碳储量地理探测器

糖料作物对干旱胁迫的形态、生理及基因响应研究进展

在线全文

学校读者我要写书评

暂无评论

中国糖料 2024年第1期46卷 48-56页

作者：黄春雪王希赵春雷陇东学院生命科学与技术学院甘肃庆阳745000 黑龙江大学现代农业与生态环境学院/中国农业科学院甜菜研究所哈尔滨150080 甘肃省陇东生物资源保护利用与生态修复重点实验室甘肃庆阳745000 黑龙江省普通高等学校甜菜遗传育种重点实验室/黑龙江省甜菜工程技术研究中心哈尔滨150080 国家糖料改良中心/中国农业科学院北方糖料作物资源与利用重点开放实验室哈尔滨150080

在糖料作物的生长发育过程中,干旱缺水会对其正常生长造成一定的影响。在干旱条件下,糖料作物会产生相应的形态特征与生理生化特性的变化,此外,干旱胁迫还会诱导特定基因的表达,这些形态特征与生理生化特性的变化以及相关基因的表达减... 详细信息

在糖料作物的生长发育过程中,干旱缺水会对其正常生长造成一定的影响。在干旱条件下,糖料作物会产生相应的形态特征与生理生化特性的变化,此外,干旱胁迫还会诱导特定基因的表达,这些形态特征与生理生化特性的变化以及相关基因的表达减轻了糖料作物在干旱胁迫条件下所受到的伤害。本文对糖料作物在干旱胁迫下形态特征与生理生化特性的响应以及耐旱调节基因的相关研究进展方面进行了阐述,综述文献表明,目前发现的调控糖料作物干旱胁迫的主要基因类型有:钙依赖蛋白激酶(CDPK)基因、丝裂原活化蛋白激酶(MAPK)基因、AVP1基因及DREB、NAC、WRKY等转录因子基因。可为提高糖料作物耐旱性研究提供参考。

关键词：糖料作物干旱胁迫形态特征生理生化特性调节基因响应

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

甜菜BvPCNA基因RNAi载体构建

中国糖料 2024年第2期46卷 9-16页

作者：王希张西宁陶艳昵张琦李志烨赵春雷陇东学院生命科学与技术学院甘肃庆阳745000 甘肃省陇东生物资源保护利用与生态修复重点实验室甘肃庆阳745000 黑龙江大学现代农业与生态环境学院/中国农业科学院甜菜研究所哈尔滨150080 黑龙江省普通高等学校甜菜遗传育种重点实验室/黑龙江省甜菜工程技术研究中心哈尔滨150080 国家糖料改良中心/中国农业科学院北方糖料作物资源与利用重点开放实验室哈尔滨150080

【目的】增殖细胞核抗原(Proliferating cell nuclear antigen, PCNA)在植物中广泛存在,但是其在植物中的功能研究较少。本研究可以为BvPCNA-like基因的功能分析奠定基础。【方法】课题组前期在甜菜基因组中克隆获得一个基因位点,命名为... 详细信息

【目的】增殖细胞核抗原(Proliferating cell nuclear antigen, PCNA)在植物中广泛存在,但是其在植物中的功能研究较少。本研究可以为BvPCNA-like基因的功能分析奠定基础。【方法】课题组前期在甜菜基因组中克隆获得一个基因位点,命名为BvPCNA-like基因,本研究以BvPCNA-like基因的克隆载体为初始材料,选取适宜的靶序列,利用植物表达载体pFGC5941作为基础载体,使靶序列上游启动子为35 S,植物筛选标记为抗除草剂基因BlpR,设计靶序列特异性引物,采取PCR-酶切-连接方法,构建BvPCNA-RNAi载体。【结果】通过RCR鉴定表明已获得了预期目标载体,插入片段由正向靶序列BvPCNA-F、中间片段、反向靶序列BvPCNA-R组成,靶序列长度为320 bp。【结论】本研究所得载体适用于对双子叶植物进行遗传转化,可以作为BvPCNA-like基因理论研究或应用研究的载体材料。

关键词：甜菜 BvPCNA-like RNAi 载体构建

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

植物瞬时表达系统及其在糖料作物中的应用

中国糖料 2024年第4期46卷 28-33页

作者：王希荆凯赵春雷陇东学院农业与生物工程学院甘肃庆阳745000 甘肃省陇东生物资源保护利用与生态修复重点实验室甘肃庆阳745000 黑龙江大学现代农业与生态环境学院/中国农业科学院甜菜研究所哈尔滨150080 黑龙江省普通高等学校甜菜遗传育种重点实验室/黑龙江省甜菜工程技术研究中心哈尔滨150080 国家糖料改良中心/中国农业科学院北方糖料作物资源与利用重点开放实验室哈尔滨150080

瞬时表达系统是一种检验蛋白质在真核生物中表达的高效方法,该系统为研究启动子活性、基因功能以及基因产物亚细胞定位等方面提供了新途径。瞬时表达系统的出现为糖料作物基因功能研究提供了更为便捷高效的方法,可有效促进糖料作物基因... 详细信息

瞬时表达系统是一种检验蛋白质在真核生物中表达的高效方法,该系统为研究启动子活性、基因功能以及基因产物亚细胞定位等方面提供了新途径。瞬时表达系统的出现为糖料作物基因功能研究提供了更为便捷高效的方法,可有效促进糖料作物基因工程领域的研究与发展。本文主要综述了瞬时表达系统的建立方法,在基因工程中的应用,以及糖料作物中瞬时表达系统的应用情况,并对瞬时表达技术应用领域的拓展作出展望。

关键词：瞬时表达糖料作物甘蔗甜菜

维普期刊数据库博看期刊

基于人工源的甚低频电磁波空间传播特征统计分析

在线全文

学校读者我要写书评

暂无评论

地球物理学报 2016年第5期59卷 1578-1584页

作者：徐维东张学民李忠赵庶凡张伟防灾科技学院河北三河065201 中国地震局地震预测研究所北京100036

利用2005年1月至2010年11月DEMETER卫星记录的NWC发射站的VLF电场功率谱数据,采用指数拟合的方法,分析了VLF电磁波在卫星高度激发的电场空间分布和衰减特征.研究结果表明:(1)VLF电场在发射站上空及其磁共轭区有着很强的对应关系,存在南... 详细信息

利用2005年1月至2010年11月DEMETER卫星记录的NWC发射站的VLF电场功率谱数据,采用指数拟合的方法,分析了VLF电磁波在卫星高度激发的电场空间分布和衰减特征.研究结果表明:(1)VLF电场在发射站上空及其磁共轭区有着很强的对应关系,存在南、北2个强电场中心涡;(2)相对于发射站的位置,VLF电场中心点具有经度和纬度偏移,日侧地磁经度偏移均值大于夜侧,而地磁纬度偏移均值则小于夜侧;(3)日侧VLF电场强度呈现出周期性的年变化;(4)在VLF电场中心10°范围内,电场强度随距离快速衰减,衰减常数b在长达6年的时间内保持稳定.在以上研究结果基础上初步构建的卫星高度人工源电磁波空间分布特征,将为研究地表-电离层电磁波传播机理提供基础技术支撑.

关键词：甚低频电场功率谱甚低频电磁波传播 DEMETER卫星电离层指数拟合

在线全文

学校读者我要写书评

暂无评论

结构光饱和区域分区投射优化补偿方法

光学学报 2018年第6期38卷 160-167页

作者：刘飞何春桥申爱民李佳鑫赖俊霖重庆大学机械传动国家重点实验室重庆400044 成都航空职业技术学院四川成都610100

结构光在三维形貌测量中应用十分广泛,但对于表面反射率较高的物体,对其投影一定强度的结构光,易在被测物表面形成局部亮度饱和,使得该区域在重建过程中出现较大误差甚至无法重建。为了提高表面高反射率物体的三维重建质量,提出了一种... 详细信息

结构光在三维形貌测量中应用十分广泛,但对于表面反射率较高的物体,对其投影一定强度的结构光,易在被测物表面形成局部亮度饱和,使得该区域在重建过程中出现较大误差甚至无法重建。为了提高表面高反射率物体的三维重建质量,提出了一种基于分区投射的结构光饱和区域主动补偿方法。首先通过投射区域格雷编码灰度图计算饱和区域在投影平面的位置。然后增加过渡补偿区域,平滑降低饱和区域的条纹光栅投射强度。最后,通过实验对饱和区域分区投射优化补偿方法进行了验证。结果表明,所提方法能够减少计算补偿区域所需投影图片的数量,实现饱和区域边界平滑过渡,提高计算效率,有效抑制亮度饱和引起的重建误差,提高三维重建精度。

关键词：测量表面测量结构光优化补偿亮度饱和

在线全文

学校读者我要写书评

暂无评论

基于类型理论的领域数据建模和验证及案例

软件学报 2018年第6期29卷 1647-1669页

作者：乌尼日其其格李小平马世龙吕江花软件开发环境国家重点实验室(北京航空航天大学) 北京100083

数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言(DDML)和领域建模方法(DDMM).DDML语言通过定义类型和项的语法和语义... 详细信息

数据作为软件系统的主要处理对象,其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证,提出了一种基于类型理论的领域数据建模语言(DDML)和领域建模方法(DDMM).DDML语言通过定义类型和项的语法和语义,描述领域数据类型和对象的结构,通过定义类型规则及其类型检查算法判定任意项t:T?.DDMM给出了领域数据建模的方法,即构建K_1(原子类型)、K_2(数据元)、K_3(数据元目录)三层框架,生成表示K_3层数据元目录之间关系的类型规则.在此基础上,给出了数据元目录序列的定义及其正确性判定算法.基于上述方法,实现了一种领域数据建模工具原型系统,并通过领域数据建模与自动验证的一个实际案例,完成了一个较大规模行业数据规范的制定与验证.

关键词：类型理论类型检查类型规则领域数据建模数据规范

在线全文

学校读者我要写书评

暂无评论

高阶类型化软件体系结构建模和验证及案例

软件学报 2019年第7期30卷 1916-1938页

作者：乌尼日其其格李小平马世龙吕江花张思卿软件开发环境国家重点实验室(北京航空航天大学) 北京100083 鹏城实验室广东深圳518055

根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流We... 详细信息

根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证,提出了一种高阶类型化软件体系结构建模和验证语言(SAML)与软件体系结构建模和验证方法(SAMM).SAML语言通过定义类型和项的语法及语义,描述软件体系结构中类型和对象的构造,通过定义类型规则及其类型检查算法来判定Γ┝t:T和Γ┝R(T1, T2)是否成立.SAMM给出了软件体系结构建模范式,包括构建接口类型Mcls(typeinterface)、组件Mcmpt(component)、容器Mcont(container)、框Mfrm(frame)和框架Mfrwk(framework)这5层建模过程,以及生成层内与层间类型之间关系对应的类型规则,同时定义了接口类型方法调用图(GSA)用以刻画软件体系结构设计要求,定义了类型序列及其正确性用以刻画需求期望的性质,并给出了相应的验证算法.设计实现了基于该方法的原型工具系统SAMVS,其中,模型编辑环境支持应用软件的设计过程,验证环境支持设计满足需求的自动化验证.通过一个实际案例,完成了一个较大规模"互联网+"应用软件系统的体系结构建模和验证.

关键词：类型规则类型检查软件体系结构软件体系结构建模软件体系结构验证

在线全文

学校读者我要写书评

暂无评论

基于形式化方法的航空电子系统检测

软件学报 2015年第2期26卷 181-201页

作者：李睿连航马世龙黎涛软件开发环境国家重点实验室(北京航空航天大学) 北京100191

随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式... 详细信息

随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.

关键词：模型检测系统形式化航空电子系统软件配置项有限状态自动机