期刊文献+
共找到503篇文章
< 1 2 26 >
每页显示 20 50 100
甘肃省人口-经济-社会-资源-环境系统耦合协调及可持续发展时空综合测度研究 被引量:22
1
作者 李恒吉 曲建升 +2 位作者 庞家幸 徐丽 韩金雨 《干旱区地理》 CSCD 北大核心 2020年第6期1622-1634,共13页
如何实现人口、经济、社会、资源、环境系统的协调及可持续发展,是全人类共同面临的难题。以甘肃全省及其各市州为研究对象,基于GIS技术和各种数学分析方法,开展人口-经济-社会-资源-环境系统协调及可持续发展时空综合测度研究。结果表... 如何实现人口、经济、社会、资源、环境系统的协调及可持续发展,是全人类共同面临的难题。以甘肃全省及其各市州为研究对象,基于GIS技术和各种数学分析方法,开展人口-经济-社会-资源-环境系统协调及可持续发展时空综合测度研究。结果表明:甘肃省及各市州的可持续发展综合水平总体上均呈现逐步上升趋势。甘肃省及各市州5大系统的耦合协调发展水平均保持稳步上升的良好趋势。可持续发展综合水平重心总体上在向东南方向移动,各子系统可持续发展水平重心,大致沿西北—东南方向分布。5大系统耦合协调度重心大致向东偏移,但偏移幅度不大,其演变相对比较平稳。 展开更多
关键词 可持续发展 耦合协调 时空 系统 指标
下载PDF
Modeling a Dynamic Data Replication Strategy to Increase System Availability in Cloud Computing Environments 被引量:16
2
作者 孙大为 常桂然 +2 位作者 高尚 靳立忠 王兴伟 《Journal of Computer Science & Technology》 SCIE EI CSCD 2012年第2期256-272,共17页
Failures are normal rather than exceptional in the cloud computing environments. To improve system avai- lability, replicating the popular data to multiple suitable locations is an advisable choice, as users can acces... Failures are normal rather than exceptional in the cloud computing environments. To improve system avai- lability, replicating the popular data to multiple suitable locations is an advisable choice, as users can access the data from a nearby site. This is, however, not the case for replicas which must have a fixed number of copies on several locations. How to decide a reasonable number and right locations for replicas has become a challenge in the cloud computing. In this paper, a dynamic data replication strategy is put forward with a brief survey of replication strategy suitable for distributed computing environments. It includes: 1) analyzing and modeling the relationship between system availability and the number of replicas; 2) evaluating and identifying the popular data and triggering a replication operation when the popularity data passes a dynamic threshold; 3) calculating a suitable number of copies to meet a reasonable system byte effective rate requirement and placing replicas among data nodes in a balanced way; 4) designing the dynamic data replication algorithm in a cloud. Experimental results demonstrate the efficiency and effectiveness of the improved system brought by the proposed strategy in a cloud. 展开更多
关键词 system availability replication perspective high fault tolerance temporal locality cloud computing
原文传递
基于时间约束Petri网的电网警报处理及故障诊断 被引量:15
3
作者 杨健维 何正友 《电力系统保护与控制》 EI CSCD 北大核心 2012年第1期77-84,90,共9页
充分利用警报信息的时序属性和保护断路器动作的逻辑规则,提出了一种基于时间约束Petri网的电网警报处理及故障诊断方法。介绍了电力系统警报信息间的时序关系,以及常见警报差错信息的分类。提出了时间约束Petri网方法,引入时间约束通... 充分利用警报信息的时序属性和保护断路器动作的逻辑规则,提出了一种基于时间约束Petri网的电网警报处理及故障诊断方法。介绍了电力系统警报信息间的时序关系,以及常见警报差错信息的分类。提出了时间约束Petri网方法,引入时间约束通路的概念,直观地表达了警报信息之间的时序属性。提出了警报差错信息的识别算法,有效地识别警报信息中的误报、丢失以及时序不一致等情况。对不考虑时间约束与考虑时间约束两种情况下的故障诊断结果进行比较分析。结果表明所提出的警报处理方法,更加精确地描述了故障警报信息间的逻辑关系,使故障诊断结果更加准确。 展开更多
关键词 警报 时序属性 时间约束通路 PETRI网 电力系统 故障诊断
下载PDF
Long Term Effects of Farming System on Soil Water Content and Dry Soil Layer in Deep Loess Profile of Loess Tableland in China 被引量:11
4
作者 CHENG Li-ping LIU Wen-zhao 《Journal of Integrative Agriculture》 SCIE CAS CSCD 2014年第6期1382-1392,共11页
Soil water is strongly affected by land use/cover in the Loess Plateau in China. Water stored in thick loessal soils is one of the most important resources regulating vegetation growth. However, soil water in the deep... Soil water is strongly affected by land use/cover in the Loess Plateau in China. Water stored in thick loessal soils is one of the most important resources regulating vegetation growth. However, soil water in the deep loess proifle, which is critical for maintaining the function of the“soil water pool”is rarely studied because deep proifle soil samples are dififcult to collect. In this study, four experimental plots were established in 2005 to represent different farming systems on the Changwu Tableland:fallow land, fertilized cropland, unfertilized cropland, and continuous alfalfa. The soil water content in the 15-m-deep loess proifles was monitored continuously from 2007 to 2012 with the neutron probe technique. The results showed that temporal variations in soil water proifles differed among the four farming systems. Under fallow land, the soil water content increased gradually over time, ifrst in the surface layers and later in the deep soil layers. In contrast, the soil water content decreased gradually under continuous alfalfa. The distributions of soil water in deep soil layers under both fertilized and unfertilized cropland were relatively stable over time. Thus farming system signiifcantly affected soil water content. Seven years after the start of the experiment, the soil water contents in the 15-m-deep proifles averaged 23.4%under fallow land, 20.3%under fertilized cropland, 21.6%under unfertilized cropland, and 16.0%under continuous alfalfa. Compared to measurements at the start of the experiment, both fallow land and unfertilized cropland increased soil water storage in the 15-m loess proifles. In contrast, continuous alfalfa reduced soil water storage. Fertilized cropland has no signiifcant effect on soil water storage. These results suggest that deep soil water can be replenished under the fallow and unfertilized farming systems. Dry soil layers (i.e., those which have soil water content less than the stable ifeld water capacity) in the subsoil of the Changwu Tableland region can be class 展开更多
关键词 farming system temporal variability soil water dried soil layer Loess Plateau
下载PDF
应急系统中不确定时态知识表示及其推理 被引量:7
5
作者 谢红薇 胡坤 余雪丽 《计算机工程》 CAS CSCD 北大核心 2007年第4期182-183,186,共3页
在分析现有不确定信息表示模型基础上,提出了一种可扩展的时态知识表示模型,该模型对真实事件的间断性表示加以改进,进而讨论了应急决策知识库的构建方法和相应推理机制。实验数据表明,在原型系统中使用改进后的表示模型和推理方法,能... 在分析现有不确定信息表示模型基础上,提出了一种可扩展的时态知识表示模型,该模型对真实事件的间断性表示加以改进,进而讨论了应急决策知识库的构建方法和相应推理机制。实验数据表明,在原型系统中使用改进后的表示模型和推理方法,能够提高应急系统处理效率和决策方案的合理性。 展开更多
关键词 时态知识 模型 推理 应急系统
下载PDF
Physics-guided Deep Learning for Power System State Estimation 被引量:9
6
作者 Lei Wang Qun Zhou Shuangshuang Jin 《Journal of Modern Power Systems and Clean Energy》 SCIE EI CSCD 2020年第4期607-615,共9页
In the past decade,dramatic progress has been made in the field of machine learning.This paper explores the possibility of applying deep learning in power system state estimation.Traditionally,physics-based models are... In the past decade,dramatic progress has been made in the field of machine learning.This paper explores the possibility of applying deep learning in power system state estimation.Traditionally,physics-based models are used including weighted least square(WLS)or weighted least absolute value(WLAV).These models typically consider a single snapshot of the system without capturing temporal correlations of system states.In this paper,a physics-guided deep learning(PGDL)method is proposed.Specifically,inspired by autoencoders,deep neural networks(DNNs)are used to learn the temporal correlations.The estimated system states from DNNs are then checked against physics laws by running through a set of power flow equations.Hence,the proposed PGDL is both data-driven and physics-guided.The accuracy and robustness of the proposed PGDL method are compared with traditional methods in standard IEEE cases.Simulations show promising results and the applicability is further discussed. 展开更多
关键词 State estimation deep learning deep neural network(DNN) temporal correlation power system
原文传递
全空间信息系统中的时空参考构建与实现
7
作者 杜莹 武玉国 《测绘工程》 2024年第5期21-28,共8页
全空间信息系统由周成虎院士首倡,将地理信息系统的研究范畴从地球空间拓展到宇宙空间,从室外空间拓展到室内空间,从宏观空间拓展到微观空间,从小数据到大数据,构建无所不在的空间信息系统世界。在这样一个全空间信息系统中,传统GIS基... 全空间信息系统由周成虎院士首倡,将地理信息系统的研究范畴从地球空间拓展到宇宙空间,从室外空间拓展到室内空间,从宏观空间拓展到微观空间,从小数据到大数据,构建无所不在的空间信息系统世界。在这样一个全空间信息系统中,传统GIS基于地球空间的空间参考系统已无法满足时间与空间表达的需要,更无法满足对时空对象进行全生命周期管理的需求。因此,文中重点研究全空间信息系统中的时空参考问题并进行实践验证。首先探讨对物质与时空的认识问题及全空间信息系统对时空的定义,论述全空间信息系统时空参考的相关问题,总结常见的时间与空间系统及其相互关系;在此基础上,建立全空间信息系统的空间转换框架,扩展WKT对空间参考系统的描述,使之支持星球的定义和天球坐标系统、轨道坐标系统等坐标系统;设计九自由度空间参考树及空间参考和空间参考转换接口,实现对象的全生命周期管理。解决全空间信息系统从宏观世界到微观世界,从静态到动态,从物理时空到逻辑时空的全时空连续建模与仿真,满足全空间信息系统的建模要求,具有良好的可扩展性和实现效率。 展开更多
关键词 全空间信息系统 时空参考 时间系统 空间坐标系统 纪元 天球坐标系统 坐标系转换框架 空间参考树
下载PDF
尸头解剖结合Voxel-man手术模拟系统在耳科教学中的应用 被引量:7
8
作者 郝欣平 于子龙 李永新 《中国耳鼻咽喉头颈外科》 CSCD 2015年第2期107-108,共2页
耳科学涉及的解剖内容异常复杂,是耳科手术难于掌握的原因之一。尸头颞骨解剖训练是耳科医师培训最重要和必需的方法,然而这种机会却来之不易,且只能单次操作。Voxel-man手术模拟系统为相关训练提供重要机会,使用Voxel-man手术模拟系统... 耳科学涉及的解剖内容异常复杂,是耳科手术难于掌握的原因之一。尸头颞骨解剖训练是耳科医师培训最重要和必需的方法,然而这种机会却来之不易,且只能单次操作。Voxel-man手术模拟系统为相关训练提供重要机会,使用Voxel-man手术模拟系统与颞骨实体解剖训练相结合的教学方法,使得耳科医师得到较好的训练,为进入临床手术学习打下了坚实的基础。 展开更多
关键词 颞骨(temporal Bone) 解剖(Dissection) 教学(Teaching) 手术虚拟系统(surgery simulation system)
下载PDF
基于时序逻辑的故障预测 被引量:3
9
作者 曹立明 施润身 《上海铁道大学学报》 CAS 1998年第12期65-69,共5页
提出采用时序逻辑系统描述故障的概念,推演故障的性质和相互关系,对故障进行分类,并预测将要发生的故障。以网络故障预测问题为例说明这种方法的有效性和合理性。
关键词 时序逻辑 命题演算 形式系统 故障预测
下载PDF
时态土地利用变更管理系统的设计与建立 被引量:1
10
作者 袁占良 张子平 《测绘与空间地理信息》 2007年第1期15-18,共4页
根据土地利用的时空特点和建立的时空数据模型,运用地理信息技术中的拓扑学关系,将点、线、面这些空间数据与一定的属性数据相连接,处理点线、线线、线面等的空间关系,从而实现对土地变更数据的计算机管理。
关键词 时态GIS 土地利用变更 管理系统
下载PDF
Verilog程序的命题投影时序逻辑符号模型检测 被引量:5
11
作者 逄涛 段振华 刘晓芳 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2014年第2期79-84,共6页
为了保证以Verilog硬件描述语言设计的片上系统的正确性,提出了Verilog程序的符号模型检测方法.依据形式化操作语义将Verilog程序建模为有限状态机,将设计规范用命题投影时序逻辑公式描述,并采用命题投影时序逻辑符号模型检测工具对程... 为了保证以Verilog硬件描述语言设计的片上系统的正确性,提出了Verilog程序的符号模型检测方法.依据形式化操作语义将Verilog程序建模为有限状态机,将设计规范用命题投影时序逻辑公式描述,并采用命题投影时序逻辑符号模型检测工具对程序进行验证,从而证明片上系统满足设计规范.以Verilog程序描述的四位同步二进制计数系统的验证实例表明,Verilog程序的命题投影时序逻辑符号模型检测方法是可行的. 展开更多
关键词 时序逻辑 符号模型检测 硬件描述语言 片上系统验证
下载PDF
The Glacier Area Changes in the Qangtang Plateau Based on the Multi-temporal Grid Method and its Sensitivity to Climate Change 被引量:5
12
作者 WANG Liping XIE Zichu +3 位作者 WANG Xin LIU Shiyin DING Liangfu SHANGGUAN Donghui 《Journal of Mountain Science》 SCIE CSCD 2011年第6期882-893,共12页
Glacier area changes in the Qangtang Plateau are analyzed during 1970-2000 using air photos,relevant photogrammetric maps and satellite images based on the multi-temporal grid method.The results indicate that the melt... Glacier area changes in the Qangtang Plateau are analyzed during 1970-2000 using air photos,relevant photogrammetric maps and satellite images based on the multi-temporal grid method.The results indicate that the melting of glaciers accelerated,only a few of glaciers in an advancing state during 1970-2000 in the whole Qangtang Plateau.However,the glaciers seemed still more stable in the study area than in most areas of western China.We estimate that glacier retreat was likely due to air temperature warming during 1970-2000 in the Qangtang Plateau.Furthermore,the functional model of glacier system is applied to study climate sensitivity of glacier area changes,which indicates that glacier lifespan mainly depends on the heating rate,secondly the precipitation,and precipitation increasing can slow down glacier retreat and make glacier lifespan prolonged. 展开更多
关键词 The Qangtang Plateau Glacier change MULTI-temporal Climate change Functional model ofglacier system Simulation
下载PDF
旋转货架系统运行过程的时态逻辑描述与分析 被引量:3
13
作者 田国会 刘长有 徐心和 《自动化学报》 EI CSCD 北大核心 1998年第3期373-376,共4页
自动化仓库中旋转货架系统的运行过程具有复杂的离散事件特征,基于时态逻辑对此过程进行描述与分析。
关键词 离散事件系统 旋转货架系统 自动化仓库
下载PDF
Spatial-Temporal Correlation 3D Vehicle Detection and Tracking System with Multiple Surveillance Cameras
14
作者 薛炜彭 吴明虎 王琳 《Journal of Shanghai Jiaotong university(Science)》 EI 2023年第1期52-60,共9页
Compared to 3D object detection using a single camera,multiple cameras can overcome some limitations on field-of-view,occlusion,and low detection confidence.This study employs multiple surveillance cameras and develop... Compared to 3D object detection using a single camera,multiple cameras can overcome some limitations on field-of-view,occlusion,and low detection confidence.This study employs multiple surveillance cameras and develops a cooperative 3D object detection and tracking framework by incorporating temporal and spatial information.The framework consists of a 3D vehicle detection model,cooperatively spatial-temporal relation scheme,and heuristic camera constellation method.Specifically,the proposed cross-camera association scheme combines the geometric relationship between multiple cameras and objects in corresponding detections.The spatial-temporal method is designed to associate vehicles between different points of view at a single timestamp and fulfill vehicle tracking in the time aspect.The proposed framework is evaluated based on a synthetic cooperative dataset and shows high reliability,where the cooperative perception can recall more than 66%of the trajectory instead of 11%for single-point sensing.This could contribute to full-range surveillance for intelligent transportation systems. 展开更多
关键词 multi-object tracking 3D detection multiple sensors cooperative perception spatial-temporal correlation intelligent transportation system
原文传递
基于时态逻辑的抽象对象规约方法 被引量:1
15
作者 宋悦 郝克刚 葛玮 《西北大学学报(自然科学版)》 CAS CSCD 北大核心 1999年第6期499-502,共4页
提出了一种基于时态逻辑的抽象对象语义描述方法,采用这种方法,可以在说明对象的同时对其行为加以时态限制,从而在语义层次上规约了并行对象系统的行为。在此方法上,还可以进一步对系统进行形式化的验证。
关键词 时态逻辑 形式化 谓词逻辑 抽象对象规约
下载PDF
黄土丘陵区典型农耕地土壤稳定入渗率季节变化 被引量:4
16
作者 郁耀闯 张光辉 《水土保持通报》 CSCD 2016年第2期8-11,17,共5页
[目的]揭示黄土丘陵区典型农耕地土壤稳定入渗率季节变化及其影响因素,为黄土高原地区农耕地土壤侵蚀控制、水土保持和有限水资源的有效利用提供理论依据和数据支撑。[方法]运用双环法,以黄土丘陵区典型农作物种植地为研究对象,通过入... [目的]揭示黄土丘陵区典型农耕地土壤稳定入渗率季节变化及其影响因素,为黄土高原地区农耕地土壤侵蚀控制、水土保持和有限水资源的有效利用提供理论依据和数据支撑。[方法]运用双环法,以黄土丘陵区典型农作物种植地为研究对象,通过入渗试验对不同作物地土壤稳定入渗率季节变化进行研究。[结果]典型农耕种植地土壤稳定入渗率具有明显季节变化(p<0.05)。不同作物地土壤稳定入渗率的季节变化趋势存在差异。种植3种作物地与裸地的土壤稳定入渗率具有显著性差异(p<0.05)。种植马铃薯地平均土壤稳定入渗率最大,其次是大豆地和谷子地。农事活动、容重、孔隙度和作物根系生长是影响农耕地土壤稳定入渗率季节变化的主要因素。[结论]黄土丘陵区典型农耕地土壤稳定入渗率具有明显的季节变化,该变化主要是由农事活动、容重、土壤孔隙度和作物根系生长等因素所导致。 展开更多
关键词 土壤稳定入渗率 季节变化 典型农耕地 根系 黄土丘陵区
下载PDF
汉语时间介词系统构成与演变 被引量:4
17
作者 何洪峰 贾君芳 《语言研究》 CSSCI 北大核心 2018年第4期55-63,共9页
汉语时间介词在介词系统中所占比重较大。时间介词内部语义系统,可以分为客观性介词和主观性介词,下位再划分出次类。时间介词语义类型的发展基本稳定,成员由繁趋简,核心介词构成介词系统的基础。时间介词复杂的原因,主要在介词系统内部... 汉语时间介词在介词系统中所占比重较大。时间介词内部语义系统,可以分为客观性介词和主观性介词,下位再划分出次类。时间介词语义类型的发展基本稳定,成员由繁趋简,核心介词构成介词系统的基础。时间介词复杂的原因,主要在介词系统内部,也有外部的原因。 展开更多
关键词 介词 时间介词 语义类型 发展演变 介词系统
原文传递
基于面板向量自回归模型的中国城市韧性演化特征研究
18
作者 王佩玉 毛熙彦 +1 位作者 黄贤金 漆信贤 《现代城市研究》 北大核心 2023年第5期92-100,共9页
根据城市韧性属性评估中国城市韧性水平,从城市系统长期互动关系出发,运用面板向量自回归(Panel VAR)模型中脉冲响应函数和方差分解技术探究城市韧性演化特征,对比不同韧性水平城市的特征差异。结果表明:(1)我国城市韧性处低水平均衡状... 根据城市韧性属性评估中国城市韧性水平,从城市系统长期互动关系出发,运用面板向量自回归(Panel VAR)模型中脉冲响应函数和方差分解技术探究城市韧性演化特征,对比不同韧性水平城市的特征差异。结果表明:(1)我国城市韧性处低水平均衡状态,仍需整体提升。(2)在受到不确定干扰时,高韧性城市抗干扰力强,波动响应程度较小、持续期较短。(3)高韧性城市系统动态互动传导灵活,低韧性城市系统内部协调互动水平较低。 展开更多
关键词 城市韧性 时序演化 复杂系统 动态互动 PanelVAR模型
下载PDF
受激拉曼散射系统的时间模式特性研究
19
作者 卢晨 于志飞 +2 位作者 焦高锋 陈丽清 袁春华 《华东师范大学学报(自然科学版)》 CAS CSCD 北大核心 2023年第4期109-118,共10页
时间模式是一组正交的波包模式,可用来表征时域多模量子光场,为量子系统的描述提供一个可选择的理论框架.基于输入种子光诱导的受激拉曼散射(stimulated Raman scattering,SRS)系统,将输出的斯托克斯(Stokes)光场作为下一过程的输入种... 时间模式是一组正交的波包模式,可用来表征时域多模量子光场,为量子系统的描述提供一个可选择的理论框架.基于输入种子光诱导的受激拉曼散射(stimulated Raman scattering,SRS)系统,将输出的斯托克斯(Stokes)光场作为下一过程的输入种子光场,进而实现连续迭代受激拉曼散射的过程;固定泵浦光场为高斯波形和超高斯波形,分别研究了在多种不同结构的高斯波形种子光输入的情形下,输出斯托克斯光场的时域波形演化特性,得到了不同波形种子光注入通过迭代会得到相同的稳定波形输出,而输出光场波形的时间半高全宽(full-width at the half of the maximum,FWHM)依赖于泵浦光场;运用施密特(Schmidt)模式分解,数值研究了最终稳定输出的斯托克斯光场时间模式特性,得到了稳定输出的斯托克斯光场本征值都集中在基模.该光场时间模式特性的研究,为进一步开发和利用时间模式这一量子资源提供了理论指导与实验参考. 展开更多
关键词 时间模式 受激拉曼散射 模式分解 迭代系统
下载PDF
时序逻辑及其表达能力综述
20
作者 杨科 肖美华 +1 位作者 钟小妹 占东明 《华东交通大学学报》 2023年第2期57-70,共14页
时序逻辑是研究状态随时间变化系统的逻辑特性,在软硬件验证中有着广泛应用,是模型检测的基础。基于对时间模型的不同描述以及为了处理更加复杂的计算特征,衍生出各种时序逻辑,具有不同的表达能力,正确理解其表达能力对于系统模型的形... 时序逻辑是研究状态随时间变化系统的逻辑特性,在软硬件验证中有着广泛应用,是模型检测的基础。基于对时间模型的不同描述以及为了处理更加复杂的计算特征,衍生出各种时序逻辑,具有不同的表达能力,正确理解其表达能力对于系统模型的形式化规约尤为重要。首先,介绍基于离散时间模型的线性时序逻辑LTL、计算树逻辑CTL和CTL*,以及基于连续时间模型的区间时序逻辑ITL和投影时序逻辑PTL,对它们的表达能力及区别进行了详细阐述;然后,概述为了描述随机、实时、混成、开放系统中的复杂行为而提出的不同时序逻辑,指出它们的特点及适用范围;最后,对时序逻辑的未来研究方向进行展望。 展开更多
关键词 时序逻辑 表达能力 形式化方法 逻辑系统 形式化规约
下载PDF
上一页 1 2 26 下一页 到第
使用帮助 返回顶部