提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。 一、项目分类 重大科学前沿创新 二、成果简介 以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(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）篇。

本发明公开了一种软件更新的补丁安全性检测方法及系统，所 述方法包括：通过对补丁预处理，进而进行中间代码分析以获得受补 丁影响的基本块，通过这些受补丁影响的基本块得到内存敏感型函数 及其变量，从其出发构造主要执行路径；在对路径的进行符号执行的 过程中，确定具体的路径条件，到达具体的内存敏感型函数时，结合 此时的路径条件和相应的安全检测器来判断是否存在软件更新安全问 题。本发明着重于检测软件更新后，新版本相对旧版本不同部

锂离子电池是新能源产业中的关键能量存储载体，安全性和稳定性成为了其持续发展的关键。本项目针对高安全性和长循环寿命锂离子电池关键技术，发明了多种先进正负极材料制备技术和电池结构优化设计，制备了高安全性和长寿命的锂离子电池。

中试阶段/n该成果公开了一种槟榔中致癌物的控制及安全性槟榔休闲食品制备方法，该方法包括高温高压蒸煮及超声波中预处理、卤制、烘制及上表、真空包装、灭菌等步骤。本发明能大幅降低槟榔中有致癌危险的槟榔碱和槟榔次碱的含量和产品的硬度，从而降低了槟榔纤维对口腔粘膜下纤维造成性变的危害，使食用更加安全。本发明制得的槟榔休闲食品成本低、咀嚼性和口感好、性质稳定，受到广大消费者的喜爱。

综合考虑整车动力传动系统中各部件对整车能耗经济性的影响因素及耦合 关系，建立精确的动力传动系统动态数学模型，优化各子系统的设计参数与控 制参数，进行动力传动系统仿真分析；综合考虑整车零部件传声特性、材料传 声特征、声音在不同介质间变化特性等因素，建立整车声品质分析模型，进行整 车声品质仿真分析。 针对不同动力传动系统特征的整车，建立动力传动系统能量分布图，进行 整车能耗综合试验测试分析，提出动力传动系统设计参数与控制参数的优化设 计手段；建立整车声品质试验测试分析平台，进行模拟整车现场声品质试验测试 分析，掌握声音在零部件间的传递路径，提出声品质与整车及零部件设计参数的 关联规律。 突破节能环保、安全可靠、智能舒适等整车核心关键技术，提升长安自主品 牌汽车整车品质，百公里油耗平均降低至5.6升，车内噪声降至40分贝， 支撑长安逸动轿车系列和SUV系列处于国内领先，性能达到同级别车型国际先 进水平。

成果简介： 棉纤维(或者苎麻)作为典型的高分子纤维素，其最大的服用优点为强度高、抗皱性好、透气性好、吸湿性强因而穿着舒适，一直以来受到广大消费者的青睐。但是，纤维素存在一些缺点：耐稀碱不耐酸、经水洗和穿着后易变形起皱、不耐微生物作用。尤其是其在染整加工过程中所形成的水污染依然是一个难于解决的大问题。为了充分开发棉纤维潜在的功能和实现清洁化生产，对棉等纤维

本实用新型公开一种可穿戴的人体舒适度监测装置，包括电源处理单元、人体生理参数采集单元、环境参数采集单元、微处理器单元、蓝牙通信单元、语音播报单元和视屏显示单元；电源处理单元分别与人体生理参数采集单元、环境参数采集单元、微处理器单元、蓝牙通信单元、语音播报单元和视屏显示单元连接且为各单元提供电源；微处理器单元分别与人体生理参数采集单元、环境参数采集单元、蓝牙通信单元、语音播报单元和视屏显示单元连接。本实用新型通过对人体生理参数、环境参数及个体特征值进行分析，为使用者提供适合的建议，该装置能够根据监测结

产品详细介绍产品说明 从事研究实验的场所将使用到不同类型的化学品， 因此需要根据化学品的特性选择相符合的安全柜来储存高品质的SYSBEL蓝色防火安全柜， 符合OSHA 29 CFR 1910.106 （美国职业安全健康管理局规范）， 及NFPA CODE30（美国国家消防协会规范）规范 。 该系列的化学品具有以下特性： *SYSBEL蓝色防火安全柜整体为双层防火钢板构造，两层钢板之间相隔有38mm的空气绝缘层； *厚度1mm优质钢板经过点焊接，使用寿命更长，防火性能更好； *三点联动式门锁设计，更好的增强了柜门的密封性； *柜门配有双钥匙，提高化学品管理的安全性和规范性； *柜门可轻松启闭180度，使操作更便捷、更安全； *5cm高的防漏液槽最大程度的防止意外流出的化学液体外溢； *专业规范的警示标签醒目、防腐蚀； *柜体两侧壁装设计有直径为2英寸的防闭火装置----双透气孔； *独有的防溢漏式层板可在每6厘米层挡上下之间自由调节， 同时您可以根据实际存储化学品的需要增配层板，提高您的使用效率； *镀锌钢层板独特配有聚乙烯防溢盘，柜体底部有一个可拆分的聚乙烯衬垫，方便漏液的收集清理； *柜子内外都喷涂有环氧树脂漆； *严格按照OSHA规范，柜身设有静电接地传导端口， 方便连接静电接地导线，最大限度避免危险发生。 请您注意： 1.无论是使用酸类，碱类或其它性质化学品，请务必分开存放化学性质相干抵触的化学物品。 2.了解各种化学品的相容性非常重要，因为它与选择安全柜的结构材料密切相关。 本款金属型化学品储存柜不建议您用于存储盐酸、硫酸、硝酸等腐蚀性酸性液体。 阁下如遇到盐酸、硫酸、硝酸等腐蚀性较强的酸类存储，请选择高密聚脂（HDPE）化学品储存柜。 SYSBEL以优良的品质和服务来保证阁下员工的职业健康，安全环境和美好未来。   产品规格列表   产品名称 订货号 操作 弱腐蚀性液体储存柜（30G/手动门） WA810300B 询价    详细 弱腐蚀性液体储存柜（45G/手动门） WA810450B 询价    详细 弱腐蚀性液体储存柜（60G/手动门） WA810600B 询价    详细       详细参数 产品名称  弱腐蚀性液体储存柜（30G/手动门） 产品定货号  WA810300B 材质  优质钢板 尺寸  112*109*46（H*W*D/CM） 重量  133/105（磅/千克） 技术指标  可调层板：1块；门类型：双门，手动；标准配件：1根静电接地导线，1双操作手套，2把钥匙。 容积  30加仑/114升 包装  纸箱包装 颜色  蓝色