نتایج جستجو برای: temporal modeling
تعداد نتایج: 620070 فیلتر نتایج به سال:
The aim of this study is modeling spatiotemporal variations of albedo. This study was conducted using simultaneous effects of several components, such as wetness of surface layer of soil, cloudiness, topography and vegetation density (NDVI), using MEERA2 model with a resolution of 50 in 50 km during 2000-2010 in Iran. The results of spatial analysis of albedo values in Iran showed that the high...
This work is focussed on the transformation of UML notations into other formal notations: we transform statecharts into temporal logic expressions. In particular, we introduce a temporal logic which combines points and intervals to specify the dynamic behaviour of programs.
Background and Objective: Ground level ozone (O3) is one of most dangerous pollutants for human health in urban areas. The aim of this study was to identify the factors affecting the formation of ozone and modeling the spatial and temporal variations of ozone concentration in Tehran metropolitan area. Materials and Methods: The data used in this research included meteorological data and pollut...
In this paper we present the research objectives and methodology for a running project of distributed web processing geo-services for spatio-temporal analysis of geo-data, the case of Lloyd’s lists. We introduce the current problems and discuss the solutions in means of theoretical and practical perspectives. Initial results from geo-data modeling using Unified Modeling Language (UML) is presen...
This paper outlines a generic core tem poral object model that provides support for the modeling of temporal object roles This model draws from notions introduced in some of our previous works on tempo ral object modeling by providing a speci c database model that provides a concep tual modeling context for temporal object roles The model achieves an integration of the ab stract concepts that c...
In order to support formally correctness preserving reenement steps of object-oriented system designs, we refer at one hand to the practically well-accepted Uniied Modelling Language (UML) and at the other hand to L. Lamport's Temporal Logic of Actions (TLA) which supports concise and precise notions of properties of dynamic behaviours and corresponding proof techniques. We apply cTLA which is ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید