武汉市公园绿地空间可达性及优化路径研究

公共绿地空间的配置影响城市人居生活质量.该文以武汉市中心城区公园绿地为研究对象，运用GIS空间分析与语义分析方法，探究以公园绿地为代表的城市社区公共空间的可达性与应对公共卫生事件的优化路径.研究表明：1)武汉市中心城区公园绿地空间呈现沿长江对称集聚分布，且呈现汉阳、武昌双核布局模式，各级公园绿地空间分布均垂直于长江走向.2)武汉市中心城区公园绿地布局形式以自然为基底，凸显了山水公园的特征.3)社区尺度下，基于步行出行方式武汉市中心城区公园绿地的可达性呈现沿江向内陆圈层式递减规律，并以地铁出行方式有效补充公园绿地整体可达性.应通过下移公园绿地布局尺度，发挥公园多元功能性助力韧性社区建设；从主题、空间、媒介等方面打造体现地方文化的公共绿地，推动公园绿地的文化转向；适时对接居民需求，将公园绿地空间打造成“可情感表达”“可感知体验”“可社会交往”的公共空间.旨在丰富社区公共空间的研究类型和拓展城市生态系统服务功能的研究视域.     

Banach空间中线性系统范数约束可达性

研究无穷维控制系统，范数约束可达性，其中ｘ∈Ｘ，１≤ｐ≤∞，Ｘ，Ｕ是自反Ｂａｎａｃｈ空间．文中提出一致范数约束可达性概念，得到充分必要条件．     

求次关键路线的Petri网方法

本文讨论了次关键路线与关键路线之间的一些关系，并给出了求次关键路线的Ｐｅｔｒｉ网方法。     

求解0－1规划的Petri网方法

本文提出了０－１规划的Ｐｅｔｒｉ网模型，并用Ｐｅｔｒｉ的可达性树来求０－１规划的最优解。此方法优于隐枚举法和分枝定界算法，因此为０－１规划的求解提供了更好的方法。     

模糊目标的可达性

本文提出了Ｆｕｚｚｙ增量与增量式Ｆｕｚｚｙ控制的概念，给出一种Ｆｕｚｚｙ变量的动态描述方法，并给出Ｆｕｚｚｙ目标的可达性定理。     

基于空间可达性的福州应急避难场所服务能力评价

应急避难场所是近年来城市防震减灾规划建设的重点。以福州市三环路以内区域为研究区,引入规模影响系数,改进传统的潜能模型,并利用基于GIS的最小距离法和指标统计法等方法,评价了现有的应急避难场所服务能力。结果表明,研究区内应急避难场所空间分布不均衡,避难场所数量和规模均达不到现有人口的应急避灾需求;应急避难场所基础设施服务能力较为薄弱的地区主要为晋安区南部与东北部、仓山区大部和鼓楼区西北部。建议在仓山区东部等人口密度高的地区扩大单个应急避难场所的规模,在晋安区及仓山区南部等区域根据居民区的分布情况有重点地增加应急避难场所的数量,并完善各级道路网络,提高福州市应急避难场所的空间辐射能力。     

北京中心城区绿地景观空间可达性分析

城市公园绿地是脆弱的城市生态系统中最接近自然的元素,其景观结构及可达性程度可以体现出为居民提供绿色服务的能力大小。运用景观生态学的原理结合两步移动搜寻法及可达性理论,对北京中心城区公园绿地景观斑块特征、空间结构度量进行了研究和分析,并以行政单元为单位对北京城区绿地景观可达性进行研究分析。结果表明,1)公园绿地斑块个数以小型斑块为主,斑块面积大于100 000 m~2的大型斑块虽然个数较少,却是构成城市公园绿地景观的主体。空间分布上,城区北部大型斑块的数量和面积构成具有绝对优势;2)城区公园绿地景观总体表现为类型较丰富、信息量高、面积和分布不均匀的特征。景观形状相对规则,体现出人类活动极强的干预性;3)北京城市公园绿地景观可达性好的区域相对集中,由西二环周边不断扩张到四环内,"空心化"区域逐步缩小至东北三环周边3个街道;4)可达性水平空间上呈现出N字圈层形态;5)大型公园绿地斑块对周边绿地可达性影响较大。     

基于Petri网的强制访问控制模型及其安全分析

强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在Petri网状态可达图的基础上,对MAC模型的有关安全属性,如主体访问客体的时序关系,主体访问的可达性,因主体的动态安全级访问而存在的安全隐患以及因主体对客体的间接访问而导致敏感信息的可推测性等进行了较为详细地分析.通过对一个安全模型的范例分析,结果表明基于Petri网的安全模型的分析方法可以充分利用现有的可达图的分析方法来对系统安全模型的有关性质进行分析和验证,能够在安全模型的设计和实现阶段有效地改善系统的总体安全策略.     

判断方阵可约性的图论方法

判断矩阵不可约是件不容易的事情，目前有各种判定方法，其中有利用图论方法判断的(见献1)，笔在此基础上，利用图论中相应结果，获得另外一些图论判定方法。     

一类模糊Petri网的动态特性及应用

提出一类新的模糊Petri网,讨论了其可达性问题,其特点是一方面保持适度的不确定性,以便于分析,另一方面又可作为许多实际问题的模型.最后给出求解知识表示与推理的问题的例子.