基于ProB的铁路联锁系统形式化开发及仿真方法、装置及可读介质

    公开(公告)号:CN119294124A

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

    申请号:CN202411499548.5

    申请日:2024-10-25

    Applicant: 华侨大学

    Abstract: 本发明公开了一种基于ProB的铁路联锁系统形式化开发及仿真方法、装置及可读介质,包括:对联锁系统进行分析,得到联锁系统的结构;对联锁系统的结构进行精化分层,得到联锁系统的分层模型;采用Event‑B对联锁系统的分层模型进行形式化建模,得到联锁系统的Event‑B模型;对联锁系统的Event‑B模型进行实例化,得到实例化后的Event‑B模型,采用ProB工具对实例化后的Event‑B模型进行动态仿真,得到联锁系统的开发结果。本发明能够高效的创建和验证模型的准确性和安全性,确保联锁系统的可靠性和安全性。

    适用于有损信源编码的原模图LDPC码的结构优化方法及装置

    公开(公告)号:CN114978194B

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

    申请号:CN202210533290.0

    申请日:2022-05-17

    Applicant: 华侨大学

    Abstract: 本发明提供了一种适用于有损信源编码的原模图LDPC码的结构优化方法及装置,包括:获取原模图LDPC码的基础矩阵;对所述基础矩阵进行运算,生成所述基础矩阵所有元素的度;在判断到当前列的度大于下一列的度时,将所述当前列的元素与下一列的元素替换位置,生成第一矩阵;调整所述第一矩阵的度为1的变量节点的数量,直到满足预设条件,并生成第二矩阵;确定所述第二矩阵的信息位,并输出优化后的基础矩阵。经过优化后得到的码族使得有损信源编码系统获得了靠近率失真理论曲线的性能,即获得了显著的性能增益。

    一种手势识别检测方法、装置、设备及存储介质

    公开(公告)号:CN118072353A

    公开(公告)日:2024-05-24

    申请号:CN202410277629.4

    申请日:2024-03-12

    Abstract: 本发明提供了一种手势识别检测方法、装置、设备及存储介质,首先,对特征金字塔进行改进,通过融合两个相邻的低级特征,并将高级特征渐近地纳入到融合过程中。使不相邻层级之间更好的交互,以提取更多有用的信息提高模型对手势特征的感知能力。其次,为有效减小预测框和真实框宽高之间的真实差异,对损失函数进行了改进,在位置回归损失函数中引入了WIoU loss,更加关注普通质量的样本,从而提高网络模型的泛化能力和整体性能。再次,对其进行轻量化改进,加入轻量化网络块到backbone中,最终形成新的YOLOv8‑tiny‑AW网络模型。旨在解决传统手势识别方法的局限性,提高手势检测的准确性和效率。

    模拟联合信源信道编码的数据传输方法、装置及设备

    公开(公告)号:CN116667973A

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

    申请号:CN202310960100.8

    申请日:2023-08-02

    Applicant: 华侨大学

    Abstract: 本发明属于通信技术领域,并公开了一种模拟联合信源信道编码的数据传输方法、装置及设备,方法包括:S1,产生随机序列;S2,在S‑K映射中,利用预设的映射曲线对所述随机序列进行带宽压缩编码,获得信源符号,即为全分辨率星座点;S3,采用基于k‑means聚类的星座设计方法,将所述全分辨率星座点映射到有限星座点;其中,所述有限星座点的位置根据所述全分辨率星座点的分布自适应调整;S4,将所述有限星座点通过加性高斯白噪声信道传输。本发明的有限星座点的位置能根据编码后输出的信源符号自行进行调整,且有限星座点的概率分布接近于全分辨率星座点的概率分布,防止当星座点的分辨率大幅下降时出现急剧的性能下降。

    基于多级编码调制的数字编码、解码和通信方法及系统

    公开(公告)号:CN116614204A

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

    申请号:CN202310586864.5

    申请日:2023-05-24

    Applicant: 华侨大学

    Abstract: 本发明公开一种基于多级编码调制的数字编码、解码和通信方法及系统,涉及数字通信调制技术领域,所述编码方法包括:根据4‑PAM调制系统信道容量比例和待传信息序列码长,将待传信息序列分为第一级比特序列和第二级比特序列;对第一级比特序列进行极化码编码得到第一级编码比特序列;依次对第二级比特序列进行CCDM分布匹配和BCH码编码得到第二级编码比特序列;基于第一级编码比特序列对第二级编码比特序列进行处理得到处理后的第二级编码比特序列;采用集分割映射规则对第一级编码比特序列和处理后的第二级编码比特序列进行4‑PAM调制得到调制符号序列,本发明提高了降低高能量星座点出现概率的能力,提高了数据传输质量。

    用于实现高阶概率成形调制的信息发送方法、装置及介质

    公开(公告)号:CN116599626A

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

    申请号:CN202310422611.4

    申请日:2023-04-19

    Applicant: 华侨大学

    Abstract: 本发明提供了一种用于实现高阶概率成形调制的信息发送方法、接收方法、装置及存储介质,该信息发送方法包括:将所接收的信源序列输入到编码器进行编码,输出编码后的码字序列;通过比特分类分布匹配操作,利用外置二进制标志位序列对前向纠错码编码器输出的码字序列进行比特挑选,获得改变了的码字序列;将改变了的码字序列映射到对应的星座点上,其中,每连续的m个比特映射到一个星座点,获得调制序列;将调制序列通过加性高斯白噪声信道进行传输。利用上述技术方案,在不改变编码调制系统复杂度的条件下,通过改变信道输入符号的概率分布来产生整形增益,实现了高阶概率成形调制,降低了误码率并提高系统性能。

    实现OTFS调制和解调的方法、装置及系统

    公开(公告)号:CN116471158A

    公开(公告)日:2023-07-21

    申请号:CN202310433244.8

    申请日:2023-04-21

    Applicant: 华侨大学

    Abstract: 本发明提供了一种实现OTFS调制和解调的方法、装置及系统,在发送端使用块交织器将Polar码和LDPC码进行了串联,在将Polar‑LDPC级联码进行高阶调制后,使用ISFFT进行预处理以基于OFDM实现OTFS调制;在接收端使用SFFT后处理以基于OFDM实现OTFS的解调。利用上述技术方案,可对传统单一LDPC或Polar编码下的OFDM调制系统进行改进,容易地将OFDM系统升级为OTFS系统,且使得通信系统具有较佳的连续错误抵抗能力,提升了通信系统的性能,使得通信系统更适合未来通信如6G通信中的高频高移动性场景。

    一种双空间耦合LDPC码的可变滑窗译码方法及系统

    公开(公告)号:CN115865101A

    公开(公告)日:2023-03-28

    申请号:CN202211390339.8

    申请日:2022-11-08

    Applicant: 华侨大学

    Abstract: 本发明涉及一种双空间耦合LDPC码的可变滑窗译码方法及系统,涉及通信领域,该方法包括:初始化双空间耦合LDPC码的译码器的译码窗口宽度;在当前译码位置的当前译码窗口内对接收到的码字进行BP译码,获得当前译码窗口内目标符号的对数似然比;计算对数似然比阈值和当前译码位置记录的所有译码窗口的目标符号的对数似然比的平均值;判断当前对数似然比的平均值是否大于当前对数似然比阈值或者当前译码窗口的宽度达到预设窗口最大值;若否则将当前译码窗口的宽度加1,重新获得当前译码窗口内目标符号的对数似然比;若是将当前译码窗口滑向下一译码位置,直到译码器接收到的码字全部完成译码。本发明提高了译码性能。

Patent Agency Ranking