the arguments for the immobility and centricity of the earth in the islamic astronomical literature are mostly found in the hayʾa books. the reason is that these books treat of mathematical cosmology on the basis of solid spheres and the earth's position with respect to them. these arguments, which are rooted in ptolemy's almagest, are based on observation and some pre-suppositions. i...

over the past years, lake water levels have decreased considerably by various factors and the subsequent emergence of salt plain has brought disastrous consequences that need an essential action. therefore, this study aimed to investigate the effects of drying up and increasing lake water salt and landsat satellite images were used during different time periods in 9 years. to identify the new a...

The paper analyses issues leading to errors in graphic object classifiers. Thedistance measures suggested in literature and used as a basis in traditional, fuzzy, andNeuro-Fuzzy classifiers are found to be not suitable for classification of non-stylized orfuzzy objects in which the features of classes are much more difficult to recognize becauseof significant uncertainties in their location and...

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

resonances are intrinsic characteristics of an elastic object, which are completely independent of thesource of excitation. the appropriate utilization of the information contained within the resonancespectra and the identification of the resonance frequencies of the object can be used as a potent toolfor material characterization. in this paper, a new mathematical model for the wave diffractio...

The main purpose of this paper is to develop the method of characteristic functions for calculating the detection characteristics in the case of the object surrounded by rough surfaces. This method is to be implemented in synthetic aperture radar (SAR) systems using optimal resolution algorithms. By applying the specified technique, the expressions have been obtained for the false alarm and cor...