冻融破坏混凝土红外热象特征及损伤程度评定

对混凝土冻融损伤的红外热象特征进行了实验研究。结果表明,混凝土冻融损伤区域在红外热象图上呈“热斑”特征,根据“热斑”的温度范围和面积大小,可评定混凝土冻融损伤程度,其可靠性用超声波脉冲法作了验证,可为修复工程提供有价值的技术资料。     

移动Ad hoc网络安全分簇综述

移动Ad hoc网络是由移动节点组成的无线移动通信网络,它具有动态拓扑、无线通信的特点,但又易受到各种安全威胁。规模较大的移动Ad hoc网络可以用分簇的方法来减少路由和控制开销,并提高网络的可扩充性。综合分析了以安全为部分或全部目的的移动Ad hoc网络分簇方法研究的最新进展。首先分析了移动Ad hoc网络的特点、体系结构和面临的安全威胁,然后将较大规模移动Ad hoc网络的安全分簇方法分为3个重要方面:认证模型、信任度量和不良节点发现。对每个方面的一些典型方案进行了分类论述和综合比较。最后指出了下一步研究中应当着重考虑的问题。     

基于事件顺序的时间戳协议处理

在不考虑网络延迟的情况下,提出一种基于事件顺序的时间戳协议处理方法。在分析时间戳大小与事件关系的基础上,证明为使事件绑定时主体接收的时间戳是新的,状态转移必须满足时间戳关系无环性,并基于事件顺序给出时间戳关系无环性的验证算法。实例表明,该方法易于实现,且具有一定适用性。     

新城水库生物控藻措施及效益分析

分析淄博市新城水库的生物控藻技术措施,并通过建立经济效益评价模型,对近年来新城水库藻类控制技术进行经济效益分析。结果显示：生物控藻技术成效显著,实现了生态、社会、经济效益的协调发展,为淄博经济社会发展提供了可靠的水资源保障。     

一种改进的Woo-Lam密码协议模型

提出了一种改进的Woo-Lam密码协议模型,即eWoo-Lam模型。与Woo-Lam模型相比,新模型具有以下特点：增强了模型中关于密码学原语操作的描述语法,使得对密码协议主体行为的描述更加精确,提高了模型在检测协议攻击方面的能力; 引入了匹配运算机制,保障了模型安全性证明的有效性; 提出了七条形式化准则,规范了模型的抽象过程; 扩充了模型基于状态迁移的形式语义,使其更加精确合理; 重新给出了模型安全性的形式定义,使其更具一般性。     

上海生态住宅示范楼技术集成体系

绿色建筑遵循“节约能源、节省资源、保护环境、以人为本”的基本理念,是最能体现可持续发展能力的建筑模式。本文重点介绍上海市科委重大科研攻关项目主要成果之一“上海生态住宅示范楼”的“零(低)建筑能耗、资源高效循环利用、智能高品质居住环境”等先进技术集成体系。     

混凝土中f—CaO引起的体积安定性鉴定方法

结合检测实例介绍了混凝土中ｆ－ＣａＯ引起的体积安定性的两种鉴定方法。膨胀应力法：定量分析混凝土中残存的ｆ－ＣａＯ,估测ｆ－ＣａＯ水化产生的膨胀应力,比较膨胀应力与混凝土抗拉强度的大小,据此评定混凝土体积安定性;沸煮法：根据沸煮前后混凝土超声波声速劈裂抗拉强度及混凝土薄切片的变化,评定混凝土体积安定性。     

绿色建筑标准体系构建和性能提升技术研究及应用

项目组针对我国绿色建筑发展过程中存在的标准体系不完善、技术碎片化、全过程协同难等关键问题,紧密围绕"顶层设计-关键技术-工程应用"的技术路线,建立了适合中国国情的绿色建筑性能提升技术体系,建立了具有中国特色的绿色建筑技术标准体系,研发了以性能优化为导向的多维多元、协同共享的系列软件和大数据管理平台.相关研究成果在全国进行了示范应用,支撑了我国绿色建筑实现从无到有、从少到多、从个别城市到全国范围、从单体到城区、城市的规模化和从高速度转向高质量的发展.