期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
塑造有机秩序下的大学校园节点空间——以湖南中医药大学为例 被引量:1
1
作者 裴陆琦 郭杨 李端 《中外建筑》 2018年第12期71-75,共5页
随着我国国民教育观念升级,高校建设更新的节奏加快,原有的校园秩序在快速建设中易被破坏,而通常较为成熟的大学校园建设多为片段式的局部节点的更新,因此,大学校园节点空间成为延续校园有机秩序的主要研究对象。文章以湖南中医药大学... 随着我国国民教育观念升级,高校建设更新的节奏加快,原有的校园秩序在快速建设中易被破坏,而通常较为成熟的大学校园建设多为片段式的局部节点的更新,因此,大学校园节点空间成为延续校园有机秩序的主要研究对象。文章以湖南中医药大学节点景观空间为例,探究如何通过功能融合及文化融入的手段塑造节点空间,通过多季节、多角色和多视角分析整体的场所特征,并凝练整体的场所精神,从而使校园整体规划下的有机秩序在更新建设中得以延续。 展开更多
关键词 有机秩序:节点空间 功能融合 校园文化 场所精神
下载PDF
基于层次颜色Petri网的仓储作业系统建模与仿真 被引量:1
2
作者 朱正月 《安庆师范大学学报(自然科学版)》 2020年第4期72-79,共8页
在HCPN(Hierarchical Colored Petri Net)理论研究与应用分析工作基础上,结合某供应链企业的仓储作业系统,采用出库优先的调度策略,分层构建该系统的全局HCPN模型。利用CPN(Colored Petri Net)Tools对系统模型各子CPN系统进行图形化描... 在HCPN(Hierarchical Colored Petri Net)理论研究与应用分析工作基础上,结合某供应链企业的仓储作业系统,采用出库优先的调度策略,分层构建该系统的全局HCPN模型。利用CPN(Colored Petri Net)Tools对系统模型各子CPN系统进行图形化描述、协同运行仿真和分析,运用状态空间工具分析了系统模型的有界性、家性、活性和公平性等性质,验证了系统HCPN模型的正确性、可靠性和健壮性。HCPN在仓储作业系统建模仿真中的应用,为大规模复杂系统建模提供了一种新思路、新方法,具有重要的理论价值和实践意义。 展开更多
关键词 层次颜色PETRI网 仓储作业系统 替代变迁 融合库所
下载PDF
一种新的形式化模型对安全认证协议的分析
3
作者 胡晓辉 曾雪娜 姜浩 《计算机应用研究》 CSCD 北大核心 2010年第12期4667-4669,共3页
针对形式化建模方法在进行网络协议分析时遇到建立模型过程复杂、状态空间庞大等问题,提出在Pe-tri网的基础上,引入融合库所建立一种新的形式化模型。利用该方法对Otway-Rees协议建立模型,并从可达性和仿真两方面进行分析。实验结果表明... 针对形式化建模方法在进行网络协议分析时遇到建立模型过程复杂、状态空间庞大等问题,提出在Pe-tri网的基础上,引入融合库所建立一种新的形式化模型。利用该方法对Otway-Rees协议建立模型,并从可达性和仿真两方面进行分析。实验结果表明,该方法适合应用在协议分析中,不仅使协议建立模型更加简便,而且在一定程度上缩小了其状态空间。 展开更多
关键词 形式化模型 PETRI网 协议分析 融合库所 状态空间
下载PDF
层次颜色Petri网在Web信息系统建模中的应用
4
作者 朱正月 《集宁师范学院学报》 2020年第3期1-6,共6页
层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控制流、数据流,全面刻画系统业务流程。在给出HCPN一种形式定义... 层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控制流、数据流,全面刻画系统业务流程。在给出HCPN一种形式定义基础上,结合智慧校园中的校园一卡通Web信息系统,利用CPN Tools分层构建了该系统的HCPN模型,并对各子CPN系统进行图形化描述、协同运行仿真和分析,运用状态空间工具分析和验证了系统HCPN模型的正确性、可靠性和健壮性。 展开更多
关键词 层次颜色PETRI网 WEB信息系统 颜色Petri网工具包 替代变迁 融合库所 状态空间
下载PDF
基于地理实体轮廓的点状地名融合和拓展研究 被引量:1
5
作者 陈经伟 刘新贵 +2 位作者 孙傲辉 李华孝杨 李慧敏 《测绘与空间地理信息》 2021年第9期68-71,共4页
鉴于当前点状地名数据仅以点坐标形式记录其空间位置,缺乏空间范围的具体描述,造成多源地名匹配后,位置信息包含不确定性,不利于后期地名认证。本文在地名融合的基础上引入地理实体概念,使用含有地理实体轮廓的Wikimapia项目数据,作为... 鉴于当前点状地名数据仅以点坐标形式记录其空间位置,缺乏空间范围的具体描述,造成多源地名匹配后,位置信息包含不确定性,不利于后期地名认证。本文在地名融合的基础上引入地理实体概念,使用含有地理实体轮廓的Wikimapia项目数据,作为地名数据的空间描述,拓展地名数据的位置信息。并以俄罗斯局部区域的村庄数据为例进行了实验,实验结果表明,融合后的地名数据具有较高的准确性、有效性,扩展了属性数据,有效解决了点状地名数据缺乏空间具体描述、位置信息不确定的问题,提高了数据的可用性,为后期地名认证打下基础。 展开更多
关键词 地名融合 点状地名 地理实体轮廓 Wikimapia项目
下载PDF
拆迁安置社区(地方)感知融合度的研究——以西安市回迁社区为例
6
作者 胡颖 《绿色科技》 2018年第19期212-213,216,共3页
指出了目前学术界研究多以拆迁安置社区的融合制度和机制研究颇多,忽略了安置居民个体行为和心理融入研究。为了解决城市地理学中居住分化问题,以社区感知融合方法,借助方差计算变量和描述性分析,对500份问卷调查对西安回迁安置社区居... 指出了目前学术界研究多以拆迁安置社区的融合制度和机制研究颇多,忽略了安置居民个体行为和心理融入研究。为了解决城市地理学中居住分化问题,以社区感知融合方法,借助方差计算变量和描述性分析,对500份问卷调查对西安回迁安置社区居民感知融合进行了深入的调查研究,探讨了拆迁社区感知融合度主要受到的空间隔离、社会关系网络、文化与心理认同等因素的影响,从其影响因素着手对社区进行地方感的优化建设。 展开更多
关键词 社区融合 融合度 地方感 回迁社区
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部