期刊文献+
共找到113篇文章
< 1 2 6 >
每页显示 20 50 100
内蒙古自治区重点生态功能区生态系统类型转换对土壤风蚀的影响 被引量:1
1
作者 卢中秋 窦银银 +3 位作者 王俊枝 郭长庆 柴玉坤 贺淑娟 《水土保持通报》 CSCD 北大核心 2024年第4期247-256,共10页
[目的]内蒙古自治区重点生态功能区是中国北方生态安全重要屏障。揭示该区生态系统类型转换及对土壤风蚀的影响,为促进该区生态环境安全与绿色发展提供科学参考。[方法]基于土地利用、气象和基础地理信息等数据,采用修正的土壤风蚀方程... [目的]内蒙古自治区重点生态功能区是中国北方生态安全重要屏障。揭示该区生态系统类型转换及对土壤风蚀的影响,为促进该区生态环境安全与绿色发展提供科学参考。[方法]基于土地利用、气象和基础地理信息等数据,采用修正的土壤风蚀方程模型,揭示内蒙古地区重点生态功能区生态系统类型与土壤风蚀的时空变化特征,并剖析生态系统类型转换及其对土壤风蚀的影响。[结果](1)2000—2022年内蒙古地区重点生态功能区内生态系统间转换强烈,生态系统类型转换总面积6019.59 km^(2),以草地与荒漠以及耕地与林草的相互转化为主,2015年之后生态系统趋向稳定,各类生态系统动态变化强度降低;(2)内蒙古地区重点生态功能区平均土壤风蚀模数为56.39 t/hm^(2),按土壤风蚀量由大到小为荒漠、草地、农田和森林生态系统,土壤风蚀程度以微度和轻度侵蚀为主,主要分布在大小兴安岭森林生态功能区和科尔沁草原生态功能区等区域;(3)内蒙古地区重点生态功能区各类生态系统类型之间的转换造成土壤风蚀量净减少了1.08×10^(8)t,生态退耕、耕地开垦、草地质量提升、荒漠化防治和建设用地扩展造成土壤风蚀模数分别减少了0.11,0.23,0.66,0.84,0.68 t/hm^(2)。[结论]应加强巩固内蒙古重点生态功能区的生态治理成效,避免复垦与新开荒事件发生,促进内蒙古地区荒漠化综合防治及高质量发展。 展开更多
关键词 主体功能区 重点生态功能区 生态系统类型 修正的风蚀方程模型 土壤风蚀
在线阅读 下载PDF
生态系统类型及地形因子对土壤黑碳含量与分布的影响 被引量:3
2
作者 孙金兵 宋金凤 +2 位作者 高菲 郑杨 崔晓阳 《安徽农业科学》 CAS 2013年第34期13224-13229,共6页
综述了黑碳的概念、生态系统类型及地形因子对土壤有机碳和黑碳含量与分布的影响。总体看,不同区域同一生态系统中,土壤有机碳和黑碳的含量差异性较大。同一区域下,不同生态系统中SOC的含量趋势为森林>草原>农田>城市,BC为森林... 综述了黑碳的概念、生态系统类型及地形因子对土壤有机碳和黑碳含量与分布的影响。总体看,不同区域同一生态系统中,土壤有机碳和黑碳的含量差异性较大。同一区域下,不同生态系统中SOC的含量趋势为森林>草原>农田>城市,BC为森林>城市>草原>农田。地形因子中,坡向的影响为SOC含量南坡<北坡、BC含量南坡>北坡;从坡位的影响看,因地表侵蚀和沉积作用在低洼区形成碳汇,有机碳和黑碳的含量均较高;海拔的影响为:一般中海拔区较高,但某些地区由于受山体所在地理位置、气候、植被类型和人为因素等条件影响,规律不明显。 展开更多
关键词 生态系统类型 地形因子 土壤有机碳 黑碳
在线阅读 下载PDF
湿地生态系统类型自然保护区功能区划分
3
作者 马国强 吴明伟 李秋洁 《林业调查规划》 2015年第6期44-47,共4页
对目前国内自然保护区功能区划的现状进行分析,结合湿地生态系统类型的独有特征,分析提出湿地生态系统类型自然保护区的功能区划思路,在科学合理、保护优先、可持续发展原则的基础上,提出湿地生态系统类型自然保护区功能区空间区划法、... 对目前国内自然保护区功能区划的现状进行分析,结合湿地生态系统类型的独有特征,分析提出湿地生态系统类型自然保护区的功能区划思路,在科学合理、保护优先、可持续发展原则的基础上,提出湿地生态系统类型自然保护区功能区空间区划法、主体功能区划法、相关利益群体多元参与法等区划方法,为进一步科学、合理地完善自然保护区功能区划奠定基础。 展开更多
关键词 功能区划 湿地生态系统类型自然保护区 空间区划法 主体功能区划法 相关利益群体多元参与法
在线阅读 下载PDF
关于计算机辅助教学系统类型的研究
4
作者 郭绍青 《中国电化教育》 北大核心 1998年第9期63-64,共2页
关键词 计算机辅助教学网络 计算机辅助教学系统 广播教学系统 计算机网络 教学功能 系统类型 硬件配置 系统建设 多媒体教学 不同类型
在线阅读 下载PDF
2010—2020年巢湖流域生态系统类型的时空变化特征及驱动力分析 被引量:6
5
作者 袁步先 吴楠 程鹏 《安徽农业科学》 CAS 2022年第7期59-64,77,共7页
基于巢湖流域生态系统类型分布的持续观测数据,从年变化率、动态度和转移矩阵3个方面分析2010—2020年巢湖流域生态系统类型的时空变化特征,并剖析变化的驱动因素。结果表明,2010—2020年巢湖流域生态系统类型面积变化最为明显的趋势是... 基于巢湖流域生态系统类型分布的持续观测数据,从年变化率、动态度和转移矩阵3个方面分析2010—2020年巢湖流域生态系统类型的时空变化特征,并剖析变化的驱动因素。结果表明,2010—2020年巢湖流域生态系统类型面积变化最为明显的趋势是农田面积的持续大幅缩减和城镇用地的急剧大幅扩张。生态系统动态度(LC值)较大的是其他建设用地和城镇用地,全巢湖流域LC值为0.5%。10年间巢湖流域开发建设对农业和生态空间的大量挤占主要发生在城市周边。此外,流域内农田与湿地的相互转化也较明显。城市化以及工业和矿山开发是巢湖流域近10年最为主要的生态系统类型变化的驱动因素。 展开更多
关键词 巢湖流域 生态系统类型 动态度 转移矩阵 时空变化特征 驱动力
在线阅读 下载PDF
草原放牧系统的类型与生产力 被引量:31
6
作者 侯扶江 宁娇 冯琦胜 《草业科学》 CAS CSCD 北大核心 2016年第3期353-367,共15页
根据草原综合顺序分类法(Comprehensive and Sequential Classification System,CSCS)划分了高寒、荒漠、半荒漠、亚热带森林灌丛、典型草原、草甸草原、温带森林灌丛、热带森林灌丛8个类型的放牧系统。放牧系统经历了原始游牧、粗放游... 根据草原综合顺序分类法(Comprehensive and Sequential Classification System,CSCS)划分了高寒、荒漠、半荒漠、亚热带森林灌丛、典型草原、草甸草原、温带森林灌丛、热带森林灌丛8个类型的放牧系统。放牧系统经历了原始游牧、粗放游牧、过度放牧和现代化放牧4个演替阶段,根据3个类型放牧系统生产力长期动态,我国主体仍为过度放牧系统,但开始向现代化放牧系统转变。我国放牧系统生产力平均18.04APU·hm^(-2),总计63.50亿APU,每年可产肉295.9万t。我国放牧系统存在结构性超载,即整体超载,但是部分区域、部分季节存在放牧利用不足。目前,我国草原增产潜力为0.5~2倍,关键途径是实现草原放牧系统的现代化转型。 展开更多
关键词 草原 放牧系统类型 生产力 草原综合顺序分类法 畜产品单位 过度放牧
在线阅读 下载PDF
Ionia:基于Coq的带类型学习框架及代码生成工具
7
作者 张晓丽 陈钢 +1 位作者 麻莹莹 胡萍 《计算机研究与发展》 北大核心 2025年第10期2635-2650,共16页
随着人工智能(artificial intelligence,AI)规模的快速增长,深度学习应用程序中出现的错误也日益增多.现有主流深度学习框架大都建立在动态类型语言Python之上,缺乏类型检查机制,导致许多错误无法在编译阶段通过类型检查加以排除.为此,... 随着人工智能(artificial intelligence,AI)规模的快速增长,深度学习应用程序中出现的错误也日益增多.现有主流深度学习框架大都建立在动态类型语言Python之上,缺乏类型检查机制,导致许多错误无法在编译阶段通过类型检查加以排除.为此,提出了一种基于定理证明器Coq的强类型函数式编程风格的深度学习框架.该框架具有带类型的张量结构和强大的静态类型检查能力.实验结果表明,该框架能够自动有效检测到深度学习模型中的形状不匹配错误,相较于其他检查工具,在检测能力和速度方面具有更大优势.进一步地,设计并实现了一套从函数式编程模型到C代码的重写转换规则,实现了从函数式神经网络算子表达式到多核并行OpenMP C代码的转换.多组实验结果表明,该方法生成的算子C代码与手工编写的代码质量相当,且加入多核并行优化后生成的神经网络算子OpenMP C代码相较于顺序执行的算子C代码,速度提升了4~10倍.此外,利用该方法生成的C算子具有高安全性,能够有效避免人工编写代码时常见的下标越界和存储分配错误等问题. 展开更多
关键词 深度学习框架 静态分析 类型系统 形状错误检测 COQ 多核并行代码生成
在线阅读 下载PDF
鲁棒环境演算类型演化系统的扩充(英文) 被引量:2
8
作者 陈韬略 冯扬悦 +1 位作者 吕建 韩婷婷 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第5期531-539,共9页
移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演... 移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算是针对这种演算的一种改进。文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行。在[2]的基础上,进一步讨论了此问题。通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中。证明了类型系统的正确性。同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性。 展开更多
关键词 进程代数 环境演算 类型演化 类型系统
在线阅读 下载PDF
Gdel语言类型系统 被引量:3
9
作者 王炳波 赵致琢 晏松 《计算机工程与设计》 CSCD 北大核心 2005年第12期3432-3435,3438,共5页
Gdel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Gdel语言的类型系统及其构造,... Gdel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,引入了一个多态多类的类型系统和多种新的语言成分,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。详细介绍了Gdel语言的类型系统及其构造,对在逻辑程序设计语言中引入类型系统的作用进行了一些深入的分析和讨论。 展开更多
关键词 Goedel PROLOG 类型系统 多态多类 类型推理
在线阅读 下载PDF
类型系统λω×≤的PER模型 被引量:3
10
作者 周晓聪 李文军 李师贤 《计算机研究与发展》 EI CSCD 北大核心 2000年第8期1006-1011,共6页
类型系统是近年来理论计算机科学的研究热点之一 .1999年周晓聪曾在文献 [1]中提出并研究了类型系统λω× ≤ 及其性质 .类型系统λω× ≤ 是λω×的扩充 ,引入了子类型关系和受限的全称类型 .与 System F的各种扩充相... 类型系统是近年来理论计算机科学的研究热点之一 .1999年周晓聪曾在文献 [1]中提出并研究了类型系统λω× ≤ 及其性质 .类型系统λω× ≤ 是λω×的扩充 ,引入了子类型关系和受限的全称类型 .与 System F的各种扩充相比 ,它区分各种上下文 ,使得规则和性质的研究更为清晰 .研究该类型系统的 PER模型作为其语义解释 。 展开更多
关键词 类型系统 类型关系 PER模型 面向对象
在线阅读 下载PDF
类型系统λω×≤ 被引量:3
11
作者 周晓聪 李文军 李师贤 《中山大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第3期13-17,共5页
为研究高阶子类型的范畴论语义模型 ,区分了带高阶子类型的类型系统中的各种上下文 ,并简化其中的受限全称量词类型引入规则 ,而提出了类型系统λω×≤ .文章介绍该类型系统有关类别 (Kind)、算子 (Operator)、项 (Term)的规则 ,... 为研究高阶子类型的范畴论语义模型 ,区分了带高阶子类型的类型系统中的各种上下文 ,并简化其中的受限全称量词类型引入规则 ,而提出了类型系统λω×≤ .文章介绍该类型系统有关类别 (Kind)、算子 (Operator)、项 (Term)的规则 ,及其与建立范畴论语义模型有关的结构性质 . 展开更多
关键词 类型系统 类型 受限全称量词类型 语义模型 面向对象技术
在线阅读 下载PDF
类型系统的研究与进展 被引量:2
12
作者 周晓聪 李文军 李师贤 《计算机科学》 CSCD 北大核心 2000年第5期5-13,共9页
1 引言类型系统源于罗素为避免朴素集合论中的悖论而引入的“分类”思想。后来邱奇在他的λ演算中也引入了“类型”。60年代初出现的Algol语言提出了数据类型的概念。逻辑学家J.Girard和计算机科学家J.Reynold在70年代初为类型系统引入... 1 引言类型系统源于罗素为避免朴素集合论中的悖论而引入的“分类”思想。后来邱奇在他的λ演算中也引入了“类型”。60年代初出现的Algol语言提出了数据类型的概念。逻辑学家J.Girard和计算机科学家J.Reynold在70年代初为类型系统引入了“多态性”,分别提出了System F和多态λ演算。另一方面,Mar-tin-L of为了研究数学的逻辑基础,在70年代初提出了直觉类型理论,后来也用于程序开发的研究。 80年代后,类型系统的研究更是蓬勃发展,在程序语言设计、程序开发和验证以及机器定理证明方面得到了广泛的应用。目前随着面向对象思想逐渐占据软件开发的主流,面向对象程序设计语言的类型系统逐渐成为人们研究的热点。在80年代初,L.Cardelli提出了“子类型”(subtype)的概念,在1985年。 展开更多
关键词 类型系统 Λ演算 面向对象 软件开发
在线阅读 下载PDF
类型系统λω×≤的范畴论模型 被引量:4
13
作者 周晓聪 李文军 李师贤 《计算机研究与发展》 EI CSCD 北大核心 2002年第1期68-72,共5页
类型系统一直是理论计算机科学的研究热点 ,特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用 .不过至今为止人们还没有得到高阶子类型满意的语义模型 .λω× ≤fibration的基范畴是特殊的... 类型系统一直是理论计算机科学的研究热点 ,特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用 .不过至今为止人们还没有得到高阶子类型满意的语义模型 .λω× ≤fibration的基范畴是特殊的带序范畴 ,且有插入子 ,其 fibre范畴是带转换结构的笛卡儿封闭范畴 .λω× ≤ 展开更多
关键词 高阶子类型关系 带序范畴 计算机科学 类型系统 范畴论模型
在线阅读 下载PDF
基于小波分频与双层模糊控制的多类型储能系统平滑策略 被引量:61
14
作者 吕超贤 李欣然 +2 位作者 户龙辉 尹丽 胡京 《电力系统自动化》 EI CSCD 北大核心 2015年第2期21-29,共9页
风电功率的随机波动会对电网的正常运行产生很大的负面影响,储能系统的接入可以有效地抑制风电功率波动。针对上述情况,提出一种应用实时小波变换进行频率分配并用双层模糊控制理论进行储能功率修正的多类型储能系统平滑控制策略。该策... 风电功率的随机波动会对电网的正常运行产生很大的负面影响,储能系统的接入可以有效地抑制风电功率波动。针对上述情况,提出一种应用实时小波变换进行频率分配并用双层模糊控制理论进行储能功率修正的多类型储能系统平滑控制策略。该策略创新运用一种基于小波变换理论的新型分频方法,根据风电功率波动部分频率的高低合理分配多类型储能系统功率,即用超级电容器平抑短期功率波动,用蓄电池减弱长期功率波动;同时应用双层模糊控制方法,进行储能系统功率的修正,自动调整储能设备的荷电状态,削弱单层模糊控制方法对平滑输出的影响,改善平滑效果。算例结果表明,所提出的控制策略能合理分配功率并可有效地平滑风电出力波动,同时保证多种储能设备的荷电状态维持在合理范围内;双层模糊控制方法较单层控制方法具有更好的平滑效果。 展开更多
关键词 风电波动 类型储能系统 超级电容 蓄电池 小波变换 双层模糊控制 平滑控制
在线阅读 下载PDF
一种带约束的多态类型系统 被引量:3
15
作者 郑红军 张乃孝 《计算机学报》 EI CSCD 北大核心 1999年第4期343-350,共8页
本文讨论了一种带约束的多态类型系统,引入了约束类型.约束与全称量化的结合使得参数化多态函数的应用更安全,同时也为重载的表示和实现提供了一个新的途径,提高了类型表示的抽象度本文讨论的类型系统具有两个不同层次的类型结构,... 本文讨论了一种带约束的多态类型系统,引入了约束类型.约束与全称量化的结合使得参数化多态函数的应用更安全,同时也为重载的表示和实现提供了一个新的途径,提高了类型表示的抽象度本文讨论的类型系统具有两个不同层次的类型结构,约束的引入与消去是不同层次上的操作.最后,本文绘出了类型检查算法Wτ,并证明了此算法中约束的可满足性是可判定的. 展开更多
关键词 约束类型 类型检查 多态类型系统 程序设计语言
在线阅读 下载PDF
基于类型系统的元数据模型 被引量:4
16
作者 陈睿 蔡希尧 《软件学报》 EI CSCD 北大核心 1995年第5期265-275,共11页
本文研究了程序设计语言的类型系统与数据模型的关系,认识到类型间关系是表示数据模型的一种方法.基于这一思想,提出了PCT类型描述语言及基于PCT的元数据模型,以描述多种数据模型.PCT将C++类型系统与一阶谓词演算相结... 本文研究了程序设计语言的类型系统与数据模型的关系,认识到类型间关系是表示数据模型的一种方法.基于这一思想,提出了PCT类型描述语言及基于PCT的元数据模型,以描述多种数据模型.PCT将C++类型系统与一阶谓词演算相结合,可以形式化地描述特定数据模型所规定的多方面规范. 展开更多
关键词 数据模型 数据类型 程序语言 类型系统
在线阅读 下载PDF
类型系统的构造、实现及其在程序设计语言中的应用 被引量:3
17
作者 蒋慧 张兴元 +1 位作者 王元元 谢希仁 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第2期199-207,共9页
类型系统是一种设计和研究程序设计语言的形式化方法和工具 ,既可在语言设计之初构造 ,便于严格、准确、正确地设计实现语言 ;也可在语言实现后构造 ,为研究语言的语义及其它性质建立模型 .详细讨论了类型系统的基本构造和实现 ,通过基... 类型系统是一种设计和研究程序设计语言的形式化方法和工具 ,既可在语言设计之初构造 ,便于严格、准确、正确地设计实现语言 ;也可在语言实现后构造 ,为研究语言的语义及其它性质建立模型 .详细讨论了类型系统的基本构造和实现 ,通过基于图重写的函数式语言SClean的类型系统 。 展开更多
关键词 类型系统 类型推理 类型检测 语义模型 程序设计语言 构造 形式化工具 形式化方法
在线阅读 下载PDF
对象在类型系统λω×≤中的表示 被引量:1
18
作者 周晓聪 李文军 李师贤 《计算机研究与发展》 EI CSCD 北大核心 2003年第4期517-523,共7页
类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继... 类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 。 展开更多
关键词 对象表示 面向对象 类型系统 λω×≤ 程序设计 递归类型 存在类型
在线阅读 下载PDF
建立保护区经营类型系统促进我国保护区事业的发展 被引量:4
19
作者 刘东来 《林业科学》 EI CAS CSCD 北大核心 1996年第6期553-563,共11页
国际保护组织IUCN提出把保护区区分为类型有1/4世纪了,对保护和合理利用资源取得了相当的成就和经验。我国在这方面尚属空白。本文一方面介绍国际上保护区区分类型的背景、目的以及1978年和1994年IUCN、CNPPA推荐的两个经营类型系统... 国际保护组织IUCN提出把保护区区分为类型有1/4世纪了,对保护和合理利用资源取得了相当的成就和经验。我国在这方面尚属空白。本文一方面介绍国际上保护区区分类型的背景、目的以及1978年和1994年IUCN、CNPPA推荐的两个经营类型系统,引荐国际保护区经营类型系统和应用经营类型的实例;另方面在此基础上提出我国的保护区经营类型系统。希望能有助于我国保护区事业特别是经营工作的发展。 展开更多
关键词 保护区 经营类型系统 经营类型 经营目的
在线阅读 下载PDF
类型系统与程序正确性问题 被引量:3
20
作者 丁志义 宋国新 邵志清 《计算机科学》 CSCD 北大核心 2006年第1期141-143,157,共4页
类型系统能检出合法程序的语义错误,可以缩短调试时间,在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子类型的高阶类型系统腿已成为类型化语言的演算核心。类型系统和直觉主义极小逻辑是同构的。证明系统... 类型系统能检出合法程序的语义错误,可以缩短调试时间,在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子类型的高阶类型系统腿已成为类型化语言的演算核心。类型系统和直觉主义极小逻辑是同构的。证明系统的能力取决于类型系统,因而类型系统可以表迭程序的性质,并自动进行验证。 展开更多
关键词 类型系统 程序验证 Λ演算 证明理论 程序正确性 语义错误 执行程序 直觉主义 类型 代码
在线阅读 下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部