- Thursday
- October 31st, 2024
- Ajouter un cours
LA DOULEUR DU PASSÉ : COMMENT DISSIPER LE CORPS DE SOUF-FRANCE Tant que vous êtes incapable d'accéder au pouvoir de l'instant présent, chaque souffrance émotionnelle que vous éprouvez laisse derrière elle un résidu. Celui-ci fusionne avec la douleur du passé,...
La courbure effective Le modèle GO4 isotrope (3.7) dépend de deux paramètres, un paramètre de pente totale (mss) et un paramètre de courbure total (msc). La mss totale est un paramètre très utile car il quantifie, en termes physiques, la...
Le sous-package PrimitiveTypes Il contient simplement quelques types primitifs de données prédéfinis qui sont disponibles aussi bien pour UML que pour le MOF et pour toutes les extensions de UML. La figure 6 montre les métaclasses définies dans ce package....
Checkpointing et Migration La capacité de faire migrer un travail en cours d’exécution sur une machine oisive (disponible et non utilisée par son propriétaire) est fondamental à l’ordonnancement des travaux dans un pool Condor. Pour permettre à ces travaux de...
Cycle de plongée et flux de données Argo Les flotteurs Argo dérivent au grè des courants à une profondeur nominale de 1000 mètres. Tous les 10 jours, ils exécutent un cycle identique préprogrammé de descente, dérive en immersion, descente à...
Étude sur l’épaisseur du brouillard Dans la section précédente, la simulation du cas observé lors de la POI-13 a permis demontrer que le modèle Code_Saturne Atmo était capable de reproduire correctement les principaux processus mis en jeu dans le brouillard...
Opérations sur les automates lexicaux Grâce à cette représentation structurée des masques lexicaux permettant d’implémenter des opérations ensemblistes sur ces objets, nous sommes maintenant en mesure d’adapter les algorithmes classiques sur les automates finis (tels que définis dans [Hopcroft et...
Model-checking appliqué à un système d’agents mobiles Vérification des systèmes temps-réel Dans la littérature des algèbres de processus, il existe plusieurs approches de la vérification. L’une d’elles consiste à prendre deux descriptions d’un même système et de prouver leur équivalence...
MISE EN ÉVIDENCE DES DÉFICIENCES ARTICULAIRES ET STRUCTURELLES DES ROBOTS HUMANOÏDES CAS DE ROBIAN Déficiences des robots bipèdes : notion de compliance volontaire et involontaire La « compliance » (anglicisme, en français le terme équivalent est « complaisance ») dans...