一种时间自动机可达性检测方法

本文首先给出对时间自动机时钟约束作等价处理的方法,然后以一个例子详细说明如何构造时钟区域自动机以及对它作相应的可达性关系的分析。     

一种并行程序可靠组合测试策略

为了提高可达性测试的效率、可靠性和可操作性,提出了一种并行程序可靠组合测试策略.首先确定并行程序同步串中竞争接收项的向量时钟关系;然后构造初始竞争表(RT);接着根据横向增长规则和纵向增长规则对RT进行增长,直至并行程序同步串所有的竞争接收项均包含在RT中;最后根据竞争表RT产生竞争变体并进行可达性测试.该策略能保证每个竞争接收项的发送项均发生改变,同时减少竞争接收项的发送项改变次数和运行错误同步串的次数,硬件资源要求不高.实验证明该策略能减少测试同步串和竞争变体的数量,并提高测试的效率、可靠性和实际可操作性.     

满秩Petri网可达性判定算法的设计与实现

通过对Petri网可达性的分析，给出满秩Petrl网可达性算法及其实现过程，在VC＋＋平台上对算法进行验算，并对算法运行结果进行可达性讨论；该算法为满秩Petri网可达性的判定提供了一种快速有效的求解方法．     

基于空间可达性分析的长春市生活资源配置评价

生活空间质量是居民对美好生活向往的需求,是现代社会关注的焦点问题之一,而生活资源配置的可获得性深刻影响着城市居民的生活品质。将长春市中心城区居住地块作为研究单元,选取六大类十六小类的生活资源设施,利用地理信息系统软件根据到达不同生活资源设施的不同原则对其构建相应的可达性模型。从时间成本角度出发对各种设施定义其达标要求,从而统计各小区的生活资源达标项数,分析其空间分布特征并对比不同类型的生活资源配置情况。结果发现,长春市中心城区内达标五项以上的居住小区数量占比接近60%。空间分布整体随着距老城区距离越远,达标项数逐渐减少。从设施类别角度分析,长春市整体达标最好的设施为商业设施,而配置最不理想的设施为医疗卫生设施。另外,对各类生活资源设施提出了相应的规划建议。研究评价了长春市现状生活资源配置的合理性,以期为设施空间规划布局优化调整提供分析方法和数据支撑。     

基于扩展同步序列的Java多线程程序可达性测试方法

为了克服传统可达性方法在测试Java多线程程序时具有的局限性和无法检测事件未同步错误及其引起的同步不当等错误,提出一种基于扩展同步序列的可达性测试方法.该方法包括购建Java多线程程序流图、计算扩展同步序列和确定性测试3部分.实例分析表明,同步扩展同步序列的应用,能够有效地解决上述局限性,Java多线程程序中事件未同步及其引起的同步不当等错误也能得到有效的检测.这种基于扩展同步序列的可达性方法与传统可达性方法相比,具有一定的优越性.     

基于网页可达性和平均载入时间的网站评估方法

给出了网页可达性和平均载入时间的定义,并为计算上述指标设计了到达网页路径的路径树生成算法(PTSA)·提出基于网页可达性和平均载入时间的网站评估方法,并对一个实际运行中的网站进行了分析·结果表明,网页所处层次和网页的大小是影响其访问难易程度的主要因素,网络传输速度对网站性能有重要影响·     

基于GIS的厦门市校园体育场地设施可达性研究

基于GIS技术,从供求角度出发,运用核密度分析、泰森多边形分区法、OD矩阵分析等方法,通过道路网络模型,分析厦门市6个行政区26个街道379个社区目前已开放的校园体育场地设施的可达距离、覆盖能力等指标,探讨厦门市学校体育场地设施向社会开放的实际成效。研究表明,厦门岛内外校园体育场地设施空间分布不平衡、不协调问题比较突出,思明、湖里两区中心优势显著,岛外体育空间资源比较紧张,服务压力较大;岛内所辖社区拥有数量较多、较密集的体育空间,而岛外社区拥有的体育空间数量和密度较低;全市有17个街道的住宅区能实现有效的“15分钟健身圈”;15分钟内,思明区和同安区的校园体育场地设施辐射能力较好、覆盖面积较大。建议有关部门结合当前现状与未来发展的需要,更好地规划、布局与优化体育场地设施,推动厦门市全民健身事业高质量发展。     

基于空间句法的长沙地铁线路规划可达性评价

结合空间句法的原理和GIS技术对长沙地铁规划线路的交通可达性进行了量化分析,通过可达性指标,指出长沙市城市远景轨道交通规划(2030)中所潜在的问题,并提出相关建议.规划地铁线路应强调组团的作用,适当增加地铁各干线换乘点,建设环状地铁路网;通过加强组团间的联系,带动整体城市的发展,避免交通过于集中城市老中心.     

以"人"为本规划城市园林绿地系统-论中国城市园林绿地建设

在分析城市园林绿地的建设沿革、功能和规划现状的基础上,提出以“人”为本规划城市园林绿地系统,切实满足人的生活、精神需求,创造一个真正意义上的人居环境。     

皖南国际文化旅游示范区五星级农家乐空间可达性研究

基于皖南国际文化旅游示范区综合交通路网络,利用GIS空间分析中成本距离算法,选取平均旅行时间和可达性系数指标,对示范区五星级农家乐空间可达性格局进行研究。结果表明:示范区农家乐空间布局呈现大分散,小集聚圈层结构。依据缓冲区范围内的农家乐个数,将其空间布局归纳为交通依赖型、景区辐射型、都市边缘型3类;示范区内的农家乐平均旅行时间都在3h以内,平均用时1.794h,综合交通网络较发达。但可达性系数极差达到0.964,可达性空间分布不均衡现象突出,内部差异显著;可达性空间格局表现为以农家乐为核心的距离衰减规律且交通网络指向性特征明显。农家乐空间分布和交通路网结构是影响可达性的关键因素。