包含报告,源程序,介绍视频。注意地图好像我用的是绝对路径,可能到你的电脑下需要重新设置数据的源路径。以下是报告节选:第三章 逻辑实现和物理实现 17 3.1逻辑模型 17 3.2 物理模型 18 第四章 系统初始化介绍 19 4.1需要软件 19 4.2 初始化以及数据导入 19 第五章 主要功能与代码 21 5.1 自定义类 21 5.1.1 SQL类用来方便数据库的链接 21 5.1.2 STATIC类用来存储一些全局变量: 23 5.2 登录与注册界面 24 5.2.1 登录 24 5.2.2 注册 26 5.3 普通人员系统 28 5.3.1 首页 28 5.3.2 修改和保存个人信息 29 5.3.3 记录和排名 32 5.4 采样人员系统 34 5.4.1 首页 34 5.4.2上传信息 35 5.4.3任务和申请 37 5.4.4工作记录 38 5.5 检测人员系统 43 5.5.1首页 43 5.5.2上传检测信息 44 5.5.3个人信息 44 5.5.4检测记录 45 5.6 管理人员系统 46 5.6.1(表格)人员管理 46 5.6.2(表格)任务管理 49 5
2023-01-02 19:16:15 295.07MB 数据库 Engine 源程序 报告
1
大数据-算法-非线性混成系统的可达性分析.pdf
2022-05-04 09:07:29 1.38MB 文档资料 big data 算法
保存语句matlab代码基于噪声数据的数据驱动可达性分析 这个 repo 包含我们两篇论文的代码: 1- Amr Alanwar、Anne Koch、Frank Allgower、Karl Johansson “使用矩阵带位体的数据驱动可达性分析”第三届年度动态和控制学习会议 () 2- Amr Alanwar、Anne Koch、Frank Allgower、Karl Johansson “来自噪声数据的数据驱动可达性分析”提交给 IEEE Transactions on Automatic Control ( ) 问题陈述 鉴于系统模型未知,我们考虑从噪声数据进行可达性分析的问题。 识别模型是最先进的可达性分析方法的初步步骤。 然而,系统变得越来越复杂,数据变得越来越容易获得。 我们提出了使用矩阵 zonotope 和使用名为约束矩阵 zonotope 的新集合表示的数据驱动可达性分析。 下图总结了我们论文背后的想法。 文件说明 建议的数据驱动可达性分析有两个复杂程度A-文件夹examples-basic下的基本可达性分析B- 使用文件夹 examples-cmz 下的约束矩阵 z
2022-04-08 17:22:00 8.64MB 系统开源
1
— 时间最优路径参数化 (TOPP) 是机器人技术中一个经过充分研究的问题,具有广泛的应用。 解决 TOPP 的方法主要有两个系列:数值积分 (NI) 和凸优化 (CO)。 基于 NI 的方法速度快但难以实现并且存在稳健性问题,而基于 CO 的方法更稳健但同时速度明显较慢。 在这里,我们提出了一种基于可达性分析(RA)的 TOPP 新方法。 关键见解是通过求解小型线性规划 (LP) 递归地计算路径上离散位置处的可达和可控集。 由此产生的算法比基于 NI 的方法更快,并且与基于 CO 的方法一样稳健(100% 成功率),这已通过广泛的数值评估得到证实。 此外,所提出的方法提供了独特的额外好处:可接受的速度传播和对参数不确定性的鲁棒性可以以简单自然的方式从中得出。
2022-02-07 14:03:37 916KB 最优路径
城市公园作为居民可接触到的主要休憩娱乐场所,对城市居民的身心健康与社会可持续发展都起着重要作用,然而城市的快速发展却与居民对绿色空间的需求之间产生了巨大的矛盾.文章以北京市六环以内城市公园作为研究对象,运用GIS网络分析法结合道路、建筑、人口等大数据对北京市二环—六环不同环线内城市公园的可达性及其服务状况进行研究.结果表明:(1)整体上,公园步行可达面积比为35.76%,公园自行车可达面积比为53.42%;公园分布状况、数量、面积大小均未达到理想状态,公园可达性水平与城市居民对公园游憩功能需求之间的矛盾仍很严重,公园可达性仍有较大提升空间.(2)二环以内与三环—四环地区公园步行与自行车可达性最好;二环—三环与五环—六环公园步行可达性最差;二环—三环、三环—四环、五环—六环公园自行车可达性较为接近.(3)公园可达面积比与公园服务人口2个指标,可作为评价城市公园整体可达性与服务状况的指标.在城市各环区之间,采用公园可达面积比评价公园整体可达性,公园可达人口比评价公园服务状况.针对北京目前公园服务功能不足与城市居民日益增长的服务需求之间的矛盾关系,结合北京市公园可达性特点与服务功能现状,建议
2021-12-20 18:12:55 1.94MB 可达性 网络分析法 城市公园 GIS
1
matlab代码加法科拉 连续可达性分析器(CORA)是MATLAB类的集合,用于使用可达性分析对网络物理系统进行形式验证。 CORA集成了各种矢量和矩阵集表示形式及其上的运算以及各种动态系统类的可达性算法。 该软件经过设计,可以交换设置表示,而无需修改代码以进行可达性分析。 CORA是使用面向对象的范例设计的,因此用户可以安全地使用方法,而不必担心隐藏在对象内部的详细信息。 由于工具箱是用MATLAB编写的,因此安装和使用是与平台无关的。 从2018年版本开始,还支持将SpaceEx模型直接导入CORA。 以下几点总结了CORA工具箱的主要功能: 连续系统的可达性分析 CORA为线性系统,非线性系统以及有约束的系统计算可达集。 支持连续时间模型和离散时间模型。 可以明确考虑系统输入的不确定性以及模型参数的不确定性。 此外,CORA还提供了动力学模型仿真的功能。 混合系统的可达性分析 该工具箱还能够计算混合系统的可达集。 所有实现的动态系统类都可以用于描述离散系统状态的不同连续流。 此外,在CORA中实现了各种用于计算具有保护集的相交的方法。 几何集 CORA具有模块化设计,因此除了可
2021-11-28 14:09:58 25.49MB 系统开源
1
连续可达性分析器 (CORA) 是一组 MATLAB 类,用于使用可达性分析对网络物理系统进行形式验证。 CORA 集成了各种向量和矩阵集表示和对它们的操作以及各种动态系统类的可达性算法。 该软件的设计使得可以交换集合表示,而无需修改可达性分析的代码。 CORA 是使用面向对象的范式设计的,因此用户可以安全地使用方法,而无需担心隐藏在对象内部的详细信息。 由于工具箱是用MATLAB编写的,安装和使用是平台无关的。 从 2018 版开始,还支持将 SpaceEx 模型直接导入 CORA。
2021-11-14 21:06:23 25.15MB matlab
1
交通可达性一般是指城市某一地点到其他地点的交通方便程度,反之亦可。交通可达性分析一般应用在城市路网优化、土地利用规划、地段评估、区位分析等方面,可以辅助规划编制。在构建了道路交通模型之后,可以利用ArcGIS计算O-D成本矩阵,通过选择合适的交通可达性模型计算可达性。本资源使用arcpy(arcgis 10.1到arcgis 10.8都可以)实现交通可达性。资源包括arcpy实现源码、操作流程说明文档及测试数据。
2021-04-07 20:04:06 56.57MB 交通可达性分析 arcpy
基于ArcGIS 的交通可达性分析 摘要:交通可达性(accessibility)可简单地解释为利用特定交通系统,从某一 区位到达指定区位的便捷程度, 是评价交通网络和交通区位的常用手段。
2021-03-27 20:04:51 55.41MB 交通可达性分析测试数据
1
相信这里面的文档新手都能看得懂,反正我这个菜鸟是看懂了
2021-03-17 16:35:04 2.39MB 栅格化 重分类 成本距离
1