基于Petri网可达分析的代码搜索方法

复用已有高质量源代码可提高软件开发效率及软件质量.当前,基于用户提供的输入输出对的匹配判断是代码语义搜索的主要方法之一,但该方法难以刻画完整代码行为,且仅能处理单输入类型.提出一种针对多种形式类型匹配的代码语义搜索方法.首先将代码集内各个代码片段中数据对象个数及类型的加工过程转换为Petri网模型;其次根据用户查询中蕴含的数据类型及个数、输出数据类型等约束来构造Petri网初始标识和目标标识;然后在Petri网中通过可达图及诱发网分析判断是否存在相应的可达路径,从而获得代码匹配依据.分析及实验表明,该方法能有效实现多种形式的输入输出类型匹配的代码搜索,且相对于传统类型匹配方法,能明显提高搜索准确度和效率.

离网运行的直流微电网可达性分析

为刻画不确定扰动下离网运行的直流微电网系统运行特性曲线并描述系统的安全运行范围,提出一种能够有效描述系统在扰动下运行状态的可达性分析方法。该方法基于齐诺多面体来描述直流微电网系统的不确定扰动,进而通过一次计算便可得出所有描述系统变化趋势的可达集集合,以及状态变量的运行区域与运行边界,快速判断系统在各类扰动下的稳定运行状态。相比传统蒙特卡罗时域仿真法,对于不确定性扰动下系统稳定运行状态的判断效率显著提升。通过与Matlab/Simulink时域仿真结果的对比分析,验证了所提可达性分析方法的有效性与高效性。

基于网络分析法的公园绿地可达性研究

文章以株洲市中心城区为例,运用了网络分析法探究路网等微观因子对可达性的影响程度,并对可达性进行优化,从而提高中心城区公园绿地可达性水平,促进公园绿地配置合理。研究表明,城市公园绿地的可达性程度依赖路网的完善程度;研究区范围内分布不均衡,主要集中在研究区中西部地区,东侧缺少公园布置;研究区内公园的可达性一般,步行最差,机动车最好,在30 min时才能全部覆盖。

月球车长距离可达性分析与路径规划方法研究

针对目前全月范围高分辨率数字高程模型缺乏的现状,提出一种高分辨影像与全月数字高程模型结合的分级路径规划方案。首先,基于全月中等分辨率(20 m)数字高程模型进行全局初始路径规划;然后,利用米级的遥感影像构建初始路径周围的正射影像,基于构建的高分正射影像进行路径的优化,获得最后的长距离路径规划。以中丰富海、西南丰富海及斯内利厄斯月谷等具有科学价值的区域综合起来作为大范围实验区进行长距离可达性分析与路径规划实验,并通过局部的高分辨率高程模型进行规划结果验证。实验结果表明:该方法能在高分数字高程模型受限的情况下,保证月球车路径规划的可靠性,研究可为中国新型月球车的设计、任务论证及后续的工程实施提供关键技术支撑。

基于可达性分析的配电网故障指示器优化配置

针对配电网复杂的拓扑结构及潜在故障的未知性导致最优的故障指示器配置模型过于复杂且灵活性不高的问题,本文提出一种基于可达性分析的配电网故障指示器优化配置方法。首先,根据故障指示器的故障指示特性及已知的原始网络拓扑,利用可达性分析结合预想事故集对故障区段进行辨识,计算故障中断损失;其次,考虑配电网所需容错能力,建立优化筛选模型,以此获得配电网故障指示器优化配置最优解;最后,在实际10 kV中压配电网进行测试,验证在复杂拓扑及潜在故障未知情况下所提方法的有效性和实用性,结果表明,所提方法可以满足故障中断损失和投资运维成本之间的最优权衡。

基于ArcGIS的路网交通可达性分析

城市交通是城市经济发展和人口活动的基础,已成为不可或缺的重要环节。而城市轨道交通路网由于其运量大、速度快以及准点率高的特点,成为了改善城市公共交通的主要手段。在此背景下,提出基于ArcGIS对城市轨道交通进行交通可达性分析,更加利于提升目前交通网络使用效率,并优化轨道交通网络规划。

