项目研究内容 ： 本系统的开发内容是实现一个能够对网络安全认证 协议进行形式化自动分析的模型检测系统， 该系统能够自动完成对协议的 建模、性质归纳及协议系统模型的验证，并在发现协议漏洞时，以直观的 图形化界面显示该漏洞的攻击序列图。 技术特点 ：抽象性：该系统具有较高的抽象性。协议的建模和验证过 程对用户来说是完全透明的

230mm×230mm×240mm，两端有金属触点，使用电子线路，发光二极管显示。

项目简介： 目前，针对衣服和鞋子都推出个性定制，高端时尚领域也为之疯 狂。量体裁衣的难题在于设备昂贵、精确的测量与裁缝的经验不衔接、 服装放宽量大，需要更多的经验、服装式样起主导作用，尺寸的误差 对舒适度影响不大等等；量足制履的难题在于设备比较简单、脚与鞋 贴合紧密和高跟鞋型与脚型不匹配直接影响舒适度和足部健康等等。

背  景特有技术： 彩色编码光栅三维测量技术：技术特点： 单幅照片完成三维测量适用范围： 人体测量量体裁衣 设备昂贵 精确的测量与裁缝的经验不衔接 服装放宽量大，需要更多的经验 服装式样起主导作用，尺寸的误差对舒适度影响不大

本成果掌握了新型高温高能防护涂层原材料设计和制备、涂层结构-功能一体化设计、涂层寿命可靠预测等技术方法，突破了陶瓷涂层强韧化、涂层宏微结构控制、大尺寸薄壁异形件的尺寸稳定性和涂层质量均匀性控制等关键技术，研制的新型涂层实现了kW/cm2量级高功率密度数十秒的激光有效防护。 一、项目分类 关键核心技术突破 二、技术分析 针对重大装备对高能激光防护涂层材料提出的迫切需求，开展了高能激光防护涂层材料技术研究。掌握了新型高温高能防护涂层原材料设计和制备、涂层结构-功能一体化设计、涂层寿命可靠预测等技术方法，突破了陶瓷涂层强韧化、涂层宏微结构控制、大尺寸薄壁异形件的尺寸稳定性和涂层质量均匀性控制等关键技术，研制的新型涂层实现了kW/cm2量级高功率密度数十秒的激光有效防护。研究成果已成功应用于高空无人机等重要装备的高温高能防护。 图1：研制的喷涂粉体 图2：大尺寸薄壁异形件构件表面高能激光防护涂层

首先，对干旱沙漠地区电气化铁路牵引供电系统防雷失效风险进行评估。其次，通过评估确定干旱沙漠地区电气化铁路接触网雷电防护方案和电气化铁路牵引变电所雷电防护方案。牵引变电所雷电防护主要从一次系统和二次系统展开防雷保护。一次系统直击雷的防护方案就是采用避雷针；电压等级相对较低的牵引变电所二次设备雷电防护方案主要采用接地、设置电涌保护器、屏蔽和隔离。最后，对避雷器设备在线检测方案进行了研究。通过对氧化避雷器MOA泄漏电流检测的原理和方法进行了研究，设计了无线多点MOA在线检测系统。

项目背景及主要用途： 有机固体废弃物主要包括城市生活垃圾、规模化养殖场畜禽粪便、秸秆、城 市污泥等。其产生量巨大，且有机质含量高,若直接排放，将对环境造成严重污 染。对有机固体废弃物的处理迫在眉睫。而厌氧发酵实现了有机固体废弃物到清 洁能源的转换,符合国家倡导的废弃物减量化、资源化、无害化资源化处理的要 求，实现了环境与能源双赢的局面。 技术原理与工艺流程简介： 该技术采用混合物料厌氧发酵，对基质性质进行调节，提高系统运行稳定性 154天津大学科技成果选编 155 和效率，对有机固废进行无害化和资源化处理，建立实时监测和预警系统，保障 工艺系统安全运行。 技术特点： （1）反应装置停留时间短 （2）沼气产量高 （3）充分回收生物质能 已有示范工程：市政污泥与餐厨垃圾发酵示范工程（深圳） 应用领域： 该技术适用于污水处理厂剩余污泥、有机固体废弃物、农业废弃物的处理。 

