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

阿维菌素是从链霉菌 Streptomyces avermiti 分离获得的一组大环 内酯类农畜两用抗生素，对线虫、昆虫和螨虫均有驱杀作用，用于治 疗畜禽的线虫病、螨和寄生性昆虫病，具有广谱、高效、安全等特点。 近年来，兰州大学药学院刘映前老师课题组围绕阿维菌素的衍生合 成、结构优化及生物活性研究进行了较为系统的研究，获得了多个活 性较好的先导分子，改造后的新化合物克服了原母体阿维菌素的某些 不足，在防治范围、杀虫活性和对人畜及环境毒性等方面有了进一步 的改善，以期获得具应用价值的

桑黄具有增强机体免疫力、抑制肿瘤细胞生长和转移等功效，其抗癌效果在国际有很高的认可度，被誉为“抗癌明星”。 一、项目分类 显著效益成果转化 二、技术分析 桑黄是一类传统的珍稀药用真菌，含有黄酮、多糖等多种有效活性成分，药用价值极高，素有“森林黄金”之美称。桑黄具有增强机体免疫力、抑制肿瘤细胞生长和转移等功效，其抗癌效果在国际有很高的认可度，被誉为“抗癌明星”。我校食药用真菌遗传与育种团队历时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

该项目采用稀土离子示踪的时间分辨荧光免疫分析技术（TRFIA）进行食品中痕量污染物的高灵敏免疫分析试剂的应用研究。建立了黄曲霉毒素 B1（AFB1）、赭曲霉毒素 A（OTA）、蓝藻毒素（MC）、瘦肉精（CBL）、氯霉素（CAP）、玉米赤霉烯酮（ZEN）、河豚毒素（TTX）、伏马毒素（FB1）、T-2 毒素、氯丙嗪(CPZ)、地西泮（DIA）等食品安全系列的高灵敏 TRFIA 检测方法。组建检测食品中兽药、生物毒素等痕量有害物的高灵敏系列 TRFIA 试剂盒，项目产品申请专利 14 项，该项目的研究相当于国内外同类研究工作的先进水平，应用成本可降低至进口试剂的一半以下。 

项目针对工业废水浓度高、难降解的特点，从高级氧化前处理、厌氧处理及资源化方面集成研发废水处理技术，建立高浓度、难降解废水处理的技术体系，形成如下主要成果： （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