基于地图API的公共绿地可达性分析

公共绿地的可达性是评价绿色基础设施配置合理性的重要指标,能直观表征市民获取、享受绿地的便捷程度与机会。在可达性分析中引入地图API服务,基于轻量级路线规划服务结合ArcGIS构建等时圈来表征可达性,能够提高分析的直观度与精度;同时以人口密度表征片区内居民对公共绿地的需求程度,通过双变量空间自相关分析反映公共绿地供给与需求之间的匹配程度,提高评价的全面性。基于构建的可达性分析模型,以上海黄浦区淮海中路街道为例进行了实证分析,研究得出淮海中路街道绿地资源配置存在不合理性,在研究范围西南部分形成了较大面积服务盲区。同时绿地资源在空间布局上相对集中,供大过需、供小于需的供需不匹配现象明显。未来片区内公共绿地建设应以居民需求为指引,注重小尺度公共绿地的增量建设,并对利用率较低的附属绿地或公共空间进行存量提质优化。

高明区明城镇水环境综合整治可达性分析

水环境治理已成为小城镇可持续发展的关键环节,为研究小城镇水环境治理的可行性方案,本文以佛山市高明区明城镇为研究对象,对小城镇水环境污染成因进行剖析,有针对性地提出总量控制和污染物削减要求,进而提出水环境综合治理方案,并对该方案进行目标可达性分析。结果表明,小城镇水环境污染成因主要是水源自然补给不足、纳污能力有限和面源污染突出;小城镇的水环境治理应采取多元化手段进行一体化保护和系统综合治理,以达到水质改善的目的;由于明城镇主要入境污染量由上游来水水质决定,建议后续针对上游污染源现状进行排查。

不确定扰动下交直流混合配电系统的可达性分析

交直流混合配电系统中高比例可再生能源并网引入了强不确定性,给系统的安全运行带来巨大挑战。文中提出一种交直流混合配电系统可达性分析方法,能够有效刻画不确定性下的系统动态特性。首先,说明了可达性分析在交直流混合配电系统的适用性。接着,阐述了可达性分析的基本原理,利用齐诺多面体表征系统中不确定扰动。然后,从主站电压源型换流器(VSC)出发,到直流网络,再到从站VSC,进一步构建了交直流混合配电系统的非线性微分代数方程,及其线性化处理后的系统微分包含式,并在此基础上提出了考虑直流负荷叠加可再生能源不确定扰动下交直流混合配电系统可达性分析方法。最后,结合MATLAB/Simulink仿真验证了所述方法的有效性,能够刻画不确定性扰动下直流电压等关键状态变量随时间变化的所有运行轨迹及其边界范围。

基于网络地图的城市中小学与社区可达性分析——以南宁市青秀区主城区为例

中小学的主要服务对象是居住在其周边社区的适龄儿童及青少年,因此,从社区到中小学所需时间,以及中小学的服务半径,是进行中小学及社区规划设计的重要指标。通过对比空间分布、结合行为模式的可达性分析,能够反映出行方式、人口密度、服务能力等综合因素,这是测度中小学空间和人口服务能力的有效手段。城市较乡村具有更加复杂的交通系统和更加稠集的人口密度,研究一定条件下的中小学与社区可达性,一是对标现行规范,量化分析城市现有中小学布点、服务区域划分及规模设置是否合理;二是为行政主管部门制定规范及划定中小学服务区域提供改进方案;三是为学生和家长提供更加合理的出行方案。

服务乡村振兴的县域基础医疗设施可达性分析关键技术研究

