基于生态安全约束条件的西南山地城镇适应性规划策略研究

随着我国城镇化进程向西南地区 推进,西南山地城镇在迅速发展的同时也 面临着日益严峻的生态安全问题,制约着城 市的可持续发展。本文以生态安全作为山 地城乡建设的约束条件,结合PSR模型构建 评价指标体系,并对重庆市各区县的生态安 全状况进行评估;结合评估结果,从区域 城镇体系、产业布局、城镇建设、生态空间 保护等方面提出相应的规划管控策略。     

城市兴衰思辨 ——重庆都市人居环境演进的波动规律认知与应对

城市的兴衰枯荣不仅是持续的历史 过程,也蕴含着人居环境发展的客观规律。 本文以重庆都市人居环境为研究对象,梳理 从巴国文明至今的历史演进脉络;基于历史人 口变化和当代空间增长分析,提出都市人居 环境演进的波动规律：空间增长与衰退现象 交替出现;通过数据结果分析比对,提出当前 重庆都市空间发展存在着一定的衰退风险。 基于波动规律认知,提出转变城市发展观、 精明增长、完善公共服务设施、维护生态安 全四项城市规划策略,以期实现人居环境科 学历史视角对城市发展的正向影响。     

针对硬件木马的形式化验证模型构造方法

针对硬件安全验证的效率受形式化验证模型构建方式影响的问题,提出了一种面向硬件木马检测的自动构造形式化验证模型的方法.该方法首先遍历寄存器传输级设计的控制流图,提取出赋值语句的路径条件及其对应赋值表达式,构成Kripke结构中状态转移的约束关系;然后将Verilog语法的约束关系转换成模型检测器的语法,从而生成形式化验证...     

空间消费视角下城市特色塑造的规划途径研究 ——以重庆为例

我国城镇化发展由量向质的转型反映出空间由批量生产向高品质、个性化消费转变的趋势.基于空间生产与消费理论,分析资本生产逻辑下特色危机成因,构建城市特色"消费—生产—治理"内涵逻辑框架,提出回归日常生活的空间体验、特色外部效应制造超额剩余价值、城市规划管控空间消费风险等城市特色塑造途径.以重庆地域性特色城市为例,从社会、资...     

海绵城市:国际雨洪管理体系与国内建设实践的总结与反思

本文系统梳理了国际雨洪管理技术体系和国内海绵城市建设实践案例,在比对国际先进经验的基础上,总结国内海绵城市建设在研究范围、水文循环、规划管理和实践地域上的不足,并指出维护生态格局和水文循环、加强城市规划监督、促进各部门统筹协作是海绵城市建设的方向。     

相控阵超声检测在石化管道对接焊缝检测中的应用

相控阵超声检测技术是数字化超声检测的一种,对其特点、检测设备系统、人员要求、相控阵超声检测典型图谱等进行分析,并展望了其未来发展.     

三峡人居空间景观的生态特质及启示

三峡人居空间景观的生态特质是库区可持续发展的基础保障,科学总结其生态经验,对"后三峡时期"库区人居环境建设具有重要借鉴意义.通过对其山水环境、簇群人居、滨江岸线和多维绿地4个方面景观生态特质的提炼,分析三峡人居景观与特殊自然环境的系统耦合关系,识别山水关联、簇群交错、蓝绿网络、复合格局主导的景观生态模式与特征.结合三峡...