绿色建筑的运行管理策略

建筑的运行阶段占整个建筑全生命时限的95%以上,因此运行管理模式和策略关系到绿色建筑建设的成败,是真正实现绿色建筑内涵的关键之一.文章围绕节约资源、环境友好、以人为本、运行高效的绿色建筑目标,以上海生态办公示范楼为例,研究探索绿色建筑运行管理策略,旨在引起业界对绿色建筑运行管理的重视,提升我国绿色建筑的建设运营水平,促进我国绿色建筑的推广应用.     

安全协议形式化分析方法

安全协议的形式化分析是检验协议安全性的必要手段。为了实现协议的规范描述和合理完备的安全性验证,各种数学理论和人工智能方法被引进安全协议形式化分析与自动化验证领域。主要从逻辑方法、模型检测方法和证明方法3个方面对符号化的安全协议形式化分析方法进行了综述,并指出了今后该领域的研究方向。