|
搜索
搜 索
高等教育领域数字化综合服务平台
【吉林广播电视台】【相约高博会】记者带你看高博会：室外体验展区 展示科教融汇魅力
【相约高博会】记者带你看高博会：室外体验展区 展示科教融汇魅力
吉林广播电视台
2025-05-26
网络空间安全可信性测评关键技术研发与应用
提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。
一、项目分类
重大科学前沿创新
二、成果简介
以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(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
中国科大实现多种空间转录组分析算法的系统性评估
中国科学技术大学生命科学与医学部瞿昆教授课题组通过设计一整套分析流程，系统性评估了16种空间转录组和单细胞转录组数据整合算法在预测基因或细胞类型空间分布方面的性能。
中国科学技术大学
2022-06-02
财务信息收集展示装置
本实用新型涉及一种财务信息收集展示装置，包括支撑腔，支撑腔上部设置有第一支撑板，第一支撑板上部设置有展示腔，展示腔中间位置设置有第一展示架，第一展示架侧面设置有多个第一展示板，展示腔上部右侧连接有左连接杆和右连接杆，左连接杆和右连接杆下部连接有第二支撑板，第二支撑板上部中间位置设置有伺服电机，伺服电机下部连接有伺服电机轴，伺服电机轴下部连接有第二展示架，第二展示架侧面设置有多个第二展示板，展示腔右侧设置有第三展示架，第三展示架侧面设置有第三展示板，第三展示架下部设置有意见箱，意见箱上部设置有意见箱入口。该实用新型装置能够有效地用于财务信息资料的收集储存，改善了储存效果。
青岛农业大学
2021-04-13
教学、科研玻片订制展示
倾情为广大生物科研工作者提供生物玻片的量身订制及显微图片拍摄服务，支持来料加工订制，专注教学科研；
河南雨林教育工程有限公司
2021-02-01
生物显微玻片、图谱展示
专业生产实验室所需生物显微玻片，独家提供高清显微图谱，倾力为教师教学课件及学生课外学习能力提升服务；
河南雨林教育工程有限公司
2021-02-01
低成本功能性多孔有机聚合物
成熟度：技术突破
多孔有机聚合物是一类新兴的功能性高分子材料，相比传统高分子交联树脂，其具有类似无机分子筛的微孔，具有更高的官能团密度，已被广泛用于储存、分离或催化等领域。然而当前许多性能优良的多孔有机聚合物成本过高，严重制约着其实际应用。我们合成的价格低廉且性能优秀的多孔有机聚合物，其性能与当前典型多孔有机聚合物相当，而价格为它们的几十分之一或几百分之一，目前在储存氨气、分离二氧化碳及分离水中污染物（如硼酸，Hg2+等）等方面已完成实验室测试，这些成果将为多孔有机聚合物的真正应用打开通道。
意向开展成果转化的前提条件：中试放大及产业化工艺开发资金支持
东北师范大学
2025-05-16
基于共享单车轨迹数据的城市街道可骑行性评估与空间优化技术
随着我国社会经济发展和人民生活水平的提高，城市居民对重塑慢行系统、提升城市空间品质提出了更高的要求。共享单车作为一种便捷、高效、绿色的新型出行方式，是解决城市短距离出行和"最后一公里"难题的重要工具。本文以一种新的视角，应用共享单车骑行轨迹数据从骑行行为角度对骑行环境进行研究。以龙岗区为例，首先对街道骑行行为的时空间分布特征进行了研究，发现骑行行为在时间上主要集中在早晚高峰时段，在空间分布上主要集中在地铁和公交的接驳站点和龙
哈尔滨工业大学
2021-04-14
宇航空间机构与空间机器人
研制了大型折展机构、自重构机构及空间机器人系统，提出“机-电-热-控”多重耦合动力学建模、“结构-驱动-控制”相融、自主轨迹规划与智能控制等理论及方法，解决了恶劣太空环境下漂浮基、大挠性、强耦合、变拓扑复杂系统设计、建模与控制等关键难题，为航天器在轨组装与维修维护、轨道垃圾清理等提供技术支撑。成果用于航天型号，获国家技术发明二等奖1项、省技术发明一等奖1项、军队科技进步一等奖2项，出版专著3部。
哈尔滨工业大学
2021-04-14
立体绿化种植和展示装置
一种立体绿化种植和展示装置，由种植系统和灌溉系统组成，种植系统包括顶板、纵向板、横向板和种植箱，所述的灌溉系统设在种植系统的一侧，其特征在于，所述的横向板的一端通过销轴与两侧的纵向板铰接，在该横向板的另一端设有向下的弯板，在该弯板上设有通孔并插入一定位插销，在两侧的纵向板上设有多个与该定位插销对应的插孔，多个该插孔设在以所述的销轴为圆心的圆弧上；在所述的横向板与种植箱之间设有限位机构。本实用新型的优点：可以根据植物生长和展示的需要需要调节横向板的与水平面的角度，使得种植箱内的植物朝向阳光或避开阳光的直接照射，以适应植物的生长。
青岛农业大学
2021-04-13