|
搜索
搜 索
高等教育领域数字化综合服务平台
网络空间安全可信性测评关键技术研发与应用
提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。
一、项目分类
重大科学前沿创新
二、成果简介
以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(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
浙江大学国家级双创示范基地·三墩元空间
浙江大学国家级双创示范基地·三墩元空间，坐落于毗邻浙江大学（紫金港校区）的宝港科创空间，一期总面积约2500平方米，设有展示区、路演多功能厅、会议厅、办公区、洽谈室、创业项目展示区等多个功能空间，充分满足浙江大学创业者创业、交流、互动、发展等多方面需求。
浙江大学
2022-07-22
中国科大实现多种空间转录组分析算法的系统性评估
中国科学技术大学生命科学与医学部瞿昆教授课题组通过设计一整套分析流程，系统性评估了16种空间转录组和单细胞转录组数据整合算法在预测基因或细胞类型空间分布方面的性能。
中国科学技术大学
2022-06-02
基于子带空间关注测度的可分级音频编码系统及方法
本发明提供一种基于子带空间关注测度的可分级音频编码系统及方法，包括基于能量、频率和空间 信息综合计算各子带的子带重要性测度并排序，根据综合测度的排序结果进行比特分配、残差量化编码， 对子带排序编号的编码结果和残差量化编码都加入码流。本发明根据能量、频率和空间信息作为子带优 先级分配策略，相比单纯利用能量或频率作为感知测度具有更明显的指导意义。
武汉大学
2021-04-13
低温空间温度场数据可视化与模拟分析系统项目
项目简介 “低温空间温度场数据可视化与模拟分析系统”项目由泰州市沪江特种设备有限公 司委托开展。运用空间温度在线监测和计算机数据处理及可视化技术，实时分析空间的 温度场变化，实现空间温度场的优化，达到节能运行的目的。 系统根据空间需要，布置多层、多处测点，依靠传感器及相关仪表，通过 485 通信 方式实现本地数据与计算机之间的传输。自主研发的数据采集与处理程序实时监测空间 各处的温度分布，并以三维彩色视图显示，可直观观测空间的温度场的动态变化特征， 指
江苏大学
2021-04-14
奥威亚AI赋能创新，广州大学教学空间更智慧
在广州大学，奥威亚的AI分析技术还进行了创新应用，课堂上AI录播赋能线上线下混合式教学；课堂外，AI录播充当“智慧之眼”赋能智能管理。
广州市奥威亚电子科技有限公司
2022-12-21
一种基于空间变换的自然场景下文本识别方法
本发明公开了一种基于空间变换的自然场景下文本识别方法，首先对训练图像集中的文本图像，获取图像的文本内容，并训练基准点定位网络、图像预处理网络、图像编码器网络以及特征解码器网络等网络模型；然后利用训练得到的网络模型对待识别图像集中图像进行空间变换，得到变换后的待识别图像；然后计算变换后的待识别图像的特征向量以及预测概率序列，最终获取图像识别的结果。本发明方法文本识别准确率高，且能够克服文本排列不规则等不利因素的影响。
华中科技大学
2021-04-11
反射式空间光调制器FSLM-2K39-A02
西安中科微星光电科技有限公司
2022-06-27
基于5G通信控制的智能喷雾机器人
1.开发背景
随着去年新型冠状病毒的爆发，全国各地各个场所的消毒任务显得尤为必要，现在在医院等场所，依旧是采用背负式喷雾机进行喷雾消毒，人力消耗大、效率慢且很辛苦，因此需要解决喷雾的效率问题。
2.开发思路
立式双筒喷雾机器人，包括底座，固定支架，两个喷雾设备，中间装有双目摄像头，底座上分离式安装有立体式水箱，水箱顶部周边的支架上固定安装有水泵，电气箱。应用了5G通信技术进行硬件设计、网络传输，应用QT实现遥控界面的开发，通过机器人上方的高清摄像头采集到的视频，然后转换、压缩反馈到遥控界面，由反馈得到的视频信息，通过遥控远程控制机器人的驱动、喷雾等功能。
3.主要创新点
（1）立式机器人创新结构设计
（2）基于双目测距的智能喷雾设计
（3）基于5G通信模块的远程操控
4.市场应用
（1）江苏淮安宾馆有限公司
（2）江苏臻隆生态农业科技有限公司
淮阴工学院
2021-05-11
5G无线机动组网及在垂直行业的应用
随着5G与垂直行业的结合日益紧密，5G专网受到了广泛关注。传统5G专网大多依赖现有的运营商网络设施，基站位置固定且建设成本高，无法满足部分垂直领域低沉本、快速、灵活的布网需求。例如在应急抢险救灾领域，在地面通信设施中断受损等情况下，需要短时间快速进行网络搭建，且网络的服务区域需随着救援人员的任务位置不断变化；在矿业开采领域，随着作业面的掘进，联网机械设备的位置也在变化，由此也需要调整基站的位置。另外，对于长距离覆盖的场景，单个5G基站由于覆盖距离受限，难以满足要求。 在上述需求驱动下，课题组提出了5G机动专网的概念，通过利用5G高速链路实现了5G基站和核心网间的无线连接（即无线回程），使基站部署位置不再受限于有线连接，与此同时，机动专网系统的基站和核心网具有便携、轻量的特点，成本低、易部署、机动性好。由于系统的接入链路和回程链路均基于5G制式，整个系统相比现有Mesh组网方案具有显著的高速率优势，可在多跳组网下有效支撑全景视频回传、无线增强现实、远程无人车操控、高清视频通话等业务。图1展示了系统使用的灵巧软基站、雾小站和轻量核心网，图2展示了一个具体的机动多跳传输方案和性能结果，图3展示了所提方案在应急通信和军事通信领域的应用前景。图 1 机动专网核心设备介绍图 2 机动组网系统拓扑图 3 机动组网系统应用前景
北京邮电大学
2021-04-10