Fade Margin Analysis Due to Duststorm Based on Visibility Data Measured in a Desert

Islam, Md. Shahinoor

doi:10.3844/ajassp.2010.551.555

Cited by 5 publications

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The computations of these effects require knowledge of electrical properties of the scattering particles in addition to some other mechanical properties such as particle shape and size. Different researchers derived models to predict the dusty media scattering properties and specific attenuation [9][10][11][12][13][14]. All models suffered from the lack of information about the dusty media dielectric constant and shape and size distribution of dust particles.…”

Section: Introductionmentioning

confidence: 99%

Attenuation Properties of Dusty Media Using Mie Scattering Solution

Sharif¹

2015

PIER M

View full text Add to dashboard Cite

A realistic model is developed to predict the specific attenuation when electromagnetic signals propagate through dusty media (dust storms). The model is based on Mie approximation for the scattering of electromagnetic signal by a spherical particle. Variation of the dust particles dimensions is considered in this model. Reliable published values for dust dielectric constant are used for computations over the frequency range from 2 GHz to 100 GHz, (i.e., S-band, X band, K-band, Ka-band, Ku-band and W-band). The model outcome is compared with the results from other models suggested in literature. The effect of air humidity on specific attenuation is also investigated.

show abstract

Section: Introductionmentioning

confidence: 99%

Attenuation Properties of Dusty Media Using Mie Scattering Solution

Sharif¹

2015

PIER M

View full text Add to dashboard Cite

show abstract

“…There are many model checking systems which are developed; the most popular are SMV (McMillan, 1999;Islam et al, 2010), UPPAAL (Bengtsson et al, 1995;El Emary and Al Rabia, 2005), SPIN (Holzmann, 2003) and PRISM (Marta, 2003, Chandren et al, 2010. Each of the model checkers comes in a package with its own input language which has strict notations and features (Bhaduri and Ramesh, 2004;Djavanroodi et al, 2008).…”

Section: Introductionmentioning

confidence: 99%

Analysis of the Model Checkers' Input Languages for Modeling Traffic Light Systems

Samat

Zin

Shukur

2011

Journal of Computer Science

View full text Add to dashboard Cite

Problem statement: Model checking is an automated verification technique that can be used for verifying properties of a system. A number of model checking systems have been developed over the last few years. However, there is no guideline that is available for selecting the most suitable model checker to be used to model a particular system. Approach: In this study, we compare the use of four model checkers: SMV, SPIN, UPPAAL and PRISM for modeling a distributed control system. In particular, we are looking at the capabilities of the input languages of these model checkers for modeling this type of system. Limitations and differences of their input language are compared and analyses by using a set of questions. Results: The result of the study shows that although the input languages of these model checkers have a lot of similarities, they also have a significant number of differences. The result of the study also shows that one model checker may be more suitable than others for verifying this type of systems Conclusion: User need to choose the right model checker for the problem to be verified.

show abstract