Log in

Relevant bibliographies by topics / Diagramme de décision / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Diagramme de décision.

Dissertations / Theses on the topic 'Diagramme de décision'

Author: Grafiati

Published: 4 June 2021

Last updated: 14 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 23 dissertations / theses for your research on the topic 'Diagramme de décision.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Perez, Guillaume. "Diagrammes de décision : contraintes et algorithmes." Thesis, Université Côte d'Azur (ComUE), 2017. http://www.theses.fr/2017AZUR4081/document.

Full text

Abstract:

Les diagrammes de décision Multi-valués (MDD) sont des structures de données efficaces et largement utilisées dans les domaines tels que la vérification, l’optimisation et la programmation dynamique. Dans cette thèse, nous commençons par améliorer les principaux algorithmes tels que la réduction de MDD, permettant aux MDD de potentiellement compresser exponentiellement des ensembles de tuples, ou la combinaison de MDD, tels que l’intersection ou l’union. Ensuite, nous proposons des versions parallèles de ces algorithmes ainsi que des versions permettant de travailler avec la version non déterm

APA, Harvard, Vancouver, ISO, and other styles

2

Linard, Alban. "Sémantique paramétrable des diagrammes de décision : une démarche vers l'unification." Paris 6, 2009. http://www.theses.fr/2009PA066655.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Haddad, Yaël. "Propriétés structurelles de certaines fonctions booléennes." Paris 7, 2002. http://www.theses.fr/2002PA077242.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Klai, Kais. "Réseaux de Petri : vérification symbolique et modulaire." Paris 6, 2003. http://www.theses.fr/2003PA066171.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Yunès, Jean-Baptiste. "Automates Cellulaires; Fonctions Booléennes." Habilitation à diriger des recherches, Université Paris-Diderot - Paris VII, 2007. http://tel.archives-ouvertes.fr/tel-00200440.

Full text

Abstract:

Sont présentés les différents travaux que j'ai pu effectuer: dans le domaine des automates cellulaires et de leur programmation, puis les travaux portant sur les fonctions Booléennes et leur complexité.

APA, Harvard, Vancouver, ISO, and other styles

6

Schmidt, Nicolas. "Compilation de préférences : application à la configuration de produit." Thesis, Artois, 2015. http://www.theses.fr/2015ARTO0404/document.

Full text

Abstract:

L’intérêt des différents langages de la famille des diagrammes de décisionvalués (VDD) est qu’ils admettent des algorithmes en temps polynomialpour des traitements (comme l’optimisation, la cohérence inverse globale,l’inférence) qui ne sont pas polynomiaux (sous l’hypothèse P 6= NP), si ilssont effectués sur le problème dans sa forme originale tel que les réseaux decontraintes ou les réseaux bayésiens.Dans cette thèse, nous nous intéressons au problème de configuration deproduit, et plus spécifiquement, la configuration en ligne avec fonction de valuationassociée (typiquement, un prix). Ici, l

APA, Harvard, Vancouver, ISO, and other styles

7

Mufti-Alchawafa, Dima. "Modélisation et représentation de la connaissance pour la conception d'un système décisionnel dans un environnement informatique d'apprentissage en chirurgie." Phd thesis, Université Joseph Fourier (Grenoble), 2008. http://tel.archives-ouvertes.fr/tel-00380562.

Full text

Abstract:

La problématique abordée dans cette thèse est la conception d'un modèle informatique qui permet de générer automatiquement les rétroactions épistémiques en se basant sur l'état de connaissance de l'apprenant et en prenant ainsi en compte la dimension didactique de la connaissance. Ce travail se situe dans le cadre d'un environnement informatique pour l'apprentissage de la formation professionnelle. <br />Dans le cadre de notre travail, les résultats du diagnostic de l'état de connaissance de l'apprenant ne peuvent être déduits qu'avec un certain degré d'incertaine. De ce fait, nous avons chois

APA, Harvard, Vancouver, ISO, and other styles

8

Narboux, Julien. "Formalisation et automatisation du raisonnement géométrique en Coq." Phd thesis, Université Paris Sud - Paris XI, 2006. http://tel.archives-ouvertes.fr/tel-00118806.

Full text

Abstract:

