基于彩色Petri网的工作流权限管理的建模与分析

在一个组织中,权限管理是个非常复杂而又重要的任务。为确保组织的业务过程中各项任务只能被合法的用户所执行,建立授权模型并验证权限分配的正确性是十分必要的。彩色Petri网具有比Petri网更强的表达能力,可以用来建立一个完整的权限管理模型,不仅包含权限管理,还包含安全约束如SoD（职责分离）以及角色层次关系结构（role hierarchy）等概念。使用Petri网建模的一个优势是它建立在坚实的数学基础之上,并且得到了许多分析验证技术和工具的支持,如使用线性代数技术分析授权状态的可达性。     

四足机器人腿部运动空间和足端运动轨迹研究

机器人的单腿的运动空间及足端点运动轨迹决定了所设计的机器人的应用范围。为了研究四足步行机器人摆动腿在一定参数条件下的运动空间大小及足端的运动轨迹,通过对机器人摆动腿正运动学方程,足端点轨迹在y、z轴上对时间的函数进行计算,并将计算结果运用MATLAB软件进行仿真,不仅直观地观测到机器人的运动情况,还得到所需的数据,且以图形的形式显示出来,达到了预期目的。     

商业中心空间设计及舒适度研究--以河北省霸州市商贸中心规划及方案设计为例

本文以河北省霸州市商贸中心设计为实际案例,通过对购物者的行为心理、商业建筑的空间构成、周边微气候影响等因素的研究,详细阐述了商业建筑外部空间设计的手法及舒适度控制的方法.     

城市步行交通系统规划研究

随着现代城市的发展,步行空间及其体系日益受到人们的关注与重视,它对于改善城市的环境质量和塑造城市特色能够起到十分重要的作用。本文介绍了我国步行交通现状及其特征,阐述了建立步行通道系统的必要性,并对步行通道系统规划建设的重点进行了探讨,以山海关关城步行区为实例进行了说明,指出应以“以人为本”为出发点,在中心区步行街改造、公交捷运换乘、行人过街设施等方面完善城市步行交通系统。     

基于健康促进的高层办公建筑步行系统设计策略研究

随城市与建筑发展,过于追求效率化的高层办公建筑难以对使用者身体健康产生积极作用.文章通过梳理归纳健康建筑相关研究成果与建筑案例对比研究,定性与定量相结合,分析总结出促进健康的高层办公建筑步行系统设计策略,即开放连通性原则、尺度尺寸适宜性设计、界面引导设计、机械交通优化设计,对高层办公建筑设计的健康需求有一定的启示作用.     

建成环境可步行性研究及测度发展综述

提高城市步行环境质量是改善城市空间品质的重要一环。可步行性（Walkablity）是评价城市步行环境质量的一种测度,明确其研究发展脉络和影响因素及相应指标有助于指导城市实践。在此背景下,利用WOS（Web Of Science）数据库获得原始文献三千余篇,借助文献信息可视化软件CiteSpace生成文献共被引网络图谱,形成五个话题聚类。通过精读各聚类重点高被引文献,将五个聚类分为了“发展阶段”和“分支话题”两个维度进行具体讨论,剖析其研究要点。梳理了可步行性研究发展脉络,并对可步行性测度指标及方法进行了总结,能为当下城市更新策略提供借鉴,对我国城市可步行性测度方面具有实际意义。     

基于步行友好视角的城市居住区研究 —— 以武汉市为例

本研究立足于步行友好性视角,选取武汉市三个具有代表性的居住区作为研究案例,从中观层面探讨了影响居住区步行友好性的三个关键因素:道路连通性、公共设施易达性、土地混合利用程度。研究发现我国城市居住区步行友好性在历时性上呈逐渐降低的趋势,结合国外的先进经验及对我国相关规范的反思,提出了我国城市居住区步行友好的设计策略。     

街道空间对老年人日常活动的影响初探

老年人日常活动机会与其健康水平息 息相关。街道作为居民日常活动的空间载体,对 其活动能力的提升意义重大。为明晰老年人日常 活动的街道环境影响因子,提高活动出行质量, 从可行能力视角切入,将老年人日常感知的活动 机会作为因变量,街道可步行性（街道连通性、 街廓尺度、步行安全性）、生活性（设施密度及 丰富度、设施可达性）以及美学性（街道绿化、 界面连续性）三个维度特征数据作为自变量,运 用多元线性回归分析,揭示街道环境要素对活 动能力水平的作用效应及影响机制。研究发现, 不同维度街道环境要素对不同类型活动能力差 异显著,对比街道美学性环境要素,街道可步行 性、生活性要素是影响老年人活动能力的主导方 面。其中,在步行性维度,停车方式对活动能力 至关重要,整合度次之;在生活性维度,商业设 施可达性对活动能力的影响十分关键,设施种类次之,此外设施数量与休闲和医疗设施可达性对 活动能力的作用效应也不容忽视。据此,为提高老年人活动水平,选取两个典型案例提出针对性 的街道环境优化建议。     

四足步行机器人步态规划及稳定性分析

以四足机器人为研究对象,详细地分析了四足步行机器人的步态和稳定性的运动关系,并在此基础上给出了四足步行机器人步态设计数据和步态图.为进一步研究机器人实用化提供了可靠的数据.     

液压步行平台试验系统设计

针对液压驱动无人步行平台的结构设计方案,设计了用于平台静步态研究的试验系统,并且基于LabVIEW开发了系统软件。系统应用结果表明:该系统较好地满足了无人平台静步态研究的需要,具有高可靠性、模块化和可拓展等优点。