基于数据融合的定位解算算法

为了获得更加准确的估计位置,对一种基于数据融合的定位解算算法进行了研究,在将模拟退火算法与经典的泰勒级数展开法和Chan氏算法进行性能比较的基础上,将模拟退火算法与上述两种经典的位置解算算法相结合,通过构造多算法协同定位模型,并基于该模型设计了融合定位算法,对传统定位解算算法进行改进,提出了一种基于数据融合的定位解算算法.仿真结果表明,融合算法的定位精度优于非融合算法且运算量较小.     

Verification Approach of Metropolis Design Framework for Embedded Systems

In this paper, we focus on the verification approach of Metropolis, an integrated design framework for heterogeneous embedded systems. The verification approach is based on the formal properties specified in Linear Temporal Logic (LTL) or Logic of Constraints (LOC). Designs may be refined due to synthesis or be abstracted for verification. An automatic abstraction propagation algorithm is used to simplify the design for specific properties. A user-defined starting point may also be used with automatic propagation. Two main verification techniques are implemented in Metropolis the formal verification utilizing the model checker Spin and the simulation trace checking with automatic generated checkers. Translation algorithms from specification models to verification models, as well as algorithms of generated checkers are discussed. We use several case studies to demonstrate our approach for verification of system level designs at multiple levels of abstraction.     

对新一轮大城市总体规划编制的若干思考

在大城市转型发展时期,新一轮大城市总体规划编制成为近期学界讨论的热点.新一轮的北京和上海总体规划编制工作在近年相继开始筹备和运作.笔者就在参加上海市城市总体规划编制前期工作中的所思所想进行归纳总结,指出在新一轮大城市总体规划编制的四个新背景下,大城市转型发展面临着五个新问题与发展趋势,包括从增长主义转向人本主义,从微增长转向零增长,从城郊二元地区转向新城市化地区,从工作圈到生活圈,从邻避到无处邻避.应对这些新的发展趋势,新一轮大城市总体规划编制需突出发展目标的战略性、空间治理的整体性、内容的综合性、过程的公众参与性以及成果表达的政策性,并就二次开发、三线划定、区域协调三大关键性问题提出相应对策.     

重庆都市广场暖通空调设计

重庆都市广场是集商业、餐饮、娱乐、高档写字楼和酒店于一体的大型多功能高层建筑.简要介绍了其工程概况暖通空调系统设计.     

挖掘与变换──看R·库哈斯与他的两个建筑设计作品

荷兰建筑师雷姆·库哈斯获得了２０００年度的普利茨凯奖。作为著名的ＯＭＡ的创立者之一和核心人物,他已经积累了大量的、各种类型的建筑作品,涵盖了人类活动的诸多领域。“Ｙ２Ｋ”私人住宅和波多音乐厅是库哈斯最近的两个作品,具有他在城市与建筑方面的成熟经验和鲜明的个人化的工作方式。     

国际化大都市建设导向下的西安城市规划管理策略

基于建设国际化大都市的新形势与新背景,系统总结了西安城市规划管理实施中的主要问题及成因,提出了西安城市规划管理的价值诉求与目标导向：继而结合对国外国际化大都市及国内典型城市规划管理的解读,总结出对西安建设国际化大都市具有参考价值的经验与启示,最后提出国际化大都市建设导向下的西安城市规划管理新策略,旨在为处于发展加速期和结构转型期的西安城市规划管理提供有益的参考。     

现象学方法在自生成设计领域的实践

通过现象学的视角，对自生成设计领域的思想进行了分析，指出它们自下而上的现象学倾向，并以渡边诚的诱导都市课题为例，从自生成设计领域的实践层面进行了论述。     

新时期大城市地下空间规划与开发研究——以常州市为例

以常州为例,从剖析中心城区地下空间开发事例及地下空间规划编制入手,首先探讨新时期大城市地下空间规划编制体系建构的共性原则,即规划编制的系统性、规划构思的前瞻性、控规编制的科学性、城市设计的适用性、规划实施的严肃性,然后从价值观和方法论两方面论述新时期大城市地下空间开发的规划和运作策略,包括重在建立与城市规划体系对应且融合的完整的规划编制体系,规划方法上则应规划与策划相结合、用地布局与轨道线网相契合、城市设计与控制指标相反馈、地上与地下空间联动设计,并促进多元主体特别是市场主体的参与.     

中国当代都市景观的变迁与消费文化

当今在我国的大都市中,消费文化随着城市化进程改变了我们的社会关系和生活方式,同时也改变了我们的城市形象。本文选取了几类对消费文化反映相对敏感的建筑形式,并对其随消费文化的演进而发生的变化加以论述,并寻找这种转变对我国建筑学的启示及意义。     

建设通勤铁路网，构筑上海交通圈

通过对世界大城市交通圈通勤铁路的主要功能、实施形式、网络结构等进行研究分析,总结了大城市交通圈通勤铁路的主要特征。最后以上海为例,对大城市交通圈通勤铁路的规划目标、规划理念进行分析论述,并提出了通勤铁路线网进行的概念性规划设想,希望能为上海交通圈通勤铁路线网的发展规划提供参考。