Abstract
Shortwave radio broadcasting is the principal way for broadcasting of voice in many countries. The broadcasting quality of a radio program is determined not only by the parameters of the transmission device, but also by the radio frequency. In order to optimize the overall broadcasting quality, it is desirable to designate both devices and frequencies to radio programs, subject to various constraints including the non-interference of radio programs. In this paper, we propose a two-phase approach to this constrained optimization problem. It integrates ILP and SMT solving, as well as a local search algorithm. These methods are evaluated using real data, and the results are promising.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
References
Frequency Assignment Problem. http://fap.zib.de/
General information on the REC533 propagation prediction model. http://www.voacap.com/itshfbc-help/rec533-general.html
VOACAP Quick Guide. http://www.voacap.com
Barrett, C.W., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. Handb. Satisf. 185, 825–885 (2009)
Conrad, F.: Short-wave radio broadcasting. Proc. Inst. Radio Eng. 12(6), 723–738 (1924)
ILOG CPLEX 11.0 users manual. ILOG S.A., Gentilly, France, p. 32 (2007)
Moura, L., Bjørner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008). doi:10.1007/978-3-540-78800-3_24
Hao, J.-K., Dorne, R., Galinier, P.: Tabu search for frequency assignment in mobile radio networks. J. Heuristics 4(1), 47–62 (1998)
Idoumghar, L., Debreux, P.: New modeling approach to the frequency assignment problem in broadcasting. IEEE Trans. Broadcast. 48(4), 293–298 (2002)
Ma, F., Gao, X., Yin, M., Pan, L., Jin, J., Liu, H., Zhang, J.: Optimizing shortwave radio broadcast resource allocation via pseudo-boolean constraint solving and local search. In: Rueher, M. (ed.) CP 2016. LNCS, vol. 9892, pp. 650–665. Springer, Cham (2016). doi:10.1007/978-3-319-44953-1_41
Yokoo, M., Hirayama, K.: Frequency assignment for cellular mobile systems using constraint satisfaction techniques. In: Proceedings of the IEEE Vehicular Technology Conference, vol. 2, pp. 888–894 (2000)
Acknowledgements
The authors are supported in part by the CAS/SAFEA International Partnership Program for Creative Research Teams and the National Science Foundation of China under Grant 61370156. Besides, we are grateful to the anonymous reviewers for their helpful comments.
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Pan, L. et al. (2017). Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. In: Beck, J. (eds) Principles and Practice of Constraint Programming. CP 2017. Lecture Notes in Computer Science(), vol 10416. Springer, Cham. https://doi.org/10.1007/978-3-319-66158-2_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-66158-2_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66157-5
Online ISBN: 978-3-319-66158-2
eBook Packages: Computer ScienceComputer Science (R0)