L'objet de cette thèse est la formalisation et l'automatisation du raisonnement géométrique au sein de l'assistant de preuve Coq.<br />Dans une première partie, nous réalisons un tour d'horizon des principales axiomatiques de la géométrie puis nous présentons une formalisation des huit premiers chapitres du livre de Schwabäuser, Szmielew et Tarski: Metamathematische Methoden in der Geometrie.<br />Dans la seconde partie, nous présentons l'implantation en Coq d'une procédure de décision pour la géométrie affine plane : la méthode des aires de Chou, Gao et Zhang. Cette méthode produit des preuve

APA, Harvard, Vancouver, ISO, and other styles

9

Babba, Belgacem. "Synthèse optimisée sur les réseaux programmables de la famille Xilinx." Phd thesis, Grenoble INPG, 1995. http://tel.archives-ouvertes.fr/tel-00346062.

Full text

Abstract:

Cette thèse se situe dans le cadre de la synthèse logique. Elle a pour objet la synthèse logique optimisée de circuits sur réseaux programmables à base de «tables de vérité» de type «Xilinx». Ces réseaux programmables ont été à l'origine du premier succès commercial des réseaux reprogrammables à faible granularité. Une première solution pratiquée industriellement a consisté à associer une bibliothèque équivalente de primitives logiques simples de type «cellule standard» à un réseau Xilinx. Une telle approche conduit à une très pauvre utilisation de la technologie cible car elle ne tire pas pro

APA, Harvard, Vancouver, ISO, and other styles

10

Beaudenon, Vincent. "Diagrammes de décision de données pour la vérification de systèmes matériels." Paris 6, 2006. http://www.theses.fr/2006PA066337.

Full text

Abstract:

Avec la complexité croissante des systèmes informatiques se pose la question de la mise en oeuvre de méthodes automatiques pour leur vérification formelle. Parmi ces méthodes, le model-checking se fonde sur l'exploration exhaustive du comportement d'un système. Plus celui-ci sera complexe, plus cette exploration se traduira par une explosion combinatoire de l'espace des états du système. Diverses approches ont été proposées pour résoudre ce problème, notamment les méthodes symboliques qui sont bases sur une représentation compacte d'ensembles d'états. Depuis les travaux de R. E. Bryant et la d

APA, Harvard, Vancouver, ISO, and other styles

11

Gatta, Alessandro. "Diagrammes d'influence : Méthodologie et logiciel pour la résolution de graphes de décision." Paris 6, 1992. http://www.theses.fr/1992PA066720.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Sid-Amar, Ismahane. "Autour de la décision qualitative en théorie des possibilités." Thesis, Artois, 2015. http://www.theses.fr/2015ARTO0403/document.

Full text

Abstract:

Dans de nombreuses applications réelles, nous sommes souvent confrontés à des problèmes de décision: de choisir des actions et de renoncer à d'autres. Les problèmes de décision deviennent complexes lorsque les connaissances disponibles sont entachées d'incertitude ou lorsque le choix établi présente un risque.L'un des principaux domaines de l'Intelligence Artificielle (IA) consiste à représenter les connaissances, à les modéliser et à raisonner sur celles-ci. Dans cette thèse, nous sommes intéressés à une discipline inhérente à l'IA portant sur les problèmes de décision. La théorie de la décis

APA, Harvard, Vancouver, ISO, and other styles

13

Ren, Mingming. "An incremental approach for hardware discrete controller synthesis." Phd thesis, INSA de Lyon, 2011. http://tel.archives-ouvertes.fr/tel-00679296.

Full text

Abstract:

The Discrete Controller Synthesis (DCS) technique is used for automatic generation of correct-by-construction hardware controllers. For a given plant (a state-based model), and an associated control specification (a behavioral requirement), DCS generates a controller which, composed with the plant, guarantees the satisfaction of the specification. The DCS technique used relies on binary decision diagrams (BDDs). The controllers generated must be compliant with standard RTL hardware synthesis tools. Two main issues have been investigated: the combinational explosion, and the actual generation o

APA, Harvard, Vancouver, ISO, and other styles

14

Guezguez, Wided. "Possibilistic decision theory : from theoretical foundations to influence diagrams methodology." Toulouse 3, 2012. http://thesesups.ups-tlse.fr/1701/.

Full text

