一种面向多域软件定义网络的配置验证方法

    公开(公告)号:CN114338378A

    公开(公告)日:2022-04-12

    申请号:CN202210024228.9

    申请日:2022-01-11

    Applicant: 海南大学

    Abstract: 本发明公开了一种面向多域软件定义网络的配置验证方法,该验证方法包括,从多域软件定义网络的软件定义网络子网设备中提取配置信息,根据配置信息构造软件定义网络子网形式化模型。从多域软件定义网络的核心网设备中提取配置信息,根据配置信息构造核心网形式化模型。将所述软件定义网络子网形式化模型与所述核心网形式化模型组合为多域软件定义网络形式化模型。检查所述多域软件定义网络形式化模型是否存在对可达性和绝对阻塞网络规则的违反。如果所述模型中存在对所述网络规则的违反,则输出与所述违反对应的所述多域软件定义网络形式化模型中的流元素。如果不存在对所述网络规则的违反,则所述多域软件定义网络形式化模型通过了验证。该方法实现了对多域软件定义网络的配置验证,利于多域软件定义网络的部署与管理。

    带有并行传输机制的竞争性MAC协议的设计

    公开(公告)号:CN112839352A

    公开(公告)日:2021-05-25

    申请号:CN202110329088.1

    申请日:2021-03-27

    Applicant: 海南大学

    Abstract: 本发明设计了一种适用于水下无线传感器网络的MAC协议,带有并行传输机制的竞争性MAC协议,该MAC协议设计主要包括下列步骤:建立网络模型:网络由多个子网组成,每个子网中都有多个普通节点和一个或者多个sink节点SN,子网一共有三种拓扑结构,时间被分割成大小相等的时隙;三种拓扑结构下的普通节点向不同的sink节点发送相关信息;不同拓扑结构下的sink节点根据接收到的相关信息进行相应的调度。

    一种由接收方发起的安全的MAC协议

    公开(公告)号:CN112383884A

    公开(公告)日:2021-02-19

    申请号:CN202011345119.4

    申请日:2020-11-25

    Applicant: 海南大学

    Abstract: 本发明涉及一种由发送方发起的安全的MAC协议的设计,主要包括下列步骤:建立系统模型:在一个水下集群网络中,一共有n个群集成员节点和一个群集头节点,群集成员节点到群集头节点的距离为单跳距离,节点在部署之前,每个节点都被分配唯一的ID和其它身份信息,每个节点都被分配唯一的主密钥S用于网络初始化阶段的安全通信;一次通信分为5个阶段:通知阶段、请求阶段、调度阶段、数据传输阶段、确认阶段,接收方根据与发送方的距离信息和一次传输过程中数据包数量信息调度发送方的传输时刻避免冲突发生;根据上述已有的调度进行节点间ID身份信息交互,基于身份的密钥分发,身份验证,用于数据的加密和验证数据来源的合法性。

    一种基于深度学习模型的水下图像压缩和重构方法

    公开(公告)号:CN118379371A

    公开(公告)日:2024-07-23

    申请号:CN202410451250.0

    申请日:2024-04-16

    Applicant: 海南大学

    Abstract: 本发明公开一种基于深度学习模型的水下图像压缩和重构方法,获取水下图像;利用基于深度学习的VQ‑VAE‑2模型作为基础,提出了两种微调模型结构NVQ(Narrow Vector Quantized)模型和VQI(Vector Quantized index)模型;将所述水下图像输入微调模型中,对水下图像进行压缩和重构。本发明设计了两个图像压缩模型NVQ模型和VQI模型,使得在降低图片重构清晰度保证主体可见的情况下,大幅度减少传输数据量,对固定水下情景图进行压缩与重构,能较及时把水下图像反映回陆地上。

    一种面向多域软件定义网络的配置验证方法

    公开(公告)号:CN114338378B

    公开(公告)日:2023-01-10

    申请号:CN202210024228.9

    申请日:2022-01-11

    Applicant: 海南大学

    Abstract: 本发明公开了一种面向多域软件定义网络的配置验证方法,该验证方法包括,从多域软件定义网络的软件定义网络子网设备中提取配置信息,根据配置信息构造软件定义网络子网形式化模型。从多域软件定义网络的核心网设备中提取配置信息,根据配置信息构造核心网形式化模型。将所述软件定义网络子网形式化模型与所述核心网形式化模型组合为多域软件定义网络形式化模型。检查所述多域软件定义网络形式化模型是否存在对可达性和绝对阻塞网络规则的违反。如果所述模型中存在对所述网络规则的违反,则输出与所述违反对应的所述多域软件定义网络形式化模型中的流元素。如果不存在对所述网络规则的违反,则所述多域软件定义网络形式化模型通过了验证。该方法实现了对多域软件定义网络的配置验证,利于多域软件定义网络的部署与管理。

    一种基于簇的水下通信密钥与身份验证融合机制的设计

    公开(公告)号:CN112566105A

    公开(公告)日:2021-03-26

    申请号:CN202110044537.8

    申请日:2021-01-13

    Applicant: 海南大学

    Abstract: 本发明设计了一种基于簇的水下通信密钥与身份验证融合机制的设计,该机制的设计主要包括下列步骤:建立网络模型:如图1所示,节点部署在水下,n个成员节点和一个簇头节点N组成一个簇;簇头节点使用私钥将身份信息以及通知消息加密后生成簇头身份信息(CHI),并将其广播;成员节点将接收到的密文解密后根据存储的算法生成会话密钥和身份验证信息(SAM),并将其发送到簇头节点;簇头节点将接收到的生成会话密钥和身份验证信息(SAM)解密后,再根据存储的算法得到会话密钥以及身份验证信息;通信阶段:成员节点将数据经过哈希和加密处理后,发送到簇头节点,簇头节点使用身份验证信息验证消息来源的合法性、消息的完整性。

    一种基于并发传输的多信道MAC协议

    公开(公告)号:CN112532369A

    公开(公告)日:2021-03-19

    申请号:CN202110043961.0

    申请日:2021-01-13

    Applicant: 海南大学

    Abstract: 本发明涉及一种基于并发传输的多信道MAC协议的设计,主要包括下列步骤:将信道划分为多个子信道,其中一个控制信道,其余的n个子信道为数据信道;定义并发传输节点以及并发传输节点集;一次通信分为3个阶段:请求阶段、数据传输阶段、确认阶段,其中请求阶段在一条控制信道上进行,有数据要传输的发送方首先向网络发送RTS控制包,RTS控制包中包含自身的ID地址和接收方的ID地址等信息。在第二个时隙的开始,接收方回复CTS控制包,CTS控制包包含目标节点的ID地址以及选择的数据信道和并发节点集。发送方在接收到CTS控制包后,根据接收到的信息选择是否在某个数据信道发送数据。随后接收节点在控制信道回复ACK控制包告知发送节点数据的接收情况。

    一种基于麦克斯韦效应的水下航行器

    公开(公告)号:CN108163164B

    公开(公告)日:2019-06-25

    申请号:CN201711372209.0

    申请日:2017-12-19

    Applicant: 海南大学

    Abstract: 本发明公开了一种基于麦克斯韦效应的水下航行器,包括机体、浮力调节系统、导航与控制系统、测量与通讯系统、供电系统和驱动系统;其中浮力调节系统包括第一水箱、第二水箱、第一转换器、第二转换器和永磁铁;本发明提供的基于麦克斯韦效应的水下航行器,利用麦克斯韦效应中的电磁感应效应进行浮力调节,仅通过电磁感应效应作为动力输出,来灵活调节机体内部的水箱的进水和排水,即可实现调节航行器的航行状态,结构简单,突破了传统航行器浮力调节装置的复杂性;同时还提高了航行器的灵活性,降低耗能,能够实现长时间的水下勘测作业。

Patent Agency Ranking