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

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

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

"该成果获2017年度国家技术发明奖二等奖（通用项目）。(1)创立了快速道路交通安全状态辨识事故风险预警方法体系。 (2)提出了事故前兆的快速道路交通安全分析与多目标优化设计方法。 (3)研发了基于速度引导的快速道路交通安全主动调控技术。 建立了快速道路交通事故前兆特征的表征与识别方法，系统解析了交通事故风险形成机理及演变规率，提出了快速道路交通安全状态类归与主动辨识技术，构造了快速边路交通审故风险主动预警技术。提出了事故前兆特征的快速道路交通安全分析技术，研制了事故前兆特征的交通事故风险分析与优化设计软件，研发了快速边路出入交通冲突仿真快速提取技术，提出了综合考虑效率、安全、环境和能耗的快速道路典型节点交通设计多目标协同优化技术。某于交通安全影响系数构建了常用车速管控设施综合优化技术，提出了不利天气条件下快速道路限速值优化设计技术，构建了面向安全增强、效率提升和多目标协同优化的可变限速控制和系统搭建技术。 "

随着我国城市化进程，城市的交通愈发拥堵，为此越来越多的城市开始建设地铁轻轨系统。运用安全管理信息系统充分利用当今先进的网络技术和计算机软硬件技术，对信息进行有效的科学管理，帮助领导层及时准确地掌握各项关键业务信息。    系统功能： 整个系统由基础数据、半自动排班、信息发布与查询、出退勤管理、系统管理、车质管理等模块组成。 该系统实现了列车运用管理过程中的列车质量、列车计划、列车乘务员人员派班、人员管理等方面的信息管理问题。具体功能如下： （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或者更高版本    运行情况及效果： “运用安全信息管理系统及列车质量管理系统”在天津滨海轻轨车辆段已应用一年，经过与现场的不断沟通，系统功能更加完善，并且运行稳定，大大地提高了管理水平和工作效率。该系统的应用，改变了传统的工作方式，增加生产管理的科技含量，为车辆段工作的高效性及其安全性提供有力的保障，提高车辆段运用安全管理水平及整体工作效率，为领导者的决策提供了科学的依据，促进了轻轨列车管理的自动化水平，推动津滨快轨交通的快速发展。

基于主动成本控制的ERP系统是基于现代IT技术，用信息论、系统论方法研究我国企业管理实践而提出的一套管理控制软件，该系统提供的功能从生产工艺数据、生产综合计划到物流管理、成本管理、车间管理、领导查询等模块是相互联系、相互依存的有机整体，以物流控制为基础，成本控制为主线实现关键业务的有效控制，提高企业的核心竞争力。 一、系统特点： 1．产品在吸收国外先进管理思想的基础上，结合国内企业实际管理现状，强调适合国内企业管理模式和管理基础。 2．在设计上基于先进的管理思想，突出计划、控制、跟踪和差异反馈等管理控制理念。 3．采用软件可复用技术，使产品成熟度更高；采用面向对象的设计方法，使产品数据结构更合理，易于扩充；各系统之间可以组合使用，满足不同企业的需求，也可以满足不同部门的需要。 4．易于被企业管理人员、业务人员接受，系统思路清晰，易于实施推广。 二、系统主要功能特点： 1．生产工艺基础数据与计划部分。         2．物资采购、供应、销售管理部分。 3．主动成本控制部分。 4．车间管理部分（包括车间材料管理和车间作业管理两部分）。 以上各模块之间无缝连接，并可独立使用。 三、系统提供以下系统的开放集成： 1．PDM/CAPP系统。                     2．财务软件系统。

空调系统中，制冷剂的状态与流量、换热器的传热效率、压缩机特性、膨胀阀的节流特性等众多因素相互耦合，系统的一个稳定状态往往对应参数的多个解，于是寻找参数的最优解，实现系统最佳匹配与优化控制，成为节能控制的核心问题。基于最佳冷凝蒸发压差的控制策略，摆脱了单纯的过热度反馈控制模式，开发了基于流型与分区模型的空调系统稳态仿真模型和双联变制冷剂流量的制冷系统稳态仿真模型，通过仿真与实验验证，证明了该控制策略可以实现制冷空调系统的最优匹配，达到节能降耗的目的。