策略验证方法、电子设备及存储介质

    公开(公告)号:CN117852011A

    公开(公告)日:2024-04-09

    申请号:CN202311854823.6

    申请日:2023-12-29

    Applicant: 厦门大学

    Abstract: 本公开提供了一种策略验证方法、电子设备及存储介质。本公开的策略验证方法包括:根据目标策略生成初始公式数据和待验证公式,待验证公式和初始公式数据中的初始公式均为可满足性模理论公式;根据待验证公式对初始公式数据进行公式选择处理,生成目标公式数据,目标公式数据包括部分初始公式数据;根据目标公式数据和待验证公式进行可满足性模理论求解,生成第一求解结果数据;以及根据第一求解结果数据确定目标策略的策略验证结果。

    一种LoRa网络数据聚合的实现方法与装置

    公开(公告)号:CN115243316B

    公开(公告)日:2025-02-14

    申请号:CN202210861418.6

    申请日:2022-07-22

    Applicant: 厦门大学

    Abstract: 一种LoRa网络数据聚合的实现方法与装置,涉及物联网通讯技术领域。装置依次设有前导码检测模块、偏移及信道估计模块、符号解调模块和信道解码模块。在频域对偏移及信道参数进行粗估计及联合细估计;基于估计结果及各解调窗口中的峰值位置,生成符号序列,并计算对应似然概率;保留K组概率最大的序列及对应概率供后续信道解码使用;针对K组概率最大的序列及对应概率输入,将符号级软概率转换成比特级软概率;对格雷映射操作实现软概率转换;经解交织、汉明软解码及解白化得每个节点的信道解码数据输出。该方法与装置解决LoRa并发传输时数据符号碰撞问题,提高时间同步叠加信号解码与聚合性能,降低数据聚合时延。

    一种寻找最少失效链路使得路由不可达的方法

    公开(公告)号:CN116582480A

    公开(公告)日:2023-08-11

    申请号:CN202310847376.5

    申请日:2023-07-12

    Applicant: 厦门大学

    Abstract: 本发明涉及一种寻找最少失效链路使得路由不可达的方法,包括随机生成若干张路由传播图训练集,每张路由传播图指定源节点与目的节点;利用消息传递神经网络构建深度强化学习神经网络;使用随机数据集训练消息传递神经网络,用于生成链路个数最少的链路集合,集合内的链路失效将使得目的节点的路由无法传播到源节点;输入现网网络配置与拓扑,转换成现网路由传播图;利用训练后的深度强化学习神经网络,针对现网路由传播图找出链路个数最少的链路集合,集合内的链路失效将使得目的节点的路由无法传播到源节点。本发明能够快速地、准确地找到要切断的最少的链路集合,可用于网络配置验证工具判断现有网络的健壮性。

    一种寻找最少失效链路使得路由不可达的方法

    公开(公告)号:CN116582480B

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

    申请号:CN202310847376.5

    申请日:2023-07-12

    Applicant: 厦门大学

    Abstract: 本发明涉及一种寻找最少失效链路使得路由不可达的方法,包括随机生成若干张路由传播图训练集,每张路由传播图指定源节点与目的节点;利用消息传递神经网络构建深度强化学习神经网络;使用随机数据集训练消息传递神经网络,用于生成链路个数最少的链路集合,集合内的链路失效将使得目的节点的路由无法传播到源节点;输入现网网络配置与拓扑,转换成现网路由传播图;利用训练后的深度强化学习神经网络,针对现网路由传播图找出链路个数最少的链路集合,集合内的链路失效将使得目的节点的路由无法传播到源节点。本发明能够快速地、准确地找到要切断的最少的链路集合,可用于网络配置验证工具判断现有网络的健壮性。

    一种信道绑定WiFi网络的信道分配方法

    公开(公告)号:CN116600324A

    公开(公告)日:2023-08-15

    申请号:CN202310847842.X

    申请日:2023-07-12

    Applicant: 厦门大学

    Abstract: 本发明涉及一种信道绑定WiFi网络的信道分配方法,其包括训练阶段:通过中央控制器周期性收集每个AP的信道选择、流量负载和吞吐量等观测信息,并将其存储在数据缓冲区中,构建神经网络,并使用PPO算法对神经网络进行训练;部署阶段:通过中央控制器周期性收集每个AP的信道选择、流量负载和吞吐量等观测信息,利用训练后的神经网络生成每个AP的信道选择动作,并将其下发到每个AP进行执行。本发明不依赖先验干扰模型,只通过实际吞吐量的反馈信息训练神经网络,并用于多AP信道参数的选择,在难以获取干扰模型的隐藏终端和隐藏信道场景下有更好的吞吐量表现。

    基于通用软件无线电平台的水声物理层网络编码中继系统和方法

    公开(公告)号:CN114938251B

    公开(公告)日:2023-05-23

    申请号:CN202210546534.9

    申请日:2022-05-18

    Abstract: 基于通用软件无线电平台的水声物理层网络编码中继系统,属于水声通信与组网领域。包含两个终端节点A和B,以及一个中继节点R,中继节点部署在两个终端节点之间;终端节点和中继节点均由PC主机、USRP N210及其子板、外设电路和水声换能器组成;PC主机装载GNU Radio;外设电路包括收发切换电路、前放和功放;OFDM调制解调技术及其特殊帧结构的设计提高符号异步的容错性。收发切换电路解决基于USRP平台半双工水声通信系统收发通路切换问题,串/并转换和控制信标流等机制为GNU Radio信号流的控制提供更稳健的分割机制;样本计数机制为其他基于USRP构建的通信系统提供同步参考。

    水声物联网高速非协调并发接入的方法

    公开(公告)号:CN119363285A

    公开(公告)日:2025-01-24

    申请号:CN202411896489.5

    申请日:2024-12-23

    Applicant: 厦门大学

    Abstract: 本发明公开一种水声物联网高速非协调并发接入的方法,实现对抗多普勒与强多径的时变信道,在解决冲突的同时也提高了时变水声系统的吞吐量。该方法包括:1、对于不同用户分配两个不同根索引的ZC序列,分别作为辅助序列、调制序列;2、采用滑动相关器对接收基带信号做互相关操作,前导码由三个重复的ZC基序列组成;当检测到超过阈值的连续等距信号,保留潜在峰及其对应的根索引,并确定最早的峰作为前导码的起始位置,再根据前导码长度确定不同用户的数据解调起始位置;3、基于辅助序列解调得到模板信号,基于调制序列解调得到待解调信号,引入自适应权重的Pearson相关系数计算模板信号与待解调信号的相关系数,从叠加的数据符号中解调指定用户数据。

    分布式大规模MIMO低复杂度预编码方法

    公开(公告)号:CN118054819B

    公开(公告)日:2024-09-27

    申请号:CN202410452583.5

    申请日:2024-04-16

    Applicant: 厦门大学

    Abstract: 本发明为了针对分布式大规模MIMO系统有效匹配用户信道的特性、下行链路预编码矩阵求逆过程的计算复杂度过高问题,提出一种基于并行计算Kaczmarz迭代的低复杂度预编码方法。本发明对于集中式预编码回程链路开销大的问题,通过选取部分的RAU,再使用集中式预编码消除这部分RAU之间的相互干扰,进而提升系统性能。本发明不经过直接矩阵求逆求解,而是采用基于Kaczmarz并行迭代方法进行求解#imgabs0#,并将上述方法在多核环境下实现并行加速,实现降低计算复杂度的同时提高性能。

    访问控制策略验证方法、电子设备及存储介质

    公开(公告)号:CN118378231A

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

    申请号:CN202410519458.1

    申请日:2024-04-28

    Applicant: 厦门大学

    Abstract: 本公开提供了一种访问控制策略验证方法、电子设备及存储介质。本公开的访问控制策略验证方法包括:对待验证属性进行编码,得到初始验证数据,待验证属性基于待验证访问控制策略生成;根据初始验证数据和默认约束数据生成目标验证数据,默认约束数据为默认针对访问请求进行约束的数据;以及根据目标验证数据确定待验证访问控制策略的验证结果。

Patent Agency Ranking