为实现GIS技术有效服务县域范围医疗设施资源分配与可达性分析,准确对接乡村振兴中医疗领域的实际需求,给出一种快速程序化分析技术;该文研究在分析县域医疗资源空间特点基础上,通过类型、位置、等级和上级可达性等信息空间化表达乡村医疗设施;继而基于道路构建网络分析数据集,针对县域道路等级低的特点提出道路弯曲度调整道路网络速度的方法;最后通过C#+OLEDB数据库+ArcEngine的二次开发方式调用可达性分析函数,实现数据输入与可达性分析参数的动态调整,达到快速处理,自动计算,可视输出的程序化分析效果;研究结果表明,县域医疗资源相对薄弱,而且具有纵向行政管理与行政空间分布特征,道路网络等级低,道路形态影响速度,网络节点多,行政中心、医疗中心与大城市的连接度具有重要作用;乡村道路网络与行政中心的上级可达性对县域医疗资源空间分析有重要影响。因此在构建道路网络数据集时,除考虑道路级别、连通性外,还要考虑实际道路形态对运行速度的重大影响,可通过该文提出的道路弯曲度系数及其速度对应关系加以调整;采用C#+ArcEngine模式调用相关函数,可以实现快速、可视和程序化的医疗资源分配与可达性分析,结合数据库技术还可实现分析数据、分析参数的实时调整,满足不同县域个性化需求。

长三角城市滨江公共空间避雨设施可达性分析——以上海市徐汇滨江绿地为例

避雨设施作为应对突发降雨情况的公共服务设施,其可达性是衡量空间服务效能的重要因素之一。文章选取上海市徐汇滨江绿地避雨设施为研究对象,对不同雨量情景下公众对避雨设施的功能需求与抵达避雨设施的时间成本阈值进行调研,运用费用加权距离法对避雨设施的可达性进行评价。结果表明:1)伴随雨量增大,避雨设施的可达性满意度呈下降趋势。可达性满意区域占比由小雨情景的44.04%下降至大雨情景的17.71%,不满意区域占比由小雨情景的11.29%上升至大雨情景的37.31%。2)徐汇滨江避雨设施的可达性满意区域主要集中在西南部带状滨水区域,不满意区域主要集中在东北部高层建筑与绿化覆盖区域。3)设施等距配置与室外复合型避雨设施的不足是徐汇滨江避雨设施服务效能偏低的主要原因。最后,基于分析结果提出不同雨量情景下的避雨设施提升策略,以期为长三角滨江公共空间避雨设施的功能提升与精准配置提供参考。

基于POI的旅游基础服务设施空间格局及可达性分析

以张家界市核心区旅游基础服务设施为研究对象,在获取张家界市核心区旅游基础服务设施POI数据基础上,经纠偏、去重、筛选和融合等数据清洗过程之后,整理形成张家界市核心区范围内的旅游基础配套设施包括酒店、大型商超、停车场和银行网点位置和道路交通网络等,采用定量化的分析方法,从地理空间角度对张家界市旅游基础设施空间布局特征及可达性进行分析,为张家界市旅游基础设施优化配置、旅游设施发展空间布局和合理规划提供有效参考。

考虑拥堵状况的城市主城区小学设施可达性研究

基于poi数据、交通态势数据采用栅格耗费距离法对小学教育设施可达性进行研究,并以济南市主城区小学教育设施为研究对象,对比分析不同出行方式下的小学教育设施的可达性。结果表明:济南市小学教育设施可达性特征是市中区北部与天桥区南部可达性较好,南部山区以及历下区南部千佛山黄金谷附近受地形因素影响可达性相对较差,黄河以北地区的可达性有待改善。机动车出行与自行车出行的可达性差异不明显,在一些偏远地区机动车的可达性优势较大,而机动车与自行车的可达性明显优于步行方式的可达性。

一种基于程序可达图的并发程序依赖性分析方法

依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统的以语句为节点的并发程序依赖图相比,MSDG图中依赖关系不仅精确,且具有可传递性,对其遍历可获得高精度的并发程序切片,精度和效率较其它高精度切片方法有显著提高.

基于区域可达性分析的复杂配电网可靠性评估

