提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。 一、项目分类 重大科学前沿创新 二、成果简介 以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(1)提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。获得命题逻辑求解器国际竞赛第二名和一阶逻辑证明器国际竞赛第二名，发表论文(JCRQ1)3篇，登记软件著作权3项。(2)提出了基于自动推理的形式化验证技术、基于交互式应用安全测试技术的检测方法，提升了网络空间安全软件系统在开发过程中软件代码层和业务逻辑层安全缺陷检测过程有效性和检测结果准确性。目前已形成拥有自主知识产权的商业工具，支撑了软件系统在关键信息基础设施中的安全应用，并辅助了国家相关信息安全标准的建设，测试工具是唯一一家被OWASPBenchmark工作组收录的中国厂商自研工具。获批国家标准2项(GB/T30279-2020  GB/T38628-2020)，获得发明专利4(ZL201910498983.9ZL2019108553424  ZL2020100476371  ZL20201175663.9)登记软件著作权11项。 (3)提出了一种网络空间非正常无线电信号的电磁干扰识别与自组织处理的方法，实现了及时发现与处理电磁威胁，提高了电磁信息的安全性。获得发明专利2项(ZL2012104380941、ZL2012104380937)，获得实用新型专利1项，发表论文1(JCRQ2）篇。

一、项目分类 关键核心技术突破 二、成果简介 储能能够为电网运行提供调峰、调频、备用、需求响应支撑等多种服务，是提升传统电力系统灵活性、经济性和安全性的重要手段。加快储能技术与产业发展，对于构建以新能源为主体的新型电力系统，实现碳达峰碳中和具有重要意义。据预测，到2050年，我国锂电池储能将达到400吉瓦，年均增长26%。然而，锂离子电池固有的安全性问题使其大规模应用遇到了瓶颈。2019年美国亚利桑那州一起锂电池储能系统火灾，今年4月我国某储能电站爆炸，韩国近年来30座电池储能电站发生火灾，均造成重大人员伤亡和经济损失。因此，储能系统的消防安全问题已成为制约锂离子电池储能大规模推广的关键瓶颈。 现有技术的痛点问题是：1、锂离子电池火灾机理有差异；2、锂离子电池灭火剂适用性不强；3、现有灭火剂不具备高效降温能力；4、实时健康状态监测技术缺乏；5、预警技术作用重视不够；6、技术规范建设严重滞后。

一种核电站安全壳穹顶裂缝无线自动监测方法及装置，包括设置若干无线传感器节点、中继模块和 数据处理模块，对中继模块，将接收天线放置于穹顶中间护栏上，接收所有无线传感器节点采集的测量 数据，通过高频传输电缆在穹顶中间与女儿墙间建立信号链路，将发射天线安置在女儿墙外转发测量数 据；数据处理模块包括第四无线传输模块和终端设备，第四无线传输模块和终端设备通过数据电缆连接， 将第四无线传输模块放置在能够与中继模块的发射天线通视的位置，接收发射天线转发的测量

本实用新型公开了一种碗扣式钢管脚手架安全监测节点，该安全监测节点设置在碗扣式钢管脚手架上，它包括单片机，以及与单片机相连并相互通信的激光位移传感器、加速度计、实时时钟模块、无线通讯模块、外扩数据存储电路和电源及电源管理模块。所述的电源及电源管理模块包括12V大容量锂电池、电压转换电路和电源管理电路。本实用新型能获取碗扣式钢管脚手架的位移值、加速度值和角速度值等参数，并对通过无线传输模块发送给汇聚网关，再通过汇聚网关发送给远端的服务器，使用方便、可靠，为建筑和桥梁等施工和监管部门的监管提供科学有效的监

本实用新型提供核电站安全壳内衬钢板缺陷测量装置，其特征在于：包括支架、导轨、滑块、中心 控制单元、位移传感器和测距仪，导轨安装在支架上，滑块卡在导轨上，位移传感器和测距仪设置在滑 块上，位移传感器和测距仪分别连接中心控制单元。本实用新型提出的核电站安全壳内衬钢板缺陷测量 装置，在体积和重量上比原有的工具减轻了很多，而且使用所得测量结果精度高，数据量丰富，操作简 单，数据录入迅速，结果直观，有效提高了测量的效率以及精度。 

高海拔低温条件下矿山存在冻融滑坡发展快、预报难，传统的边坡监测手段布点少、精度低，人工监测工作量和难度大，难以实时精确监测预警。动态建立边坡实测性态综合评价体系，提出基于可变集理论的边坡开采扰动动态分析评价模型；研发温度补偿自适应模块以及基于边坡合成孔径雷达为主要监测手段的边坡多参量安全监测系统；研究水、温度对边坡内部节理弱面的冻融活化效应，建立多源信息耦合的边坡岩体流-固-热耦合地质模型，研究冻融劣化的岩体破裂度指标判定准则，建立高寒边坡三维时空预警模型，预测环境因素、开采扰动、动态开挖等对边坡破坏模式的影响，研究采场边坡致灾潜在隐患早期识别的技术方法，形成一套高海拔高寒地区节理边坡结构特征识别、前兆信息获取与预警一体的边坡失稳预警技术，监测距离≥5 km，监测精度<1 mm，工作温度从-45 ℃到+60 ℃，使高海拔高寒地区矿山边坡失稳预报准确率不低于 80%。

煤矿大型设备（如提升绞车、主扇风机、空压机等）承担着矿井的提升运输、通风、压风等任务，是保证矿井安全生产最重要的装备和环节。由于它们分布在点多面广的不同区域，又由于企业对这些设备的运行监控还是停留在简单的人工看表，定时记录的方式上，技术手段非常落后，难以进行科学有效的管理，虽然有的企业有了一些先进的监控系统，但是数据传不上来、数据不准确、数据错误采集等人为原因在更大程度上减弱了监控系统对煤矿企业起到的安全、高效的管理作用，无法有效的预防和遏制煤矿的安全事故。该成果通过实时采集煤矿大型机电设备的实时运行数据，进行数据处理，达到对煤矿大型设备故障安全隐患的提前判识与诊断，并给出预警，杜绝安全事故的发生。 针对煤矿企业的主提升、运输系统、压风系统、抽风系统以及给排水等系统的大型机电 设备，利用与设备对应特定的采集器获取不同的实时数据，通过有线或无线网络技术将这些 数据传输到数据中心服务器汇总、处理分析，将设备实时状态、劣化趋势、数据分析、各种 统计报表等实时地展现在智能终端上（在调度中心），并对设备的运行健康状态进行判识和 诊断，能有效提高机电设备的运行效能，减少煤矿安全事故的发生。

产品详细介绍生物安全柜 产品特点 :独特可靠的新颖结构，采用人体工程学设计，带有10度倾斜角，为使用者提供最大的舒适性和视觉效果。安全柜的操作区均采用四面（左右二侧、后部、低部）双层结构，所有污染部位均处于负压状态和被负压通道和负压通风系统包围。前视窗采用光学透视清晰、清洁、消毒剂不对其产生负面影响的钢化玻璃。滑动玻璃门升降门，自由轻松，随意定位，在行程范围内的任何位置不产生卡死现象，而且有联锁系统保证在悬挂系统出鼓掌时不脱落而给操作者带来危险。内胆、集液槽及托盘均采用304不锈钢材质，内胆一次成形，圆弧处理，工作台面可移动。集液槽下部配有排污接口便于清洁。 详细参数：指标/型号 XJK-1100Ⅱ/A2(美国联邦NSF49) XJK-1360Ⅱ/B2(美国联邦NSF49) 洁净等级 100级@≥0.5μm(美联邦209E) 100级@≥0.5μm(美联邦209E) 菌落数 ≤0.5个/皿·时(φ90mm培养平皿) ≤0.5个/皿·时(φ90mm培养平皿) 风速 流入气流平均风速：大于0.5 m/s 流入气流平均风速：大于0.5 m/s 下降气流平均风速0.25-0.5 m/s 下降气流平均风速0.25-0.5 m/s 噪 音 ≤55dB（A） ≤55dB（A） 振动半峰值 ≤4μm ≤4μm 光照度 ≥500LX ≥500LX 电 源 单项交流220V/50Hz 单项交流220V/50Hz 重 量 205Kg 246 Kg 215Kg 260 Kg 工作区尺寸 1100x600x680mm 1360 x600x680mm 1100x600x680mm 1360 x600x680mm 装置外形尺寸 1240x790x2250mm 1500 x805x2250mm 1240x790x2250mm 1500 x790x2250mm 送风过滤器规格及数量 1000x470x69x① 1260x470x69x① 1000x395x69x① 1260x395x69x① 排风过滤器规格及数量 570x400x69x① 700x400x69x① 1000x320x90① 700x400x90x① 荧光灯/紫外灯规格及数量 30w x ②/ 20w x ① 40w x ②/ 40w x ① 30w x ②/ 20w x ① 30w x ②/ 30w x ① 适用人数 单人单面 双人单面 单人单面 双人单面 备注：我厂生产的生物安全柜是依照美国NSF49标准组织生产的二级通用型生物安全柜。对于用户若有B型生物安全柜需求的，可在定货中提出。对于有三级生物安全柜需求的用户可单独制作

在五四青年节前夕，习近平总书记25日上午来到中国人民大学，先后走进思政课智慧教室、博物馆、图书馆，了解学校促进思政课教育改革创新、学校历史沿革、教学科研成果、加强文献古籍保护利用和促进理论研究成果转化应用等情况，并主持召开师生代表座谈会。