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

该系统主要创新点是将电池热管理系统与安全防护系统一体化，具有散热快、安全高效的优点。 

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

电小盾用电安全智能管理系统是运用物联网、大数据、云计算等前沿技术，通过智能传感终端设备，实现电路线缆状态监测、故障掌上预警，通过用电安全防护器，实现防触电、防起火、放漏电等用电安全保护，避免触电伤害。 核心功能： 触电保护、短路保护、漏电保护、过载保护、过欠压保护、老化线路保护、防水保护、故障报警 应用场景： 实验室、园区、办公楼、银行、养老院、机场、社区、加油站

本项目获得2014年黑龙江省科技进步二等奖，目前在哈尔滨及东三省等很多城市广泛应用，技术成熟，性价比高，该项目中的全数字电声警报一体机和基于人防专用频点的自组织网络路由器获得国家发明专利。该产品是由警报控制模块和电声警报模块和二为一的鸣响警报报知设备，可通过有线、无线双重控制，发防警报，并具有故障自动检测、工作状态回视、电声广播、电声报时、软件在线升级等功能。

随着我国城市化进程，城市的交通愈发拥堵，为此越来越多的城市开始建设地铁轻轨系统。运用安全管理信息系统充分利用当今先进的网络技术和计算机软硬件技术，对信息进行有效的科学管理，帮助领导层及时准确地掌握各项关键业务信息。    系统功能： 整个系统由基础数据、半自动排班、信息发布与查询、出退勤管理、系统管理、车质管理等模块组成。 该系统实现了列车运用管理过程中的列车质量、列车计划、列车乘务员人员派班、人员管理等方面的信息管理问题。具体功能如下： （1）列车乘务员管理方面，将全体列车乘务员个人信息输入电脑，利用电脑进行人员管理，请、销假使用光电指纹仪进行登记，人员动态变化随时都在控制中；制定合理的列车乘务员出乘计划，控制列车乘务员定时定量进行休息，按规定提前时间出勤。列车乘务员的出勤、退勤、请销假都使用光电指纹进行登记，实现了列车乘务员由出乘到退勤一次作业过程的有序可控； （2）实现了对列车走行公里、运用日志的统计、对人员动态、人员考勤的统计、安全公里、安全天数和事故的统计； （3）在运用分析方面的列车次数、交路情况、考勤情况及检修情况的统计等全由微机完成，显示及时准确，将车辆段配属及支配的列车输入电脑管理，及时跟踪列车动态，为列车的合理运用、检修保养提供科学的依据，保障列车在运用过程中的安全； （4）对列车乘务员安全教育培训、上岗规章制度考核做到每日一题，有利于提高安全意识，加强业务水平的提高； （5）实现了轻轨车辆的各种维修方式的循环调度、各种工作表格的综合管理； （6）通过制定车辆接发车计划实现了对车辆段的现场情况的调度管理。 运行环境： （1）硬件设备 客户端计算机基本配置：处理器PentiumIII800，内存256MB，显示适配器256色，硬盘4GB。服务器计算机基本配置：处理器PuntiumIV2.6G，内存512MB，硬盘40GB。 其他硬件配置：触摸屏、LED大屏幕，语音卡、打印机、交换机。    （2）软件环境 客户端操作系统：Windows XP 系列 服务器操作系统：Windows Server 2003 系列 数据库系统：Oracle 9i 网络协议：TCP/IP Web浏览器：Microsoft Internet Explorer 6.0或者更高版本 运行情况及效果： “运用安全信息管理系统及列车质量管理系统”在天津滨海轻轨车辆段已应用一年，经过与现场的不断沟通，系统功能更加完善，并且运行稳定，大大地提高了管理水平和工作效率。该系统的应用，改变了传统的工作方式，增加生产管理的科技含量，为车辆段工作的高效性及其安全性提供有力的保障，提高车辆段运用安全管理水平及整体工作效率，为领导者的决策提供了科学的依据，促进了轻轨列车管理的自动化水平，推动津滨快轨交通的快速发展。

随着我国城市化进程，城市的交通愈发拥堵，为此越来越多的城市开始建设地铁轻轨系统。运用安全管理信息系统充分利用当今先进的网络技术和计算机软硬件技术，对信息进行有效的科学管理，帮助领导层及时准确地掌握各项关键业务信息。 系统功能： 整个系统由基础数据、半自动排班、信息发布与查询、出退勤管理、系统管理、车质管理等模块组成。 该系统实现了列车运用管理过程中的列车质量、列车计划、列车乘务员人员派班、人员管理等方面的信息管理问题。具体功能如下： （1）列车乘务员管理方面，将全体列车乘务员个人信息输入电脑，利用电脑进行人员管理，请、销假使用光电指纹仪进行登记，人员动态变化随时都在控制中；制定合理的列车乘务员出乘计划，控制列车乘务员定时定量进行休息，按规定提前时间出勤。列车乘务员的出勤、退勤、请销假都使用光电指纹进行登记，实现了列车乘务员由出乘到退勤一次作业过程的有序可控； （2）实现了对列车走行公里、运用日志的统计、对人员动态、人员考勤的统计、安全公里、安全天数和事故的统计； （3）在运用分析方面的列车次数、交路情况、考勤情况及检修情况的统计等全由微机完成，显示及时准确，将车辆段配属及支配的列车输入电脑管理，及时跟踪列车动态，为列车的合理运用、检修保养提供科学的依据，保障列车在运用过程中的安全； （4）对列车乘务员安全教育培训、上岗规章制度考核做到每日一题，有利于提高安全意识，加强业务水平的提高； （5）实现了轻轨车辆的各种维修方式的循环调度、各种工作表格的综合管理； （6）通过制定车辆接发车计划实现了对车辆段的现场情况的调度管理。    运行环境：  （1）硬件设备 客户端计算机基本配置：处理器PentiumIII800，内存256MB，显示适配器256色，硬盘4GB。服务器计算机基本配置：处理器PuntiumIV2.6G，内存512MB，硬盘40GB。 其他硬件配置：触摸屏、LED大屏幕，语音卡、打印机、交换机。 （2）软件环境 客户端操作系统：Windows XP 系列 服务器操作系统：Windows Server 2003 系列 数据库系统：Oracle 9i 网络协议：TCP/IP Web浏览器：Microsoft Internet Explorer 6.0或者更高版本    运行情况及效果： “运用安全信息管理系统及列车质量管理系统”在天津滨海轻轨车辆段已应用一年，经过与现场的不断沟通，系统功能更加完善，并且运行稳定，大大地提高了管理水平和工作效率。该系统的应用，改变了传统的工作方式，增加生产管理的科技含量，为车辆段工作的高效性及其安全性提供有力的保障，提高车辆段运用安全管理水平及整体工作效率，为领导者的决策提供了科学的依据，促进了轻轨列车管理的自动化水平，推动津滨快轨交通的快速发展。

随着物联网技术与智能交通技术的发展，用于高速公路或城市内普通公路的道路护栏，作为“智慧城市”的一个重要组成部分，正受到越来越多的关注与重视。通过在护栏上安装低功耗的传感器芯片以及无线信号收发芯片，并配合相关服务器软件，护栏具备了一定的外部事件感知能力、处理能力、无线通信与组网能力，从而实现护栏的智能化。