نتایج جستجو برای: using markov chains–cellular automata hybrid model. then
تعداد نتایج: 5330206 فیلتر نتایج به سال:
abstract the present study was conducted to investigate the effect of using model essays on the development of writing proficiency of iranian pre-intermediate efl learners. to fulfill the purpose of the study, 55 pre- intermediate learners of parsa language institute were chosen by means of administering proficiency test. based on the results of the pretest, two matched groups, one as the expe...
rivers and runoff have always been of interest to human beings. in order to make use of the proper water resources, human societies, industrial and agricultural centers, etc. have usually been established near rivers. as the time goes on, these societies developed, and therefore water resources were extracted more and more. consequently, conditions of water quality of the rivers experienced rap...
landsat data for 1992, 2000, and 2013 land use changes for ekbatan dam watershed was simulated through ca-markov” model. two classification methods were initially used, viz. the maximum likelihood (mal) and support vector machine (svm). although both methods showed high overall accuracy and kappa coefficient, visually mal failed in separating land uses, particularly built up and dry lands.there...
spatial simulation, geomorphological hazards and limitations of physical development of malekan city
geomorphology, in some cases, provides a good platform for physical development of cities. however, physical development of cities, sometimes result in unsuitable and hazardous geomorphologic process and form. therefore, geomorphology of the region is of importance in physical planning and urban development. in this study, based on historical trends of expanding the boundaries of the malekan ci...
We present a hybrid architecture of recurrent neural networks (RNNs) inspired by hidden Markov models (HMMs). We train the hybrid architecture using genetic algorithms to learn and represent dynamical systems. We train the hybrid architecture on a set of deterministic finite-state automata strings and observe the generalization performance of the hybrid architecture when presented with a new se...
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. In this paper, we first provide an overview of χ. Then, the χ formalism is related to other formalisms by means of translation schemes: a translation...
INTRODUCTION Since the land use change affects many natural processes including soil erosion and sediment yield, floods and soil degradation and the chemical and physical properties of soil, so, different aspects of land use changes in the past and future should be considered particularly in the planning and decision-making. One of the most important applications of remote sensing is land ...
ventricular fibrillation is the cause of the most sudden deaths. the recent findings have clearly proved the correlation between the slope of restitution curve with ventricular fibrillation. cellular automata is a powerful tool for simulating complex phenomena in a simple language. in this paper, a simple model is proposed for the simulation of the property of restitution in a single cardiac ce...
Probabilistic Computation Tree Logic (PCTL) is the established temporal logic for probabilistic verification of discrete-time Markov chains. Probabilistic model checking is a technique that verifies or refutes whether a property specified in this logic holds in a Markov chain. But Markov chains are often infinite or too large for this technique to apply. A standard solution to this problem is t...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید