期刊文献+
共找到124篇文章
< 1 2 7 >
每页显示 20 50 100
珠三角地区人口分布时空格局及其变化特征 被引量:41
1
作者 游珍 王露 +1 位作者 封志明 杨艳昭 《热带地理》 北大核心 2013年第2期156-163,共8页
采用人口增减变化、人口商度以及人口集聚度等方法,对珠三角地区1982、1990、2000和2010年4期人口普查数据进行了分析,定量揭示了珠三角地区近30年来人口分布的时空格局及其变化特征。结果表明:1)从人口总量变化来看,1982―2010年珠三... 采用人口增减变化、人口商度以及人口集聚度等方法,对珠三角地区1982、1990、2000和2010年4期人口普查数据进行了分析,定量揭示了珠三角地区近30年来人口分布的时空格局及其变化特征。结果表明:1)从人口总量变化来看,1982―2010年珠三角地区人口数量增加了3821.66万人,增长率达215.61%,远超全国平均水平;2)从人口流动状态看,1982―2010年珠三角地区以人口流入为主,其中珠三角的中部以及东部城市成为人口流入的主要地区,人口迁移流入是珠三角地区总人口增加、人口集聚程度增高的主要原因之一,但近10年珠三角地区的人口流入速率有所减缓;3)从人口集聚度上看,1982―2010年珠三角地区县市人口集聚程度普遍高于全国平均水平,并逐年增高,深圳、广州、东莞等市已成为区域人口集聚中心。 展开更多
关键词 人口分布 人口流动 时空格局 珠三角
下载PDF
澜沧江-湄公河流域人口分布及其与地形的关系 被引量:27
2
作者 游珍 封志明 +1 位作者 姜鲁光 杨艳昭 《山地学报》 CSCD 北大核心 2014年第1期21-29,共9页
基于90 m×90 m数字高程模型(DEM)和1 km×1 km的人口密度栅格数据,采用GIS空间分析与数理统计方法,研究了澜沧江-湄公河流域的人口分布格局及其与高程、坡度、坡向和地形起伏度的关系。结果表明:1.澜沧江-湄公河流域人口分布... 基于90 m×90 m数字高程模型(DEM)和1 km×1 km的人口密度栅格数据,采用GIS空间分析与数理统计方法,研究了澜沧江-湄公河流域的人口分布格局及其与高程、坡度、坡向和地形起伏度的关系。结果表明:1.澜沧江-湄公河流域人口分布呈北疏南密的基本格局,人口最为密集的区域位于南端的湄公河三角洲,源头杂多县则是大片无人区;2.澜沧江-湄公河流域人口密度随海拔由低到高经历了一个急降缓升又下降至尖灭的变化过程,人口总量随海拔呈现倒指数增长变化;3.澜沧江-湄公河流域80%强的人口集中分布在坡度≤2°的平坦区域,当坡度达到38°时,人口累积曲线趋于平稳;4.澜沧江-湄公河流域各坡向人口分布较为均衡,坡向对人口分布的影响不显著;5.澜沧江-湄公河流域人口密度与地形起伏度成倒指数关系,地形起伏度对人口分布的影响较为显著,流域内大部分人口分布于低起伏地区。 展开更多
关键词 澜沧江-湄公河 人口分布 地形 GIS 空间分析
下载PDF
植被对降雨的再分配分析 被引量:25
3
作者 游珍 李占斌 蒋庆丰 《中国水土保持科学》 CSCD 2003年第3期102-105,共4页
定量分析植被对降雨的再分配过程和植被影响雨滴溅蚀的方式,并比较了它们在被分配前后的击溅侵蚀能量。植被对降雨的再分配主要有3种形式:截流、透流和干流,其中,只有透流能溅蚀地面。再分配减少了溅蚀地面的雨量,但增加了雨滴直径。经... 定量分析植被对降雨的再分配过程和植被影响雨滴溅蚀的方式,并比较了它们在被分配前后的击溅侵蚀能量。植被对降雨的再分配主要有3种形式:截流、透流和干流,其中,只有透流能溅蚀地面。再分配减少了溅蚀地面的雨量,但增加了雨滴直径。经过比较,结论如下:1)枯落物覆盖度与溅蚀能量呈线性负相关,枯落物覆盖度越大,溅蚀能量越小;2)在降雨量达到透流(经枝叶聚集部分)临界雨量以后,植被高度是所有植被特性中影响溅蚀能量贡献率最大的因子,植被越高,溅蚀能量越大;3)在降雨量达到透流(经枝叶聚集部分)临界雨量以后,雨滴终速度越大,植被所能减少的溅蚀能量越多。 展开更多
关键词 植被 降雨 再分配 截流 透流 干流 雨滴溅蚀 水土流失
下载PDF
坡面植被分布对降雨侵蚀的影响研究 被引量:20
4
作者 游珍 李占斌 蒋庆丰 《泥沙研究》 CSCD 北大核心 2005年第6期40-43,共4页
在黄土高原约15°的自然荒草坡面上,对两个坡面小区进行野外模拟降雨实验,其中一个从坡顶向坡底逐渐破坏地表植被和结皮,另一个从坡底向坡顶逐渐破坏地表植被和结皮,分别对破坏过程中各种植被面积下的降雨产流产沙量进行比较,结果认... 在黄土高原约15°的自然荒草坡面上,对两个坡面小区进行野外模拟降雨实验,其中一个从坡顶向坡底逐渐破坏地表植被和结皮,另一个从坡底向坡顶逐渐破坏地表植被和结皮,分别对破坏过程中各种植被面积下的降雨产流产沙量进行比较,结果认为:在相同面积条件下,位于坡底的植被比位于坡顶的植被保水作用高2.4倍,保土作用高2.8倍;随着植被面积的减少,坡面产流量和产沙量呈不均匀的增加趋势,在不同的植被面积变化范围,坡面产流量和产沙量的增幅不同。 展开更多
关键词 模拟降雨 坡面植被格局 坡面降雨侵蚀产流产沙 草地植被
下载PDF
基于信息扩散理论的中国西部地区地震风险评估 被引量:8
5
作者 游珍 封志明 +1 位作者 杨格格 杨艳昭 《地理科学》 CSCD 北大核心 2011年第9期1125-1130,共6页
利用全国地震目录数据库,系统梳理建国以来中国西部地区5.0级以上地震信息;利用信息扩散理论,从年最大震级和各级地震灾害年频次两个方面对西部12省、市、自治区的地震灾害进行风险评估。在此基础上,将风险估计离散值进行曲线拟合,系统... 利用全国地震目录数据库,系统梳理建国以来中国西部地区5.0级以上地震信息;利用信息扩散理论,从年最大震级和各级地震灾害年频次两个方面对西部12省、市、自治区的地震灾害进行风险评估。在此基础上,将风险估计离散值进行曲线拟合,系统评价中国西部地震最为多发5省区的地震风险分布趋势及差异,定量揭示中国西部地区地震风险,为西部地区地震防灾减灾提供技术支持和决策建议。 展开更多
关键词 信息扩散 西部地区 地震风险 评估
原文传递
京津冀、长三角、珠三角人口分布的社会经济协调性及区域差异对比研究 被引量:8
6
作者 游珍 雷涯邻 +1 位作者 封志明 杨艳昭 《现代城市研究》 CSSCI 北大核心 2017年第3期78-84,89,共8页
作为我国主要的人口集聚地和社会经济发展的重要增长极,京津冀、长三角、珠三角的人口与社会经济的协调发展是我国实现可持续发展的关键问题之一。本文建立人口分布的社会经济协调度模型,从城市群、分地市、分县3个尺度,定量揭示并对比... 作为我国主要的人口集聚地和社会经济发展的重要增长极,京津冀、长三角、珠三角的人口与社会经济的协调发展是我国实现可持续发展的关键问题之一。本文建立人口分布的社会经济协调度模型,从城市群、分地市、分县3个尺度,定量揭示并对比分析了三大城市群人口分布的社会经济协调程度、区域差异与空间格局,研究表明:长三角人口分布的社会经济协调度最高,地市差异最小,长三角、珠三角、京津冀的社会经济协调度县域优良率分别为100%、97.92%和87.10%,讨论并提出了其形成机制与政策建议。 展开更多
关键词 京津冀 长三角 珠三角 社会经济协调性 区域差异
下载PDF
基于灰色-马尔可夫藕合模型的区域建设用地需求预测 被引量:18
7
作者 游珍 杜传亮 李永涛 《生态环境》 CSCD 北大核心 2007年第5期1528-1532,共5页
建设用地需求的中长期准确预测是当前土地资源规划和利用的重点和难点。本文将灰色和马尔可夫两种预测模型相结合,建立灰色-马尔可夫藕合模型,以广东省揭阳市为例,对1997到2010年间主要建设用地规模进行了需求预测,同时与其它几种常规... 建设用地需求的中长期准确预测是当前土地资源规划和利用的重点和难点。本文将灰色和马尔可夫两种预测模型相结合,建立灰色-马尔可夫藕合模型,以广东省揭阳市为例,对1997到2010年间主要建设用地规模进行了需求预测,同时与其它几种常规的预测方法进行了比较。结果表明,人文驱动力相关预测法误差相对较大,其中国内生产总值(GDP)相关法准确度要优于人口相关法。趋势线法计算简单,预测准确度也相对较高,但只适于短期预测。灰色预测法精确度较高,计算需要模型的支持、专业性强。灰色-马尔可夫预测法由于是对灰色预测的偏离值进行了纠正,因而准确度最高。尽管该方法需要大量数据的支持,计算量大,但仍是值得推荐的高准确度的区域建设用地的专业预测方法。 展开更多
关键词 建设用地 灰色模型 马尔可夫链 人文驱动 揭阳
下载PDF
植被在坡面的不同位置对降雨产沙量影响 被引量:17
8
作者 游珍 李占斌 蒋庆丰 《水土保持通报》 CSCD 北大核心 2006年第6期28-31,共4页
植被在坡面的不同位置,对坡面保持水土的作用是不同的。通过野外人工模拟降雨试验比较了在相同面积条件下,植被分别分布在坡面上部、中部和下部时,坡面降雨产沙量的差异。结果显示,对保土能力来说,坡下植被>坡中植被>坡上植被,而... 植被在坡面的不同位置,对坡面保持水土的作用是不同的。通过野外人工模拟降雨试验比较了在相同面积条件下,植被分别分布在坡面上部、中部和下部时,坡面降雨产沙量的差异。结果显示,对保土能力来说,坡下植被>坡中植被>坡上植被,而且这种差异在小雨强下更加明显。这充分说明,坡下部的植被在保护坡面土壤不被流失方面起着举足轻重的作用。因此保护好坡下部的植被可以有效地防止坡面水土流失。 展开更多
关键词 土壤侵蚀 土地利用方式 人工模拟降雨
下载PDF
干旱区植被覆盖度的建设阈值分析 被引量:8
9
作者 游珍 李占斌 +1 位作者 袁琼 杨光荣 《水土保持研究》 CSCD 北大核心 2005年第3期88-90,共3页
通过对已有的关于植被覆盖度的概念进行分析比较,提出几个新的植被建设覆盖度阈值生态允许覆盖度、生态要求覆盖度和经济允许覆盖度,并给出了它们的计算方法。尤为重要的是,提出了当经济与生态发生矛盾时,最佳覆盖度在不同情况下分别取... 通过对已有的关于植被覆盖度的概念进行分析比较,提出几个新的植被建设覆盖度阈值生态允许覆盖度、生态要求覆盖度和经济允许覆盖度,并给出了它们的计算方法。尤为重要的是,提出了当经济与生态发生矛盾时,最佳覆盖度在不同情况下分别取生态最优解和经济最优解。当生态允许覆盖度小于生态要求覆盖度时,最佳覆盖度为生态允许覆盖度;当生态要求覆盖度大于经济允许覆盖度时,最佳覆盖度为经济最优解;当生态要求覆盖度小于经济允许覆盖度时,最佳覆盖度为生态最优解。最后给出了生态最优解和经济最优解的计算方法。 展开更多
关键词 生态允许覆盖度 生态要求覆盖度 经济允许覆盖度 经济最优解 生态最优解
下载PDF
中国主要城市群水土资源条件与限制研究——以京津冀、长三角、珠三角为例 被引量:8
10
作者 游珍 杨艳昭 《地域研究与开发》 CSSCI CSCD 北大核心 2018年第4期138-143,共6页
建立水土资源限制度模型,定量评价京津冀、长三角和珠三角三大城市群基于人口分布的水土资源限制度及其空间格局,揭示三大城市群的水土资源限制度的差异。研究发现:(1)整体而言,京津冀城市群受水土资源限制最高;(2)限制类型方面,京津冀... 建立水土资源限制度模型,定量评价京津冀、长三角和珠三角三大城市群基于人口分布的水土资源限制度及其空间格局,揭示三大城市群的水土资源限制度的差异。研究发现:(1)整体而言,京津冀城市群受水土资源限制最高;(2)限制类型方面,京津冀城市群以水资源限制为主;长三角和珠三角城市群均以土地资源限制为主;(3)京津冀城市群水限制度的人口、面积比例匹配显著偏离,长三角和珠三角城市群则是土地限制度偏离程度较高;(4)空间自相关表明,三大城市群水、土地、水土资源限制度均显著集聚,且以长三角城市群土地限制度最为显著,京津冀城市群受土地资源限制度影响较大,长三角城市群受水资源限制度影响较大,珠三角城市群受二者综合影响。 展开更多
关键词 水资源 土地资源 限制度 城市群 京津冀 长三角 珠三角
下载PDF
南通市河网格局特征及水环境响应 被引量:6
11
作者 游珍 刘波 姚红 《水资源保护》 CAS 北大核心 2008年第4期31-34,90,共5页
对南通市河网景观格局与地表水污染的关系进行探讨。在对南通市的河网景观格局进行定性分析的基础上,设计并定量计算了南通市河网景观格局指标,据此分析了不同排污功能河流的景观格局特点:①就污染程度来说,工业排污河流最为严重,生活... 对南通市河网景观格局与地表水污染的关系进行探讨。在对南通市的河网景观格局进行定性分析的基础上,设计并定量计算了南通市河网景观格局指标,据此分析了不同排污功能河流的景观格局特点:①就污染程度来说,工业排污河流最为严重,生活排污河流次之,农业排污河流水质最好;②就河流污染物分布来说,工业排污河流最不均匀,生活排污河流次之,农业排污河流最为均匀。这与实测分析结果基本一致,说明城市河网景观格局是影响污染物分布、运移的主要因素之一。 展开更多
关键词 河网格局 水污染 南通市
下载PDF
基于土地利用及其格局的自然灾害风险评价模型 被引量:4
12
作者 游珍 蒋庆丰 娄彩荣 《自然灾害学报》 CSCD 北大核心 2013年第5期23-30,共8页
自然灾害风险评价是了解区域灾害现状、制定应急预案、规划区域发展的重要环节。以往的自然灾害评价多以灾害危险性和受灾体易损性叠加后的斑块为基本评价单元,理论性强,但实用价值弱,而且忽略了人类活动在灾害中的主导因素。以土地利... 自然灾害风险评价是了解区域灾害现状、制定应急预案、规划区域发展的重要环节。以往的自然灾害评价多以灾害危险性和受灾体易损性叠加后的斑块为基本评价单元,理论性强,但实用价值弱,而且忽略了人类活动在灾害中的主导因素。以土地利用类型为基本评价单元,从风险源、风险受体和风险效应三个方面建立了自然灾害风险评价模型。该模型除了考虑原有的灾害危险度、受灾体易损性外,还考虑了灾害应急体系、区域危险源布局、灾后重建难度、受灾体间接经济损失和社会损失等要素。最后以江苏省启东市为例,绘制了该市的台风灾害风险图,并提出了针对性措施。 展开更多
关键词 土地利用 格局 自然灾害风险 模型 启东
原文传递
坡面植被对径流的减流减沙作用机理及试验研究 被引量:13
13
作者 游珍 李占斌 《泥沙研究》 CSCD 北大核心 2011年第3期59-62,共4页
坡面上的植被斑块和裸地斑块会对坡面产流产沙量产生较大影响。本文设计了两种坡面植被格局,分别模拟了原生植被坡面在开发初期和末期的状态,采用不同流量进行冲刷实验,结果表明草地景观中的裸地斑块和裸地中的草地斑块对坡面径流流量... 坡面上的植被斑块和裸地斑块会对坡面产流产沙量产生较大影响。本文设计了两种坡面植被格局,分别模拟了原生植被坡面在开发初期和末期的状态,采用不同流量进行冲刷实验,结果表明草地景观中的裸地斑块和裸地中的草地斑块对坡面径流流量的影响均小于其对于坡面产沙的影响。裸地景观中的植被斑块减沙能力取决于植被带拦截次数,而植被景观中的裸地斑块增加产沙的能力取决于裸地斑块的顺坡长度。因此为了减少坡面土壤流失,在对原始土地进行开发时,应尽量沿等高线开发,减少顺坡长度。对于已经大面积开发的土地,应在沿等高线方向尽可能短距离内重复设置植被带,达到有效拦截泥沙的作用。 展开更多
关键词 坡面植被 产流产沙 实验
下载PDF
景观生态学原理在土壤侵蚀学中的应用与实例分析 被引量:14
14
作者 游珍 李占斌 袁琼 《水土保持研究》 CSCD 北大核心 2005年第3期141-144,共4页
景观生态学是一门交叉学科,它日渐成熟的理论已被广泛运用于各个学科。就等级理论与尺度效应、渗透理论和源汇系统理论、格局过程关系理论以及景观安全格局理论在土壤侵蚀学中的应用进行了探讨,证实了景观生态学原理在土壤侵蚀学中应用... 景观生态学是一门交叉学科,它日渐成熟的理论已被广泛运用于各个学科。就等级理论与尺度效应、渗透理论和源汇系统理论、格局过程关系理论以及景观安全格局理论在土壤侵蚀学中的应用进行了探讨,证实了景观生态学原理在土壤侵蚀学中应用的可行性。然后以黄土高原黄家二岔流域为例,从土壤侵蚀角度出发,分析了阴坡和阳坡的景观格局,提出并计算斑块大小、斑块形状和斑块排列顺序三个指标,然后判断它们对土壤侵蚀的影响,认为阴坡的景观格局受人为干扰大,耕地比重大,且地块形状规则,分布在坡下部位置,利于土壤侵蚀的发生;而阳坡人工草地比重大,灌木林和林地的等高连通度大,且分布在耕地之下,有利于水土保持。最后,认为应用景观生态学原理分析和评判流域土壤侵蚀是可行的,并且具有较大的发展潜力。 展开更多
关键词 景观生态学 土壤侵蚀 景观格局
下载PDF
Apla语言中并发分布式机制的研究 被引量:4
15
作者 游珍 薛锦云 应时 《计算机科学》 CSCD 北大核心 2012年第1期104-108,共5页
从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的... 从并发分布式程序设计的角度,对现有的并发分布式语言进行分析比较,选取Jayadev Misra教授近几年提出的全新结构化并发分布式语言Orc作为研究对象。通过深入分析Orc语言的基本原理和语言特征,提出了一个能够适合Apla抽象程序设计语言的并发分布式机制,设计了并发算子、并发语句、进程定义、进程通信和进程同步,并通过实例探讨了该设计方案的可行性和实用性,最后阐述了Apla语言中并发分布式机制具有通用性强、抽象层次高、简单易懂、便于并发分布式程序的开发等优点。 展开更多
关键词 并发分布式程序设计 Orc语言 Apla抽象程序设计语言 并发分布式机制
下载PDF
黄土高原小流域景观格局对土壤侵蚀的影响——以黄家二岔流域为例 被引量:24
16
作者 游珍 李占斌 《中国科学院研究生院学报》 CAS CSCD 2005年第4期447-453,共7页
以黄家二岔流域为例,分析该区的景观格局,选取斑块大小、斑块破碎度、等高连通度、顺坡连通度和斑块相对位置指数5个指标对景观格局进行量化,再结合地形,将该流域分为阴坡和阳坡分别计算它们的景观格局,并分析它们与土壤侵蚀的关系.最... 以黄家二岔流域为例,分析该区的景观格局,选取斑块大小、斑块破碎度、等高连通度、顺坡连通度和斑块相对位置指数5个指标对景观格局进行量化,再结合地形,将该流域分为阴坡和阳坡分别计算它们的景观格局,并分析它们与土壤侵蚀的关系.最后得到,黄家二岔流域主要土地利用类型为耕地和人工草地,其中阳坡以人工草地为主,其斑块较完整,等高连通度大,斑块排列顺序也利于保持水土;而阴坡以耕地为主,斑块完整,顺坡连通度大,斑块排列顺序不利于水土保持.因此阳坡景观格局利于保持水土,而阴坡景观格局利于土壤侵蚀. 展开更多
关键词 土地利用 景观格局 土壤侵蚀 黄土高原 小流域
下载PDF
基于Isabelle定理证明器算法程序的形式化验证 被引量:9
17
作者 游珍 薛锦云 《计算机工程与科学》 CSCD 北大核心 2009年第10期85-89,共5页
形式化验证对保证软件的正确性和可靠性具有十分重要的意义。定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具。本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序... 形式化验证对保证软件的正确性和可靠性具有十分重要的意义。定理机械证明是形式化验证的一个重要研究领域,Isabelle系统是一个被广泛运用的定理证明辅助工具。本文在分析Dijkstra最弱前置谓词理论的基础上,根据PAR方法开发的算法程序循环不变式,提出了一种使用Isabelle定理证明器对算法程序进行机械验证的方法。该方法既克服了传统手工验证过程的繁琐性和易错性等缺点,又达到"提高验证效率和保证算法程序高可信"的目标,具有很好的实用价值。 展开更多
关键词 形式化验证 定理机械证明 Dijkstra最弱前置谓词理论 PAR方法 算法程序 定理证明器
下载PDF
农业旱灾中人为因素的定量分析——以秀山县为例 被引量:2
18
作者 游珍 徐刚 +1 位作者 李占斌 蒋庆丰 《自然灾害学报》 CSCD 北大核心 2003年第3期19-24,共6页
以重庆秀山县为研究对象,对建国后50年中各年代人为因素对农业旱灾的作用进行了比较,探讨了其成因及变化趋势。研究表明,在20世纪50年代和60年代,秀山县由于生态破坏、水利设施不足和不合理的政策导向等,人为因素起着加剧旱灾灾情的作用... 以重庆秀山县为研究对象,对建国后50年中各年代人为因素对农业旱灾的作用进行了比较,探讨了其成因及变化趋势。研究表明,在20世纪50年代和60年代,秀山县由于生态破坏、水利设施不足和不合理的政策导向等,人为因素起着加剧旱灾灾情的作用,而在70年代至90年代,由于农业基础设施投入的加大、抗旱政策的制定等,人为因素开始起着越来越强的缓解灾情的作用。 展开更多
关键词 农业 旱灾 人为因素 定量分析 秀山县
下载PDF
重庆市暴雨规律及其引发的灾害初探 被引量:13
19
作者 游珍 蒋庆丰 徐刚 《重庆环境科学》 北大核心 2001年第3期13-16,共4页
暴雨是重庆市的主要灾害性天气之一 ,它直接或间接诱发山洪、泥石流、滑坡等山地灾害 ,研究暴雨规律对山地灾害预警和防灾减灾具有重要意义。本文依据重庆市 195 1~ 2 0 0 0年的气象资料和灾害资料 ,采用谐波分析等手段分析出重庆市暴... 暴雨是重庆市的主要灾害性天气之一 ,它直接或间接诱发山洪、泥石流、滑坡等山地灾害 ,研究暴雨规律对山地灾害预警和防灾减灾具有重要意义。本文依据重庆市 195 1~ 2 0 0 0年的气象资料和灾害资料 ,采用谐波分析等手段分析出重庆市暴雨的年内、年际等时间分布规律和地域、城乡、迁移等空间分布规律。进而探讨了暴雨灾害特点、类型及灾害链 ,并提出了防治对策和措施。 展开更多
关键词 暴雨规律 灾害 灾害链 重庆
下载PDF
Hanoi塔非递归算法的形式化推导和正确性验证 被引量:5
20
作者 游珍 薛锦云 《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期143-147,共5页
关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性.充分体现了PAR方法... 关于Hanoi塔问题的非递归算法已有大量的研究.运用薛锦云教授自创的PAR方法和循环不变式开发的新策略,形式化推导出逻辑结构清晰的Hanoi塔非递归算法及其循环不变式,并用Dijkstra最弱前置谓词法验证了该算法的正确性.充分体现了PAR方法的优越性、高效性和可靠性. 展开更多
关键词 HANOI塔 PAR方法 循环不变式 非递归算法 Dijkstra最弱前置谓词法
下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部