|
搜索
搜 索
高等教育领域数字化综合服务平台
网络空间安全可信性测评关键技术研发与应用
提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。
一、项目分类
重大科学前沿创新
二、成果简介
以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(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
上海申龙可信数字科技股份有限公司
上海申龙可信数字科技股份有限公司是拥有自主知识产权的核心技术、知名品牌，具有良好的创新管理和文化，整体技术水平在同行业居于先进地位，在市场竞争中具有优势和可持续发展能力的企业。公司位于上海市浦东新区张江国家数字出版基地，是国内运用云计算推动城市大规模人机交互应用服务的高科技型公司之一。
狂龙数字多点触控终端研发在国内属于领先企业，高端多媒体可视化应用，更是在国内甚至国外处于领先水平，而这些优势和团队是其他竞争企业所不具备的。狂龙未来教室方案更多结合和参与国际上智慧校园的研究及运营，其中智能备课系统、双脑双屏互动教室、微课录播系统及可视化观摩监控平台为国内首创。狂龙数字多媒体人机交互可视化软件硬件终端产品，于2009年荣誉入选国家“辉煌六十年，中国人民共和国成立六十周年成就展”，2010年成功为广州亚运会建设运营室内会外人机交互可视化平台。目前，狂龙所研发的智慧社区、智慧旅游、智慧校园系列产品，在国内多个省市参与智慧城市的项目建设。上海狂龙的目标是成为中国规模最大、综合实力最强的云计算人机交互公众服务信息化建设领军者，作为国家基地示范性创新企业，在数字化智慧化创新的发展道路上，上海狂龙将一直努力前行。
上海申龙可信数字科技股份有限公司
2021-01-15
高可信强智能的心脑血管疾病诊疗服务模式解决方案
一、项目简介 本项目以心脑血管诊疗数据为研究对象，以建立三级协同诊疗服务模式为目标，围绕心脑血管诊疗装备网络共享、多元异构医疗信息智能提取、协同诊疗、国家级协同诊疗服务模式及评价体系四个科学问题，在数据获取与资源共享，知识提取与协同诊疗，三级诊疗服务模式三个层次上开展装备网络协同共享、智能信息提取与知识发现、基于人工智能的心脑血管疾病智能诊疗、医疗服务体系及大数据安全关键技术研究和三
厦门大学
2021-01-12
容器化微服务平台构建与智能运维
本项目基于Kubernetes构建容器化微服务平台。利用人工智能和数据挖掘的方法，对容器化微服务平台实施智能化运维，将系统的平均恢复时间从小时级别缩短到分钟级别，并智能化推荐恢复决策。
中山大学
2021-04-10
高储能电介质电容器的研究
中国科学技术大学李晓光团队联合清华大学沈洋教授课题组在高储能密度柔性电容器领域取得重要进展。研究者成功找到了一种可以大幅度提高聚合物基复合材料击穿电场强度和介电储能密度的方法，该方法可推广至不同的柔性聚合物电介质材料，为今后高储能电容器的设计提供了一种可行的方案。该成果在线发表在《先进材料》杂志上。
中国科学技术大学
2021-01-12
压力容器超压泄放智能设计软件
压力容器超压泄放智能设计软件可以进行安全泄放设计及泄放装置选型操作。软件主要特点有：①多标准泄放设计：可依据 GB567 、 API520 、 ISO4126 标准进行单相流物理超压泄放设计，依据 DIERS 进行两相流物理超压泄放设计，依据 NFPA68 进行化学超压泄放设计；②多类型泄放设计：可对压缩气体、液化气体、水蒸气、液体、两相流、可燃气体、可燃粉尘、多组分进行泄放设计；③多数据库支撑：软件内含气体物性、汽化潜热、液体粘度、介质基本燃烧速率等数据库。④泄放装置选型：软件提供较为权威的泄放装置选型功能。
大连理工大学
2021-04-13
Ⅲ类压力容器设计阶段风险评估系统
压力容器设计阶段风险评估的技术思路是世界压力容器设计技术的革命，最早是由欧盟在2002年强制执行的法规——《承压设备指令》（PED）中提出的。2009年以后我国借鉴这个思路，TSG R0004-2009《固定式压力容器安全技术监察规程》规定了对第Ⅲ类压力容器在设计阶段应出具风险评估报告。但我国开展Ⅲ类压力容器设计阶段风险评估缺乏相应的理论依据和技术标准，只能参照国外RBI（基于风险的检验）技术进行。首先，无论是从风险识别、同类失效频率还是风险定量计算等环节国内外都存在着较大差异。如果完全采用国外的数据库及风险评估模型势必造成评估结果的不准确，影响容器本质安全。其次，设计阶段的风险评估并不等同于RBI，国内缺乏这方面系统的研究。本成果通过调研和理论研究，提出适合于我国实际的Ⅲ类压力容器失效可能性计算模型与失效后果分析模型修正方法并开发相应的风险评估软件。对我国重要压力容器在设计阶段开展风险评估，做到所谓“优生优育”，提高本质安全性具有重要的指导意义。另外，本软件能指导Ⅲ类压力容器设计阶段的风险评估工作，不仅为设计工作提供科学的理论依据，又能极大提高设计工作效率。 该软件能自动识别设计阶段Ⅲ类压力容器可能的风险因素、自动验算容器类别、自动定量计算风险值、自动生成风险评估报告并自动导出word文档的报告、失效事故案例库查询。
西南石油大学
2015-03-16
一种基于 Copula 函数获取多风电场容量可信度的方法
本发明公开了一种基于 Copula 函数获取多风电场容量可信度的 方法，包括：考虑风电场尾流效应，将风速时间序列转换为风电场出 力时间序列，依据数值大小对该序列进行状态归并，再进行非线性拟 合得到单个风电场的出力的边缘分布；选取用于描述下厚尾特性的 Clayton-Copula 函数描述各风电场出力间的相关关系，根据风电场历史 出力数据，采用两阶段极大似然估计法对已选择的 Copula 函数进行参 数估计，得到多风电场出力联合概率分布的相关参数；将基于 Clayton-Copula 函数的多风电场出
华中科技大学
2021-04-14
电容器用高性能介电复合材料
现代电子科技的迅猛发展，对电子材料的介电性能提出了越来越高的要求，希望能得到具有高介电系数、低损耗、易加工等综合性能优越的新型电子材料。本复合材料利用陶瓷材料的高介电性能和高聚物材料的绝缘电阻高、加工性能好、介电损耗小等优点，制备出具有高介电性能、易加工的复合介电材料。高介电材料是一种应用前景非常广泛的绝缘材料，由于它有着很好的储存电能和均匀电场的性能，因而在电子、电机和电缆行业中都有非常重要的应用。
北京航空航天大学
2021-04-13
一种超级电容器、负极及其制备方法
本发明公开了一种超级电容器、负极及其制备方法。该负极依次包括导电基底，以及生长于导电基底表面的无定形碳层，所述无定形碳层中嵌有粒径为 2nm～40nm 的锰氧化物颗粒，所述无定形碳层的厚度为 2nm～300nm，所述锰氧化物颗粒包括 Mn3O4 颗粒以及 MnO颗粒，所述 Mn3O4 颗粒以及 MnO 颗粒的质量比小于 5:8。本发明选择由 Mn3O4 纳米颗粒以及 MnO 纳米颗粒组成的锰氧化合物层作为负极的活性材
华中科技大学
2021-04-14