-
61
An Innovative Approach for Modelling Urban Road Traffic Using Timed Automata and Formal Methods
Published 2018-01-01“…For this purpose, modelling formalisms (cellular automata and timed automata) and analysis techniques (simulation and formal verification) are proposed to reach the main goals of modelling complex and adaptable behaviours in urban road traffic with multiple over time changeable configurations. …”
Get full text
Article -
62
Simulating the Effects of Noncrossing Block Sections Setting Rules on Capacity Loss of Double-Track Railway Line due to the Operation of out-of-Gauge Trains
Published 2016-01-01“…Firstly, yielding, overtaking, stopping, starting, and other operation rules for OGTs running on double-track railway line were designed, and a simulation model based on cellular automata was further put forward. Then, an assessment model for double-track railway line capacity loss due to the operation of OGTs was set up. …”
Get full text
Article -
63
Capacity Model of Exclusive Right-Turn Lane at Signalized Intersection considering Pedestrian-Vehicle Interaction
Published 2020-01-01“…Finally, a pedestrian-vehicle interaction model of cellular automata for the exclusive right-turn lane is established and its simulation results are compared with the results of the PV-RTC model. …”
Get full text
Article -
64
Manifesto for transparent mathematical modeling: from ecology to general science
Published 2024-01-01“…Here we present and justify the hypothesis that it is possible to construct transparent mathematical white-box models using logical deterministic cellular automata, where the rules used to construct these models are based on the general theory of the relevant domain. …”
Get full text
Article -
65
A Multistory Building Evacuation Model Based on Multiple-Factor Analysis
Published 2019-01-01“…The function of evacuation time and some other parameters is given by means of regression analysis. Secondly, the cellular automata (CA) algorithm was applied to illustrate the effect of the bottleneck. …”
Get full text
Article -
66
An Architecture of 2-Dimensional 4-Dot 2-Electron QCA Full Adder and Subtractor with Energy Dissipation Study
Published 2018-01-01“…Quantum-dot cellular automata (QCA) is the beginning of novel technology and is capable of an appropriate substitute for orthodox semiconductor transistor technology in the nanoscale extent. …”
Get full text
Article -
67
Study on Semantic Contrast Evaluation Based on Vector and Raster Data Patch Generalization
Published 2014-01-01“…We used buffer superposition, Delaunay triangulation skeleton line, and other methods to achieve the aggregation and amalgamation of the vector data, adopted the method of combining mathematical morphology and cellular automata to achieve the patch generalization of the raster data, and selected the two evaluation elements (namely, semantic consistency and semantic completeness) from the semantic perspective to conduct the contrast evaluation study on the generalization results from the two levels, respectively, namely, land type and map. …”
Get full text
Article -
68
Spatial Spread of Tuberculosis through Neighborhoods Segregated by Socioeconomic Position: A Stochastic Automata Model
Published 2015-01-01“…A discrete spatial model representing neighborhoods segregated by levels of crowding and immunocompetence is constructed and used to evaluate prevention strategies, based on a number of assumptions about the spatial dynamics of tuberculosis. A cellular automata model is used to (a) construct neighborhoods of different densities, (b) model stochastically local interactions among individuals, and (c) model the spread of tuberculosis within and across neighborhoods over time. …”
Get full text
Article -
69
Modeling of autowave processes in active media with inhomogeneous properties
Published 2023-11-01“…The study of autowaves by the cellular automata method is based on the Wiener–Rosenbluth model, according to which each element of the active environment can be in one of three states: rest, excitation and refractoriness. …”
Get full text
Article -
70
Information Processing Features Can Detect Behavioral Regimes of Dynamical Systems
Published 2018-01-01“…We apply it to the 256 elementary cellular automata (ECA), which are the simplest possible dynamical systems exhibiting behaviors ranging from simple to complex. …”
Get full text
Article -
71
Simulation and prediction of land use and land cover change using GIS, remote sensing and CA-Markov model
Published 2020-04-01“…This study analyzes the characteristics of land use/land cover change in Jordan’s Irbid governorate, 1984–2018, and predicts future land use/land cover for 2030 and 2050 using a cellular automata-Markov model. The results inform planners and decision makers of past and current spatial dynamics of land use/land cover change and predicted urban expansion, for a better understanding and successful planning. …”
Get full text
Article -
72
Integrated land use land cover-energy modeling framework for solar energy planning in the future expansion areas; the case of Luxor city Region, Egypt
Published 2025-01-01“…The model integrates Cellular Automata and Markov chain methods to predict future simulated land use land cover and expansion areas, considering the impact of both physical and neighborhood driving factors. …”
Get full text
Article -
73
A Novel Method for Predicting Urban Residential Quality Distribution Based on Multi-Interest Consideration
Published 2025-01-01“…Given limited resources, understanding how to improve urban residential quality and rationally plan the distribution of different quality levels warrants further study. Using cellular automata (CA) and agent-based modules, this study proposes a multi-stakeholder residential quality distribution model to analyze the future quality distribution of residential buildings under different scenarios. …”
Get full text
Article -
74
Conditions for Setting Exclusive Pedestrian Phases at Two-Phase Signalized Intersections considering Pedestrian-Vehicle Interaction
Published 2021-01-01“…Finally, by introducing pedestrian-vehicle interaction rules, a cellular automata (CA) simulation platform of pedestrian-vehicle interaction in crosswalk is established; based on the field data of Shanghai, a simulation model of intersection is established, and the total delay, queue length, and vehicle throughput under conventional signal control plan and EPP plan are compared. …”
Get full text
Article -
75
A fault tolerant CSA in QCA technology for IoT devices
Published 2025-01-01“…Abstract According to recent research, with the ever-increasing use of Internet of Things (IoT) devices, there has arisen an ever-growing need for high-performance yet low-power circuits that can efficiently process information. Quantum-dot Cellular Automata (QCA) has emerged as a promising alternative to conventional complementary metal-oxide-semiconductor (CMOS) technology due to its great potential in digital design at nanoscale levels on account of very low power consumption and very high processing speed. …”
Get full text
Article -
76
Impact assessment of planned and unplanned urbanization on land surface temperature in Afghanistan using machine learning algorithms: a path toward sustainability
Published 2025-01-01“…Future changes in LULC and LST were predicted for 2028 and 2038 using Cellular Automata-Markov (CA-Markov) and Artificial Neural Network (ANN) models. …”
Get full text
Article -
77
Land Use Modeling and Predicted Ecosystem Service Value Under Different Development Scenarios: A Case Study of the Upper–Middle Yellow River Basin, China
Published 2025-01-01“…The land use pattern in 2035 was predicted using Cellular Automata and Markov models under business as usual (BAU), ecological protection (EPS), and high urbanization (HUS) scenarios. …”
Get full text
Article -
78
Thermal Environmental Impact of Urban Development Scenarios from a Low Carbon Perspective: A Case Study of Wuhan
Published 2025-01-01“…Then, the ANN (artificial neural network)–CA (Cellular Automata) model is employed to establish three distinct development scenarios (Ecological Priority, Tight Growth, and Natural Growth) to predict future urban expansion. …”
Get full text
Article -
79
Historical and projected forest cover changes in the Mount Kenya Ecosystem: Implications for sustainable forest management
Published 2025-06-01“…Explanatory factors of LULC change (slope, aspect, population density, proximity to rivers, roads, and towns) were used to project LULC for 2035 using Cellular Automata and Markov Chain Analysis (CA-MCA).Six LULC types (open forest, closed forest, cropland, bareland, built-up, shrubland and grassland) were successfully classified with accuracies exceeding 82.5% and Kappa coefficients above 0.77. …”
Get full text
Article -
80
Land use changes, green house gas emissions, and rehabilitation model of native tree species towards sustainable management
Published 2024-10-01“…This study was depicted into 3 objectives consisted of 1) Utilize spatial analysis to examine the dynamics of peatland use change and the trajectory of peatland use, as well as to identify the drivers behind these changes; 2) describe the effects of altering peatland utilization; and 3) describe seedling performance planted on the peatland forest of Jambi province, as Tanjung Jabung Barat and Tanjung Jabung Timur.METHODS: Land-use and land-cover change analysis was carried out utilizing various map resources. Cellular Automata-Markov is employed to forecast forthcoming land cover alterations by evaluating the likelihood of land cover transitions throughout a given period. …”
Get full text
Article