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...

The analysis and modeling of spatial temporal changes in land use can reveal changing urban patterns trends. In this paper, we introduce a linear transformation optimization Markov (LTOM) model that be exploited to estimate the state transition probability matrix use, building loosely coupled ANN-CA-LTOM for simulating predicting changes. advantages are it is flexible high expansibility; mainta...

The purpose of this paper is to simulate the future runoff change Yellow River Basin under combined effect land use and climate based on Cellular automata (CA)-Markov Soil & Water Assessment Tool (SWAT). changes in average runoff, high extreme intra-annual distribution middle 21st century are analyzed. following conclusions obtained: (1) Compared with base period (1970–1990), Tangnaihai, To...

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...

This study utilised multi-year data from 5354 incidents to predict pedestrian–road traffic accidents (PTAs) based on twelve socioeconomic and built-environment factors. The research employed the logistic regression model (LRM) fuzzy-analytical hierarchy process (FAHP) techniques evaluate assign weights each factor. susceptibility map for PTAs is generated using “Technique Order of Preference by...