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

华东理工大学贯彻绿色工程教育理念，以虚拟现实技术（VR）为特色支撑，分别在徐汇校区和奉贤校区建成两个创新创业实践基地。

浙江大学国家级双创示范基地·三墩元空间，坐落于毗邻浙江大学（紫金港校区）的宝港科创空间，一期总面积约2500平方米，设有展示区、路演多功能厅、会议厅、办公区、洽谈室、创业项目展示区等多个功能空间，充分满足浙江大学创业者创业、交流、互动、发展等多方面需求。

中国科学技术大学生命科学与医学部瞿昆教授课题组通过设计一整套分析流程，系统性评估了16种空间转录组和单细胞转录组数据整合算法在预测基因或细胞类型空间分布方面的性能。

项目简介 “低温空间温度场数据可视化与模拟分析系统”项目由泰州市沪江特种设备有限公 司委托开展。运用空间温度在线监测和计算机数据处理及可视化技术，实时分析空间的 温度场变化，实现空间温度场的优化，达到节能运行的目的。 系统根据空间需要，布置多层、多处测点，依靠传感器及相关仪表，通过 485 通信 方式实现本地数据与计算机之间的传输。自主研发的数据采集与处理程序实时监测空间 各处的温度分布，并以三维彩色视图显示，可直观观测空间的温度场的动态变化特征， 指

在广州大学，奥威亚的AI分析技术还进行了创新应用，课堂上AI录播赋能线上线下混合式教学；课堂外，AI录播充当“智慧之眼”赋能智能管理。

本发明公开了一种基于空间变换的自然场景下文本识别方法，首先对训练图像集中的文本图像，获取图像的文本内容，并训练基准点定位网络、图像预处理网络、图像编码器网络以及特征解码器网络等网络模型；然后利用训练得到的网络模型对待识别图像集中图像进行空间变换，得到变换后的待识别图像；然后计算变换后的待识别图像的特征向量以及预测概率序列，最终获取图像识别的结果。本发明方法文本识别准确率高，且能够克服文本排列不规则等不利因素的影响。

本项目主要针对我国分散式农村生活污水及污泥处理的现状，结合蚯蚓的生物生态学特点，基于蚯蚓与微生物相互作用的生态学原理，采用“蚯蚓生物滤池+蚯蚓堆肥”联合对分散式污水污泥进行资源化处理与处置研究。在蚯蚓生物滤池处理生活污水过程中进一步优化填料的级配，提高其污染物降解及原位减量污泥的工艺性能，使其净化后出水满足《国家农田灌溉水质标准》（GB5084-2005）中的水作作物和加工、烹调及去皮蔬菜类别的灌溉标准；对蚯蚓生物滤池污水净化过程中产生的少量蚓粪污泥进一步发挥蚯蚓对污染物稳定及无害化的特性，采用蚯蚓堆肥技术稳定化与无害化处理蚓粪污泥，堆肥后泥质满足《污泥农用规范《CJ/T 309-2009 城镇污水处理厂污泥处置农用泥质》的标准，为解决我国分散式农村生活污水污泥资源化处置的难题提供有效的途径。 项目负责人所在研究团队在中小城镇污水处理、剩余污泥减量化与资源化等生物处理技术方向上开展了 10 余年的研究工作，自 2010 年以来，相继获得“2010 年国家星火计划”、“ 2011 年国家青年自然基金”、“教育部博士点基金”等的资助。申请人自 2004 年在同济大学环境科学与工程学院攻读博士学位以来，一直致力蚯蚓生物滤池技术的工艺优化与机理研究。工艺方面主要集中于农村生活污水-污泥的同步处理，在研究过程中发现，蚯蚓生物滤池对污水的处理相比于其他工艺具有经济节约、管理方便的突出特点，尤其是污泥的产量少对于分散式剩余污泥的处置问题，更是提供了有利的解决途径。经过十多年的积累，申请人熟悉该工艺的运行控制参数与实验方法，具有一定的知识储备。建设的上海嘉定和四川青川县马鹿乡“蚯蚓生物滤池处理农村生活污水工程示范”运行良好。申请专利 1 项，授权专利1项。 本项目基于蚯蚓的生物生态学特点进行污水与污泥的生态型转化，工艺技术中无需传统生物处理中的曝气设备，也不会产生常规生物滤池堵塞的问题，因此，具有经济节约，技术高效，管理方便，基建及运行费用低等主要特点，在我国分散式农村生活污水污泥的资源化处理与处置方面，具有广阔的应用前景。 与本项目合作的上海泓济环保工程有限公司是一家废水、固体废弃物处理项目设计、施工、运营及设备销售于一体的高科技环保公司，上海市高新技术企业，拥有多项废水预处理、生化处理、含盐废水浓缩及零排放技术和固体废弃物处理技术，以及建设部颁发的环境工程专项工程承包资质、设计资质和环保部颁发的环境污染治理设施运营资质，综合实力位于行业领先水平。该公司长期以市场为导向，贯彻以技术服务为核心，工程和设备产品为两翼的发展战略，能够根据客户特定需求，结合专业水准开展针对性的研发工作，提出先进而创新的系统解决方案、解决问题。可以为本项目的工程化应用提供有力的技术与设备支持。

网格技术是高性能计算与互联网技术结合的产物，旨在将分布的计算资源通过高速 网络链接起来，为高性能计算提供资源。项目“网格资源管理与优化的虚拟超市技术及 其应用”借鉴超市运营模式，创新性地提出了一整套网格资源组织与管理的符合网格特 征的全新模型与方法，促进了动态的、多机构虚拟组织中的协同资源共享与问题求解， 推进了网格资源管理与优化技术及其应用的研究。 本项目借鉴超市管理模式提出了基于虚拟超市模型的资源管理与优化的隐代理模式， 弱化传统网格代理的作用，为用户任务提供了统一的资源视图，突破了传统代理模式造 成的资源管理、访问的瓶颈，显著的提高了资源的利用率和网格的工作效率。借鉴超市 销售模式，发明了基于资源推介视图的网格任务自主调度技术。增强网格资源服务流程 的异步并发性，建立面向任务的资源优化配置的自适应调整机制。借鉴超市结算模式， 发明了基于 QoS 的网格资源服务的多队列优选通道技术。构建网格资源服务流程的优化 选择机制。借鉴超市导购模式，发明了语法和语义相分离的插桩模板库;发明了基于通 用类型系统的交互式调试和可视化分析技术。本项目基于虚拟超市技术，发明了全局路 网动态交通流负载均衡模型及诱导方法。实现了全局性、实时性、动态性和优化性的交 通导航。 以上研究成果在取得 4 项专利授权、2 项软件著作权的同时，成功地应用于交通信 息网格中，在上海、北京、山东、江苏等地区取得了广泛的应用并产生了良好的社会、 经济效益。另外交通网格还得到国外网格权威机构、知名公司及科研院所的肯定和认可， 开展了多项国际合作。