Dynamic consistency in process algebra: From Paradigm to ACP

The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at various levels of abstraction. The operational semantics of Paradigm is given. For a large, general subclass of Paradigm models a translation into process algebra is provided. Once expressed in process algebra, relying on a correctness result, Paradigm models are amenable to process algebraic reasoning and to verification via the mCRL2 toolset. Examples of a scheduling problem illustrate the approach.     

移动IPv6--普适计算的无缝安全策略

针对未来普适计算的互连和动态特点,结合下一代互联网通信协议IPv6的移动性、融合性、安全性特征,讨论了移动IPv6在普适计算网络中的应用前景。     

大城市交通与建成环境综合规划的范式扩展与深化 — —中美案例的比较与启示

城市交通与建成环境规划是城市 综合规划的核心内容,在城市的不同发展阶 段,其社会经济条件与主要规划理念、政策 保障之间的匹配度对城市发展产生了持续影 响。在中国城市面临空间增长型向内涵提升 型转变发展的重要时期,进一步审视发达 国家大城市交通与建成环境综合规划在不 同阶段的范式变化（包括主要背景、发展理 念、规划要点、实施效果等）,对比中国大城 市发展的阶段性特征,将为中国大城市交通 与建成环境的提质发展提供有益参考。本文 通过梳理中美两国部分大城市交通与建成 环境规划的发展脉络,总结不同阶段的范式 发展特征,结合当前中国大城市空间发展趋 向,为中国大城市交通与建成环境的综合发 展提供借鉴和指导。     

互动的舞台——试论建筑的情理交织

建筑的演进，在某种意义上是情感与理性的交织发展过程，情感与理性的关系，从曾经相互抵触，逐渐发展到相互融合的阶段，建筑学领域中，情感与理性的界线正在变得模糊，该文通过解析几个重要时期建筑的形 特征，揭示出建筑发展的规律之一。     

集成建筑范式的缘起与发展

一般地认为．集成范式滥觞于二战结束后的大规模工业化生产并伴随着系统论的诞生。作者认为大致有三个方面的作用促使集成设计思想的缘起：一是科学和哲学的推动，二是建筑本身日益增长的复杂性：三是工业化的生产方式的促进作用。在当代，以计算机技术为代表的信息化成为集成建筑范式的外在动力，而人们对与环境的需求则成为其内在的动力。但在真实的语境下，先进技术往往还只是各类研讨会上设计先锋们的主题或话题。无论是先锋建筑师还是激进的建筑学院．他们过多沉湎于虚幻图像的追寻，过分崇尚各种算法与美仑美奂的形态，结果忽视了普适性项B的建造实践。那些大量性的民用建筑以及它们的设计者——诸多改制而来的各级设计院，依然在沿袭传统的设计范式。     

外墙主义:一种充满争议的历史建筑保护范式

在城市更新对历史建筑的保护范式中,外墙主义是一种具有争议的保护范式,本文将结合我国大陆和港澳地区采取这一范式进行改造保护的案例,分析阐释其定义与争议的焦点。     

包容性增长与城市规划范式转换

文章简要剖析了包容性增长的内涵,认为城市规划要想促进实现包容性增长,就必须有利于转型、公平和民生,这使传统上以经济增长为核心、自上而下规划模式,无论是理念、方法还是关注重点都需要进行根本性的范式转换。     

All Night Long: The Architectural Jazz of the Texas Rangers

In the mid-1950s, a group of young faculty at the University of Texas School of Architecture in Austin - aka the Texas Rangers - entertained themselves with weekly sessions of a sophisticated, collective drawing game, ‘Dot-the-Dot’, in which there was an emphasis on inventive fluency in hand drawing as well as an innate knowledge of historic European city plans. What happened when Mark Morris , Visiting Associate Professor at Cornell University, decided in a design studio to ask present-day students to revive the game?     

清代信江书院园林图式语言研究

清代信江书院园林是一种典型的山地园林与传统文化景观,其园林景观中存在一种程式化、类型化的特征。本文先对清同治《信江书院图》中园林文化景观进行分析完成传统图绘的转译,以求还原古代信江书院文化景观形态。其次基于图式语言理论,以字、词、词组、句式的方式进行景观图式语言提取,剖析其图式中所含的文化寓意、空间关系和结构逻辑,寻找其中蕴含的文化原型与景观范式。再通过分析信江书院园林景观语法规则诠释古人景观营造意图和设计方法。最后并通过分析信江书院园林景观语境表达研究书院所蕴含的文化结构。该研究对于传统文化景观的传承借鉴以及当代的景观设计具有重要的意义,亦为当代的传统地方文化景观研究提供新的方法与研究思路。