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

本成果针对不同核电环境内的任务，设计研发了个性化的专用机器人系统，解决核反应堆顶盖上螺栓拉伸量的实时测量、蒸汽发生器内一次侧堵板的自动安装及高放射性核废物的体积最小化回收等多种任务，解放危险环境中的操作人员，提高了操作安全性。 一、项目分类 关键核心技术突破 二、技术分析 为保证核电站正常、安全地运作，可利用机器人取代操作人员定期对核设施内部的设备进行检查、维修，以避免设备故障、老化等现象出现。针对不同核电环境内的任务，设计研发了个性化的专用机器人系统，解决核反应堆顶盖上螺栓拉伸量的实时测量、蒸汽发生器内一次侧堵板的自动安装及高放射性核废物的体积最小化回收等多种任务，解放危险环境中的操作人员，提高了操作安全性。 成果一：整体螺栓拉伸机拉伸量自动测量装置实现了对反应堆压力容器顶盖主螺栓拉伸量及残余拉伸量的远程自动测量，降低了人员所受辐射剂量，提高了系统整体工作效率。 成果二：蒸汽发生器一次侧堵板操作机器人完成核电站蒸汽发生器一次侧堵板的安装、紧固、自动充气密封和拆除，利用定位装置可360°旋转的螺栓紧固机械手、力矩反馈传感系统和视频监控系统实现智能定位、自动路径规划、螺栓拧紧力矩的自判断、气压密封和过程监控。 成果三：建立了首套核反应堆探测器组件自主回收作业机器人系统，并进行了误差建模、系统标定、精度测试与实验验证，验证了系统的可靠性和有效性。 主要性能指标包括重复定位精度、视觉定位精度、具备轨迹跟踪、视觉伺服控制、力感知、目标精确测量功能。

本技术围绕火力发电燃料全周期这条主线，针对燃料精细调控全过程的关键理论与技术难题，创建了火力发电燃料精细调控数据建模理论方法；发明了火力发电燃料全周期精细控制装置与技术；建立了燃料全周期精细调控设计准则及体系架构；研发了火力发电企业燃料全周期智能优化平台，实现了火力发电企业燃料“购-输-烧-排-售”全周期的智能精细调控 一、项目分类 关键核心技术突破 二、成果简介 2020年两会政府工作报告指出：推进煤炭清洁高效利用，同时进一步降低一般工商业平均电价。因此，确保燃煤火力发电机组清洁、安全、高效运行的同时，降低占企业总成本70%以上的燃料成本已成为火力发电企业可持续发展的必然选择。本技术围绕火力发电燃料全周期这条主线，针对燃料精细调控全过程的关键理论与技术难题，创建了火力发电燃料精细调控数据建模理论方法；发明了火力发电燃料全周期精细控制装置与技术；建立了燃料全周期精细调控设计准则及体系架构；研发了火力发电企业燃料全周期智能优化平台，实现了火力发电企业燃料“购-输-烧-排-售”全周期的智能精细调控。