随着配电网规模的扩大和用户对供电可靠性要求的提高,复杂配电网可靠性评估日益成为研究的热点。针对传统可靠性计算方法过程繁琐、描述复杂、存在冗余搜索的问题,本文引入图论中的可达性分析理论,提出了基于区域可达性分析的复杂配电网可靠性评估方法。该方法以矩阵分析与计算为基础,将可靠性评估转化为配电区域与电源点的连通性问题,通过可达性矩阵分析实现了配电网分区和故障后果模式判定。配电网分区和可达性分析的结合,有效地降低了配电网可靠性评估的复杂度。仿真结果表明了该方法的正确性和有效性。

基于可达性分析的主动配电网多故障分区修复策略

随着分布式能源渗透率的提高,电力系统中的设备及器件的种类和数量愈加繁多。多故障发生时,从全网搜索开关的状态进行失电负荷恢复工作耗时过长,不能满足多故障修复快速性的要求,因此,研究一种快速的分区协调修复策略显得尤为重要。基于图论中可达性分析方法,建立主动配电网多故障动态分区修复模型。多故障发生后,首先对主动配电网进行子区域划分,根据各个子区域特点及失电负荷恢复率指标,将失电子区域分为不同的场景,利用分布式电源(DG)或移动应急电源车对失电负荷进行恢复,得到不同时段不同场景恢复策略;针对各个时段各个分区修复策略之间可能存在交叉的问题,根据多代理系统的自治性、协调性,将离散细菌群体趋药性(DBCC)算法嵌入多代理系统中,对各个子区域恢复策略进行协调优化,实现多故障抢修和恢复的协调优化。同时考虑到多故障修复过程中通信不利的情况,95598系统和抢修小队自身的知识库相结合为修复中心提供实时数据,抢修小队依据95598系统和自身知识更新自己所负责区域故障点的抢修顺序,尽快完成多故障修复工作。最后,以IEEE 69节点为例,验证所提策略的有效性和可行性。

基于GIS的城市公园绿地可达性时空变化分析

公园绿地可达性是指人们从不同方向到达公园的难易程度,可以从一定程度反映一个城市道路和绿化基础设施建设的水平。文中主要采用2006、2011和2016年3期的QuickBird影像,通过实地公园调查,利用RS和GIS技术,采用网络分析的方法对沈阳三环以内的城市公园绿地的可达性进行分析。结果表明,沈阳市城市公园绿地可达性有了较大程度的改善,尤其是2006—2011年间;各时期城市公园自驾车可达性优于步行方式;城市公园步行可达性面积最大的时段集中在15~30min,而自驾车则是0~5min;沈阳市城市公园绿地可达性的提升,主要得益于10年来沈阳城市规划和基础设施建设的发展,未来主要的提升空间集中在二环与三环路之间,特别是东北部地区。文中成果将为沈阳未来的城市规划和生态环境建设提供决策支持。

时间自动机可达性分析中的状态空间约减技术综述

时间自动机是检验实时系统建模的有效工具,其可达性分析可以检验系统是否可能达到某些特定的状态,其算法通常采用对符号状态的枚举来遍历其状态空间。因为引入了时钟变量,时间自动机的可达性分析算法会产生大量的中间状态,需要巨大的存储空间,往往超出了计算机能力的极限,导致分析和检验不能完成。这就是所谓的“状态空间爆炸”。研究人员设计了很多种优化技术来约减可达性分析所需的存储空间,以解决或者缓解这个问题。本文首先介绍了时间自动机及其可达性分析的基本概念,然后分类讨论了现有的空间约减优化技术并对此做出总结,最后提出了一些未来的研究方向。

基于ArcGIS和Python集成开发可达性分析工具的研究

为降低可达性度量的实现难度,弥补现有GIS软件没有集成可达性分析模型或方法的不足,在详尽分析有关模型或方法与GIS集成研究现状的基础上,提出以改进潜能模型作度量模型,按GIS内部集成方式,使用面向ArcGIS 10的Python脚本编程技术集成开发可达性分析工具的设想,对可达性潜能模型分析原理、工具开发环境配置、使用数据的预处理要求、工具的具体设计流程和实现方法等作了详细叙述。最后以评价某市小学教育资源空间布局合理性为例,阐述工具在实际应用中应采取的使用方法和流程,实例评价结果验证工具开发的有效性。