随机Petri网可视化软件的设计与实现

针对随机Petri网建模设计与分析的复杂性问题,通过面向对象方法在VisualC++环境下利用MFC开发了可视化的随机Petri网建模和分析工具SPNSim。利用广度优先思想,设计了可达图的生成算法,给出了随机Petri网模型的编辑器,用户可以直观方便地进行随机Petri网编辑,同时还能进行模型分析,得到可达图、稳态概率等随机Petri网特性和系统性能指标。通过对一个实例的建模与分析,结果验证了软件工具SPNSim的正确性和可用性。     

间歇式化工系统的Petri网优化调度与控制方法

为了解决复杂间歇式化工系统的优化调度和控制问题,提出了一种基于Petri网的优化调度与控制方法:首先,根据加工工艺,建立加工过程的赋时Petri网模型;其次,根据间歇式化工生产对象的拓扑结构,在该赋时Petri网模型中引入阀门系统的网结构,从而获得系统的受控Petri网模型;最后,利用可达图来计算加工时间最短的控制策略,借助网结构信息,得到了控制策略的阀门控制矩阵,并用一个示例演示验证了本文方法.     

工作流合并规则中的冲突检测方法

在关系型规则和活动型规则形式描述工作流合并需求的基础上,提出一种基于可达关系的合并规则冲突检测算法。通过记录每条规则应用后的可达关系矩阵,以及新增可达关系对应的规则集方式,为合并规则集中存在冲突的若干规则组合进行较为准确的定位。实例分析表明,该算法为规则集的合理调整提供直接依据,可有效实施工作流的合并。     

软件编程构造和实现Petri Nets可达树

采用数据结构的思想和一些算法,将C 中的一些优良特性应用到Matlab编程语言中,用Matlab编程语言编程实现了PetriNets的可达树的构造。该程序对Petri Nets系统的动态性能分析具有一定的参考价值。     

多学科视角下的城市应急避难场所研究

我国对城市应急避难场所的研究和实践正在由过去的单一功能模式向多元复合的避难空间转变,城市应急避难体系的完善将成为新时代安全城市发展的有效保障。本文立足于建筑学科,兼顾多种学科,综合已有的研究内容及研究方法,从社会人文学、经济学、城乡规划学、地理学、心理学对应急避难场所相关研究概括总结,完善现有城市应急避难场所研究框架。当前数字化技术成为研究热点,数字模型与量化分析等技术的运用值得关注;城市应急避难场所的可达公平性需要被重视,结合避难行为看待避难空间,进一步发挥应急避难场所在城市发展中的价值。     

基于空间网络分析的历史滨水街区步行性研究——以上海虹口港区域为例

由于交通方式的转变和更新建设的滞后,历史滨水街区逐渐失去活力是当今国内普遍存在的城市问题。土地利用和包括街道网络在内的城市空间环境会对人们的步行活动产生一定的影响[1-3],由于历史悠久的滨水街区形态往往更加复杂,其可达性和步行活动之间的关系值得进一步探讨[4]。本文对城市空间形态进行定性分析,并对上海虹口港区的可达性进行量化分析,以及引入可步行度和街道商业服务设施密度等环境变量来进行相关性分析。研究结果表明,MAD300指标可以解释虹口港地区真实的行人流量分布情况,而通过增加步行连续性、整合部分道路,以及打造功能复合的公共活动中心可以适当解决可达性不足造成的街道活力缺乏问题。     

城市建成环境对老年人步行出行的影响分析——基于重庆市江北区12个住区的实证

适宜步行出行的城市建成环境能够一定程度上促进老年人的身心健康。探讨建成环境对老年人步行出行的影响要素、作用路径及规划干预,并通过实证研究验证影响老年人步行出行的建成环境要素。以重庆市江北区12个住区为例,通过问卷调查、GIS空间分析和现场勘测获取社会属性、步行行为和建成环境空间数据,运用SPSS软件进行相关性分析和回归分析,结果发现：路网连通性维度中路网密度、街区边长、交叉口密度3个因子,土地利用布局维度中土地利用混合度、公共交通场站密度2个因子,绿地及开敞空间维度中公园绿地用地面积比、绿色开敞空间密度2个因子是影响老年人步行出行的主要因素。在此基础上,提出路网连通性、土地利用布局、绿地及开敞空间3个维度的规划干预策略。     

双足步行机器人下肢最小结构的设计与实现

近年来,随着电子、计算机和控制技术的不断进步,出现了各种仿生机器人,如机器鱼、机器蛇、机器狗、人形机器人等。仿生机器人的结构和人类非常相似,双足行走的模式使其工作起来非常方便,运用前景非常广阔。研究双足机器人不仅具有学术意义,而且具有实际应用价值。文章主要从国内研究现状、人体下肢机构分析、动力源选择、自由度确定、系统介绍、未来的研究方向几个方面进行了阐述,希望对我国双足步行机器人的发展有所帮助。     

大连市建成环境可步行性测度及其有效性研究

可步行性是建成环境支持和鼓励行走程度的综合性指标。目前,国内尚未开发和应用一种本土化的对可步行性进行测度的方法。首先,在研究总结国外可步行性测度方法的基础上,建立宏观层面的可步行性测度方法,再利用街景图像识别技术,建立微观层面的可步行性测度方法,从而实现对不同空间分析单元进行可步行性的测度。进而,利用SPSS进行线性回归分析,探索可步行性与居民步行特征之间的相关性,验证其有效性。最后,根据可步行性测度方法的有效性检验结果,对大连市行政街道的建成环境进行可步行性测度。研究结果表明,大连市的可步行性呈现中部地区高,由中心向外围递减的态势。