从北京到伊斯坦布尔--第22届世界建筑大会报道

2005年7月3日～7日,国际建筑师协会第22届世界建筑大会在土耳其的伊靳坦布尔举行,大会以“城市：建筑的大集市”作为主题,各国建筑师就城市的问题,解决方法和未来的发展趋势展开了一系列热烈的讨论。     

上海大光明大戏院建筑研究

20世纪20~30年代,是中国近代剧院建筑繁荣发展的阶段,这一时期上海、天津、北京等许多大城市新建了一批水平较高的剧院。该文在现场调查和文献收集的基础上,对大光明大戏院进行研究。分析了大光明大戏院的建设背景、选址规划、平面设计、立面设计、剖面设计、建筑风格、细部设计等。作为上海近代老剧院的典型代表,大光明大戏院真实反映了20世纪30年代上海近代剧院建筑的技术水平和建筑艺术风格。其建筑的艺术魅力对于研究中国近代剧院建筑有着一定的历史意义和学术价值。     

空间结构定量分析的京杭大运河遗产保护研究

本文并未止步于以往对京杭大运河及其周边地区景观现象的表层分析,而是专注于地域环境、社会文化、政治经济等对运河景观形成及改变的深层影响.将河流空间结构特征理论引入京杭大运河遗产保护研究,通过将不同历史时期运河形态化的景观空间结构转化为可度量的连通度指标,分析大运河景观表象下社会人文与自然地理2方面因素的作用机制,使大运河景观遗产理论研究更加深入、科学、完整,进而完善大运河景观遗产保护体系.     

浅谈如何将龙潭河大峡谷景观规划有机融入旅游策划中的构思

通过对四川省万源市龙潭河大峡谷的考察,分析了龙潭河大峡谷的原有自然资源、山峰、河流等资源生态特点,构思了特定地域的景区开发,充分利用现有资源开发适合旅游的景观线路,将当地自然资源最大程度的开发为旅游产业。     

协同规划——大运河遗产保护规划编制特点

中国大运河属于目前尚在使用的活态文化线路遗产,特别是大运河浙江段是目前为数不多的在用河段之一,航运繁忙,防洪排涝等水利功能不可替代,因此大运河文化遗产的界定、保护与利用突破了一般文物、文化遗产的概念,是遗产保护领域前所未有的重大课题.本文对大运河文化遗产的特点、保护与发展矛盾进行了深入分析,论述了大运河(浙江段)保护规划编制中综合各专业、各部门的法律法规和管理要求,采取协同规划的编制特点.     

大运河兴衰与清代淮安的会馆建设

会馆是明清时期出现的建筑类型.本文以清代时期淮安的会馆为研究对象,在淮安古代城市建设史研究成果的基础上,结合阅读历史文献以及实地调研等手段研究.从城市的角度,探讨淮安会馆建设与发展和城市空间形态及功能布局的互动关系,旨在加深对清代淮安的进一步认识与了解,并为传统城市改造中如何合理利用和保护会馆,提供理论参考和依据.     

内在理性和外在逻辑 合肥大剧院建筑和室内设计

合肥大剧院位于合肥政务文化新区中心人工开挖的"天鹅湖"畔,建筑所在的城区敏感环境与城市设计的总体概念是决定了这个建筑意象的外在逻辑,而项目复杂的功能、技术和空间又是其形态生成的内在理性。     

Grand Canonical Monte Carlo coupled multiscale simulation for electrochemical and solvent parameters of silver halide systems in water

Grand Canonical Monte Carlo methods in conjunction with continuum Multiscale simulation to estimate the hydration energies and surface potentials of silver halides as demonstrated elsewhere is employed by incorporating random distribution of molecules, nearest neighbor distances and hydration numbers. The extent of dehydration during each step and the corresponding variation in the hydration numbers are evaluated, assuming the validity of hard spheres. These estimates are then employed to deduce the redox potential of the reaction viz. 2AgX_(solution) ⇔ 2Ag_(solid) + X_2(gas). The dependence of these values on the nature of the halides and solvation characteristics is indicated.     

The verified software repository: a step towards the verifying compiler

The verified software repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that society increasingly places in them. This would be accompanied by a substantial reduction in the current high costs of programming error, incurred during the design, development, testing, installation, maintenance, evolution, and retirement of computer software. An important technical contribution to this vision will be a verifying compiler: a tool-set that automatically proves that a program will always meet its specification, insofar as this has been formalised, without even needing to run it. This has been a challenge for computing research for over 30 years, but the current state of the art now gives grounds for hope that it may be implemented in the foreseeable future. Achievement of the overall vision will depend also on continued progress of research into dependability and software evolution, as envisaged by the UKCRC Grand Challenge project in dependable systems evolution. The verified software repository is a first step towards the realisation of this long-term vision. It will maintain and develop an evolving collection of state-of-the-art tools, together with a representative portfolio of real programs and specifications on which to test, evaluate, and develop the tools. It will contribute initially to the inter-working of tools, and eventually to their integration. It will promote transfer of the relevant technology to industrial tools and into software engineering practice. It will build on the recognised achievements of practical formal development of safety-critical computer applications, and contribute to an international initiative in verified software, covering theory, tools, and experimental validation. Received April 2005 Revised November 2005 Accepted November 2005 by C. B. Jones