合肥市建成区医疗服务设施空间可达性研究

基于空间化的人口格网数据及网络地图路径规划API获取的不同交通模式出行成本数据,运用累积机会法和高斯两步移动搜索法分析合肥市建成区医疗可达性和空间分布格局。研究结果表明：1）合肥市医疗可达性以老城区为中心向外围圈层式衰减;2）驾车至最近医院的出行时间最短且稳定性较强,中长距离出行时,公交相对骑行和步行有较大优势,短距离出行时,优势微弱;3）不同交通模式下的等时区分异明显,空间覆盖率和人口覆盖率均达到90%以上时驾车、公交和骑行所需的时间分别为20 min、60 min和40 min;4）驾车模式下,合肥市老城区在不同时间阈值都具有较高的医疗可达性,新城区不同时间阈值的医疗可达性结果不同。     

适应新形势的大城市停车需求预测方法

目前我国已探讨出多种停车需求预测方法,这些方法的前提条件和适用范围各有不同,并且我国大城市交通形势又出现了小汽车进入家庭速度加快,交通拥堵日益突出,轨道交通建设进入黄金时代等新的情况。针对这些新形式,提出了宏观和中观停车需求预测方法,宏观层次为考虑车辆出行吸引和车辆使用率的总体停车需求预测,弥补了以往未考虑未出行车辆停车需求的不足;中观层面为考虑公交可达性和多种性质建筑综合开发共享停车需求预测,可减少配建停车泊位,提高停车泊位利用率。进行实例分析,丰富和扩展了交通规划模型技术,为我国大城市开展停车交通研究提供参考。     

贫困地区医疗可达性空间差异分析

"因病致贫"是造成目前贫困现状的重要因素,对医疗可达性进行研究是实现医疗扶贫的重要途径。以安徽省舒城县为例,利用空间分析、改进引力模型对贫困地区医疗条件进行可达性分析。结果发现:1)舒城县行政村医疗可达性具有明显的空间分布差异,县城东部、东南部和县城中心区域的医疗可达性较好,可达性较差的区域位于舒城县中部呈"T"字型分布。2)贫困人口和医疗资源的分布空间耦合度小,具有明显的分布不均匀特点,就医空间可达性级别较高的区域集中在杭阜镇、城关镇、舒茶镇和晓天镇;3)医疗机构集聚和分散态势明显,医疗机构可达性最大值是最小值的108倍。     

启发式探索的协议测试序列生成

为避免可达性分析方法生成协议测试序列状态过程中爆炸问题的出现,提出了一种启发式探索协议状态格局空间的可执行测试序列生成算法. 该算法采用权值扩展有限状态机建模被测协议,以启发式状态格局探索策略替代传统的宽度优先搜索方式生成可执行协议测试序列;把协议可执行测试序列生成转化为在协议状态格局空间中探寻最小权值路径的问题. 实验数据表明,与宽度优先可达性分析方法相比,新算法具有较好的时空特性.     

基于可达性矩阵的智能配电网分区及孤岛辨识方法

提出了一种基于可达性矩阵的智能配电网分区及孤岛辨识方法。从配电网的网络拓扑结构出发,首先形成描述配电网开关与线路连接关系的邻接矩阵,对邻接矩阵的各次幂进行逻辑求和运算,可求得配电网的可达性矩阵,可达性矩阵包含了节点的连通性信息和电网的分区信息。在此基础上定义了开关性质向量和表征电网分区情况的区块向量,对二者对应的元素进行逻辑"与"运算,可得到描述配电网各区域性质的向量,进而能够快速判断各区域的性质、是否存在孤岛、孤岛的数量以及孤岛的范围,为开展孤岛运行控制与保护研究奠定基础。算例分析结果验证了文中所述算法的正确性和可行性。     

风电场宏观选址中交通条件的一种评价方法

以风电场宏观选址中交通条件的评价为研究对象,并根据风机运输属大件运输的特点,给出了风电机组与运输公路的匹配。以候选场址的交通可达性为考察因素,提出了定性的交通条件评价指标及方法,以粗略估算修建道路的投资为目的,通过引入折算系数等方法,实现了定量的交通条件评价。利用GIS技术,通过获取评价所需的指标数据,进行了风电场交通条件评价案例分析,验证了该方法的有效性。     

基于模型的网构软件可达性检测方法研究

针对网构软件(Internetware)可达性检测中存在状态空间"爆炸"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念,进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系,把可达性判定转化成递归表达式(网构线性相关)判定上...     

有向无环图上k步可达查询优化算法

k步可达查询用于在给定的有向无环图（DAG）中回答两点之间是否存在长度不超过k的路径。针对现有方法的索引规模大、查询处理效率低的问题,提出一种基于部分点的双向最短路径索引来提升索引的可达信息覆盖率,并提出一组优化规则来减小索引规模;然后提出基于简化图的正反互逆拓扑索引来加速回答不可达查询;最后提出远距离优先的双向遍历策略来提高查询处理的效率。基于21个真实数据集（如引用网络、社交网络等）的实验结果表明,相比已有的高效方法PLL及BFSI-B,所提出的算法具有更小的索引规模和更快的查询响应速度。     

时间自动机状态空间的一个极小化构造方法

对时间自动机的转换系统进行改进,提出了一个状态空间的极小化构造方法。该方法用位置和停留在该位置时的可能时钟值集合来表示状态,以此隐藏因时间流逝而引发的无穷状态,得到了改进的转换系统——时间段转换系统;并通过对转换可能发生时间的分析,去除无效转换;然后使用转换互模拟合并等价状态,实现了状态空间的极小化,有效地避免了状态空间爆炸。     

Matrix expression and reachability analysis of finite automata

In this paper,we propose a matrix-based approach for finite automata and then study the reachability conditions.Both the deterministic and nordeterministic automata are expressed in matrix forms,and th...