in the last decade, cellular automata models have been widely used for simulation spatial phenomena; however, exact nature of these models have been lead to various limitations for essential simulation of these phenomena. in this research, traditional cellular automata models have been developed through fuzzy theory, in which, transition rules are expressed based on fuzzy logic control methodol...

(Masino and Knudsen 1990) showed some remarkable results which suggest that head motion in the barn owl is controlled by distinct circuits coding for the horizontal and vertical components of movement. This implies the existence of a set of orthogonal internal coordinates that are related to meaningful coordinates of the external world. No coherent computational theory has yet been proposed to ...

location selection is one of the most important activities in establishment of bank branches. choosing a suitable location have a direct impact on the performance of banks and also facilitating the achievement of other objectives. there are a lot of influential factors on the location selection which are complicated and therefore the traditional methods cannot be used. so we need to have a suit...

I show that the standard approach to modeling phenomena involving microscopic classical electrodynamics is mathematically inconsistent. I argue that there is no conceptually unproblematic and consistent theory covering the same phenomena to which this inconsistent theory can be thought of as an approximation; and I propose a set of conditions for the acceptability of inconsistent theories. 1. I...

the complete 3d nonlinear dynamic problem of extensible, flexible risers conveying fluid is considered. for describing the dynamics of the system, the newtonian derivation procedure is followed. the velocity field inside the pipe formulated using hydrostatic and bernoulli equations. the hydrodynamic effects of external fluids are taken into consideration through the nonlinear drag forces in var...

We introduce categories with families as a new notion of model for a basic framework of dependent types. This notion is close to ordinary syntax and yet has a clean categorical description. We also present categories with families as a generalized algebraic theory. Then we deene categories with families formally in Martin-LL of's intensional intuitionistic type theory. Finally, we discuss the c...