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

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

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

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

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

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

基于可达性分析的网联自主车辆换道安全轨迹规划与仿真

为解决网联自主车辆在换道时前车向目标车道紧急变道所引发的交通安全问题。通过考虑车道线与道路边界约束以及网联自主车辆与障碍车辆的碰撞风险,建立了换道临界碰撞模型。综合考虑换道临界模型与多项式规划方法,规划带安全约束的换道轨迹。进一步为降低网联车辆紧急避障的反应时间,提高避让轨迹的动态响应效果,采用可达性分析方法搜索出安全区域,使用多项式规划安全避让轨迹。最后针对具体的实际交通场景,使用MATLAB对规划轨迹进行数值仿真分析,仿真结果表明换道轨迹满足安全性、舒适性以及换道效率的约束,所规划的避让轨迹在牺牲部分舒适性的前提下能够满足安全性的要求,降低车辆面对突发情况的安全风险。

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

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

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

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

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

精准执行可达性分析:理论与应用

精准执行可达性分析探究计算机程序状态之间的可达性关系,通过分析软件的文档、源代码或二进制程序并进行必要的测试验证,以求出在既定限制下从初始状态到特定代码位置的目标状态的准确触发输入和执行路径.精准执行可达性分析在定向测试、静态分析结果核验、错误复现和漏洞POC构造等领域均有广泛的应用.对近年来国内外学者在该研究领域取得的相关研究成果进行了系统的分析、提炼和总结.首先,指出了精准执行可达性分析对应的约束求解问题,以双向符号分析和程序归纳为主线介绍了其主要研究方法,讨论了相关技术难点;其次,对目前已经存在的精准执行可达性应用进行了分类分析;进而,指出精准执行可达性分析应用中程序分析、归纳和约束求解等方面存在的挑战;最后,对可能的解决办法以及未来发展方向进行了展望.

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

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

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

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

EPr/TN网可达性分析的冗余并发后继标识

文中针对ＥＰｒ／ＴＮ网在可达性分析时出现的冗余并发后继现象，从产生原因入手，给出一种解决算法．并由此深入研究这种扩展Ｐｅｔｒｉ网固有的不完备性，最后提出了改进方法．

标记迁移系统的组合可达性分析

标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型。当系统中的模块比较多时,系统的整体模型有可能出现状态空间的指数级爆炸,组合可达性分析是缓解这一问题的一种有效方法。已有的工作缺乏对该方法基本原理的清晰描述和精确表达。本文对其基本原理进行了分析和概括,并作了形式化陈述,证明了相关结论。本文的工作有助于深入理解和澄清组合可达性分析的内部工作机制。