摘要：基于上海市2006-2016年间游戏企业时空数据,借助ArcGIS10.2和Crimestat3.3,探讨上海市游戏产业空间集聚及演化特征,以揭示影响其空间集聚的主要因素。研究表明:上海游戏企业空间集聚特征明显,呈现由'双核心集聚'到'单核心集聚'的演变;游戏企业存在集聚与扩散的双重态势,企业在向嘉定等城市外围地区扩散的同时,浦东、徐汇的集聚也在进一步加强;主要集聚区之间的集聚强度与集聚规模成正相关;影响上海市游戏企业空间集聚的因素是多方面的,企业的空间位置需求是企业选址的基础因素。政府的政策与规划是吸引和改变企业空间格局重要的引导性因素,而产业基地与园区的人才与资本优势成为游戏企业集聚另一重要原因。

摘要：验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。

摘要：本文介绍了淮安市大运河文化广场的景观。整个广场设计充分揭示了淮安"运河名城、绿水都市、南船北马、漕运枢纽"的历史文化内涵,是具有代表性的淮安市标志性景观。

摘要：作为业务过程中的一个重要组成方面,业务规则驱动业务逻辑的运行,业务规则的变化导致业务逻辑实现功能的变化。基于关注点分离的思想,将业务规则作为一个方面从业务逻辑中分离出来,并从更宏观的层面实现业务规则对业务逻辑的组织及驱动。业务规则不仅可以对单个业务逻辑构件内部的运行流程进行驱动,还可以对涉及多个业务逻辑构件的运行过程进行控制,并允许施加在业务逻辑构件上的规则构件可以同时为多个。同时,考虑到软件系统所处环境的日益复杂化,引入自适应机制,建立了三层的面向方面动态模型体系结构,设计出面向方面动态模型体系结构描述语言,基于Bigraph理论,建立了面向方面动态模型体系结构的语义模型,通过定义Bigraph反应系统来描述模型的动态变化,最后对模型动态变化后的完整性进行了验证。