工业聚落居住空间的崛起与再生

本文以德国Sachsendof-Madlow大型社会住宅项目为例,从对话式的参与式规划、深入民众生活的参与机制、真实生活中的居住环境、历史文脉下居住空间的新诠释、开发策略与行动内容几方面来介绍工业聚落空间崛起与再生的实践过程。     

热处理对EP/CF及EP/CF/GF复合材料力学性能的影响

采用真空辅助树脂转移模塑（VARTM）技术制备了环氧树脂/碳纤维（EP/CF）和环氧树脂/碳纤维/玻璃纤维毡（EP/CF/GF）复合材料。测试了两种纤维铺层方式中树脂流动距离的平方与流动时间的关系,对两种铺层纤维体系的渗透率进行了研究对比;将两种复合材料进行高温处理,并且对其高温处理前后的力学性能进行分析;利用扫描电子显微镜（SEM）观察了复合材料的拉伸断口形貌。结果表明,EP/CF/GF中GF毡的松散结构使树脂更易流动;高温热处理造成了EP/CF弹性模量和拉伸应变的降低,其中弹性模量降低了9.97 %、拉伸应变降低了11.36 %,但对EP/CF/GF的影响较小;GF毡的加入造成了2种复合材料弯曲性能的下降;未经处理的复合材料断口表面光滑,而热处理后的复合材料断口表面粗糙且有大量基体附着。     

适用于公里级高温超导电缆的排管通道设计研究

针对即将实施的上海35 kV公里级超导电缆试验示范工程,对适用于公里级超导电缆的排管通道设计进行研究.首先分析了国内外已建的超导电缆工程中应用的超导电缆通道型式,随后着重针对上海示范工程中所应用的排管通道型式进行分析,研究从超导电缆特点出发,分析了超导电缆路径选择的制约点以及排管通道的断面设计.最后,考虑到超导电缆敷设过程中所产生的牵引力、侧压力是通道设计的主要限制条件,对超导电缆排管通道设计中需特殊考虑的措施进行了分析,并给出了三点建议,用以控制超导电缆所承受的最大牵引力及侧压力,确保通道设计能够满足超导电缆的安全敷设.     

面向模型检验的跨时钟域设计电路 特性生成方法

对跨时钟域设计进行功能验证是SoC验证中的难点问题.传统的面向跨时钟域设计的模型检验方法并没有充分考虑电路特性描述的完整性问题,然而制订完整的电路特性是模型检验有效性的基础,不全面的电路特性描述将可能隐藏设计错误.为生成完整的描述跨时钟域设计的电路特性,本文首先提出基于有限状态自动机的电路特性生成方法;然后为缓解状态空间爆炸问题,提出基于亚稳态的数值化简策略.通过对两个典型的跨时钟域设计进行实验的结果表明,采用本文方法不仅能够达到100%的电路特性覆盖率,而且可以发现被传统方法隐藏的功能错误.同时模型检验的时间代价也能够得到大幅度降低.