提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。 一、项目分类 重大科学前沿创新 二、成果简介 以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(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°旋转的螺栓紧固机械手、力矩反馈传感系统和视频监控系统实现智能定位、自动路径规划、螺栓拧紧力矩的自判断、气压密封和过程监控。 成果三：建立了首套核反应堆探测器组件自主回收作业机器人系统，并进行了误差建模、系统标定、精度测试与实验验证，验证了系统的可靠性和有效性。 主要性能指标包括重复定位精度、视觉定位精度、具备轨迹跟踪、视觉伺服控制、力感知、目标精确测量功能。

桑黄具有增强机体免疫力、抑制肿瘤细胞生长和转移等功效，其抗癌效果在国际有很高的认可度，被誉为“抗癌明星”。 一、项目分类 显著效益成果转化 二、技术分析 桑黄是一类传统的珍稀药用真菌，含有黄酮、多糖等多种有效活性成分，药用价值极高，素有“森林黄金”之美称。桑黄具有增强机体免疫力、抑制肿瘤细胞生长和转移等功效，其抗癌效果在国际有很高的认可度，被誉为“抗癌明星”。我校食药用真菌遗传与育种团队历时10年，围绕珍稀食药用菌桑黄系统地开展了遗传资源挖掘、优质菌株选育、规模化栽培、高活性成分精准调控等方面技术研发与集成示范，取得如下创新性成果： 1.建立了桑黄菌株资源库，筛选和鉴定了一批药用价值高的菌株，并建立了桑黄菌株DNA指纹图谱为指标的分子标记鉴定体系，为知识产权保护打下基础。 2.成功突破了野生桑黄菌株的人工栽培技术，系统性地确立了黄酮高产生产工艺参数，形成规模化优质桑黄生产技术体系。 3.率先研究了各种环境因子对桑黄主要活性成分黄酮的调控机制，结合工艺参数优化形成了高黄酮含量桑黄栽培工艺，为桑黄精准栽培调控提供了技术支撑。

该项目研发了石化装置运行风险预警系统，实现了基于风险分级的石化装置风险预警与检验。项目提出了基于标志性气体与温度变化相复合的热自燃预警临界判据；提出建立了新型管道泄漏点定位模型与算法；提出了集硫腐蚀监测、热自燃及装置失效泄漏风险动态评估和寿命预测为一体的石化装置风险预警技术。

该项目研发了石化装置运行风险预警系统，实现了基于风险分级的石化装置风险预警与检验。项目提出了基于标志性气体与温度变化相复合的热自燃预警临界判据；提出建立了新型管道泄漏点定位模型与算法；提出了集硫腐蚀监测、热自燃及装置失效泄漏风险动态评估和寿命预测为一体的石化装置风险预警技术。

本项目核心技术获中国轻工业联合会科学技术进步奖二等奖。 1、项目简介 本项目所指复杂装备主要为复杂动力机械装备及其关键零部件，如汽轮机、压缩机等。 本项目针对复杂装备制造企业技术准备时间长、效率低、制造过程模式自动化程度低、协调能力差、信息共享度和集成度不高、信息孤岛现象等实际情况，研发了集数字化设计、制造和智能化监控管理为一体的设计制造管理系统。项目重点突破了复杂装备智能化制造过程和工艺参数优化、工艺工装设计自动化、数控机床生产的数字监控管理智能化、基于短距离无线通讯(Zigbee)技术的生产信息双向传输、自适应在线排产优化等关键技术，为研发设计制造集成管理系统提供了技术支撑。 2、创新要点 （1）将开放式装配建模技术应用于产品的研发中，创立了模型的 UML 表达方式、装配体特征、装配配合公差分析和系统的装配层次分析等，完成了产品的结构设计、零件与装配的联动设计、装配仿真分析，并建立了产品及其关键部件的数字样机。开放式装配建模方法更有效地指导产品由整体构思到样机设计的整个过程。 （2）提出了面向数字化预装配的分层干涉检测算法，该方法把干涉检测过程分为粗检测、半精检测、精确检测三层，通过逐层检测，大大加快了干涉检测的速度，提高了检测的精确度，有助于预装配中优化装配序列的快速生成。 （3）基于虚拟产品开发管理技术 VPDM，研究并解决了机械装备虚拟数字样机开发中的数据交叉、耦合和冗余问题； （4）基于工程知识和多视觉特征模型，提出了一种装配优化序列规划方法。利用直接装配关系图表达产品几何信息、设计信息、制造信息和装配信息等，通过产品特性和操作环境的评价因素，构建装配先后关系，从可行装配序列中选择最优装配序列，更好地帮助设计师完成装配设计并做出正确决定。缩短了产品研发时间，保证产品准时投放市场。 3、效益分析 目成果广泛应用于多家装备制造企业，其中 4 家企业利用该技术提高生产效率 20%~30%，按时交货率从 63％左右提高到 90％以上。近三年企业总计新增利润 6.1663 亿元，新增税收 3.3804 亿元，新增销售 28.058 亿元。减少了 80%以上的生产管理人员 4、推广情况（已推广企业） 本项目成果已在无锡透平叶片有限公司、无锡压缩机股份有限公司、江苏南方机电股份有限公司、无锡市安迈工程机械有限公司等生产企业得到成功应用。 授权专利： 1.数控机床刀具的在线管理方法 201010129780.1 2.车间加工设备群加工运行优化的方法 200910031198.9 3.数控机床监控方法 201110430626.2

项目针对工业废水浓度高、难降解的特点，从高级氧化前处理、厌氧处理及资源化方面集成研发废水处理技术，建立高浓度、难降解废水处理的技术体系，形成如下主要成果： （1）开发了高浓度工业废水的前处理技术，采用非均相催化臭氧氧化，光电协同催化氧化等高级氧化术，降解高分子、难生物降解的污染物，提高废水的可生化性、降低废水浓度，使废水 COD 浓度降低 40%以上，B/C 提高至 0.35 以 上； （2）开发和设计了针对高浓度有机废水的厌氧生物处理反应器系统，利用高效厌氧反应器技术提高反应器内微生物浓度、提高微生物对污染物的利用效率，使废水的 COD 去除率达到 90%以上，实现了在污染物削减的基础上对于资源的高效回收，沼气转化率达到 0.1-0.2 m3/kg，沼气成分达到 67%。成果在废水的高级氧化前处理、厌氧处理及资源化等方面实现了科技创新和技术进步，在国内外期刊上发表研究论文 50 余篇，SCI 收录 15 篇；申请发明专利 19 项，其中授权发明专利 14 项；另获授权实用新型专利 7 项。技术成果已在苏圣科技（无锡）有限公司、无锡市惠联科轮环保技术发展有限公司、无锡市碧天源环境工程有限公司和无锡江大技术转移工程公司等企业开展了推广应用。

本项目核心技术获中国轻工业联合会科学技术进步奖二等奖。 1、项目简介 本项目所指复杂装备主要为复杂动力机械装备及其关键零部件，如汽轮机、压缩机等。 本项目针对复杂装备制造企业技术准备时间长、效率低、制造过程模式自动化程度低、协调能力差、信息共享度和集成度不高、信息孤岛现象等实际情况，研发了集数字化设计、制造和智能化监控管理为一体的设计制造管理系统。项目重点突破了复杂装备智能化制造过程和工艺参数优化、工艺工装设计自动化、数控机床生产的数字监控管理智能化、基于短距离无线通讯(Zigbee)技术的生产信息双向传输、自适应在线排产优化等关键技术，为研发设计制造集成管理系统提供了技术支撑。 2、创新要点 （1）将开放式装配建模技术应用于产品的研发中，创立了模型的 UML 表达方式、装配体特征、装配配合公差分析和系统的装配层次分析等，完成了产品的结构设计、零件与装配的联动设计、装配仿真分析，并建立了产品及其关键部件的数字样机。开放式装配建模方法更有效地指导产品由整体构思到样机设计的整个过程。 （2）提出了面向数字化预装配的分层干涉检测算法，该方法把干涉检测过程分为粗检测、半精检测、精确检测三层，通过逐层检测，大大加快了干涉检测的速度，提高了检测的精确度，有助于预装配中优化装配序列的快速生成。 （3）基于虚拟产品开发管理技术 VPDM，研究并解决了机械装备虚拟数字样机开发中的数据交叉、耦合和冗余问题； （4）基于工程知识和多视觉特征模型，提出了一种装配优化序列规划方法。利用直接装配关系图表达产品几何信息、设计信息、制造信息和装配信息等，通过产品特性和操作环境的评价因素，构建装配先后关系，从可行装配序列中选择最优装配序列，更好地帮助设计师完成装配设计并做出正确决定。缩短了产品研发时间，保证产品准时投放市场。 3、效益分析 目成果广泛应用于多家装备制造企业，其中 4 家企业利用该技术提高生产效率 20%~30%，按时交货率从 63％左右提高到 90％以上。近三年企业总计新增利润 6.1663 亿元，新增税收 3.3804 亿元，新增销售 28.058 亿元。减少了 80%以上的生产管理人员 4、推广情况（已推广企业） 本项目成果已在无锡透平叶片有限公司、无锡压缩机股份有限公司、江苏南方机电股份有限公司、无锡市安迈工程机械有限公司等生产企业得到成功应用。 授权专利： 1.数控机床刀具的在线管理方法 201010129780.1 2.车间加工设备群加工运行优化的方法 200910031198.9 3.数控机床监控方法 201110430626.2 

技术原理：针对昆虫趋光机理及灯光诱杀技术研究与应用中存在的问题，采用灯光诱集和资料查阅的方法，调查灯下昆虫种类并分析其构成成分；利用现代昆虫学研究技术、分子生物学与生物信息学技术，分析昆虫趋光后生物学特性变化及内源机制以及昆虫趋光的本质；通过田间大量筛选，明确夜行性昆虫的趋光行为及上灯节律，筛选出适合于不同农田生态系统中害虫防治的安全高效特异性光源，组织示范与推广应用。 主要性能指标：明确湖北省灯下昆虫种类及构成成分，探明昆虫趋光后生物学特性的变化及内源机制，阐明昆虫趋光的本质，明确夜行性昆虫的趋光行为及上灯节律，筛选适合于不同的农田生态系统中害虫防治的安全高效特异性光源，并示范与推广应用。

完成人简介：申烨华教授一直从事资源化学、化学生物学与分析化学的教学和科研工作。主要研究方向为资源化学与蛋白质化学，研究课题包括以沙生木本油料植物长柄扁桃为核心从事沙生植物产业化开发研究、以自主开发的新型生物柴油固体催化剂为技术核心开发生物柴油新技术、以重组蛋白的表达纯化复性及结构解析为技术核心从事基质金属蛋白酶抑制剂与抗癌机理研究。获陕西省科技进步一等奖和三等奖各一项。申请专利17项，获国家授权发明专利14项（第一发明人9项），转让专利1项。陕西省科技厅鉴定科研成果3项，关于长柄扁桃食用油和蛋白粉的研究为国际首创，三项成果的技术均达到国内领先水平。发表研究论文80余篇，其中SCI收录30余篇。 成果内容：生物柴油生产新工艺，适用于动植物油脂、餐饮废弃油和酸化油等原料，技术核心是拥有两种新型催化剂，酯化阶段用有机酸代替常用的硫酸催化剂，酯交换阶段用固体催化剂代替常用的氢氧化钠催化剂，通过“常压酯化、酯交换”等工艺，生产合格的生物柴油、生物重油、生物轻油、工业甘油等四种产品。该项技术入选国家发改委颁布的“十三五低碳技术”。 成果优势及用途：针对中国生物柴油原料的特性，最先进的生产工艺是酯化酯交换蒸馏生产生物柴油。经过多年的生产总结，研究团队在优化酯化与酯交换两种催化剂，以及改造工艺和设备的基础上，研究出“常压酯化、酯交换、脱醇、水洗、干燥、减压蒸馏”生产合格生物柴油的工艺。此套新工艺从设备投资、物料消耗、能耗、产品品质及环保配套等多方面达到国内及国际领先水平。 技术特点：（1）生物柴油产品收率高。收率≥92%，平均水平是87%；（2）消耗低。综合能耗≤200kg标煤/吨产品，目前的平均水平300kg标煤/吨产品。甲醇消耗≤130kg /吨产品，目前的平均水平≥150kg /吨产品；（3）无新增污染物。无酸渣产生，用硫酸作催化剂会生成大量的酸渣；（4）投资低。以相同原料5万吨/年生产装置比较，该装置投资为3500万元人民币；中压水解工艺为6500万元人民币；酯交换工艺4300万元人民币；（5）产品质量优异。产品可达欧盟5标准的质量要求。 投资预算：总投资约5000～6000万元，其中固定资产4200～4500万元，流动资产1500～1800万元。 成果知识产权情况：授权国家发明专利7项、授权国家实用新型专利2项、科研成果鉴定1项。