简介:摘要:在民用飞机检查和维护的过程中一个有效的方式就是采取结构检查的可达性分析方法。目前来看,针对民用飞机结构的可达性分析研究方法不多,从适航条款上的有关要求上来看,结构检查可达性可以分为以下几个部分内容,分别是目视检查、无损检查、更换调整,其中可达性分析的侧重点在于检查类任务。基于此,本文深入分析探讨了结构检查可达性方法,对目视检查和无损检查这两类任务的要求进行阐述,给予任务要求从物理可达性、结构本体可达性、照明和维护资源利用四个维度对可达性检查的级别进行分析研究。将可访问性测试的水平与测试任务的测试阈值和重复间隔相结合,得出可访问性分析的结论,为可达性措施的合规性提供了分析方法。
简介:摘要:本研究运用城市网络分析探讨了沈阳方城的商业空间步行可达性,揭示了提高可达性、网络便捷度和空间吸引力的策略。结果表明,改善中心区步行环境、增设特色商业设施、优化可达性和提升服务供给是关键。同时,平衡中心与边缘区的服务设施分布、优化步行道路网络和增设服务盲区的商业综合体可显著提升商业空间吸引力。研究还提出解决休闲娱乐设施分布不均和盲区问题的策略。这些策略旨在促进沈阳方城成为一个步行友好、商业活跃、居民生活便利的城区,为其他城市商业空间规划提供参考。
简介:为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机(WCFA)对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机(NWA)对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机(NWA)的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性(SAT)求解工具对这些断言进行验证.
简介:随着城市规划学科的演进,人们逐渐认识到可达性不仅与城市功能布局有关,由于城市中各类群体具有不同的特征,其活动能力、社会属性均与可达性评价存在密切的联系。城市群体的活动能力不同导致所及的空间区域受到一定的限制,而群体的社会属性不同也影响其活动范围,最终导致不同群体对城市可达性评价具有显著的差异。运用离散选择模型分析城市不同群体的特征与城市可迭性的关系,构建面向不同群体的可达性评价模型方法,并尝试以漯河市不同群体为例,检验该方法的适用性,及探讨由于社会角色、收入、家庭状况等特征差异对其评价城市可达性的影响。面向群体的可达性评价方法对提高空间设施规划的人性化与多元化具有积极的意义与作用。