连续可达性分析器 (CORA) 是一组 MATLAB 类，用于使用可达性分析对网络物理系统进行形式验证。 CORA 集成了各种向量和矩阵集表示和对它们的操作以及各种动态系统类的可达性算法。 该软件的设计使得可以交换集合表示，而无需修改可达性分析的代码。 CORA 是使用面向对象的范式设计的，因此用户可以安全地使用方法，而无需担心隐藏在对象内部的详细信息。 由于工具箱是用MATLAB编写的，安装和使用是平台无关的。 从 2018 版开始，还支持将 SpaceEx 模型直接导入 CORA。
2021-11-14 21:06:23
25.15MB
1
医疗设施可达性对患者就医空间的影响研究——基于上海市医院患者调查的实证.pdf
2021-09-13 14:02:49
6.04MB
这篇论文介绍了如何在多项式时间内，通过将一大类程序间数据流分析问题转化为一类特殊的图可达性问题来进行解决，从而实现精确求解的方法。
2021-08-13 11:44:10
1.7MB
1
基于心理可达性的长南迳古道保护修复成效及其优先改进策略研究_潘裕娟.pdf
2021-07-22 09:03:45
1.17MB
1
北京市2020年各等级路网矢量数据+行政边界+shp矢量文件(wgs84坐标).zip+可供功能区分析，交通可达性分析等
2021-05-07 09:02:27
10.47MB
文件为pdf类型，包括空间句法简明教程及使用depthmax的简易教程。可为更好的进行空间句法分析/可达性分析提供较大的帮助
2021-04-30 22:57:57
18.92MB
1
交通可达性一般是指城市某一地点到其他地点的交通方便程度，反之亦可。交通可达性分析一般应用在城市路网优化、土地利用规划、地段评估、区位分析等方面，可以辅助规划编制。在构建了道路交通模型之后，可以利用ArcGIS计算O-D成本矩阵，通过选择合适的交通可达性模型计算可达性。本资源使用arcpy(arcgis 10.1到arcgis 10.8都可以)实现交通可达性。资源包括arcpy实现源码、操作流程说明文档及测试数据。
2021-04-07 20:04:06
56.57MB