Abstract:

Le domaine de prise de décision est un domaine multidisciplinaire en relation avec plusieurs disciplines telles que l'économie, la recherche opérationnelle, etc. La théorie de l'utilité espérée a été proposée pour modéliser et résoudre les problèmes de décision. Ces théories ont été mises en cause par plusieurs paradoxes (Allais, Ellsberg) qui ont montré les limites de son applicabilité. Par ailleurs, le cadre probabiliste utilisé dans ces théories s'avère non approprié dans certaines situations particulières (ignorance totale, incertitude qualitative). Pour pallier ces limites, plusieurs trav

APA, Harvard, Vancouver, ISO, and other styles

15

Bouquet, Fabrice. "Gestion de la dynamicité et énumération d'impliquants premiers : une approche fondée sur les Diagrammes de Décision Binaire." Aix-Marseille 1, 1999. http://www.theses.fr/1999AIX11011.

Full text

Abstract:

Cette these aborde, d'un point de vue algorithmique, le probleme lie aux calculs et a la representation des modeles d'une formule de la logique propositionnelle. Notre approche est fondee sur les diagrammes de decision binaire (bdd). Ils permettent de representer facilement l'ensemble des modeles et d'y gerer l'incrementalite. Le premier travail propose dans ce memoire est une etude sur des ordres pour l'insertion de formules particulieres de la logique propositionnelle dans un bdd. Pour cela, nous proposons deux actions complementaires, la premiere pour reduire la taille du bdd (ordre sur les

APA, Harvard, Vancouver, ISO, and other styles

16

Nguyên, Duy-Tùng. "Vérification symbolique de modèles à l'aide de systèmes de ré-écriture dédiés." Phd thesis, Université d'Orléans, 2010. http://tel.archives-ouvertes.fr/tel-00579490.

Full text

Abstract:

Cette thèse propose un nouveau type de systèmes de ré-écriture, appelé les systèmes de réécriture fonctionnels. Nous montrons que notre modèle a la puissance d'expression des systèmes de ré-écriture et qu'il est bien adapté à l'étude de propriétés de sûreté et de propriétés de logique temporelle de modèles.Nous avons mis en évidence une sous classe de systèmes fonctionnels, les élémentaires et les élémentaires à droite, préservant la puissance d'expression des systèmes fonctionnels et des techniques d'accélération des calculs aboutissant à un outil de vérification symbolique efficace.Dans la p

APA, Harvard, Vancouver, ISO, and other styles

17

Hamez, Alexandre. "Génération efficace de grands espaces d'états." Paris 6, 2009. http://www.theses.fr/2009PA066648.

Full text

Abstract:

Garantir la fiabilité des systèmes informatiques exige des moyens de vérification rigoureux. Le model checking est une technique de vérification dont l’intérêt majeur est l’automatisation, et donc la facilité d’utilisation pour les ingénieurs. La récente attribution du prix Turing aux créateurs de cette technique atteste de sa viabilité. Le model checking explore exhaustivement les modèles analysés. Cela amène un problème majeur : l’explosion combinatoire liée aux espaces d'états des grands systèmes. Depuis plus de vingt ans, de nombreuses solutions ont été proposées pour repousser cette limit

APA, Harvard, Vancouver, ISO, and other styles

18

Jacob, Christelle. "Management de l'incertitude pour les systèmes booléens complexes - Application à la maintenance préventive des avions." Thesis, Toulouse, ISAE, 2014. http://www.theses.fr/2014ESAE0010/document.

Full text

Abstract:

Les analyses de sûreté de fonctionnement standards sont basées sur la représentation des événements redoutés par des arbres de défaillances, qui les décrivent à l'aide de combinaison logiques d'événements plus basiques (formules Booléennes complexes). Les analyses quantitatives se font avec l'hypothèse que les probabilités d'occurrence de ces événements basiques sont connues. Le but de cette thèse est d'étudier l'impact de l'incertitude épistémique sur les événements élémentaires, ainsi que la propagation de cette incertitude à de plus hauts niveaux. Le problème soulevé est comment calculer l'

APA, Harvard, Vancouver, ISO, and other styles

19

Brégier, Vivian. "Synthèse automatisée de circuits asynchrones optimisés prouvés quasi insensibles aux délais." Grenoble INPG, 2007. http://www.theses.fr/2007INPG0087.

Full text

Abstract:

Dans un circuit asynchrone, la synchronisation entre les blocs est locale: on s'affranchit ainsi des contraintes liées à l'horloge. Ces circuits sont plus robustes, modulaires, moins bruités, et ont une consommation dynamique plus faible que les circuits synchrones. Cependant, le manque d'outils de conception de tels circuits freine leur développement. Cette thèse a permi de développer une technique de synthèse automatique de circuits asynchrones quasi insensibles aux délais (QDI), qui sont particulièrement robustes. La méthode de synthèse permet de synthétiser un circuit totalement décomposé

APA, Harvard, Vancouver, ISO, and other styles

20

Newton, Jim. "Representing and computing with types in dynamically typed languages." Electronic Thesis or Diss., Sorbonne université, 2018. https://accesdistant.sorbonne-universite.fr/login?url=https://theses-intra.sorbonne-universite.fr/2018SORUS440.pdf.

Full text

Abstract:

Cette thèse présente des techniques de génération de code liées à la vérification dynamique de types de séquences hétérogènes mais régulières. Nous généralisons les expressions rationnelles classiques aux expressions rationnelles de type, en adaptant leur surface syntaxique, représentation interne, calcul, optimisation, et sérialisation (génération de code). Nous comparons la forme native basée sur des S-Expressions avec une représentation par Diagrammes de Décision Binaire, enrichis pour représenter les opérations booléennes dans un treillis de types prenant en charge le sous-typage. Nous int

APA, Harvard, Vancouver, ISO, and other styles

21

BRES, Yannis. "Exploration implicite et explicite de l'espace d'´etats atteignables de circuits logiques Esterel." Phd thesis, Université de Nice Sophia-Antipolis, 2002. http://tel.archives-ouvertes.fr/tel-00003600.

Full text

Abstract:

Cette thèse traite des approches implicites et explicites, ainsi que de leur convergence, de l'exploration d'espace d'états atteignables de circuits logiques provenant de programmes réactifs synchrones écrits en Esterel, ECL ou SyncCharts. Nos travaux visent à réduire les coûts de ces explorations à l'aide de<br />techniques génériques ou spécifiques à notre cadre de travail. Nous utilisons les résultats de ces explorations à des fins de vérification formelle de propriétés de sûreté, de génération d'automates explicites ou de génération de séquences de tests exhaustives. Nous décrivons trois o

APA, Harvard, Vancouver, ISO, and other styles

22

Brégier, V. "Synthèse automatisée de circuits asynchrones optimisés prouvés quasi insensibles aux délais." Phd thesis, 2007. http://tel.archives-ouvertes.fr/tel-00178543.

Full text

Abstract:

Dans un circuit asynchrone, la synchronisation entre les blocs est locale: on s'affranchit ainsi des contraintes liées à l'horloge. Ces circuits sont plus robustes, modulaires, moins bruités, et ont une consommation dynamique plus faible que les circuits synchrones. Cependant, le manque d'outils de conception de tels circuits freine leur développement. Cette thèse a permi de développer une technique de synthèse automatique de circuits asynchrones quasi insensibles aux délais (QDI), qui sont particulièrement robustes. La méthode de synthèse permet de synthétiser un circuit totalement décomposé

APA, Harvard, Vancouver, ISO, and other styles

23

Correa, De Sales Afonso Henrique. "Réseaux d'Automates Stochastiques : Génération de l'espace d'états atteignables et Multiplication vecteur-descripteur pour une sémantique en temps discret." Phd thesis, 2009. http://tel.archives-ouvertes.fr/tel-00436020.

Full text

Abstract:

Cette thèse présente des méthodes et des algorithmes pour l'évaluation de performance de systèmes à grand espace d'états décrits par des formalismes de haut niveau. Parmi les différents formalismes de haut niveau normalement utilisés, nous nous sommes intéressés au formalisme des Réseaux d'Automates Stochastiques (SAN). Le formalisme SAN se caractérise par la modélisation de systèmes complexes, où un système est représenté par la composition de sous-systèmes (automates) qui interagissent entre eux. Cette interaction se réalise par l'occurrence des événements synchronisants ou des taux fonction

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!