基于空间句法的郑州市地铁交通网络特征研究

运用空间句法从道路等级、换乘次数、交通可达性和整体协调度四个方面对郑州市地铁规划线路进行定量研究.结果表明:郑州市地铁线路内部的道路等级、换乘次数、交通可达性、整体协调性相差较大;环状线路的道路等级高于非环状线路,市中心地区的线路等级高于市区外缘;市区西北部和东南部的地铁线路存在着换乘不便的问题;地铁线路在市中心地区的规划布局走向基本合理,部分线路承载的交通流量与线路的交通可达性、布局走向与整体协调性之间存在着明显的矛盾.     

南昌市基础教育资源空间可达性研究

教育公平已成为当前基础教育的突出问题,基础教育资源空间布局均衡性是其中的一个重要方面.以ArcGIS为平台,在南昌市基础地理数据和中小学校分布数据的支持下,利用空间分析技术,以可达性为视角,从不同区域和不同出行方式等方面对南昌市基础教育资源可达性格局做了实证研究.结果表明:南昌市城区中小学校空间分布不均衡,区域差异明显;整个南昌市城区学校的可达性较好,平均时间成本7 min 48 s;不同区域之间以及区域内部可达性存在较大差异.     

江西省红色旅游景区可达性分析及空间结构优化研究

结合江西省非常丰富的红色旅游资源,采用可达性分析方法和人口数据空间化方法,定量分析和评价了江西省主要红色旅游景区的空间结构及其区域效应,从格局调整、景区优化、路网建设等方面提出了江西省红色旅游景区空间结构优化对策,从研究方法层面为红色旅游研究提供了新的思路.     

呼和浩特市中心城区城市公园可达性分析——基于高德地图API数据

城市公园布局的合理性直接影响其对城市内部居民的服务水平。基于高德地图API数据,以呼和浩特市中心城区为研究区域,居住小区为研究单元,从数量、供需角度分析步行和骑行两种交通方式下公园可达性水平。结果表明：（1）基于出行时间计算的各小区可达公园数量随着时间阈值的增大,居民接近公园的机会增多,高斯两步移动搜索法在此基础上,考虑了公园供给与人口需求之间的空间分布及其相互作用,研究区公园分布存在空间供需失配现象;（2）两种出行方式下,可达性呈现“外围高,中心低”态势,步行出行方式在三种时间阈值范围内一直存在无法享受公园服务的小区,可达区域分布存在明显的空间隔离;骑行方式下的可达性水平空间分布显著高于步行,在20 min阈值内服务范围可达到全覆盖,各小区居民的供需可达性值相较于步行分异程度明显降低;（3）城市公园可达性较好区域集中分布于研究区北部和东部,而可达性较差的城市核心区、西部和南部,可以作为呼和浩特市公园规划建设重点关注对象。     

分析离散事件系统的新方法

本文用图论的方法构造出适宜用自动机建模的离散事件系统的布尔矩阵，通过对布尔矩阵的运算，既可得出系统可达状态集与转移的最短路径，为藉此设计最优监控器打下基础。     

城市交通与土地利用的相互作用机制研究

通过分析城市交通与土地利用相互作用的关键因素，探讨二者之间的相互作用机制．认为特定的土地利用模式会导致某种相应的城市交通模式，而交通建设带来的可达性提高扣外部性利益又引导着土地利用的方向；可达性、出行成本、地租等都是影响城市交通与土地利用相互作用的重要因素．同时，二者的协调发展还需要有相应的法律、法规及规划等外部因素来保障．     

求解一次不定方程的Petri网方法(Ⅲ)——Frobenius问题研究

本文分别从Ⅰ型一次不定方程网的可达性和活性出发,导出当 m≤(sum from i=2 to n)a_i(d_i-1)/d_i-(sum from i=1 to n)a_i时,不定方程a_1x_1+a_2x_2+…+a_nx_n=m有非负整数解的两个不同的充分必要条件;并根据充分必要条件的不同提法,给出求n元线性型最大不可表数的两个算法。     

基于GIS的甘肃省道路网络评价

阐述了道路的网络评价指标体系和方法,并以甘肃省交通道路网为基础,在GIS技术的支持下,利用ArcView GIS、MapObjects和Visual Basic等进行了甘肃省分县道路网络的评价研究．结果表明,甘肃省道路网络存在聚团现象,存在以兰州市、天水市秦城区和庆阳地区西峰市为中心的道路可达性指标高值区,以及以玉门市为中心的一个高值带状区域．     

基于平均换乘的城市公交线网性能评价

评价公交线网性能的指标有多种,其中交通网络的可达性指标是交通系统能否优质、高效完成运输任务的一项综合性评价指标,而平均换乘次数则能很好地反映这一指标．通过依次计算“公交n次换乘矩阵”的方法求出网络平均换乘次数,并根据平均换乘次数对公交线网的结构性能进行评价．     

多速率混合系统的符号化可达性分析

针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题，定义了多速率区域来表示和处理多速率自动机的无穷状态空间，从而把多速率混合系统的符号化可达性分析等价地转化成多速率区域上的3种操作，即并操作、变量重赋值操作和控制状态上的时间流逝操作．从理论上证明了多速率区域在这3种操作上的封闭性，同时定义了矩阵数据结构不同上限矩阵（DCM），并用其存储多速率区域，这样就得到了一种专门处理多速率混合系统符号化可达性分析的数据结构．理论上证得，DCM可以大大降低可达性分析算法的复杂度．