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

成果简介： 系统包括设备基本信息、腐蚀监测、剩余寿命评价、风险动态评估、辅助决策和可视化预警等模块。设备基本信息实现了锅炉、容器、管道、安全阀等安全管理；腐蚀监测包括腐蚀在线监测、腐蚀定点测厚、腐蚀检查等，实现了腐蚀全过程管理，以及腐蚀数据分析和超标报警；剩余寿命评价实现了压力管道和压力容器基于损伤模式的剩余寿命评价计算；风险动态评估实现了对系统中固有的

底座尺寸400*300*70mm,模具一体成型，两端呈弧形，上翘47度，两面四角注塑有1.5mm脚垫，长度25*25mm，仪器整体高度190mm，上面装有两只手形状的触摸电极，尺寸170*130*4mm，一只50uA的电流表，观察发电量大小，探究为什么人体可以发电。

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

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

XM-D021A微电脑人体心动周期与大、小循环演示仪 （170cm）   XM-D021A微电脑人体心动周期与大、小循环演示仪模型（170cm）为成人女性，材质后部采用增强塑料，前部为PVC塑料，动静脉采用红、蓝发光二极管，底座后方有220V电源插座，前上方有全身血液循环、体循环、肺循环、复位四个演示按钮。   一、显示内容： ■ 全身血液循环：血液由左心室流向升主动脉→主动脉弓→降主动脉→主动脉胸段→主动脉腹段→在通过主动脉各段时沿途分布于头颈部、胸、腹、盆腔部、上肢部、下肢部→通过各节静脉→汇合至上、下腔静脉→右心房→右心室→肺动脉→气体交换由肺静脉→左心房→最后到左心室，以上过程结束后会自动重复演示，直到按复位键结束。 ■ 体循环：按此键后，模型上即出现全身血液循环中除肺循环以外的循环流动过程。 ■ 肺循环：按此键后，模型上即出现全身血液循环中除体循环以外的循环流动过程。   二、技术参数： ■ 尺寸：高170cm ■ 材质：PVC材料+木框   三、标准配置： ■ XM-D021A微电脑人体心动周期与大、小循环演示仪模型：1台 ■ 电源线：1根 ■ 说明书：1册 ■ 保修卡合格证：1张

XM-106人体骨骼带神经与血管模型   XM-106人体骨骼带神经与血管模型（人体骨骼带心脏血管模型）显示男性全身骨骼的组成和形态外观，由男性全身散骨串制而成一整体骨架，成直立姿势，并显示人体全身主要血管和神经的行程及其分布概况，四肢大的关节部分均可活动，头颅含可活动的下巴、可移动的头颅盖，其中四肢骨和头颅骨可以灵活拆卸组装，整体固定在支架上，带底座，可灵活移动。 尺寸：高85cm 材质：PVC材料

项目背景及主要用途： 有机固体废弃物主要包括城市生活垃圾、规模化养殖场畜禽粪便、秸秆、城 市污泥等。其产生量巨大，且有机质含量高,若直接排放，将对环境造成严重污 染。对有机固体废弃物的处理迫在眉睫。而厌氧发酵实现了有机固体废弃物到清 洁能源的转换,符合国家倡导的废弃物减量化、资源化、无害化资源化处理的要 求，实现了环境与能源双赢的局面。 技术原理与工艺流程简介： 该技术采用混合物料厌氧发酵，对基质性质进行调节，提高系统运行稳定性 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虽然可以仿真安全协议，但使用复杂，不易掌握，无法进行多安全机制对比，无法接入实体设备。而且，它们仿真的物理层是理想状态，造成仿真结果与实际存在较大的差异。