|
搜索
搜 索
高等教育领域数字化综合服务平台
网络空间安全可信性测评关键技术研发与应用
提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。
一、项目分类
重大科学前沿创新
二、成果简介
以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(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）篇。
西南交通大学
2022-09-13
核电机器人关键技术与智能装备研发及应用
本成果针对不同核电环境内的任务，设计研发了个性化的专用机器人系统，解决核反应堆顶盖上螺栓拉伸量的实时测量、蒸汽发生器内一次侧堵板的自动安装及高放射性核废物的体积最小化回收等多种任务，解放危险环境中的操作人员，提高了操作安全性。
一、项目分类
关键核心技术突破
二、技术分析
为保证核电站正常、安全地运作，可利用机器人取代操作人员定期对核设施内部的设备进行检查、维修，以避免设备故障、老化等现象出现。针对不同核电环境内的任务，设计研发了个性化的专用机器人系统，解决核反应堆顶盖上螺栓拉伸量的实时测量、蒸汽发生器内一次侧堵板的自动安装及高放射性核废物的体积最小化回收等多种任务，解放危险环境中的操作人员，提高了操作安全性。
成果一：整体螺栓拉伸机拉伸量自动测量装置实现了对反应堆压力容器顶盖主螺栓拉伸量及残余拉伸量的远程自动测量，降低了人员所受辐射剂量，提高了系统整体工作效率。
成果二：蒸汽发生器一次侧堵板操作机器人完成核电站蒸汽发生器一次侧堵板的安装、紧固、自动充气密封和拆除，利用定位装置可360°旋转的螺栓紧固机械手、力矩反馈传感系统和视频监控系统实现智能定位、自动路径规划、螺栓拧紧力矩的自判断、气压密封和过程监控。
成果三：建立了首套核反应堆探测器组件自主回收作业机器人系统，并进行了误差建模、系统标定、精度测试与实验验证，验证了系统的可靠性和有效性。
主要性能指标包括重复定位精度、视觉定位精度、具备轨迹跟踪、视觉伺服控制、力感知、目标精确测量功能。
北京理工大学
2022-08-17
一种肿瘤单细胞转录组数据处理方法与软件
1.痛点问题
癌症是目前严重威胁人类生命健康的疾病之一，基于单细胞测序技术研究肿瘤的微环境和异质性，对于理解肿瘤的机制、优化肿瘤的用药方案具有重要意义，而如何对肿瘤单细胞数据进行全面深入的分析，还面临很多挑战。
肿瘤样本具有其独有的特点，在样本制备和单细胞分离过程中，其细胞应激反应大、坏死细胞多，为肿瘤单细胞数据的质量控制带来了挑战；
肿瘤单细胞数据分析有其独有的核心问题，比如复杂的微环境和高度的异质性，而如何充分考虑这些难点，并从信息学的视角进行深入研究，有待建立全面、自动的分析框架；
肿瘤单细胞数据的分析，对科研人员的编程能力和分析经验要求很高，亟需自动化、智能化的软件平台来降低数据分析的门槛，提高研究的效率。
2.解决方案
本项目围绕肿瘤单细胞转录组数据成果的技术核心点包括：
1)针对肿瘤单细胞实验过程中应激反应大、坏死细胞多的问题，提出了全面、精细的数据质量控制方案；
2)涵盖了常规的单细胞数据分析流程（数据标准化、降维、聚类、差异表达分析）；
3)创新了肿瘤微环境细胞类型辨识和细胞恶性估计等方面的研究方法；
4)从重要表型（细胞周期、干性）、基因集（已知的和潜在的）两方面深度解析了肿瘤内部的异质性；
5)提出了考虑肿瘤间异质性的批次效应校正方法；
6)构建了自动化、智能化分析的软件平台，能够自动生成全面、直观的分析报告。
基于本项成果产生的产品、服务或解决方案：
1)自动化、集成式的肿瘤单细胞转录组数据分析软件scCancer；
2)针对软件使用和分析结果解读的服务；
3)针对更个性化数据分析需求的咨询与服务。
3、合作需求
团队要求：合作方和团队需要对肿瘤单细胞测序方面有较多的实践经验，能为本项目的应用与落地提供条件；
资金需求：合作方可为团队提供资金支持项目的维护与更新。
清华大学
2022-08-30
肽抗生素开发与研究 ——利用大肠杆菌表达兔防御
项目研究背景 ：抗菌肽是在某些诱导条件下，由动植物体内防御系统 产生的对抗外源性病原体致病作用的防御性阳离子多肽类抗菌活性物质。 抗菌肽具有特殊的抗菌机理和广谱高效的抗菌活性。天然抗菌肽获取困 难，主要是采用基因融合的方式进行外源表达。利用生物技术表达、改造 抗菌肽，提高抗菌肽抗菌活性，从而开发出对人体和环境安全无毒的食品 防腐剂和农药产品，还可开发出一类新的抗生素产品。 技术性能 ：本研究在国内首次报道利用大肠杆菌
南昌大学
2021-04-14
性能的柔性混合电子一体化设计与制造平
依托“索维奇智能新材料诺奖实验室”，解决了柔性印刷电子材料耐高温、阻燃、抗弯折等安全可靠性的问题，突破了新型复合性能印刷墨水的大规模制备技术，实现了功能化柔性印刷电子器件的快速制备，形成了基于材料-工艺-结构-性能的柔性混合电子一体化设计与制造平台。与传统电子制造技术相比，具有大面积制造、柔性化、绿色环保、低成本等技术优势。成果已应用于可穿戴健康监测集成部件、柔性纸基RFID芯片等。
哈尔滨工业大学
2021-04-14
射频读写设备及应用该设备的车辆识别与辅助测速系统
南京邮电大学
2021-04-14
基于IP库的通用MEMS器件可视化仿真与验证工具
项目的背景及目的 迄今为止，集成电路的模拟、仿真直至评测已有了非常完善的工具软件；并已成为设计过程的重要组成部分；对设计的成功、可靠、高效都已起到决定性作用。而对MEMS而言，还相差甚远，这和MEMS发展的成熟程度有着直接关系。当然，这并不意味着MEMS不需要这样的工具和系统。相反，由于MEMS的功能多样、加工复杂、分析困难、设计周期长、成本高等。特别需要一个能包括运动仿真、评测在内的设计工具和系统。这是当前推动MEMS发展的当务之急。
南开大学
2021-04-14
一种时序网络与时序数据的多态聚类方法
本发明提出了多态聚类的概念，并公开了一种时序网络与时序 数据的多态聚类分析方法。多态聚类是一种针对时序网络或时序数据， 以多种标准作为相似性度量指标的聚类分析方法，包括以下步骤：首 先，如果处理对象为时序数据，则只对时序数据加工成特定的形式， 而如果处理对象为时序网络，则通过谱映射的方法把时序网络映射为 特定形式的时序数据。其次建立此时序数据的多态向量，最后，对多 态向量采用改进的同步化聚类方法聚类得到多态聚类结果。
华中科技大学
2021-04-14
高黄酮含量桑黄的精准栽培调控技术创新与应用
桑黄具有增强机体免疫力、抑制肿瘤细胞生长和转移等功效，其抗癌效果在国际有很高的认可度，被誉为“抗癌明星”。
一、项目分类
显著效益成果转化
二、技术分析
桑黄是一类传统的珍稀药用真菌，含有黄酮、多糖等多种有效活性成分，药用价值极高，素有“森林黄金”之美称。桑黄具有增强机体免疫力、抑制肿瘤细胞生长和转移等功效，其抗癌效果在国际有很高的认可度，被誉为“抗癌明星”。我校食药用真菌遗传与育种团队历时10年，围绕珍稀食药用菌桑黄系统地开展了遗传资源挖掘、优质菌株选育、规模化栽培、高活性成分精准调控等方面技术研发与集成示范，取得如下创新性成果：
1.建立了桑黄菌株资源库，筛选和鉴定了一批药用价值高的菌株，并建立了桑黄菌株DNA指纹图谱为指标的分子标记鉴定体系，为知识产权保护打下基础。
2.成功突破了野生桑黄菌株的人工栽培技术，系统性地确立了黄酮高产生产工艺参数，形成规模化优质桑黄生产技术体系。
3.率先研究了各种环境因子对桑黄主要活性成分黄酮的调控机制，结合工艺参数优化形成了高黄酮含量桑黄栽培工艺，为桑黄精准栽培调控提供了技术支撑。
南京农业大学
2022-07-25
微纳米银粉可控合成与高性能导电浆料生产技术
一、项目分类
关键核心技术突破
二、技术分析
银具有优良的导电性和化学稳定性，广泛应用于电子、化工、医药、能源等行业。近年来，随着电子工业、太阳能光伏的迅速发展，对以银粉为主要功能相的电子浆料的需求快速增长。国外微纳米银粉生产技术与导电银胶、导电银浆的配方和生产都属于保密技术。经本项目团队二十多年的研发，在微纳米银粉的液相可控合成、导电（胶）浆料生产技术方面具备产业化条件，实现产品系列化，满足不同行业的需求。
华中科技大学
2022-07-26