We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
modèle d'automate
A natural and standard formal model for such controllers is the timed automaton model.
Un modèle formel naturel et standard pour de tels contrôleurs est le modèle d'automate temporisé.
Furthermore, he invented Muller automata, an automaton model for infinite words.
Il est aussi l'inventeur des automates de Muller, un modèle d'automate pour reconnaître des ensembles de mots infinis.
In 1960, John Myhill introduced an automaton model today known as deterministic linear bounded automaton.
En 1960, John Myhill introduit un modèle d'automate appelé maintenant automate linéairement borné déterministe.
The global dynamics of the system is characterized and compared with those obtained with a simple cellular automaton model.
La dynamique globale du système a été étudiée et comparée à un modèle simple de type automate cellulaire.
A new coupling scheme between the finite element and the cellular automaton model is developed allowing finite element mesh adaptation.
Un nouveau schéma de couplage entre l'automate cellulaire et les éléments finis a été développé pour permettre l'adaptation du maillage.
In robust implementation, one seeks to automatically transform a given timed automaton model so that it tolerates perturbations by construction.
Enfin, dans l'implémentation robuste, on s'intéresse à transformer automatiquement un modèle donné pour le rendre robuste, tout en préservant ses comportements.
Therefore, once the design phase is over, it remains to check whether the behavior of an actual implementation corresponds to that of the timed automaton model.
Ainsi, une fois la phase de conception terminée, il reste à déterminer si les comportements du modèle correspondent à ceux d'un vrai système.
Our new automaton model brings under the same roof, all passengers who demand fixed-route transportation services, and all vehicles which provide them.
Ce nouvel automate réunit sous un même regard les passagers demandeurs de services de transport à parcours fixes ainsi que les véhicules capables de les assurer.
Moreover, we are able to generalize our weighted automaton model to create a new sequence-set kernel that can be seen as a tree kernel.
De plus, nous avons pu généraliser notre modèle à base d'automates pondérés pour créer un nouveau noyau d'ensembles de séquences qui peut être vu comme un noyau d'arbre.
Nested word automata are an automaton model accepting nested words.
Une structure oméga-automatique est une structure représentée par des automates finis acceptant des mots infinis.
In this thesis we thus study the stochastic timed automaton model (STA).
Dans cette thèse, nous étudions donc le modèle des automates temporisés et stochastiques (ATS).
Plane Poiseuille flow is simulated using a thermodynamic automaton model.
Un automaton thermodynamique nous permet de simuler un écoulement de Poiseuille plan.
mitacs agm poster winners A Simple Cellular Automaton Model of Influenza A Viral Infections Catherine Beauchemin PhD student at the University of Alberta (Co-authored with John Samuel and Jack Tuszynski) Institution:
lauréats du concours d'affiches de la conférence annuelle de mitacs A Simple Cellular Automaton Model of Influenza A Viral Infections Catherine Beauchemin Étudiante au doctorat à l'Université de l'Alberta (avec coauteurs John Samuel et Jack Tuszynski) Établissement :
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.