MétaCan
Menu
Retour à la cohorte
Enregistrement W4384695574 · doi:10.22215/etd/2023-15536

Efficient DEVS Simulations Design on Heterogeneous Platforms

2023· dissertation· en· W4384695574 sur OpenAlexaff
Guillermo G. Trabes

Notice bibliographique

Revuenon disponible
Typedissertation
Langueen
DomaineDecision Sciences
ThématiqueSimulation Techniques and Applications
Établissements canadiensCarleton University
Organismes subventionnairesUniversidad Nacional de San Luis
Mots-clésDEVSComputer scienceReuseFormalism (music)Multi-core processorDiscrete event simulationBenchmark (surveying)ComputationDistributed computingParallel computingModeling and simulationComputer engineeringProgramming languageSimulation

Résumé

récupéré en direct d'OpenAlex

Modeling and Simulation (M&S) has become an essential tool in science and engineering due to its ability to represent problems in various disciplines and conduct scientific explorations. To define solutions based on M&S it is important to have formal definitions for the models. In this way, we can define the models with precision, as well as verify and reuse them. The Discrete Event System Specification (DEVS) formalism provides a theoretical formalism for developing M&S based on discrete events. While we can use DEVS to define models precisely, an issue with M&S is that the simulation of complex problems generally requires a significant number of computations, and this leads to large execution times. In addition, deploying simulations in parallel computers presents an additional challenge, the energy high-performance computers need to operate. To address these issues, we propose a methodology to execute DEVS simulation efficiently in modern parallel computer architectures. Our approach provides a simple and error-free method that improves previous approaches by allowing additional parallelism. We propose novel algorithms aimed for multicore computers, and heterogeneous platforms composed by multicore and GPU architectures in the same system. To evaluate our methodology, we provide an extensive performance analysis over a synthetic benchmark and a real-world problem. Our experimental results show how our approach allows us to accelerate simulations up to 32.9 times. We also analyze the energy consumption required by parallel computers to execute simulations. The amount of energy consumed depends on both the execution time and the power used by the hardware. Power is defined as the amount of energy consumed per unit of time. Our experimental findings demonstrate that while parallel execution consumes more power this can ultimately lead to energy reductions by allowing simulations to complete faster. Finally, we investigated the application of the Dynamic Voltage and Frequency Scaling (DVFS) technique on our parallel algorithms. Our results showed that certain configurations of DVFS can lead to reduced power and energy consumption, however, this comes at the expense of time performance. Overall, our evaluation highlights that the best frequency configuration depends on which metric we try to improve.

Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.

Comment cette classification a été obtenuedéplier

Prédiction distillée sur la base complète

Imitation des enseignants

Ni prévalence calibrée, ni vérité terrain. Validation humaine à venir. Apprise à partir de 10 348 étiquettes directes de Codex et de 10 348 étiquettes directes de Gemma. Le mode candidate est l'union des têtes enseignantes seuillées; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des étiquettes humaines ni des étiquettes directes de modèles de pointe.

score de la tête « metaresearch » (Codex)0,001
score de la tête « metaresearch » (Gemma)0,001
Version: codex-gemma-dda1882f352aStatut de validation: machine_predicted_unvalidated
Catégories candidatesCharge utile insuffisante (le modèle a refusé de juger)
Catégories consensuellesCharge utile insuffisante (le modèle a refusé de juger)
DomaineSignal candidat: aucune · Signal consensuel: aucune
Devis d'étudeSignal candidat: Simulation ou modélisation · Signal consensuel: Simulation ou modélisation
GenreSignal candidat: Empirique · Signal consensuel: Empirique
Score de désaccord entre enseignants0,204
Score d'incertitude au seuil0,999

Scores Codex et Gemma par catégorie

CatégorieCodexGemma
Métarecherche0,0010,001
Méta-épidémiologie (sens strict)0,0000,000
Méta-épidémiologie (sens large)0,0000,000
Bibliométrie0,0010,002
Études des sciences et des technologies0,0000,000
Communication savante0,0000,000
Science ouverte0,0010,000
Intégrité de la recherche0,0000,000
Charge utile insuffisante (le modèle a refusé de juger)0,0020,006

Scores machine (provisoires)

Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.

Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.

Tête enseignante Opus0,219
Tête enseignante GPT0,455
Écart entre enseignants0,236 · la distance entre les deux têtes enseignantes sur ce seul travail
Statut de validationscore_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découle

Classification

machine, non validée

Prédiction automatique; les deux têtes enseignantes s’accordent sur ce qui est montré ici.

Devis d'étudeSimulation ou modélisation
Domainenon disponible
GenreEmpirique

Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».

En bref

Citations1
Publié2023
Routes d'admission1
Résumé présentoui

Explorer davantage

Même sujetSimulation Techniques and ApplicationsTravaux en français237 207