本项目围绕垃圾分类模式/方法及评价模型建立、农村易腐垃圾堆肥新技术开发、垃圾分类信息化技术及智能装备研发等进行关键技术研究，并集成团队研究成果研编了垃圾分类系列标准，构建了我国城乡垃圾分类体系并推广应用。 1、创建了垃圾分类新模式、方法和技术。基于社会化与专业化相结合的垃圾分类“双轨策略”理论，建立了生活垃圾分类“2+n”模式和农村生活垃圾“五类三段”分类模式；创建了垃圾分类的物元分析模型、投放方案灰色聚类比选模型及分类效果F-measure评价模型；结合农村易腐垃圾就近处理需求，研发了引风式静态堆肥技术和重力翻板式间歇动态堆肥技术及装备，在福建省明溪县胡坊镇和安徽省凤阳县小岗村进行了工程示范。实施垃圾分类制度对垃圾混合收运处理模式产生显著影响，垃圾分类后热值增加，每吨生活垃圾焚烧发电量上升约3%；与混合垃圾填埋相比，CO₂减排量接近80%。 图1 两型农村小型易腐垃圾（厨余垃圾）就地协同堆肥处理设施（左图为静态堆肥设施，右图为间歇动态堆肥装置） 2、研发了垃圾分类信息化技术及智能装备。将传统垃圾收运技术与信息化新技术相结合，研发了分类信息化管理平台，发明了具备溢满报警、感应开门、自动称重和容量监测等多功能的智能垃圾分类回收箱和溢满报警、快速升降的太阳能地埋式垃圾收集箱等系列智能装备，提高了分类系统效率与效能，在全国数以千计的县（区）街道广泛应用。应用案例垃圾无害化率100%，居民垃圾分类知晓率、参与率100%、厨余垃圾投放准确率88%。 图2 智能化垃圾分类投放/收运设施（左图为智能垃圾分类回收箱，右图为太阳能地埋式垃圾收集箱） 3、构建了城乡垃圾分类标准新体系。研编系列垃圾分类标准，就分类工作全范围、全过程提出了设施建设、设备配备、运行操作等全要素的规定与要求，是规范分类工作的基本依据；首次将农村垃圾堆肥原料和产品含水率上限值分别由60%、30%提升至65%、45%，增强了堆肥技术标准的适用性，扩展了堆肥技术的适用性；研编大件/园林/装修/餐厨/果蔬等垃圾分类系列标准，填补新兴垃圾标准体系空白，指导各行各业垃圾分类工作规范化进行。 图3 已发布实施的垃圾分类与收运处理标准（共计21项标准） 针对源头垃圾分类投放社会化特征明显、组织实施难度大和分类收运环节涉及原有收运系统向分类系统过渡的实际困难，研编、建立了的垃圾分类标准体系，正式发布实施国家团体标准21项，在编18项。在垃圾投放操作、设备运维、作业人员安全生产要求等方面进行了规定，保证了垃圾分类投放及收运过程的规范化和安全性；在数以千计的县区、街道、社区指导垃圾分类的稳步施行。 【技术优势】 1. 创建垃圾分类新模式、方法和技术，引领分类技术水平跨越式提升：率先提出垃圾分类“双轨策略”，实现垃圾社会化分类稳步推进和专业化分类技术水平跨越式提升；提出垃圾分类“2+n”模式，创建兼顾效率与可操作性的垃圾分类投放模型与效果评价指标体系。提出农村生活垃圾“五类三段”模式，解决农村垃圾分类的重点与难点；进行农村易腐垃圾就地协同堆肥处理，提高资源化、无害化水平。 2. 研发分类信息化技术及智能装备，实现安全、环保、精准、高效分类。开发垃圾分类全流程智慧运营、管理、监管平台，提高分类系统效率与效能；研发智能化垃圾分类收运设施装备，改善作业条件、提高工作效率；推广应用信息化技术及智能装备，加速推进分类制度施行。 3. 构建城乡生活垃圾分类标准体系，为全国范围内规范化推进垃圾分类工作提供依据。研编分类投放系列标准，规范/细化垃圾源头分类投放和收运操作要求；研编农村垃圾分类系列标准，提升农村垃圾分类处理水平；研编大件/园林/装修/餐厨/果蔬等垃圾分类系列标准，填补新兴垃圾标准体系空白。 【技术指标】 分类信息化技术及成套智能装备已应用在湖北省、浙江省、江苏省、上海市等地数百个垃圾分类项目中，提高了垃圾分类处理的整体水平，应用案例垃圾无害化率100%，居民垃圾分类知晓率、参与率100%、厨余垃圾投放准确率88%（详见下图）。 表1 国内外煤质、煤流检测技术指标对比 结合农村条件及堆肥产品应用市场特征，首次将农村垃圾堆肥原料和产品含水率上限值分别由60%、30%提升至65%、45%，增强了好氧堆肥技术的适用性（详见下图）。 【资质荣誉】 2021年湖北省科技进步二等奖

本项目以复杂工程场地土体动力特性及其对强地震动传播影响的基础理论和应用方法为研究对象，揭示了场地地形地貌、局部岩土体条件与非线性特征及其不确定性等对地震动传播特性的影响规律。

项 目 负 责 人 产 业 化 经 验 丰 富 ：2 0 1 3– 2 01 8年设计、构建了废冰箱、废硒鼓、废电路板破碎—物理分离生产线各一条（已投产），在环境领域 著名SCI期刊Env iron . Sc i . Techno l .等发表论文 3 6篇，申请发明专利 3 4项，获授权发明专利 1 项。近年来，在贵金属生物浸出方向，筛选出废线路板贵金属浸出菌株，设计了贵金属高效生物浸出反应器

中试阶段/n该项目公开了一种从鸡蛋清中联合提取多种蛋白质的方法，通过聚乙二醇8000分级沉淀蛋白质，然后采用Q？Sepharose？FF阴离子交换层析进行分离，可以一次性获得卵粘蛋白、溶菌酶、卵转铁蛋白、卵清蛋白和卵黄素蛋白，且蛋白质产品纯度高，回收率较好，该方法仅需常用层析填料即可进行，大幅度缩减了生产成本，为蛋清中蛋白质提取的大规模工业生产提供了有利条件。

本项目从中国传统白酒大曲中筛选获得了适用于面包烘焙的华根霉（Rhizopus chinensisCCTCC M201021）脂肪酶，在此基础上利用基因工程、蛋白质工程等现代生物技术，改造得到具有自主知识产权的面包烘焙用脂肪酶催化剂，通过发酵调控技术，开发生产廉价的新型脂肪酶制剂，紧跟市场需求，利用 高效定向进化技术进一步提升改造酶的催化性能，并在技术上建立与之相应的应用技术路线，从而综合提高我国食品领域的科技水平，对于我国经济和社会发展具有重大意义。 创新要点 获得具有自主知识产权的面包烘焙用脂肪酶催化剂，建立了定向进化文库构建新方法，显著提高了酶的活性和热稳定性，开发获得的产品性能优，成本低。

中试阶段/n该项目公开了一种从鸡蛋清中联合提取多种蛋白质的方法，通过聚乙二醇8000分级沉淀蛋白质，然后采用Q？Sepharose？FF阴离子交换层析进行分离，可以一次性获得卵粘蛋白、溶菌酶、卵转铁蛋白、卵清蛋白和卵黄素蛋白，且蛋白质产品纯度高，回收率较好，该方法仅需常用层析填料即可进行，大幅度缩减了生产成本，为蛋清中蛋白质提取的大规模工业生产提供了有利条件。

本项目提出了装配式剪力墙结构基于抗震性能的设计方法；解决了装配式混凝土剪力墙结构的非线性分析问题；研发了适合装配式剪力墙结构的能够保证抗震性能的竖向连接方式；完成了新型装配式剪力墙板的抗震性能研究。