集成整数线性规划与可满足性模理论的短波广播资源调度和频率分配

何 一

doi:https://doi.org/10.37155/2972-4333-0403-2

Home > Current

集成整数线性规划与可满足性模理论的短波广播资源调度和频率分配

何一（内蒙古自治区广播电视传输发射中心839台）

https://doi.org/10.37155/2972-4333-0403-2

Abstract

本文聚焦短波广播资源调度与频率分配问题，分析其核心优化目标、关键约束条件及问题复杂性。阐述整数线性规划（ILP）与可满足性模理论（SMT）的原理、适用性及集成可行性，构建集成两者的混合优化模型，涵盖模型整体架构、各层建模及协同求解算法。通过实验验证，对比集成模型与单一模型在频谱利用率、干扰发生率和求解时间上的表现，并在应急广播场景中测试，结果表明集成模型实现了优化精度与效率的双重提升，具有实际应用价值。

Keywords

短波广播；资源调度；频率分配；整数线性规划；可满足性模理论

Full Text

PDF

References

[1]王颖.基于动态天线调度的机载超短波通信系统设
计[J].舰船电子工程,2022,42(08):81-84+194.
[2]何小东,王哲,吴昊,等.超短波通信系统的强电磁
脉冲耦合分析及防护研究[J].通信技术,2020,53(06):1538-
1545.
[3]白亮.提高短波广播识别效率的方法研究及应用[J].
广播与电视技术，2022,v.49(11):132-135.DOI:10.16171/
j.cnki.rtbe.20220011026.
[4]田磊.中短波广播质量监测中常见异常现象的分析
与处理[J].数字传媒研究,2024,41(10):60-63.

Publishing time:2026-03-31
This work is licensed under a Creative Commons Attribution 4.0 International License