|
搜索
搜 索
高等教育领域数字化综合服务平台
网络空间安全可信性测评关键技术研发与应用
提出基于矛盾体分离的动态多元协同自动演绎推理的理论和方法，提高了自动推理引擎求解和证明能力，增强了系统可信性测评的综合能力。
一、项目分类
重大科学前沿创新
二、成果简介
以具有国际先进水平的原创自动推理体系为核心支撑，立足通信系统安全检测、评定与防护，在网络空间安全可信性测评关键技术的研发与应用上实现以下重要创新:(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
一种适用于蜂窝网络的代码迁移方法及系统
本发明公开了一种适用于蜂窝网络的代码迁移方法及系统，用 于在本地网络端有多个终端的场景中减少蜂窝网络下代码迁移的能 耗；代码迁移系统包括位于本地网络端的网络分析模块、网络处理模 块、数据分发处理模块和能耗分析模块；代码迁移方法通过将计算密 集型任务迁移到计算资源丰富的云平台端执行，将所需传输的数据通 过更节能的端对端传输方式，将数据集中到数据聚合器上传输，并关 闭部分终端的蜂窝网络，解决现有代码迁移系统在蜂窝网络下能
华中科技大学
2021-04-14
一种网络视频流的无参考图像质量在线估计方法
本发明公开了一种网络视频流的无参考图像质量在线估计方法。 所述方法利用 P 帧 PSNR 相对于 I 帧纹理复杂度和 P 帧运动量的线性 预测模型，估计网络视频流的 P 帧 PSNR 值；同时结合模型系数随 P 帧帧长和场景的变化而动态变化的规律，利用 I 帧的 PSNR 调整纹理 系数，利用上一 P 帧的运动系数和当前帧的运动信息调整当前帧的运 动系数，最终得出了较为准确的适应视频内容变化的 P 帧 PSNR 估计
华中科技大学
2021-04-14
一种时序网络与时序数据的多态聚类方法
本发明提出了多态聚类的概念，并公开了一种时序网络与时序 数据的多态聚类分析方法。多态聚类是一种针对时序网络或时序数据， 以多种标准作为相似性度量指标的聚类分析方法，包括以下步骤：首 先，如果处理对象为时序数据，则只对时序数据加工成特定的形式， 而如果处理对象为时序网络，则通过谱映射的方法把时序网络映射为 特定形式的时序数据。其次建立此时序数据的多态向量，最后，对多 态向量采用改进的同步化聚类方法聚类得到多态聚类结果。
华中科技大学
2021-04-14
一种网络化多电机同步控制系统及方法
本发明公开了一种网络化多电机同步控制系统及方法，该系统包括基于 SOPC 的多轴同步控制模块、PLC 控制器、上位机、人机界面、现场 IO 设备、脉冲采集模块和伺服电机驱动模块；通过脉冲采集模块采集主令电机编码器输出的编码脉冲信号经过磁耦隔离处理后发送到多轴同步控制模块，多轴同步控制模块对接收到的脉冲信号进行周期性的计数采样，同时也接收来自上位机和人机界面传来的控制命令，最终将控制命令转化为 PWM 控制信号，经过伺
华中科技大学
2021-04-14
一种基于网络编码的分布式存储方法及其装置
一种基于网络编码的分布式存储方法及其装置，属于计算机存 储技术领域，解决现有基于网络编码的分布式存储方法所存在的存储 节点的磁盘 IO 过大的问题。本发明的分布式存储方法，适用于分布式 存储系统，包括数据编码步骤、数据解码步骤和数据修复步骤；本发 明的分布式存储装置，包括数据编码模块、数据解码模块和数据修复 模块。本发明在数据节点损坏时，从 d 个数据节点下载不多于原始文 件 D 大小的数据，修复损坏的数据，有效地减
华中科技大学
2021-04-14
一种提高无线网络利用率的装置
为了解决无线网络获取信息效率不高的缺陷， 本专利提供一种提高无 线网络是利用率的设备， 该设备可以提高重要信息的流量在总信息流量中 的比重。 本技术所采用的技术方案是：它包括无线终端、资源服务器、有线网 络和无线网络， 无线终端通过无线网络连接了 web 服务器连接， web 服务 器再通过有线网络连接资源服务器。 本技术的有益效果是：它引入了 web 服务机制，在数据进入无
南昌大学
2021-04-14
二进制递归网络的随机多故障条件诊断性分析
项目简介： 随着并行计算系统中处理器数目的快速 增加， 系统
西华大学
2021-04-14
基于计算机视觉和神经网络的浮选控制系统
浮选技术是目前矿业中矿物分选主要采用的工艺方法。传统的浮选控制过程是通过各种测量仪器，分析测量矿物的品位、浮选回路中的pH值、药物浓度等参数，根据分析得出的数学模型来调整加药量，以使浮选过程处在最优状态下。但实际上，由于浮选过程十分复杂，影响浮选过程的因素非常多，所获得的数学模型并不能和实际很好吻合，因而控制过程一般并不能处在最优状态下。这是浮选控制过程的
西安交通大学
2021-01-12
汽车教具特斯拉高端电动智联网络系统实训台
北京智扬北方国际教育科技有限公司
2021-08-23