1 resultado para Symbolic model checking
em Universidade Federal do Pará
Resumo:
This article proposes a deterministic radio propagation model using dyadic Green's function to predict the value of the electric field. Dyadic is offered as an efficient mathematical tool which has symbolic simplicity and robustness, as well as taking account of the anisotropy of the medium. The proposed model is an important contribution for the UHF band because it considers climatic conditions by changing the constants of the medium. Most models and recommendations that include an approach for climatic conditions, are designed for satellite links, mainly Ku and Ka bands. The results obtained by simulation are compared and validated with data from a Digital Television Station measurement campaigns conducted in the Belém city in Amazon region during two seasons. The proposed model was able to provide satisfactory results by differentiating between the curves for dry and wet soil and these corroborate the measured data, (the RMS errors are between 2-5 dB in the case under study).