Modélisation de systèmes
Modélisation de systèmes de particules et applications
... La cinqui`eme section regroupe des r´esultats d’existence et unicit´e de solution p´eriodique en temps ou en espace : on ´etudie les solutions de viscosit´e p´eriodiques et presque- p´er[r] ...
54
2018 — Modélisation de systèmes avioniques en AADL
... L’application logicielle est reliée à la runtime execution par l’association Actual_Processor_Binding . Un processus (ou application logicielle) doit être associé à un segment de mémoire par l’association ...
109
AOC, une ontologie formelle pour la modélisation de systèmes complexes en géographie
... RÉSUMÉ . Cet article présente un méta-modèle nommé AOC (Agents-Organisations- Comportements), qui s’exprime par une ontologie formelle et sert de cadre conceptuel à une plateforme de simulation de systèmes ...
16
Conception et modélisation de systèmes de systèmes : une approche multi-agents multi-niveaux
... Pour montrer en quoi un mod` ele multi-niveaux ` a base d’agents (ML-ABM) permet de repr´ esenter un SdS, il convient, d’abord, de d´ efinir ce concept. Lors de la mod´ elisation d’un sy[r] ...
121
Résilience des systèmes informatiques adaptatifs : modélisation, analyse et quantification
... 2 Assurer la sûreté de fonctionnement d’un système est en soi une contrainte forte à un coût non-négligeable qui peut devenir prohibitif pour certaines applications industrielles. Le coût de l’utilisation de techniques ...
137
Règles de modélisation des systèmes énergétiques dans les bâtiments basse consommation
... En se basant sur les premières contraintes qui ont été établies dans la partie 1.1.2.2, le pa- ragraphe ci-après présente les raisons qui ont mené à l’utilisation du langage Modelica pour ces travaux de recherche sur la ...
201
Modélisation de la fatigue des systèmes de forage de puits à trajectoire complexe
... Enfin, une étude de sensibilité du modèle de calcul de cumul de fatigue des tiges est présentée pour étudier l’effet des différents paramètres qui rentrent en jeu lors du forage (dimensi[r] ...
202
Modélisation des systèmes de dimension infinie - Application à la dynamique des pneumatiques
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
9
Vers la reconfiguration dynamique dans les systèmes embarqués: de la modélisation à l'implémentation
... So I concentrated my research effort on three main aspects: high level modeling by providing meta-models and profiles based on the MARTE standard; distributed sim[r] ...
182
Modélisation et vérification du flux d'information pour les systèmes orientés objets
... CHAPITRE 4 SYNTAXE ET SÉMANTIQUE DES MODÈLES UML On décrit dans le chapitre 4 la syntaxe et la sémantique formelles pour nos modèles UML. On modélise le diagramme de classe, le diagramme d’objets et les diagrammes ...
151
Modélisation et optimisation des systèmes énergétiques à l'aide d'algorithmes évolutifs
... 3.4 Le modèle du condenseur Trois équations principales de même qu’une procédure itérative sont utilisées pour la modélisation de cet équipement. Le condenseur se comporte comme un échangeur de chaleur à courant ...
165
Modélisation mathématique et simulation numérique de systèmes fluides quantiques
... h Figure 1: Les différentes théories physiques et leurs constantes universelles, c étant la vitesse de la lumière, G la constante gravitationnelle et ~ la constante de Planck. (ou particulaire), l’échelle intermédiaire ...
218
Modélisation mathématique des systèmes biologiques et dérivation de modèles macroscopiques
... La d´erivation d’un mod`ele macroscopique est pr´esent´ee au chapitre II, o`u nous d´erivons d’abord un mod`ele cin´etique pour un r´eseau complexe de fibres inter-connect´ees, puis intr[r] ...
242
Modélisation multi-agents pour systèmes émergents et auto-organisés
... la modélisation avec MASOES est spécifiée, elle explique comment décrire les éléments, relations et mécanismes au niveau individuel et collectif de la société d'agents, qui favorisent l'analyse de phénomène ...
151
Modélisation des câbles pour les transitoires électromagnétiques dans les systèmes électriques
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
148
Modélisation formelle de systèmes Insensibles à la Latence et ordonnancement.
... les systèmes sur puce ...des systèmes dits insensibles à la la- tence (LID), proposée originellement par Luca Carloni, Kenneth McMillan et Al- berto Sangiovanni-Vincentelli [ 62 , 63 ] offre des solutions ...
167
Eléments de modélisation des systèmes en conception : vue tolérancement géométrique
... la modélisation et la communication des différentes variations d’un produit mécanique ont une influence non négligeable sur la conception du produit, le processus de fabrication et le processus de contrôle ainsi ...
7
Méta modélisation et systèmes d'informations stratégiques
... La modélisation rendue nécessaire s’appuie sur la modélisation de la dimension humaine représentée par les différents acteurs pour concevoir un ...La modélisation reflète une image réelle du ...
21
Modélisation, évaluation et validation des systèmes temps réel distribués
... aux systèmes temps réel distribués car il ne répond pas aux besoins de ce genre de systèmes en ...les systèmes temps réel de nouvelle génération doit garantir le respect des contraintes temps ...
163
2007 — Modélisation et optimisation de la performance des systèmes de production par usinage
... Dans un premier temps, à partir d'une série de données sur l'opération, nous allons déterminer le temps d'usinage minimum pour lequel l'opération peut être effectuée, cela [r] ...
137