以目的与背景知识为双条件的逻辑AKC

首先,我们构造以目的和背景知识为双条件的条件句系统AKC,给出它的一些证明论结果。其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的。最后,我们证明AKC相对这些框架条件也是框架完全的。     

天津滨海新区综合配套改革试验依法进行的思考

<中共中央关于制定国民经济和社会发展第十一个五年规划的建议>和国家"十一五"规划纲要明确提出,要"推进天津滨海新区等条件较好地区的开发开放,带动区域经济发展".     

天津城市地下道路功能定位研究

一、引言 随着城市化和机动化水平的提高,天津的城市交通问题日趋严重.虽然近年天津大力建设地铁及快速路系统,但随着城市扩张及经济增长速度加快,居民出行需求日益增加,地面道路交通状况依然严峻.纵观国内外交通系统较成熟的大都市区,地下道路作为新的道路规划、建设形式已经成为缓解城市交通问题的重要手段.在大规模进行城市建设阶段,做好地下道路空间规划,为地下道路建设控制预留条件,对于天津城市可持续发展有着重要意义.     

城市河道生态景观规划理论与实践的探讨

自20世纪50年代,城市水域空间的规划与改造就成为国内外城市景观规划和生态建设的一个热点.与传统的以单一水域治理为目的的河道规划不同,现代城市水域空间规划强调以生态理论为依据,将水体、堤岸、湿地、植被等诸多要素统筹考虑,进行防洪蓄水、生态恢复、休闲娱乐、经济开发等综合规划.近几年,在国内多个城市,以河道改造为主的城市滨水区开发,成为城市景观设计和生态规划的焦点.     

在中部崛起背景下长株潭城市群一体化建设研究

一、背景 最近,国家明确提出中部崛起战略,要求中部六省以中心城市和交通干线为依托,立足于自身的自然资源、地理区位和加工制造业等优势,加速发展各自的城市群和产业带.结合各自实际,中部六省相继提出中心城市群发展战略,如大太原、中原城市群;大武汉、长株潭、环鄱阳湖城市群;皖江城市带等发展战略.与西部大开发、东北老工业基地振兴、东部率先发展相呼应,中部六省现已进入加速发展时期.     

海河图书馆应用地下储能技术的可行性分析

海河图书馆是天津市海河开发规划确定的公建项目.按照天津市政府提出的建筑应达到"三步节能"的要求,该项目已被列入天津市节能建筑示范工程.     

跳出地产看地产——试论滨海新区房地产的宏观走势

滨海新区的开发开放正式纳入国家战略已有一年,在此前后,滨海新区的房地产开发热已持续近两年.静观这两年的事态变化,开发者已由最初的喧嚣、癫狂而趋于理性,置业者和投资者浮躁的功利心态也逐步冷却.显然,坊间追捧和媒体热炒的房地产开发"盛世"并未如期而至;一些先行者创造的个案营销神话,似乎也未再现,惟一的奇迹,就是滨海的房价一再拉高,已经与中心城区比肩.滨海新区的房地产到底出现了什么问题?原因何在?需要有一个客观的诊断和解答.     

滨海新区土地的开发与高效利用

继深圳、浦东之后,国家将大规模开发天津滨海新区.国家"十一五"发展规划,将开发滨海新区列入国家重要的战略布局,期冀通过开发滨海新区,带动环渤海区域经济发展,进而改变我国经济"南快北慢"的局面.这给滨海新区带来了前所未有的发展机遇,但同时,土地资源的有限性也成为制约滨海新区发展速度的因素之一.因此滨海新区今后的土地开发方向、如何实现土地资源的高效利用成为目前亟须研究的课题.     

突出生态历史保护科学开发滆湖

简要介绍了滆湖的历史、现状,针对其目前存在的4大类问题,提出了6项对策建议,突出强调了对滆湖应实行生态历史??切忌自然水域乡村开发的“城市化”倾向。