基于MapReduce的OpenFlow网络属性验证技术

针对OpenFlow网络中由程序自动改变数据平面状态方式引起的流表配置错误问题,提出1种基于MapReduce的OpenFlow网络属性验证技术.首先,利用OpenFlow网络控制转发分离的特点,设计支持实时与非实时2种验证方式的技术架构.其次,提出基于MapReduce模型的非实时验证算法,在Map阶段划分规则等价类,在Reduce阶段构建基于交换机端口谓词的网络转发图并分析可达性,以实现对网络属性的并行验证.与此同时,利用原子谓词消除谓词集合冗余项和规则匹配域转换的方法,提高可达性分析效率.此外,在非实时验证算法的基础上,结合网络更新事件提出实时验证算法,实现网络状态改变时的增量式网络属性验证.最后,理论分析和仿真实验验证了该技术的运行效率和存储开销,并分析了其对TCP连接建立时间的影响.

基于GIS的滁州市开敞空间可达性研究

基于GIS网络分析方法,对"大滁城建设"背景下的滁州市主城区现状开敞空间可达性差异及存在的问题进行研究。利用滁州市"六普"人口分社区数据和遥感影像数据,并结合实地勘察,得到滁州市开敞空间分布图、人口密度图及开敞空间入口分布,并构建道路网络数据集;进而以时间(转化为距离)为参数划分滁州市开敞空间服务区和非服务区。结果显示:老城区开敞空间可达性良好,城东与城南存在半环形非服务区。据此,可以从以下三个方面提升开敞空间可达性,即发挥高级别开敞空间的服务能力;改善各开敞空间的交通可达性;根据非服务区和实际调查的居民需求选择一处开敞空间新建点,以改善滁州市人居环境。