成果介绍物联网感知层测试实验与评估系统是在863主题项目—物联网安全感知关键技术及仿真验证平台的资助下完成。仿真平台为物联网感知节点部署后的性能提供一个仿真测试和性能评估的环境，其特点是：不需要部署真实的感知节点。通过对物理信道的建模、无线信号特征建模、电源建模和通信环境建模，能够最大限度模拟真实环境下的感知节点通信过程。仿真的结果是理论值，可以将感知层测试实验平台的数据作为系统的初始值，从而提高仿真的精度。其特点和指标：（1）针对实际应用环境配置参与通信的感知节点属性和参数，即节点建模；（2）建模感知节点的电源模型；（3）根据用户的需要选择节点部署的方式，并可以对节点位置、属性和参数进行手动调整；（4）能够加载待测的通信协议；（5）能够根据部署的拓扑图产生用户编程模板；（6）理论上，待测节点的数量不设置上限，但随着节点数量的增加，PC的处理时间将延长；（7）能够仿真无攻击或攻击情况下，网络的吞吐量、丢包率、延时、数据传输的平均路径长度、平均能耗和网络的扩展性等性能；（8）该平台不受具体应用的限制。技术创新点及参数技术原理：针对物联网感知层设备规模庞大，部署费时费力，以及部署前很难评估系统性能，部署后加载的协议一旦不符合要求，重新加载成本巨大的问题，研发了该平台。该成果的主要创新性体现在感知设备和环境等物理特征建模、测试内容和方法、仿真过程和结果的可视化显示等方面，使得开发的系统简单、易用，测试过程清晰、透明，测试结果可以分类比较。（1）在感知设备和环境等物理特征建模方面 该项目在感知设备部署环境方面，分别对室内环境和室外环境进行建模。针对室外环境，该团队主要考虑自由空间的情况下，根据设备部署在平坦区域和非平坦区域的不同进行建模；针对室内环境，该团队主要根据多径效应、视距是否阻挡以及不同建筑材料（包括：混凝土墙、混领土楼板、天花板管道、金属楼梯、厚玻璃、木门和隔墙等）对信号衰减的影响进行建模。在电源建模方面，主要是根据不同厂家的5号电池的放电曲线进行建模，由其放电电流、放电电压和持续时间来确定电源的剩余电量。在芯片建模方面，根据不同的芯片类型，建模发射功率、接收灵敏度、RSSI、发送速率、工作电流和最小工作电压等主要参数。（2）在感知层的测试内容和方法方面该平台主要针对感知层需要评价的性能，如：吞吐量、丢包率、延时、平均路径长度、能耗和连通度等，设计了其测试方法，新增待测性能可以通过组件的方式扩展。为了实现相关性能测试，首先需要选择设备类型和部署场景，如图1和图2所示。然后进行部署，部署完成后，系统会自动产生5类文件，即：.ned文件，定义了感知设备部署后的拓扑结构，如图3所示；.msg文件，定义了感知设备之间的通信规则，用户可以根据实际需要进行修改和自定义；.ini文件，设备一旦部署完成后，其id号和位置坐标将记录在该文件中，设备移动后，该文件对应的坐标值将自动更新；.h和.cc文件，即用户待测协议的源文件。一旦感知设备部署完成，平台自动产生这5类文件的初始框架，用户只需要写入待测协议的具体代码，经编译器编译后，即可进入测试环节。具体协议的代码可根据该项目组编写的编程指南开发，其开发环境与C语言的开发环境类似，方便易用。（3）在仿真过程和结果的可视化显示方面一旦待测协议编译完成，平台即可开始相关的测试，此时，用户可以根据需要动态选择不同的参数，进行测试。开始测试时，平台将同步显示协议的通信过程，如图5所示。根据仿真测试结果，不同的协议可以进行性能对比，如图4所示为不同协议的网络平均能耗对比。该平台可以在无攻击和无安全机制、无攻击和有安全机制、有攻击和无安全机制、有攻击和有安全机制等四种情况下，评估感知层网络的性能，并将它们的测试结果进行对比分析。国内外同类技术对比：国际上类似的仿真工具有十种左右，如：TOSSIM，OpenNet，NS2和OMNET等，都是针对传感器网络开发，不能仿真技术体制不同的感知设备，没有对设备、网络和环境等物理特征建模，而且无法接入实体设备，无法进行虚实结合的仿真测试。即使有些工具可以仿真感知层网路，如：TOSSIM，但是只提供TinyOS传感网络的仿真环境，无法仿真系统的安全性能，无法动态添加安全策略和安全模型。而NS2、OpenNet和OMNET虽然可以仿真安全协议，但使用复杂，不易掌握，无法进行多安全机制对比，无法接入实体设备。而且，它们仿真的物理层是理想状态，造成仿真结果与实际存在较大的差异。

本项目研究了安全信息在安全管理中的重要性及建立安全管理信息系统的必要性，并对比了传统和现代安全管理信息系统的模式。结合我国安全信息管理的实际情况，并以首都钢铁集团公司、太原钢铁集团公司的应用需求开发了安全管理信息系统软件。该安全管理信息软件使用 Delphi7.0 语言编写，采用 Access2003 数据库管理系统，可运行于 Windows98/ Windows2000/ Windows XP 等操作系统，该软件的数据库结构和报表结构符合国家安全生产监督管理局发布的《伤亡事故统计报表制度》的规定，涉及的行业标准符合 GB/T4754-2002。该软件的功能主要分为五大模块：系统维护、安全信息管理、安全分析、安全评价和系统恢复。系统维护模块主要实现企业基本信息管理、用户权限管理以及系统备份等功能；安全信息管理模块主要实现安全信息的录入、修改和删除，对安全信息的综合查询和分类统计，并且输出两个报表；安全分析模块主要采用事故树分析法对企业常见伤亡事故进行事故树定性分析（最小径集、最小割集和结构重要度）和定量分析（顶上事件发生概率、概率重要度和临界重要度）；安全评价模块主要采用安全检查表法对企业生产系统进行综合打分并得出结论；系统恢复模块主要实现当系统出现重大问题时对系统中的数据进行恢复。目前与有关企业合作，按用户要求进行个性开发，使管理信息系统软件更加实用。该项目的研究成果达到国内领先水平，所开发的软件运行稳定，界面友好，操作方便，简单实用。应用范围：该项目可应用于各企事业单位的安全管理，行业包括农、林、牧、渔业，采掘业，制造业，电力、煤气及水的生成和供应业，建筑业，地质勘探业，交通运输业，房地产业等等。

信息系统其安全要求也日益提高。软件漏洞、数据代码完整性破坏等，已成为难以防范的威胁。本成果针对通信系统，采用一种新型可编程硬件模块，来增强系统通信硬件加解密及嵌入式处理器运行安全，并优化设计程序恢复机制，确保系统遭到攻击时程序的正常执行。此成果的优势为：硬件模块与处理器间属物理隔离，本身不易被攻击；模块本身几乎不占用处理器的运算消耗；具有低资源开销特点；可适用于其它信息系统。