期刊文献+
共找到274篇文章
< 1 2 14 >
每页显示 20 50 100
广东省中医人力资源的公平性及空间分布趋势研究 被引量:2
1
作者 林利珊 易颖 +1 位作者 李燕 庞震苗 《卫生软科学》 2024年第3期69-74,共6页
[目的]探索广东省中医人力资源的配置现状以及空间分布趋势,为促进医疗卫生体制改革的发展提供参考。[方法]采用集聚度指标评价中医人力资源配置的公平性,并运用全局和局部空间自相关Morans I指数分析广东省21个地市中医人力资源的空间... [目的]探索广东省中医人力资源的配置现状以及空间分布趋势,为促进医疗卫生体制改革的发展提供参考。[方法]采用集聚度指标评价中医人力资源配置的公平性,并运用全局和局部空间自相关Morans I指数分析广东省21个地市中医人力资源的空间差异程度。[结果]2014-2021年,广东省中医人力资源总体呈增长趋势;中医人力资源按人口配置与按地理范围配置的公平性存在差距,且地区间呈现较大差异,广州、珠海等卫生资源集聚度与人口集聚度的比值最大,汕尾、潮州等比值最小;中医人力资源全局空间聚集水平略有下降,江门市高-高聚集,汕尾市低-低聚集,差异有统计学意义。[结论]广东省中医人力资源空间分布差距总体呈现下降趋势,但地市间仍有明显差距,建议政府发挥导向作用,结合多方面因素合理配置中医资源,促进各地区间协同发展。 展开更多
关键词 中医人力资源 公平性 聚集度 空间自相关
下载PDF
教育设施空间可达性与公平性研究——以西安市未央区公立小学为例 被引量:1
2
作者 张潇 钱勇生 +3 位作者 曾俊伟 魏谞婷 杨民安 张富涛 《科技和产业》 2024年第4期216-223,共8页
为了衡量城市居民的基础教育设施资源的供需关系,运用网络分析法和增强型两步移动搜索法,对西安市未央区10个街道分人口结构和四种出行方式的教育设施空间可达性进行分析;接着运用洛伦兹曲线和基尼系数对其进行公平性分析。结果表明,西... 为了衡量城市居民的基础教育设施资源的供需关系,运用网络分析法和增强型两步移动搜索法,对西安市未央区10个街道分人口结构和四种出行方式的教育设施空间可达性进行分析;接着运用洛伦兹曲线和基尼系数对其进行公平性分析。结果表明,西安市未央区的教育设施空间资源分布不均;空间可达性上总体呈现南部街道的教育设施可达性最高,而靠北部的5个街道可达性均较低;空间公平性方面,4种交通出行方式均表明教育设施分布的极度不公平。比较下步行方式公平性最差,而机动车方式公平性最好。基于此提出建议,优化相关部门机构对教育设施的空间布局以提高其公平性;完善公共交通系统以及提高道路网密度以提升公立学校空间公平性;加强空间公平性视角的城市教育资源设施配置研究。 展开更多
关键词 空间可达性 空间公平性 增强型两步移动搜索法 洛伦兹曲线 基尼系数 未央区
下载PDF
社会空间分异视角下成都市卫生资源配置公平性研究
3
作者 谭晓霜 任青蔓 +2 位作者 巴桑 莫色阿木 任晓晖 《中国卫生事业管理》 北大核心 2024年第4期410-414,共5页
目的:探讨基于社会空间分异视角下城市不同区域的卫生资源配置公平性,为城镇化背景下的城市卫生资源合理配置提供重要依据。方法:利用第七次人口普查数据,通过因子、聚类与判别分析探讨成都市社会空间分异情况;描述社会空间分异视角下... 目的:探讨基于社会空间分异视角下城市不同区域的卫生资源配置公平性,为城镇化背景下的城市卫生资源合理配置提供重要依据。方法:利用第七次人口普查数据,通过因子、聚类与判别分析探讨成都市社会空间分异情况;描述社会空间分异视角下成都市2020年卫生资源配置现状,利用基尼系数与泰尔指数从人口、经济和地理维度进行公平性评价。结果:在区县尺度成都市社会空间可划分为三类社会区。2020年社会区一每千人口床位数、卫技人员、执业(助理)医师和注册护士为8.82张、13.00人、4.71人、6.38人;社会区二分别为3.90张、5.39人、2.19人、2.47人;社会区三为8.36张、7.16人、2.64人、3.19人;各项卫生资源按人口、经济配置的基尼系数介于0.2~0.4,按地理配置的基尼系数都超过0.5;按人口、地理、经济配置的社会区内部差异贡献率分别介于45.42%~51.23%、30.37%~39.98%、78.81%~93.38%。结论:成都市社会空间分异显著,各社会区卫生资源配置水平及不同维度公平性存在差异。进行卫生资源规划时,还需考虑人口社会特征、区域经济和地理因素,兼顾不同维度的卫生资源公平性。 展开更多
关键词 卫生资源配置 社会空间分异 公平性 泰尔指数
下载PDF
不同尺度下城市公园绿地空间分配公平性研究——以南京市为例
4
作者 程铄淇 陈宇 +3 位作者 董宝莹 王瑜琳 谭梓茵 吴奕 《扬州大学学报(农业与生命科学版)》 CAS 北大核心 2024年第1期139-146,共8页
城市化快速发展背景下,维护城市公园绿地资源配置公平成为人们关注焦点。基于南京市研究范围公园绿地空间分布、住宅属性特征等数据,利用住宅价格特征表征居民社会经济属性,探究3个不同尺度下公园绿地(社区级、区域级、城市级)空间分配... 城市化快速发展背景下,维护城市公园绿地资源配置公平成为人们关注焦点。基于南京市研究范围公园绿地空间分布、住宅属性特征等数据,利用住宅价格特征表征居民社会经济属性,探究3个不同尺度下公园绿地(社区级、区域级、城市级)空间分配公平性,为未来城市公园绿地规划提供依据。结果表明:3种尺度的公园绿地高可达性区域主要集中在秦淮河沿线及其周边地区。3种尺度的公园绿地可达性空间分布特征均与住宅价格呈正相关,即高房价住宅区居民享有更好的公园绿地服务水平。其中,区域级公园绿地可达性空间分布特征与住宅价格相关性最高,这反映出区域级公园绿地空间分配不公平程度最为严重。 展开更多
关键词 城市公园绿地 不同尺度 空间分布 公平性
下载PDF
基于HRAD-GIS法的广西专业公共卫生机构卫生资源配置公平性评价及其空间差异分析
5
作者 韦兴焕 陈丽丽 +1 位作者 张兴隆 冯俊 《中国卫生统计》 CSCD 北大核心 2024年第5期742-746,共5页
目的分析2016-2021年广西专业公共卫生机构卫生资源配置情况,为“十四五”期间合理配置公共卫生资源提供参考。方法采用卫生资源集聚度(health resource agglomeration degree,HRAD)分析其资源配置公平性,利用地理信息系统(geographic i... 目的分析2016-2021年广西专业公共卫生机构卫生资源配置情况,为“十四五”期间合理配置公共卫生资源提供参考。方法采用卫生资源集聚度(health resource agglomeration degree,HRAD)分析其资源配置公平性,利用地理信息系统(geographic information system,GIS)分析其公平性的空间差异。结果2016—2021年,广西专业公共卫生机构数逐年下降,其余卫生资源总量逐年上升;无论是从地理、人口还是经济角度配置的卫生资源整体公平性不佳;2021年,机构数集聚度在防城港和北海最高,在河池来宾最低,其余卫生资源均在南宁和北海集聚度最高,在百色和河池最低;按地理、人口和经济配置的各项卫生资源稀疏区和密集区所占比例均值分别为48.57%、40%和40%,各地区配置水平差异较大,空间分布差异性显著。结论建议多措并举优化公共卫生资源配置,因地制宜合理配置,缩小地区配置差异,推动公共卫生事业高质量发展。 展开更多
关键词 专业公共卫生机构 卫生资源集聚度 公平性 空间差异 GIS
下载PDF
协同生态系统服务与公平性的城市绿色空间配置优化----以武汉市中心城区为例
6
作者 谭传东 洪歌 吴雪飞 《现代城市研究》 北大核心 2024年第7期24-29,共6页
能提供多种生态系统服务的城市绿色空间对于改善城市环境、增进居民健康及福祉具有重要作用。在高密度城市建成环境中合理配置绿色空间,同时满足生态效益、社会公平及用地限制等多种目标,是实现城市可持续发展的重要途径之一。文章以武... 能提供多种生态系统服务的城市绿色空间对于改善城市环境、增进居民健康及福祉具有重要作用。在高密度城市建成环境中合理配置绿色空间,同时满足生态效益、社会公平及用地限制等多种目标,是实现城市可持续发展的重要途径之一。文章以武汉市中心城区为例,选择空气净化、热岛效应缓解和雨洪调节3项生态系统服务作为生态效益优化目标,使用绿色空间配置基尼系数表征公平性,基于多目标线性规划方法构建以生态系统服务最大化和公平性最大化为目标的城市绿色空间配置优化模型。研究结果表明:基于多目标线性规划的城市绿色空间配置优化模型能够综合考虑多种社会和环境制约因素,同时集成多种生态系统服务,以及权衡生态效益与公平性之间的矛盾。该模型具有足够的灵活性与扩展性,可为武汉以及其他城市区域的绿色空间配置优化提供新的方法与思路。 展开更多
关键词 城市绿色空间 生态系统服务 多目标优化 公平性 配置优化
下载PDF
昆明市主城区公园绿地空间布局公平性分析研究
7
作者 李佳蔚 区智 《绿色科技》 2024年第1期56-61,共6页
公园绿地是城市内重要的公共服务设施,对于丰富城市公园绿地空间配置起着重要作用。然而,传统公园绿地公平性评价的局限性越来越明显,因此研究公园绿地公平性势在必行。以昆明市主城区公园绿地为研究对象,运用网络分析方法,对公园绿地... 公园绿地是城市内重要的公共服务设施,对于丰富城市公园绿地空间配置起着重要作用。然而,传统公园绿地公平性评价的局限性越来越明显,因此研究公园绿地公平性势在必行。以昆明市主城区公园绿地为研究对象,运用网络分析方法,对公园绿地的服务范围进行分析,并从数量、面积、类型以及是否收费等四个维度对昆明市主城区现有公园绿地进行了探究,以了解昆明市主城区公园绿地资源公平性是否存在失调问题。研究结果显示:昆明市主城区居住小区的公园绿地供给存在明显的不公平现象,主城区中心区域的居住小区在数量、总面积和类型上占有优势。此外,部分主城区部分居民所享有的公园绿地类型比较单一,并且部分公园绿地存在收费情况,同时收费公园分布也存在不均匀现象。昆明市主城区公园绿地资源在上述四个维度上都存在分布不均等问题,这可能导致公园绿地资源利用的不公平,需要引起重视。为了进一步促进昆明市主城区公园绿地空间布局公平性,建议采取相应措施,如增加公园绿地数量、优化公园绿地分布、丰富公园绿地类型等,以提供有效参考。 展开更多
关键词 公园绿地 公平性 空间布局
下载PDF
广西壮族自治区卫生资源配置公平性及空间特征研究
8
作者 高祺阳 张宇 周恭伟 《中国卫生信息管理杂志》 2024年第2期317-324,共8页
目的分析2022年广西壮族自治区卫生资源配置公平性及空间特征,为进一步优化卫生资源配置提供参考。方法本文采用洛伦兹曲线、基尼系数、卫生资源集聚度等方法,深入分析卫生资源配置公平性,并通过空间自相关分析方法揭示其空间特征。结... 目的分析2022年广西壮族自治区卫生资源配置公平性及空间特征,为进一步优化卫生资源配置提供参考。方法本文采用洛伦兹曲线、基尼系数、卫生资源集聚度等方法,深入分析卫生资源配置公平性,并通过空间自相关分析方法揭示其空间特征。结果广西壮族自治区卫生资源总量呈上升趋势。进一步分析表明,自治区按人口配置的各类卫生资源,其基尼系数均低于0.3,显示出相对较高的公平性;按地理配置的基尼系数均在[0.3,0.4),存在一定不公平性;各地市卫生资源集聚度及其人口集聚度的比值跨度较大,其中南宁市、北海市、钦州市、玉林市各类卫生资源集聚度均大于1。各类医疗资源全局Moran’s I指数均大于0。局部空间自相关结果显示,卫生人力、物力资源配置存在空间相关性,玉林市、钦州市为高高集聚,南宁市为高低集聚。结论广西壮族自治区卫生资源主要聚集在经济发展较好的地区,尤其是卫生人力资源。卫生资源配置的公平性仍有提升空间,应将地理因素和社会发展因素共同作为资源配置的重要依据;资源投入需因地制宜,相邻地区加强合作,缩小区域差距,促进区域卫生资源均衡发展。 展开更多
关键词 卫生资源配置 公平性 空间特征
下载PDF
城市公园绿地空间布局公平性研究
9
作者 王兴瑜 姚文飞 +1 位作者 陈菲 侯可明 《中国城市林业》 2024年第3期112-118,共7页
随着城市发展的高密度化,城市公园绿地配置不公平性日益突出。文章以青岛市北区作为研究区域,划分行政街道作为空间单元,从城市公园绿地供给质量、空间可达性2个维度衡量公园绿地空间布局公平性。结果表明:空间单元内绿地资源以及人口... 随着城市发展的高密度化,城市公园绿地配置不公平性日益突出。文章以青岛市北区作为研究区域,划分行政街道作为空间单元,从城市公园绿地供给质量、空间可达性2个维度衡量公园绿地空间布局公平性。结果表明:空间单元内绿地资源以及人口密度的差异导致公园绿地供给质量分布不均,同时交通网络的便捷性也影响可达性;可达性作为影响空间公平性的关键因素,使得公园绿地供给质量较高但处于可达性盲区的区域空间布局公平性降低,从而导致公园绿地空间布局整体呈现“东北高、西南低”的趋势,且协调度相差较大,最高差距为0.78。对此,建议对协调度较差的空间单元内公园绿地进行增建或改建,增强绿地间联系,同时兼顾与人口的空间匹配。 展开更多
关键词 公园绿地 空间公平性 可达性 绿地质量 青岛市
下载PDF
我国产前诊断机构空间可及性与公平性 被引量:1
10
作者 徐颖 杨肖光 周萍 《中国卫生资源》 北大核心 2021年第3期307-310,共4页
目的评价我国产前诊断机构的空间可及性与公平性,以期为优化此类机构的空间规划布局提供参考。方法用两步移动搜索法和空间基尼系数对我国产前诊断机构的空间可及性和公平性进行评价。结果我国中东部地区和各省(自治区、直辖市)中心城... 目的评价我国产前诊断机构的空间可及性与公平性,以期为优化此类机构的空间规划布局提供参考。方法用两步移动搜索法和空间基尼系数对我国产前诊断机构的空间可及性和公平性进行评价。结果我国中东部地区和各省(自治区、直辖市)中心城市产前诊断服务的空间可及性与公平性均优于西部地区和偏远地区。结论建议适当增加西部地区和偏远地区的产前诊断机构与卫生技术人员数量,以优化我国产前诊断机构的规划布局。 展开更多
关键词 产前诊断机构antenatal diagnosis institution 两步移动搜索法two-step floating catchment area method 空间基尼系数spatial Gini coefficient 空间可及性spatial accessibility 空间公平性spatial fairness
下载PDF
中国环境污染排放的空间公平性评价 被引量:6
11
作者 杨振 王佳 叶护平 《华中师范大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第3期490-494,共5页
对环境污染排放实行总量控制并保证其空间公平性,是改善环境质量、实现区际和谐发展的重要条件.借鉴评价收入公平性的指标——基尼系数的内涵,提出环境污染基尼系数和人口(经济)—污染空间一致性系数的概念,发展了一种评估环境污染排放... 对环境污染排放实行总量控制并保证其空间公平性,是改善环境质量、实现区际和谐发展的重要条件.借鉴评价收入公平性的指标——基尼系数的内涵,提出环境污染基尼系数和人口(经济)—污染空间一致性系数的概念,发展了一种评估环境污染排放空间公平性的方法.以1995年~2006年的中国环境污染排放为例,分别计算了基于人口和GDP的工业废水、工业废气和工业固体废物的污染基尼系数与人口(经济)—污染空间一致性系数.分析结果表明,中国环境污染排放的空间差异较小,总体上处于相对公平状态,不公平因子既有沿海省份也有内陆省份.对环境污染排放的空间公平性进行评价研究,可以为国家实行差别化的环境经济政策提供依据. 展开更多
关键词 空间公平性 环境污染基尼系数 空间一致性系数
下载PDF
串空间方法分析协议公平性的研究 被引量:4
12
作者 王涛 郭荷清 姚松涛 《计算机工程与应用》 CSCD 北大核心 2004年第35期17-21,52,共6页
探讨了将串空间模型应用于描述安全协议公平性的方法,并提出串空间模型描述公平协议的一些问题。分析了在描述公平协议时,串空间模型需要进行的几个扩展,包括:描述协议步骤在什么情况可以执行的扩展;描述协议执行过程中角色动态分配的扩... 探讨了将串空间模型应用于描述安全协议公平性的方法,并提出串空间模型描述公平协议的一些问题。分析了在描述公平协议时,串空间模型需要进行的几个扩展,包括:描述协议步骤在什么情况可以执行的扩展;描述协议执行过程中角色动态分配的扩展;描述协议步骤同步执行的扩展。应用扩展后的串空间模型对KM协议进行了形式化描述。 展开更多
关键词 安全协议 公平性 空间 形式化描述
下载PDF
基于公平性原则的区域碳排放空间分配研究综述 被引量:4
13
作者 杨艳芳 郑海霞 《资源开发与市场》 CAS CSSCI 2016年第7期802-807,共6页
碳排放的公平性是区域间设计差异化的碳排放总量分配政策和减排政策的基础,是我国实施碳排放总量控制过程中的关键问题。从碳排放公平性的原则、衡量方法入手,总结和分析我国区域碳排放空间分配研究研究进展。现有文献的研究结果表明,... 碳排放的公平性是区域间设计差异化的碳排放总量分配政策和减排政策的基础,是我国实施碳排放总量控制过程中的关键问题。从碳排放公平性的原则、衡量方法入手,总结和分析我国区域碳排放空间分配研究研究进展。现有文献的研究结果表明,目前存在对重点区域的碳排放公平性问题研究不足、衡量公平性指标单一等问题,未来的研究应重点关注公平性的综合测度和区域的综合发展背景下的区域碳排放空间设计。 展开更多
关键词 区域碳排放 公平性 空间分配 综述
下载PDF
考虑路网可靠性和空间公平性的次优拥挤收费模型 被引量:4
14
作者 吕彪 蒲云 刘海旭 《运筹与管理》 CSSCI CSCD 北大核心 2013年第2期188-194,共7页
根据随机路网环境下出行者规避风险的路径选择行为,提出了一种考虑路网可靠性和空间公平性的次优拥挤收费双层规划模型。其中,上层模型以具有空间公平性约束条件下最大化路网的社会福利为目标,下层模型是实施拥挤收费条件下考虑行程时... 根据随机路网环境下出行者规避风险的路径选择行为,提出了一种考虑路网可靠性和空间公平性的次优拥挤收费双层规划模型。其中,上层模型以具有空间公平性约束条件下最大化路网的社会福利为目标,下层模型是实施拥挤收费条件下考虑行程时间可靠性的弹性需求用户平衡模型。鉴于双层规划模型的复杂性,设计了基于遗传算法和FrankWolfe算法的组合式算法来求解提出的模型。算例结果表明:考虑行程时间可靠性的次优拥挤收费会产生不同于传统次优拥挤收费的平衡流量分布模式,表明出行者的路径选择行为对拥挤收费结果会产生直接影响;此外,算例结果还说明遗传算法对参数设置具有很强的鲁棒性。 展开更多
关键词 交通经济 次优拥挤收费 双层规划 道路交通 遗传算法 网络可靠性 空间公平性
下载PDF
非否认协议公平性分析的扩展串空间方法 被引量:1
15
作者 李磊 陈静 王育民 《西安交通大学学报》 EI CAS CSCD 北大核心 2010年第6期16-20,共5页
针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串空间理论,从而对串空间理论的项集合进行重新定义,进一步通过对子项关系、攻击者迹和自由加密假定的扩展,... 针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串空间理论,从而对串空间理论的项集合进行重新定义,进一步通过对子项关系、攻击者迹和自由加密假定的扩展,并结合丛概念,构成了扩展串空间.分析非否认协议的公平性,首先将协议行为归纳为攻击者串、发送者串、接收者串和可信第3方串,以此构造协议的扩展串空间模型,然后结合协议迹和定理证明验证丛中存在发送者串等价于丛中存在接收者串,从而证明非否认协议公平性.通过扩展串空间方法对Zhou-Gollmann协议公平性的分析,得到了与Kailar逻辑和Lanotte自动验证方法相同的结果.与Kailar逻辑相比,扩展串空间方法仅使用自由加密假定,弱化了初始假定;与Lanotte自动验证方法相比,扩展串空间方法无需使用状态空间搜索,避免了状态空间爆炸问题. 展开更多
关键词 非否认协议 扩展串空间 协议验证 公平性
下载PDF
人口空间移动与公共资源配置的公平性分析——以上海为例 被引量:8
16
作者 郭秀云 《人口与发展》 CSSCI 北大核心 2013年第5期68-77,共10页
人口空间移动与公共管理和服务资源配置之间是双向互动的关系。以上海为例,分析2000-2010年人口空间移动特征,并引入泰尔指数测算公共资源区域配置的公平性。人口变动受外来人口迁移和市内人口迁移双重影响,现有的公共资源配置与常住人... 人口空间移动与公共管理和服务资源配置之间是双向互动的关系。以上海为例,分析2000-2010年人口空间移动特征,并引入泰尔指数测算公共资源区域配置的公平性。人口变动受外来人口迁移和市内人口迁移双重影响,现有的公共资源配置与常住人口总量及其结构不相匹配。未来公共资源供给和服务分配的政策应按照"有条件的均等化"的原则进行制度安排,在人口空间移动和服务资源配置的良性互动中调控人口发展和城市化进程。 展开更多
关键词 人口空间移动 公共资源配置 公平性 上海
下载PDF
中医药卫生资源空间配置公平性评价指标体系框架研究 被引量:1
17
作者 陈旭 于丽娅 +3 位作者 李爽 马祥 潘国伟 张蕊 《辽宁中医药大学学报》 CAS 2018年第6期132-134,共3页
目的:通过构建中医药卫生资源空间配置评价指标体系,研究中医药卫生资源空间配置公平性。方法:应用一般描述性研究、卫生资源配置公平性评价和空间可达性构建中医药卫生资源空间配置公平性评价指标体系。结果:应用洛伦兹曲线(Loren... 目的:通过构建中医药卫生资源空间配置评价指标体系,研究中医药卫生资源空间配置公平性。方法:应用一般描述性研究、卫生资源配置公平性评价和空间可达性构建中医药卫生资源空间配置公平性评价指标体系。结果:应用洛伦兹曲线(Lorenz曲线)和基尼系数(Gini系数)评价中医药卫生资源配置公平性,地理信息系统(GIS)评价中医药卫生资源的空间可达性。结论:通过构建中医药卫生资源空间配置公平性评价指标体系能够全面体现中医药卫生资源配置是否公平,为相关管理部门提供有利的政策依据。 展开更多
关键词 中医药卫生资源 空间配置 公平性评价指标
下载PDF
基于暴露视角的城市健康空间公平性研究——以南京为例 被引量:5
18
作者 陈曦 冯建喜 Pnina Plaut 《城乡规划》 2018年第3期27-33,共7页
儿童与老年人是城市健康问题中的弱势群体,在低步行性、高污染物暴露的城市空间中更容易受到影响健康的威胁。本文以南京为例,基于污染物暴露视角,在识别健康空间的基础上,探索儿童与老年人的空间分布与步行性及污染物暴露的比较关系,... 儿童与老年人是城市健康问题中的弱势群体,在低步行性、高污染物暴露的城市空间中更容易受到影响健康的威胁。本文以南京为例,基于污染物暴露视角,在识别健康空间的基础上,探索儿童与老年人的空间分布与步行性及污染物暴露的比较关系,并进一步分析健康空间的公平性问题。研究发现,健康空间分布对不同年龄结构的人群没有明显的倾向性,儿童相比老年人面临更加严峻的健康环境问题。研究还发现,弱势群体有被资本排挤出健康空间的趋势。 展开更多
关键词 儿童 老年人 健康城市 空间公平性
下载PDF
具有公平性约束的CTL部分状态空间模型检测 被引量:1
19
作者 徐蔚文 陆鑫达 《计算机工程》 CAS CSCD 北大核心 2003年第5期10-12,共3页
检测部分状态空间是近年来出现的有效解决状态爆炸的模型检测技术,部分Kripke 结构是描述部分状态空间的形式框架。文章主要讨论一类具有公平性约束条件的CTL(计算树逻辑)模型检测问题。定义了部分公平Kripke结构和公平序,分别来表... 检测部分状态空间是近年来出现的有效解决状态爆炸的模型检测技术,部分Kripke 结构是描述部分状态空间的形式框架。文章主要讨论一类具有公平性约束条件的CTL(计算树逻辑)模型检测问题。定义了部分公平Kripke结构和公平序,分别来表征部分公平状态空间和它们之间的序关系。并给出相应的3值CTL语意和相关定理来说明部分状态空间模型检测技术同样适用于具有公平性约束条件的CTL模型检测问题。 展开更多
关键词 公平性约束 CTL 部分状态空间 模型检测 部分Kripke结构 计算树逻辑 命题逻辑
下载PDF
和谐社会与和谐城乡空间:公平性的量化指标研究 被引量:2
20
作者 黄天其 《规划师》 2007年第9期9-11,共3页
构建和谐社会的提出,促使城乡规划建设领域开始发生深刻的认识和体制变革,以创造真正和谐的城乡空间。通过规划建设形成的城乡空间的重要社会品质是其公平性,理解和利用"四态"和"五境"的概念和量化的方法有助于实... 构建和谐社会的提出,促使城乡规划建设领域开始发生深刻的认识和体制变革,以创造真正和谐的城乡空间。通过规划建设形成的城乡空间的重要社会品质是其公平性,理解和利用"四态"和"五境"的概念和量化的方法有助于实现这一目标的政策调控。 展开更多
关键词 和谐社会 城乡空间 公平性 量化指标
下载PDF
上一页 1 2 14 下一页 到第
使用帮助 返回顶部