Formalizing Ontologies for AI Models Validation: from OWL to Event-B

Author(s):  
Mohamed Ould Bah ◽  
Zakaryae Boudi ◽  
Mohamed Toub ◽  
Abderrahim Ait Wakrime ◽  
Ghassane Aniba
Keyword(s):  
2021 ◽  
Vol 10 (2) ◽  
pp. 88
Author(s):  
Dana Kaziyeva ◽  
Martin Loidl ◽  
Gudrun Wallentin

Transport planning strategies regard cycling promotion as a suitable means for tackling problems connected with motorized traffic such as limited space, congestion, and pollution. However, the evidence base for optimizing cycling promotion is weak in most cases, and information on bicycle patterns at a sufficient resolution is largely lacking. In this paper, we propose agent-based modeling to simulate bicycle traffic flows at a regional scale level for an entire day. The feasibility of the model is demonstrated in a use case in the Salzburg region, Austria. The simulation results in distinct spatio-temporal bicycle traffic patterns at high spatial (road segments) and temporal (minute) resolution. Scenario analysis positively assesses the model’s level of complexity, where the demographically parametrized behavior of cyclists outperforms stochastic null models. Validation with reference data from three sources shows a high correlation between simulated and observed bicycle traffic, where the predictive power is primarily related to the quality of the input and validation data. In conclusion, the implemented agent-based model successfully simulates bicycle patterns of 186,000 inhabitants within a reasonable time. This spatially explicit approach of modeling individual mobility behavior opens new opportunities for evidence-based planning and decision making in the wide field of cycling promotion


2020 ◽  
Vol 48 (6) ◽  
pp. 1681-1687
Author(s):  
Mattia Dan ◽  
Loris Zanotto ◽  
Claudio Finotti ◽  
Mauro Perna ◽  
Hans Decamps ◽  
...  

Author(s):  
WITOLD PAWLUS ◽  
HAMID REZA KARIMI

In this paper a full-scale commercially available magnetorheological (MR) brake installed in a semi-active suspension (SAS) system is modeled and simulated. Two well-known phenomenological hysteresis models are explored: Bouc–Wen and Dahl ones. In particular, influence of their parameters on the response is evaluated and assessed. The next step is to introduce the artificial neural networks and discuss their application in the field of systems identification. Subsequently, two feedforward neural networks are created and trained to estimate parameters characterizing each of the MR damper models described. The semi-active suspension (SAS) system equipped with a MR brake is described and the detailed procedure for acquisition of the reference data used in the models validation stage is elaborated. The models outputs obtained by simulating them with the values of coefficients as identified by the networks are compared to each other as well as to the reference experimental data. Thanks to that, the comparative analysis between the suggested vibration suppression models and the full-scale MR brake is done and it is concluded which of the discussed models has a better performance. The usability of neural networks in the field of parameters estimation of the mathematical models of the real world phenomena is described as well. The novelty of the presented methodology is the application of artificial intelligence methods to estimate model parameters of a MR brake utilized in a SAS system. The results of this approach have a strong potential to be successfully implemented in the area of model-based control of semi-active vibration suppression systems.


2019 ◽  
Vol 3 (1) ◽  
pp. 1-16
Author(s):  
Sri Murti ◽  
Dian Ramadan Lazuardi

This study aims to determine the design of instructional materials development, validation results, and effectiveness of the use of contextual basic concepts of indonesian language and literature in STKIP PGRI Lubuklinggau students. This research uses the R&D (research and development) approach of the Borg and Gall model. The steps of development that researchers do namely, preliminary research, planning development models, validation, evaluation, and revision of the model. Furthermore, teaching material products are tested on students with the steps: 1) Portotype testing, 2) Initial input, 3) Small group testing, 4) Field testing. Based on the results of the validation of three experts regarding the teaching materials of the basic concepts of indonesian language and literature, the results obtained by 80%, the teaching materials are in good category. The results of this study also showed that contextual based indonesian conceptual language and literature teaching materials were effectively used in lectures. Keywords: Teaching Materials, Contextual, Basic Concepts


Computers ◽  
2018 ◽  
Vol 7 (4) ◽  
pp. 71 ◽  
Author(s):  
Nisrine Ibadah ◽  
Khalid Minaoui ◽  
Mohammed Rziza ◽  
Mohammed Oumsis ◽  
César Benavente-Peces

This paper analyzes the most relevant spatial-temporal stochastic properties of benchmark synthetic mobility models. Each pattern suffers from various mobility flaws, as will be shown by the models’ validation. A set of metrics is used to describe mobility features, such as the speed decay problem, the density wave phenomenon, the spatial node distribution, and the average neighbor percentage. These metrics have already been validated for the random waypoint mobility model (RWPMM), but they have not yet been verified for other mobility patterns that are most frequently used. For this reason, this investigation attempts to deeply validate those metrics for other mobility models, namely the Manhattan Grid mobility, the Reference Point Group mobility, the Nomadic Community mobility, the Self-Similar Least Action Walk, and SMOOTH models. Moreover, we propose a novel mobility metric named the “node neighbors range”. The relevance of this new metric is that it proves at once the set of outcomes of previous metrics. It offers a global view of the overall range of mobile neighbors during the experimental time. The current research aims to more rigorously understand mobility features in order to conduct a precise assessment of each mobility flaw, given that this fact further impacts the performance of the whole network. These validations aim to summarize several parameters into 18,126 different scenarios with an average of 486 validated files. An exhaustive analysis with details like those found in this paper leads to a good understanding of the accurate behaviors of mobility models by displaying the ability of every pattern to deal with certain topology changes, as well as to ensure network performances. Validation results confirm the effectiveness and robustness of our novel metric.


2016 ◽  
Vol 5 (3) ◽  
pp. 1-17 ◽  
Author(s):  
Abdoulaye Abou Diakité ◽  
Sisi Zlatanova

The BIM paradigm, supplied by appropriate standards like IFC, became unavoidable in recent construction projects. Several applications (e.g. indoor navigation, energy analysis ...) find in it a source of information on which they can rely. However, practices reveal that BIM models are not always directly reliable for applications and the latter have to ensure the validity of the data by their own. In the case of indoor navigation, the calculations will highly rely on the IfcSpace objects describing the rooms, in addition to their spatial relationships with their surrounding components. Unfortunately, it is common to face IFC models in which IfcSpace objects contain wrong geometric and topological description. In this paper, the authors discuss the issues related to BIM models validation for indoor navigation. Furthermore, they present a method to generate valid indoor spaces in IFC models. The approach relies on the structural components of the building (walls, slabs, etc.) and uses topological operations, supported by the combinatorial map data structure, to produce watertight space volumes.


Sign in / Sign up

Export Citation Format

Share Document