our main objective in the present study was to assess the spatial variation of chemical and physical water properties. prior to the design of groundwater quality monitoring networks, it is essential to investigate the spatial structure of the groundwater quality variables. a case study is presented which used ground water quality observations from groundwater domestic wells in the dameghan, ira...

Qualitative modelling can help us understand and project effects of multiple stresses on trees. It is not practical to collect and correlate empirical data for all combinations of plant/environments and human/climate stresses, especially for mature trees in natural settings. Therefore, a mechanistic model was developed to describe ecophysiological processes. This model is qualitative and incorp...

In this paper, we propose a new methodology to generate random variables distributed according to a Gaussian with positive support. We narrow the study to the univariate case. The method consists in an accept-reject algorithm in which a previous step is added consisting in choosing among several proposal distributions the one which gives the highest average probability of acceptance for given p...

The aim of this paper is to demonstrate how the appropriate numerical statistical and computer techniques can be successfully applied to the modeling of some physical systems We propose to use a fast and accurate method of computer generation of L evy stable random variates

The paper addresses the evaluation of upper and lower probabilities induced by functions of an imprecise random variable. Given a function g and a family Xλ of random variables, where the parameter λ ranges in an index set Λ, one may ask for the upper/lower probability that g(Xλ ) belongs to some Borel set B. Two interpretations are investigated. In the first case, the upper probability is comp...

Term rewriting systems (TRSs) extended by allowing to contain extra variables in their rewrite rules are called EV-TRSs. They are ill-natured since every one-step reduction by their rules with extra variables is infinitely branching and they are not terminating. To solve these problems, this paper shows that narrowing can simulate reduction sequences of EV-TRSs as narrowing sequences starting f...

UrbanSim is a modeling system for simulating the development of urban regions over periods of 20-30 years. Its purpose is to help evaluate alternative proposed policies and transportation infrastructure projects by simulating the long-term impacts of the different alternatives. In the process of adapting and calibrating the system for use in a new region, planners and modelers must prepare inpu...

The purpose of this paper is to demonstrate the ability of AutoMOD as a flexible modeling tool. Simulation models of material handling systems like those found in automotive paint shops & assembly systems often require many variables, conveyor speeds, and complex logic. These systems have many different variables associated with them. The most important ones are: conveyor speeds, carrier counts...

computable general equilibrium models are known as a powerful instrument in economic analyses and widely have been used in order to evaluate trade liberalization effects. the purpose of this study was to provide the impacts of trade openness on pharmaceutical industry using cge model.using a computable general equilibrium model in this study, the effects of decrease in tariffs as a symbol of tr...

In proof theory the notion of canonical proof is rather basic, and it is usually taken for granted that a canonical proof of a sentence must be unique up to certain minor syntactical details (such as, e.g., change of bound variables). When setting up a proof theory for equality one is faced with a rather unexpected situation where there may not be a unique canonical proof of an equality stateme...