|
搜索
搜 索
高等教育领域数字化综合服务平台
网络空间安全可信性测评关键技术研发与应用
提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。
一、项目分类
重大科学前沿创新
二、成果简介
以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(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
微纳米银粉可控合成与高性能导电浆料生产技术
一、项目分类
关键核心技术突破
二、技术分析
银具有优良的导电性和化学稳定性，广泛应用于电子、化工、医药、能源等行业。近年来，随着电子工业、太阳能光伏的迅速发展，对以银粉为主要功能相的电子浆料的需求快速增长。国外微纳米银粉生产技术与导电银胶、导电银浆的配方和生产都属于保密技术。经本项目团队二十多年的研发，在微纳米银粉的液相可控合成、导电（胶）浆料生产技术方面具备产业化条件，实现产品系列化，满足不同行业的需求。
华中科技大学
2022-07-26
锂电池储能系统消防安全关键技术与装备
一、项目分类
关键核心技术突破
二、成果简介
储能能够为电网运行提供调峰、调频、备用、需求响应支撑等多种服务，是提升传统电力系统灵活性、经济性和安全性的重要手段。加快储能技术与产业发展，对于构建以新能源为主体的新型电力系统，实现碳达峰碳中和具有重要意义。据预测，到2050年，我国锂电池储能将达到400吉瓦，年均增长26%。然而，锂离子电池固有的安全性问题使其大规模应用遇到了瓶颈。2019年美国亚利桑那州一起锂电池储能系统火灾，今年4月我国某储能电站爆炸，韩国近年来30座电池储能电站发生火灾，均造成重大人员伤亡和经济损失。因此，储能系统的消防安全问题已成为制约锂离子电池储能大规模推广的关键瓶颈。
现有技术的痛点问题是：1、锂离子电池火灾机理有差异；2、锂离子电池灭火剂适用性不强；3、现有灭火剂不具备高效降温能力；4、实时健康状态监测技术缺乏；5、预警技术作用重视不够；6、技术规范建设严重滞后。
华中科技大学
2022-07-26
中国松材线虫病流行规律与防控新技术
首次创新研发了松材线虫病系列防控新技术，包括松材线虫专项自动化检测技术、媒介昆虫特异光谱引诱技术。
一、项目分类
关键核心技术突破
二、成果简介
首次创新研发了松材线虫病系列防控新技术，包括松材线虫专项自动化检测技术、媒介昆虫特异光谱引诱技术。解决了松材线虫病疫情监测、疫木控制和媒介昆虫防控三个关键环节的技术难题。（1）松材线虫专项自动化检测技术是国内外迄今应用的最先进的病原检测技术。（2）媒介昆虫特异光谱引诱技术弥补了生产上其他引诱技术主要只针对产卵期松墨天牛而忽略其他传播媒介天牛的不足，为病害防控开辟了新途径。
首次系统开展松树抗松材线虫病选育，为我国松树针对松材线虫病遗传改良提供了重要的抗性资源。（1）首次系统开展抗松材线虫病马尾松选择育种，为我国马尾松抗病遗传改良提供重要抗性资源。（2）引进抗病资源，建立抗松材线虫病黑松赤松基因库。（3）成功构建抗病马尾松、黑松和赤松组培繁殖体系。
获授权专利21项，省级良种5个。发表论文156篇，专著1本，国家标准1项。
南京林业大学
2022-08-15
水生蔬菜与旱生设施蔬菜水旱轮作克服连作障碍技术
莲藕、慈姑设施栽培可实现一年两茬栽培，可与春早熟、秋延后设施蔬菜栽培轮作换茬，同时高减轻因长期连作造成的设施土壤盐渍化、病虫害重发等连作障碍问题，实现减肥、减药条件下的优质高效生产。市场前景：设施蔬菜栽培的土壤盐渍化、病虫害重发等连作障碍问题普遍发生，而且逐年加重，水旱轮作是目前最为有效的减轻设施连作障碍的实用技术。
扬州大学
2021-04-14
生态村污水和垃圾处理实用技术与示范工程
国家环境保护部颁布的《国家级生态村创建标准》（试行）中规定了十五项考核指标，15个指标中8个指标都直接或间接与污水和垃圾处理有关。 南开大学可根据不同地区文明生态村建设的实际情况制定污水处理技术规范和垃圾处理技术规范，推广与当地经济技术水平相适应、现实可行的文明生态村最佳污染防治技术和生态保护技术。 生态城镇建设的重点和难点是农村生态环境建设中的垃圾处理问题。农村生态环境建设的基础是自然村生态环境建设。随着城乡一体化建设的深入开展，作为生态城镇建设的重要组成部分―污水及
南开大学
2021-04-14
西瓜甜瓜健康种苗集约化生产技术研发与示范推广
研发阶段/n西瓜甜瓜健康种苗集约化生产技术研发与示范推广。 成果简介：我国西瓜和甜瓜产量分别占全球的67.2%和55.2%，嫁接苗集约化生产是我国西甜瓜种苗生产的主要方式，以往由于忽视对种传病害的防控导致嫁接苗的病害高发，严重威胁了西甜瓜产业健康发展。本项目在国家公益性行业（农业）科研专项和国家西甜瓜产业技术体系项目资助下，对西瓜甜瓜嫁接苗生产过程中病害的发生与防控进行了系统研究，建立了适合西瓜甜瓜嫁接苗健康种苗集约化生产技术体系，包括西瓜甜瓜种传病害的快速检测技术体系、西瓜甜瓜壮苗培育技术体系，
华中农业大学
2021-01-12
现代苹果矮砧集约栽培模式与老园重茬更新综合技术
通过对山东省苹果主产区的老果园土壤养分、酸碱度及微生物 的研究表明，20 年生以上的老果园普遍存在土壤养分和微生物失衡、土壤酸化 等问题。项目采用矮化自根砧密植栽培模式，配合主要根系分布区土壤局部改 良，克服“连作障碍”的技术思路，根据老果园土壤分析结果，研制了苹果重 茬栽培专用有机基质,对老果园土壤进行局部改良，有效恢复土壤养分和微生物 平衡；利用结果早、根系分布浅、适应性强的 M9T337 脱毒优系矮化自根砧带分 枝果苗，以矮化集约栽培技术，成功克服了“连作障碍”，建立了现代矮砧集 约栽培模式苹
青岛农业大学
2021-01-12
华为与深圳职业技术学院签署全面战略合作协议
7月15日，华为与深圳职业技术学院（以下简称“深职院”）全面战略合作协议签订仪式在华为公司总部举行。深圳市教育局主任督学蔡茂洲，深职院党委书记杨欣斌，党委副书记、校长许建领，副校长李月，华为中国政企业务副总裁、华为深圳政企业务部总经理陈斌，华为企业BG人才伙伴发展部部长孙刚，华为深圳政企业务部副总经理锁斐，华为深圳政企教育医疗系统部部长李松萌等领导出席活动。
华为技术有限公司
2022-09-21