To see the other types of publications on this topic, follow the link: Théorie système.
Dissertations / Theses on the topic 'Théorie système'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Théorie système.'
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
Reza, M. Germàn A. de la. "Théorie générale des systèmes et intégration latino-américaine : système général rt système spécifique." Toulouse 2, 1993. http://www.theses.fr/1993TOU20026.
Full textAbstract:
Notre travail a pour objectif general de contribuer a l'etude epistemologique des communautes muti-etats dans les regions en voie de developpement. Plus specifiquement, il cherche a etablir les fondements d'une explication systemique des difficultes du processus d'integration economique des pays a faible communication reciproque. De maniere a simplifier l'argumentation, nous avons choisi, en tant que pricipaux referents, les schemas latino-americains qui en sont une bonne illustration. Les premiers chapitres de la premiere partie sont consacres a la theorie generale des systemes, ses antecedents et son contexte. Les suivants portent sur l'elucidation des principaux composants du concept general de systeme et soulignent la necessite d'un cadre specifique pour l'evaluation de ces composants. Dans la seconde partie, nous nous sommes referes au mode de definition des systemes specifiques. Ensuite, a la description des systemes communautaires, leurs antecedents et leurs principales manifestations contemporaines. Nous avons pris en compte la majeure partie des accords d'integration en vigueur en afrique, amerique, asie et europe ainsi que le fondement theorique a la base de ces schemas. Pour expliquer les difficultes que rencontrent les accords d'integration dans le tiers monde, principalement en amerique latine, nous avons retenu dans la troisieme partie un point fondamental des accords d'integration : la causalite dominante dans les schemas. Cet aspect est relie a la problematique des finalites de la theorie generale des systemes dont les conclusions nous renvoient a la necessite d'avoir recours au contexte speciThe general objective of our study is to contribute to the epistemological study of multi-state communities in the developing regions. To be more specific, it seeks to establish a basis for a systemic explanation of difficulties involved in the processes of economic integration among countries having mutually weak communications. In order to simplify the argument, we have chosen as principal referent the latin american schemes. The first part is devoted to a discussion on the general systems theory, its antecedents and context, followed by an elucidation of the principal components of the general concept of system. It emphasizes the need of a specific framework for the evaluation of these components. In the next section, we refer to the method of difinition of specific systems, their antecedents and their contemporary manifestations. We have considered the integration agreements in effect in africa, america, asia and europe, and their theoretical foundations. In order to expand on the difficulties encountered in the integration agreements in the third world, particularly in latin america, we have reserved for the last part a fundamental aspect of the integration phenomena : the dominant causality within the schemes. This point is then refered back to the categorie of finality of the general systems theory, sustaining the need of the particular contexts
2
Peltier, Céline. "Théorie du dumping et système communautaire antidumping." Toulouse 1, 1997. http://www.theses.fr/1997TOU10016.
Full textAbstract:
L'objet de cette thèse est d'inventorier les explications économiques du phénomène de dumping et d'analyser la mise en œuvre du dispositif communautaire antidumping. Le chapitre I présente une typologie originale du dumping. Deux principaux types de dumping sont considérés. Le dumping discriminatoire est pratiqué par une firme dont le marché national est moins concurrentiel que le marché domestique vers lequel elle exporte. Le dumping non discriminatoire est pratiqué par une firme dont le marché national n'est pas nécessairement moins concurrentiel que le marché vers lequel elle exporte. Les différentes motivations pouvant conduite une firme à pratiquer le dumping constituent un comportement rationnel. Ceci n'exclut aucunement que les firmes victimes de telles pratiques soient défendues dès l'instant qu'elles subissent un préjudice. Dans le chapitre II, les deux grands systèmes américain et communautaire de défense contre le dumping sont présentés. Leur déroulement, les conditions nécessaires à la mise en œuvre d'une défense sont décrits et une analyse de leurs principaux résultats est menée. Le chapitre III a pour objectif d'apprécier si les décisions antidumping communautaires sont biaisées. Une étude empirique a été réalisée sur les cas antidumping communautaires de 1980 à 1992. Ses résultats sont beaucoup plus nuancés que ceux des études antérieures sans que l'on puisse exclure que les firmes communautaires cherchent à influencer la commission. Les accusations de mise en œuvre discrétionnaire du dispositif communautaire antidumping, qui le ferait évoluer de la défense vers la protection, ne semblent pas démontrées. Des politiques concurrentielles sur le marché national de la firme exportatrice ne peuvent se substituer dans tous les cas à la défense directe contre le dumping. Par contre, leur utilisation parallèle dans le pays d'importation, dans le cas ou le maintien dans la communauté de positions dominantes est évident, n'est pas à écarterThe aim of this dissertation is to review the economic explanations of the dumping phenomenon and to analyse the implementation of the antidumping community procedure. The chapter I presents an original typology of dumping. Two principal types of dumping are considered. The discriminatory dumping is practised by a firm of which the national market is less competitive than the domestic market where it exports. The non discriminatory dumping is practised by a firm of which the national market isn't necessary less competitive than the domestic market where it exports. All different motivations which can lead a firm to dump constitute a rational behaviour. However, these doesn't exclude that the firms, victims of these practises, be defended since they suffer an injury. In the chapter II, the two major systems of antidumping defence are described: the United States and the European community procedures. The progress, the necessary conditions for an antidumping defence are described and analyse of their principal results is realised. The chapter III's objective is to appreciate if the European community antidumping decisions are biased. An empirical study is realised with the community antidumping cases during the period 1980-1992. The results are more moderate than the conclusions of previous studies. But, it seems that European firms try to influence the decisions of the commission. Then, the claims of a discretionary implementation of the European community antidumping system, leading this system from defence to protection, don't seem demonstrated. Antitrust policies applied on the national market of the firm which exports can't replace, in any type of dumping, a direct defence against the dumping. But, a parallel implementation in the importing country, in the case where the strengthening of dominant positions in the European community is evident, must be considered
3
Ait, Mohamed Otmane. "La théorie du π-calcul dans le système HOL." Nancy 1, 1996. http://www.theses.fr/1996NAN10091.
Full textAbstract:
Le π-calcul est un calcul de processus dont la théorie est assez proche de CCS d'une part et possédant une grande puissance d'expression d'autre part. On peut représenter une variété remarquable de notions qu'on retrouve dans les langages à haut niveau. Par exemple, le λ-calcul, la transmission de processus et la localité de processus. On peut, également, coder d'une façon raisonnable les structures de données. De ce fait le π-calcul est devenu l'exemple typique de calcul de processus mobile, ou la structure topologique entre les processus change dynamiquement au fur et à mesure que l'évolution du processus progresse. La mobilité dans ce calcul est dû au fait que les processus peuvent échanger des noms de canaux. L’objectif principal de la thèse est la réalisation d'un outil de preuve pour le π-calcul. La simplicité de sa théorie basée sur un nombre restreint d’opérations et offrant des techniques de preuves basées sur la bisimulation permettent un traitement formel. Or, la plus grande partie des problèmes propres au π-calcul porte sur des systèmes avec un nombre infini d'états sur lesquels les techniques de vérification automatiques échouent. C’est pourquoi, nous nous sommes orientés vers un système de preuve ouvert dans lequel on peut (1) formaliser les arguments mathématiques les plus sophistiques et (2) automatiser les parties répétitives d'une preuve. Notre choix s'est fait sur l'environnement de preuve HOL qui satisfait les deux conditions (1) et (2). En effet, HOL est basé sur une logique classique d'ordre supérieur et hérité du système LCF l'idée de tactics et tacticals ce qui permet une représentation directe et naturelle des arguments mathématiques et permet d'automatiser certaines parties de preuves. L’approche que nous avons adoptée pour représenter le π-calcul dans HOL est une approche définitionnelle. C’est-à-dire nous avons présenté la syntaxe et la sémantique du π-calcul dans la logique du système HOL. Dans ce cas les lois algébriques du π-calcul sont dérivées formellement. Bien que cette approche soit difficile à mettre en œuvre, elle a l'avantage d'assurer la cohérence du système de preuve résultant. Dans l'environnement de preuve, π-calcul-HOL, que nous baptisons PIC, on peut spécifier et prouver la correction des systèmes concurrents, soit par un raisonnement équationnel, soit par la technique de bisimulation. Cette approche nous permet de surmonter le problème de la vérification des systèmes à états infinis ou dont la structure est définie inductivement. Nous expérimentons le système sur la preuve de correction d'un protocole de communication, et sur l'étude du codage des entiers naturels dans le π-calcul.
4
Ibn, el Farouk Abdelhamid. "Le système verbal de l'arabe classique, théorie et description." Paris 5, 1994. http://www.theses.fr/1994PA05H102.
Full textAbstract:
Notre recherche intitulée le système verbal de l'arabe classique, théorie et description, a pour but de proposer une grammaire fonctionnelle du système verbal de l'arabe classique. Nous avons alors abouti au dégagement de deux classes fondamentales. La première comprend trois déterminants verbaux, le futur, le potentiel et le passé, alors que la seconde ne contient guère que le parfait. Nous avons aussi tente de révéler le rôle de l'ordre des mots et celui de l'accord entre le sujet et l'indice de personne en tant que marqueurs fonctionnels, en remettant en question l'existence d'un paradigme casuel en arabe classiqueOur research, entitled the classical Arabic’s verbal system, theory and description, endeavors to present a functional grammar of classical Arabic’s verbal system. We have managed to distinguish two fundamental classes. The first his three verbal determinants, the future, the potential, and the past, whereas the second only has the perfect. We have also tried to reveal that word order and agreement between subject and personal pronoun operate as functional markers ; thus putting into question the existence of a case system in classical Arabic
5
Laveau, Stéphane. "Géométrie d'un système de N caméras : théorie, estimation et applications." Phd thesis, Ecole Polytechnique X, 1996. http://tel.archives-ouvertes.fr/tel-00267257.
Full textAbstract:
Cette thèse développe une approche basée sur la géométrie projective pour analyser et traiter des séquences d'images obtenues avec une caméra mobile. Les dérivations et démonstrations sont faites sans supposer qu'une information a priori est disponible sur les images, que ce soit sur le mouvement de la caméra ou sur leurs paramètres intrinsèques, comme la distance focale ou les points principaux. Il peutmême s'agir de caméras différentes. La seule hypothèse est que la scène est rigide.
6
Haroche, Pierre. "Théorie réaliste de l'intégration européenne : Les conditions de la transformation d'un système international en système interne." Phd thesis, Université Panthéon-Sorbonne - Paris I, 2013. http://tel.archives-ouvertes.fr/tel-00984263.
Full textAbstract:
Cette thèse propose un modèle théorique capable de rendre compte du passage d'un système international à un système interne. Elle s'appuie sur des études empiriques empruntées à l'histoire de l'intégration européenne. Son modèle est fondé sur deux facteurs principaux: la balance entre offensive et défensive et le degré d'interdépendance entre acteurs. Lorsque l'offensive a l'avantage, les acteurs sont incités à résoudre leurs problèmes d'interdépendance via l'usage de la violence, qui s'avère efficace. Ce n'es que lorsque la défense a l'avantage que l'interdépendance peut conduire à l'intégration. Cependant, cette condition n'est pas suffisante. Lorsque l'interdépendance est faible, les acteurs cherchent à la limiter en vue de préserver leur indépendance. Ce n'est que lorsque la défense a l'avantage et que l'interdépendance est prépondérante et incontournable que l'intégration peut être une solution viable. Ce modèle est utilisé pour expliquer le passage d'une stratégie traditionnelle d'indépendance à une politique de délégation à des institutions supranationales, à travers trois catégories d'acteurs: les gouvernements, les parlementaires et le juges. L'intégration gouvernementale est étudiée à travers les origines de la Communauté européenne du charbon et de l'acier (1951) et l'échec de la Communauté européenne de défense (1954). L'intégration parlementaire est étudiée à travers les premiers renforcements du Parlement européen en matière budgétaire (1970) et législative (1986). Enfin, l'intégration juridique est étudiée à travers l'évolution des juridictions allemandes et françaises quant à la reconnaissance de la primauté du droit communautaire.
7
Haroche, Pierre. "Théorie réaliste de l’intégration européenne : les conditions de la transformation d'un système international en système interne." Thesis, Paris 1, 2013. http://www.theses.fr/2013PA010357/document.
Full textAbstract:
Cette thèse propose un modèle théorique capable de rendre compte du passage d'un système international à un système interne. Elle s'appuie sur des études empiriques empruntées à l'histoire de l'intégration européenne. Son modèle est fondé sur deux facteurs principaux : la balance entre offensive et défensive et le degré d'interdépendance entre acteurs. Lorsque l'offensive a l'avantage, les acteurs sont incités à résoudre leurs problèmes d'interdépendance via l'usage de la violence, qui s'avère efficace. Ce n'es que lorsque la défense a l'avantage que l'interdépendance peut conduire à l'intégration. Cependant, cette condition n'est pas suffisante. Lorsque l'interdépendance est faible, les acteurs cherchent à la limiter en vue de préserver leur indépendance. Ce n'est que lorsque la défense a l'avantage et que l'interdépendance est prépondérante et incontournable que l'intégration peut être une solution viable. Ce modèle est utilisé pour expliquer le passage d'une stratégie traditionnelle d'indépendance à une politique de délégation à des institutions supranationales, à travers trois catégories d'acteurs: les gouvernements, les parlementaires et le juges. L'intégration gouvernementale est étudiée à travers les origines de la Communauté européenne du charbon et de l'acier (1951) et l'échec de la Communauté européenne de défense (1954). L'intégration parlementaire est étudiée à travers les premiers renforcements du Parlement européen en matière budgétaire (1970) et législative (1986). Enfin, l'intégration juridique est étudiée à travers l'évolution des juridictions allemandes et françaises quant à la reconnaissance de la primauté du droit communautaireThis thesis proposes a theoretical framework able to account for the transition from an international system to a domestic one. It relies on empirical studies from the history of European integration. Its model is based on two principal factors: the offense-defense balance and the degree of interdependence among actor When offense has the advantage, incentives drive the actors to solve their interdependence problems by usin violence because it is quite effective. It is only when defense has the advantage that interdependence can lead to integration. However, that latter condition is not sufficient. When interdependence is weak, actors see to limit it, to preserve their independence. It is only when defense has the advantage and interdependence is overwhelming and unavoidable, that integration becomes a viable solution. This model was applied to explain the transition from a traditional independence-preserving strategy to a delegation-of-powers policy in favor of supranational institutions, by examining three categories of actors: governments, members of parliaments an judges. The origins of the European Coal and Steel Community (1951) and the failure of the European Defense Corn munit y (1954) were used to investigate governmental integration. The first reinforcements of the European Parliament conceming budgetary (1970) and legislative matters (1986) served to study parliamentary integration. lastly, the analysis of judicial integration was explored through the evolution of German and French national courts towards the aeee tance of the su remac of Communit law
8
Bagland, Véronique. "Etude mathématique de quelques modèles issus de la théorie cinétique." Phd thesis, Université Paul Sabatier - Toulouse III, 2005. http://tel.archives-ouvertes.fr/tel-00012082.
Full textAbstract:
Dans cette thèse, on s'intéresse à différentes équations issues de la théorie cinétique. Tout d'abord, on considère une équation de Landau pour les particules de Fermi-Dirac. On montre l'existence d'une solution au problème de Cauchy associé et on détermine les états d'équilibre. Ensuite, dans une deuxième partie, on s'intéresse aux systèmes de moments pour l'équation de Boltzmann en relativité restreinte et on détermine les espaces de moments relativistes adéquats. Dans une troisième partie, on étudie les états stationnaires d'une équation de Kac avec thermostat dans le cas où la section efficace est supposée non-intégrable. Finalement, la quatrième partie est consacrée à l'étude d'une équation issue de la théorie de la coagulation, l'équation de Oort-Hulst-Safronov, qui est approchée par une suite d'équations discrètes.
9
Boubezoul, Abderrahmane. "Système d'aide au diagnostic par apprentissage : application aux systèmes microélectroniques." Aix-Marseille 3, 2008. http://www.theses.fr/2008AIX30072.
Full text
10
Loonis, Éric. "Théorie générale de l'addiction : du système d'actions à l'écologie de l'action." Toulouse 2, 1999. http://www.theses.fr/1999TOU20005.
Full textAbstract:
La problématique de départ de la thèse est épistémologique : l'extensivité du concept d'addiction et la pléthore des modèles de l'addiction posent la question d'un concept unificateur d'addiction et d'une théorie générale de l'addiction. Le DSM-IV produit 4 éléments descriptifs des addictions : dysphories antécédente et conséquente, perte de contrôle, conséquences négatives. La clinique produit 7 critères processuels : souffrance psychique, surinvestissement, conflits, tolérance, manque, soulagement, rechute/rétablissement. Les recherches neurobiologiques confirment le caractère unifié des addictions (mêmes systèmes cérébraux). Les addictions représentent une recherche de sensation et d'activation cérébrale et une transaction de l'individu avec son environnement et lui-même, dans le cadre de stratégies de recherche d'un moindre coût adaptatif, avec des mécanismes cognitifs de contrôle des états psychologiques. Ces travaux nous amènent à définir une double fonction, pragmatique et pragmalogique, à nos activités quotidiennes qui forment, au plan pragmalogique, un système d'actions dont l'organisation différentielle rend compte du continuum des addictions entre addictions de la vie quotidienne et addictions pathologiques. A partir d'une population d'individus addictes (n=31) et témoins (n=29), discriminés avec l'ASI, nous testons l'hypothèse de travail selon laquelle : certaines caractéristiques structurales et fonctionnelles du système d'activités des individus addictes, permettent de dégager les caractéristiques d'un système d'actions de type addictif, qui se trouve, de ce fait, lié au trouble psychopathologique de l'addiction et à ses indicateurs cliniques de la souffrance psychique. Nous évaluons : le système d'actions (investissement, variété, vicariance, dominance télique) et la souffrance psychique (anxiété, dépression, estime de soi, alexithymie). Nos résultats montrent une discrimination significative inter-groupes pour les variables du système d'actions et celles de la souffrance psychique, ainsi qu'une corrélation significative entre ces deux groupes de variables. Nous discutons alors la pertinence d'une application de la théorie générale de l'addiction et du concept de système d'actions dans le cadre d'une écologie de l'action, préventive et pratiqueThe basic problem addressed by my thesis is epistemological: the generality of the addiction concept and the overabundance of addiction models demand the development of a unifying concept of addiction and a general addiction theory. DSM-IV provides 4 descriptive elements for addiction: antecedent and consequent dysphoria, loss of control, and negative consequences. Clinical practice gives rise to the identification of 7 processes: mental suffering, salience, conflicts, tolerance, withdrawals, relief, and relapse/reinstatement. Neurobiological research, on the other hand, confirms the unified characteristics of addiction. Addictions represent both sensation and cerebral arousal seeking, and a transaction of the individual with his/her environment and his/her self, within the framework of strategies producing less adaptive cost, and with cognitive mechanisms operating to control psychological states. All this work leads us to define a double function, pragmatic and pragmological, for our everyday activities which form, at the pragmological level, a system of actions whose differences provide an explanation of the addiction continuum between every day and pathological addictions. From a population of addicted (n=31) and non-addicted (n=29) individuals, distinguished by ASI criteria, we tested the working hypothesis that some structural and functional characteristics of the activity systems of addicted individuals allow us to infer the characteristics of addictive action systems, and in consequence to link the psychopathological problems of addiction to clinical signs of mental disturbance. We were able to assess actions systems (salience, variety, vicariance, telic dominance) and mental disturbance (anxiety, depression, poor self-esteem, alexithymia). Our results show a significant between-group difference for action systems and mental disturbance, as well as a significant correlation between both groups of variables. We discuss the relevance of an application of the general theory of addictions and the concept of action systems in the framework of a preventive and practical ecology of action
11
Brevet, Guillaume. "Sur l'irrégularité d'un système différentiel holonome le long d'une courbe plane." Angers, 1999. http://www.theses.fr/1999ANGE0025.
Full textAbstract:
Z. Mebkhout a défini le faisceau d'irrégularité d'un système différentiel holonome le long d'un sous-espace analytique. Cet objet était apparu dans le cas particulier du module constitue des fonctions holomorphes sur une variété analytique complexe, comme l'obstruction au théorème de comparaison de Grothendieck, qui traduit en définitive la régularité du faisceau structural. Le faisceau d'irrégularité généralisé aussi en dimensions supérieures l'espace d'irrégularité de B. Malgrange dans le cas d'une variable. Les faisceaux d'irrégularité ont la propriété de perversité mais certains faisceaux pervers ne sont pas l'irrégularité de systèmes différentiels. Ceci pose le problème de la détermination de l'image essentielle du foncteur irrégularité. Dans ce travail nous étudions ce problème lorsque l'hypersurface est une courbe plongée dans une surface. Dans un premier temps, nous donnons un contre-exemple a l'essentielle subjectivité : nous considérons l'irrégularité sur la surface d'éclatement de l'origine du plan le long de la transformée totale d'une courbe et nous exhibons un faisceau pervers d'image directe non-perverse. Nous prouvons ensuite, en utilisant la désingularisation d'une courbe plane, que l'irrégularité restreinte au germe d'une courbe épointée irréductible fournit un foncteur essentiellement surjectif vers les systèmes locaux sur la courbe épointée. Nous calculons également de manière précise les faisceaux de cohomologie de l'irrégularité de certains d-modules du type exponentielle le long d'un croisement normal. Ces calculs permettent de trouver des systèmes différentiels tels que la monodromie du système local associe ait pour valeurs propres les racines de l'unité. Enfin, nous montrons le résultat suivant : l'irrégularité le long d'un germe de courbe lisse est un foncteur essentiellement surjectif a valeurs dans les germes de faisceaux pervers monodromiques. La preuve de ce théorème repose sur l'équivalence de catégories entre les faisceaux pervers monodromiques et une catégorie de diagrammes d'espaces vectoriels de dimension finie. Dans cette dernière catégorie, les objets indécomposables sont connus. Tout le travail consiste donc à les atteindre, ce qui est fait par des arguments de dévissage en exploitant le caractère exact du foncteur irrégularitéZ. Mebkhout defined the irregularity bundle of a holonomic differential system along an analytic subspace. This object had appeared in the special case of the constitutive module of holomorphic functions on a complex analytic variety, as the obstruction to Grothendieck's comparison theorem, which ultimately translates the regularity of the structural bundle. The irregularity bundle also generalises in higher dimensions the irregularity space of B. Malgrange in the case of one variable. Irregularity bundles have the property of perversity but some perverse bundles are not the irregularity of differential systems. This raises the problem of determining the essential image of the irregularity functor. In this work we study this problem when the hypersurface is a curve embedded in a surface. First, we give a counterexample to the essential subjectivity: we consider the irregularity on the splitting surface of the origin of the plane along the total transform of a curve and we exhibit a perverse beam of direct non-perverse image. We then prove, using the desingularisation of a plane curve, that the irregularity restricted to the seed of an irreducible blunt curve provides an essentially surjective functor to local systems on the blunt curve. We also compute precisely the cohomology bundles of the irregularity of certain d-modules of the exponential type along a normal crossing. These calculations allow us to find differential systems such that the monodromy of the associated local system has as eigenvalues the roots of unity. Finally, we show the following result: the irregularity along a smooth curve seed is an essentially surjective functor with values in the seeds of monodromic perverse bundles. The proof of this theorem relies on the category equivalence between monodromic perverse bundles and a category of diagrams of finite dimensional vector spaces. In the latter category, the indecomposable objects are known. All the work consists therefore in reaching them, which is done by unscrewing arguments by exploiting the exactness of the irregularity functor
12
Paulin-Mohring, Christine. "Définitions Inductives en Théorie des Types." Habilitation à diriger des recherches, Université Claude Bernard - Lyon I, 1996. http://tel.archives-ouvertes.fr/tel-00431817.
Full textAbstract:
Ce document donne un panorama de la représentation des définitions inductives dans différents assistants de preuve en logique d'ordre supérieur, théorie des ensembles et théorie des types. Il présente, étudie et justifie les choix faits dans le système Coq.
13
Assem, Ali. "Vibrations mécaniques et non linéaires : théorie de l'index pour des systèmes gyroscopiques." Paris 9, 1987. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1987PA090080.
Full textAbstract:
On étudie les solutions d'un système différentiel du type gyroscopique régi par une équation du type X + 2K X + V'(X) = O, K un opérateur antisymétrique de matrice CJ, où J est la matrice symplectique telle que JJ = -I et V un potentiel de classe C**(2) (R**(2N),R), strictement convexe. On étudie deux cas, le premier suppose V super quadratique. En utilisant Ambrosetti-Rabinowitz, on montrera l'existence d'une solution T-périodique, puis on élabore une théorie de l'index pour ce genre de système, afin de démontrer la minimalité de la période T pour c suffisamment petit. Le second cas suppose V sous quadratique, on énoncera alors un résultat d'existence en utilisant une méthode de minimisation
14
Alaimi, Mohamed. "Théorie des zones cibles de change et crédibilité du système monétaire européen." Paris 2, 2002. http://www.theses.fr/2002PA020030.
Full text
15
Pansard, Fabrice. "Théorie et applications des zones cibles : le cas du système monétaire européen." Nice, 1997. http://www.theses.fr/1997NICE0010.
Full textAbstract:
Notre travail est concentre sur la theorie des zones cibles et ses applications au systeme monetaire europeen (s. M. E). Dans la premiere partie, nous presentons et mettons en perspective les modeles theoriques de zones cibles. Ils s'inscrivent dans le prolongement des travaux de krugman (1987, 1988). Sauf exception, ils mettent en evidence la presence d'anticipations stabilisatrices suscitees par la perspective d'une intervention future des autorites monetaires ainsi que le role du taux d'interet comme variable d'ajustement. A la lumiere des enseignements theoriques, nous menons dans la seconde partie une analyse du fonctionnement du s. M. E. Les etudes recentes suggerent la pertinence des modeles avec credibilite imparfaite. Plus precisement, les agents anticipent un realignement de parite centrale mais egalement un retour du taux de change au centre de la zone. Ces deux elements sont quantifiables et determinent la valeur du differentiel de taux d'interet. Ce resultat nous conduit a l'etude des determinants de la credibilite au sein du s. M. E. Une revue de la litterature suggere que la credibilite des parites du s. M. E est, soit independante des variables macro-economiques, soit reliee a ces variables mais de maniere instable. Cette derniere interpretation nous semble plus satisfaisante. Pour en tester la pertinence, nous menons une etude de la credibilite des parites vis-a-vis du deutschemark du franc, de la lire et du florin sur la periode allant de janvier 1980 a novembre 1993 (juillet 1992 pour la lire). Trois variables macro-economiques, definies en ecart par rapport a leurs homologues allemandes, sont retenues: la masse monetaire, le revenu reel et le niveau general des prix. Des resultats interessants sont obtenus. Tous d'abord, des tests de stabilite des coefficients nous permettent de montrer l'instabilite de ces derniers. Ensuite, l'estimation d'un modele a changements de regimes markoviens montre l'existence de deux regimes distincts pour le franc et le florin, mais le sens des relations est difficilement interpretable sur le plan economique.
16
Planckeel, Frédéric. "Indisponibilités et théorie du droit : contribution à la redéfinition du système juridique." Lille 2, 2004. http://www.theses.fr/2004LIL20009.
Full textAbstract:
La nature d'institutions aussi confirmées que les clauses d'inaliénabilité ou l'inaliénabilité du domaine public demeure une énigme. L'incompatibilité des indisponibilités avec les fondements traditionnels du droit des biens n'y est pas étrangère. C'est donc abstraction faite de la théorie du droit que peut être induite une summa divisio : alors que l'indisponibilité réelle se rapporte directement au bien, affecté à son propriétaire même à l'égard des tiers, l'indisponibilité subjective se contente de supprimer le pouvoir du propriétaire. Ces deux modèles permettent non seulement de développer pour la première fois une théorie générale des indisponibilités, mais encore de dévoiler l'essence des notions fondamentales de propriété, de bien, de capacité juridique, de droit personnel et de droit réel. Ces concepts s'avèrent même être au cœur d'un système logique et universel : il transcende le système juridique, tout en constituant sa substance technique, spécifiée en fonction des principes propres à chaque Etat. Cette mise en équation du système juridique invite ainsi à reconsidérer l'ensemble de nos concepts techniques, et ouvre la voie à une unification théorique des divers systèmes nationauxThe nature of such established institutions as clauses of inalienability or public domain inalienability is still an enigma. This is due to the incompatibility of inalienabilities with the traditionnal foundations of property law. So it is out of the theory of law that a summa divisio can be observed whereas objective inalienability directly relate to the objective property, wich is assigned to its proprietor even towards third parties, subjective inalienability abolish only the power of the proprietor. These two models allow us not only to develop for the first time a general theory of inalienabilities, but also to show the essence of fundamental concepts of subjective property, objective property, legal capacity, personal right and real right. These concepts even prove to be in the heart of a logical and universal system : it transcends the legal system, while making up its technical substance, specified according to the own principles of every State. This setting of legal system to equation invites to reconsider all the technical concepts, and paves the way for a theoretical unification of the diverse national systems
17
Bru, Marc. "Vers une théorie du système enseignement-apprentissage : de la pratique aux modèles." Toulouse 2, 1987. http://www.theses.fr/1987TOU20079.
Full textAbstract:
La recherche didactique s'organise le plus souvent a partir de modeles ou de referentiels theoriques fort reducteurs. Consideres separement, savoirs enseignes, methodes d'enseignement et conduites d'apprentissage ne peuvent rendre compte de la specificite et de la complexite des situations pedagogiques. Construites sur la base de donnees scientifiques trop ponctuelles ou a l'inverse de paradigmes trop generaux, les theories disponibles ne parviennent pas a lever une double confusion : confusion entre niveaux de theorisation ; confusion entre fonction normative prescriptive et fonction descriptive explicative de la recherche. Guidee par la reflexion sur un itineraire singulier reliant la pratique a la recherche, une revue critique de travaux realises par differents auteurs montre qu'il est indispensable de se donner les moyens theoriques nouveaux. Si la recherche didactique s'interesse a l'etude de l'acte d'enseigner dans son rapport a l'acte d'apprendre, c'est une theorie de l'enseignement apprentissage qu'il faut construire. La proposition d'un modele systemique est alors formulee. Ce support theorique impose notamment l'abandon de la notion de methode d'enseignement au profit de celle de variete didactique. Cette derniere permet d'etudier comment l'enseignement peut etre une reponse aux besoins subjectifs et objectifs des eleves engages dans l'apprentissageSeparately considered, teached knowledges, teaching methods and learning behaviors can't account for the specificity and the complexity of the pedagogic situations, built up on scientific and too punctual data base or inversly on too general paradigms, available theories don't arrive to remove a double confusion : confusion among theorization levels, confusion among normative prescriptive function and descriptive explanatory function of the research. Reflexion-controlled on a singular itinerary linking the practice to the research, a critical review from works realized by different authors shows it's necessary to give itself new theorectic means. If the didactic research is interested in the study of teaching act in its relation to the learning act, a theory of teaching learning must be built up. Then the proposition of a systemic model is formulated. This theoretic support notably imposes the renunciation of the teaching method notion for the benefit of the one of didactic variety. The latter allows to study how teaching can be an answer to subjective and objective needs of students
18
Perret, Cécile. "Théorie du capital humain versus théorie du signal : application à la réforme du système éducatif chilien dans les années 80." Clermont-Ferrand 1, 1998. http://www.theses.fr/1998CLF10201.
Full textAbstract:
En 1980, a eu lieu une réforme radicale du système éducatif au Chili. Cette réforme a modifié le mode de financement de l’éducation primaire et secondaire via la création d’un système de subventions par tête, entraîne la municipalisation des établissements scolaires primaires et secondaires, et favorise l’émergence d’établissements privés ou privés subventionnés. Le défi de la réforme peut se résumer par le triple impératif suivant : (I) décentralisation éducative, (II) autonomie des établissements scolaires et (III) professionnalisation du corps enseignant. Cette réforme a eu lieu au cours d’un processus de régionalisation développé entre 1975 et 1991 et qui répondait en fait à trois objectifs principaux : (I) un objectif géopolitique de contrôle et d’occupation harmonieuse du territoire, (II) un objectif politique visant à remplacer les organisations sociales et politiques traditionnelles par un schéma territorial corporatiste, et enfin (III) un objectif économique orienté vers la mise en place du principe de subvention et la privatisation de certaines fonctions traditionnelles de l’Etat. Suite à cette réforme, à l’heure actuelle, un nombre croissant d’analystes chiliens se demandent si la possibilité d’obtenir un emploi productif et le niveau des salaires ne sont pas en train de se déconnecter du niveau éducatif des individus mesuré en nombre d’années d’études, et si la qualité de l’institution (publique, privée subventionnée ou privée) de laquelle sont issus les individus n’est pas en train de devenir déterminante. Notre travail va aller dans le sens de cette recherche puisque nous allons tenter de voir si depuis 1980 il n’est pas apparu une rupture structurelle au niveau de rendement de l’éduction secondaire définie en tant que nombre d’années d’études certifiées. Les outils théoriques mobilisés pour cette étude sont les outils d’analyse traditionnels utilisés en économie du travail. La méthode retenue pour capter les conséquences de la réforme de 1980 sur le rendement du capital humain est l’utilisation d’équations mincériennes de gains sur les données d’un pseudo panel fourni par l’université du Chili. Nous établissons ainsi une grille de lecture différenciée selon que les agents économiques ont effectué leurs études secondaires avant ou après la réforme du système éducatif de 1980. Nous mettons ainsi en évidence le rôle de signal des établissements privés et privés subventionnésDuring the 80’s, a radical reform of the Chilean educational system was implemented. It was aimed at: (I) the decentralization and autonomy of schools and (II) the professionalization of the teachers. In the first part of this thesis we analyze the consequences of this reform inside the educational system and we give evidence for: (I) a geographical and social stratification of result and (II) a deterioration of the quality of secondary education. In the second part, we show that since this institutional reform (in the context of dictatorship) the return to investment in education has decreased. We try to interpret this fact using the classical tools of labor market: human capital theory and signal theory. With pseudo panel datas extracted from “la encuesta occupational de la universidad de Chile », we show, with a mincerian function, that today no compensatory diferentials seem to explain the level of salaries
19
Diaz, Gladys. "Conception de messagerie pour systèmes multimédia coopératifs : application au système de télémédecine DIATELIC." Vandoeuvre-les-Nancy, INPL, 2000. http://www.theses.fr/2000INPL063N.
Full textAbstract:
Les applications multimédia sont de plus en plus présentes dans notre vie quotidienne. Ces applications sont très variées et elles impliquent diverses contraintes dans le stockage, le traitement, le transfert et la présentation de données. Les besoins de synchronisation des différents médias manipulés constituent une de leurs principales caractéristiques. En plus, dans un environnement coopératif, d'autres contraintes sont aussi présentes. L'asynchronisme résultant de divers délais (collecte, transport et présentation), la présentation simultanée des médias dans différents sites distants, et le respect des contraintes d'intégrité du groupe actif sont des problèmes typiques à traiter dans le cas des applications multimédia coopératives. Nous nous intéressons dans cette thèse à l'étude des contraintes temporelles et de la communication dans les applications multimédia, et nous proposons un modèle qui permet l'expression des contraintes et la caractérisation de ces applications dans le contexte des environnements coopératifs. Notre modèle est décrit selon une structure en couches et s'accompagne d'une modélisation en UML. Les définitions des entités scène, média, flux de média, flux multimédia et conversation constituent les concepts de base pour la caractérisation des applications multimédia. L'approche en couches permet l'identification et la hiérarchisation des fonctions nécessaires pour exprimer le comportement fonctionnel des applications. Notre messagerie définit ainsi un ensemble de services. Nous illustrons son fonctionnement à travers des diagrammes temporels qui montrent les différentes interactions et les messages échangés entre les entités. Enfin, nous montrons à travers un exemple, le système DIATELlC, comment notre modèle peut exprimer le comportement d'un système.
20
Marché, Claude. "Réécriture modulo une théorie présentée par un système convergent et décidabilité des problèmes du mot dans certaines classes de théories equationnelles." Paris 11, 1993. http://www.theses.fr/1993PA112312.
Full textAbstract:
Nous définissons une nouvelle relation de réécriture sur les termes, la réécriture normalisée, qui étend la notion déjà connue de réécriture modulo une théorie equationnelle. Cette nouvelle relation de réécriture permet de travailler modulo des théories pour lesquelles la notion précédente ne pouvait pas s'appliquer, en particulier pour les cas des axiomes d'élément neutre, d'idempotence, des groupes abéliens et des anneaux commutatifs. Nous décrivons un algorithme de complétion base sur la réécriture normalisée qui contient comme instance la complétion de Knuth et Bendix, mais aussi des algorithmes de calcul de bases standard d'idéaux de polynômes, de Buchberger et de Kandri-Rody et Kapur. Nous nous intéressons ensuite au cas particulier de la complétion d'équations closes, et nous montrons par une méthode uniforme la terminaison du processus de complétion s-normalisée pour plusieurs classes intéressantes de théories s-closes. Nous obtenons alors des résultats de décidabilité du problème du mot pour certaines classes de théories equationnelles, incluant le cas ac-clos (déjà obtenu par Narendran et Rusinowitch), le cas ac1i-clos (un nouveau résultat), et le cas des théories closes modulo les théories des groupes abéliens et des anneaux commutatifs, qui est déjà connu dans le cas où la signature contient uniquement des constantes (Kandri-Rody et Kapur), mais qui est nouveau dans le cas général. Nous avons également montré un résultat d'indécidabilité du problème du mot dans un cas intermédiaire entre ac et les anneaux, le cas acd-clos, un résultat également nouveau. Enfin, nous avons implanté la complétion normalisée et montré ainsi son efficacité en pratique par rapport à la complétion modulo ac
21
Lazrag, Ayadi. "Théorie de contrôle et systèmes dynamiques." Thesis, Nice, 2014. http://www.theses.fr/2014NICE4060/document.
Full textAbstract:
Cette thèse est divisée en trois parties. Dans la première partie, nous commençons par décrire des résultats très connus en théorie du contrôle géométrique tels que le théorème de Chow-Rashevsky, la condition de rang de Kalman, l'application Entrée-Sortie et le test linéaire. De plus, nous définissons et nous étudions brièvement la contrôlabilité locale au voisinage d'un contrôle de référence au premier et au second ordre. Dans la deuxième partie, nous donnons une preuve élémentaire du lemme de Franks linéaire pour les flots géodésiques qui utilise des techniques basiques de théorie du contrôle géométrique. Dans la dernière partie, étant donnée une variété Riemanienne compacte, nous prouvons un lemme de Franks uniforme au second ordre pour les flots géodésiques et on applique le résultat à la théorie de la persistance. Dans cette partie, nous introduisons avec plus de détails les notions de contrôlabilité locale au premier et au second ordre. En effet, nous donnons un résultat de contrôlabilité au second ordre dont la preuve est longue et techniqueThis thesis is devided into three parts. In the first part we begin by describing some well known results in geometric control theory such as the Chow Rashevsky Theorem, the Kalman rank condition, the End-Point Mapping and the linear test. Moreover, we define and study briefly local controllability around a reference control at first and second order. In the second part we provide an elementary proof of the Franks lemma for geodesic flows using basic tools of geometric control theory. In the last part, given a compact Riemannian manifold, we prove a uniform Franks' lemma at second order for geodesic flows and apply the result in persistence theory. In this part we introduce with more details notions of local controllability at first and second order. In fact, we provide a second order controllability result whose proof is long and technical
22
Corbineau, Pierre. "Démonstration automatique en théorie des types." Paris 11, 2005. http://www.theses.fr/2005PA112149.
Full textAbstract:
Les logiciels d'aide à la démonstration se répartissent entre prouveurs automatiques et assistants de preuve interactifs. Les premiers sont des outils spécialisés dont les techniques sont éloignées des méthodes intuitives de raisonnement mais dont la portée est faible. Les seconds ont un champ d'application plus large mais l'utilisateur doit expliciter tous les détails de la démonstration. L'automatisation des preuves y est difficile car la logique utilisée est plus expressive. La thèse se compose de trois contributions dans ce domaine. D'abord, nous présentons une extension de la clôture de congruence à une théorie des constructeurs avec application partielle. Un algorithme pour résoudre ce problème est décrit et étudié. Ensuite nous construisons un formalisme du premier ordre incluant des connecteurs définis comme des types inductifs non récursifs dans l'esprit du Calcul des Constructions Inductives. Nous présentons un nouveau calcul de séquents sans contraction pour la logique intuitionniste du premier ordre, adapté à ce formalisme, et prouvons ses propriétés fondamentales: élimination des contractions et des coupures. Nous en dérivons une procédure de semi-décision. Ces deux premières contributions sont implantées dans l'assistant de preuve Coq; la troisième est la description d'une méthode d'interprétation des preuves au premier ordre dans la Théorie des Types grâce à la réflexion calculatoire. Ce paradigme est appliqué à la logique propositionnelle et utilisé par une procédure de décision du système Coq. Cette méthode est aussi étendue au premier ordre avec égalité et permet de vérifier des preuves engendrées par complétion ordonnée dans le système CiMEAmong software designed to help formal reasoning, there are automated theorem provers and interactive proof assistants. The former are specialized tools using technics that differ from traditionnal reasoning methods, but they have a very limited range. The latter have a wider range but theii users must specify explicitly every proof step. Automation of proofs is tricky in these latter tools because they use expressive logical systems. This thesis is build around three contributions in this field. First, we present an extension of congruence-closure the a theory of constructors with partial application. An algorithm to solve this problem is described and studied. Then, we build a first-order formalism including connectives defined as non-recursive inductive types similar to those in the Calculus of Inductive Constructions. We present a new contraction-free sequent calculus for first-order intuitionistic logic that is adapted to this formalism, and we prove its fundamental properties: contraction- and cut-elimination. We derive a semi-decision procedure from these results. Those two contributions are implemented inside the Coq proof assistant; the third one is the description of a methode allowing the interpretation of first-order proof tree into Type Theory by computational reflection. This paradigm is applied to propositionnal logic and is used by a decision procedure inside the Coq system. This method is also adapted to first-order logic with equality and allows to check proofs obtained by ordered completion in the CiME system
23
Klay, Francis. "Unification dans les théories syntaxiques." Nancy 1, 1992. http://www.theses.fr/1992NAN10331.
Full textAbstract:
L'objectif de cette thèse est l'étude d'une sous-classe des théories équationnelles appelée classe des théories syntaxiques. Après avoir introduit les notions de base, un ensemble de règles pour l'unification par décomposition dans les théories syntaxiques est donné. Ensuite, c'est le lien entre syntaxicité et système formel de la logique équationnelle qui est développé. Par ailleurs, un lien entre unification et syntaxicité est exposé. Une conséquence de ce résultat est: une théorie est syntaxique si elle est finitaire pour l'unification. Vient alors la question de savoir si la syntaxicité est une propriété décidable. Nous montrons que ce n'est malheureusement pas le cas, et ceci même en imposant des conditions très restrictives. Un résultat du même ordre est démontre pour la validité uniforme du problème du mot dans les théories syntaxiques. Suite à ces résultats d'indécidabilité, différentes restrictions sont étudiées. Finalement, la décidabilité du filtrage et de l'unification est démontrée pour certaines sous-classes de théories syntaxiques
24
Duroux, Patrice. "Un système formel pour la décidabilité dans la théorie des catégories cartésiennes fermées." Montpellier 2, 1999. http://www.theses.fr/1999MON20224.
Full textAbstract:
Les problemes de decision sont au cur des concepts de la calculabilite, a l'intersection de la mathematique constructive, de la logique formelle, et de l'informatique. En effet, les tentatives pour l'elaboration de methodes qui repondent effectivement a un probleme de decision sont a l'origine du calcul et de la machine. C'est le cas du calcul lambda type utilise en informatique pour developper des machines virtuelles pour les langages de programmation. Cette these presente un probleme de decision pour la theorie des categories dont le langage presente deux formes d'expressions : des objets et des fleches entre objets. Comme en algebre, l'egalite est utilisee de facon a exprimer les proprietes de la structure qui determinent des categories plus particulieres. En tant que theorie egalitaire, c'est naturellement que se pose le probleme de decision des egalites. Or ce probleme n'admet pas de solution generale. Dans ce contexte, nous nous interesserons plus precisement aux categories cartesiennes fermees qui presentent par leur structure des interets tant pour la mathematique que pour la logique et pour l'informatique, et donc pour la calculabilite. Nous montrons en introduisant une nouvelle forme de normalisation adaptee que la theorie des categories cartesiennes fermees admet une methode effective pour repondre au probleme de decision precedent. Les proprietes abordees font de cette theorie un support a l'etablissement d'une machine virtuelle.
25
Bonnabel, Silvère. "Observateurs asymptotiques invariants : théorie et exemples." Phd thesis, École Nationale Supérieure des Mines de Paris, 2007. http://pastel.archives-ouvertes.fr/pastel-00004868.
Full textAbstract:
Cette thèse a pour objet la construction d'estimateurs non-linéaires à base d'observateurs asymptotiques. Dans un premier temps nous développons un observateur destiné à estimer des concentrations en réactifs dans un réacteur de polymérisation du groupe TOTAL. Dans un deuxième temps, nous nous posons des questions d'ordre plus théorique sur l'utilisation des symétries dans la conception d'observateurs non-linéaires. Le réacteur que nous avons considéré est un réacteur de polymérisation haute pression qui produit des polymères de type plastique composés de deux ou trois monomères. L'estimation des concentrations en certains réactifs dans les différentes zones du réacteur repose sur la modélisation de la réaction. Le modèle consiste principalement un bilan de matière, d'énergie, et l'utilisation de modèles de cinétique chimique. Ensuite via les équations du modèle et les mesures de températures et débits, on remonte aux concentrations en temps réel. L'estimateur construit est non-linéaire, et la convergence repose sur une structure triangulaire. Cet estimateur a été installé et validé sur l'unité industrielle. La convergence de l'estimateur envisagé est indépendante du choix des unités dans lesquelles on écrit les bilans. Nous nous sommes interrogés sur la possibilité, quand on fait un observateur pour les concentrations, d'écrire des termes de correction indépendants des unités. A cet effet nous avons considéré un exemple plus académique : un réacteur chimique exothermique, pour lequel on mesure les températures et les débits, et où la cinétique chimique est d'ordre 1. On veut estimer certaines concentrations, et l'on souhaite que les propriétés de convergence soient indépendantes des unités. Cette étude a montré qu'une approche basée sur les symétries pouvait suggérer des termes de correction nonlinéaires puis des changements de variables propices à l'étude de la convergence globale, pour des observateurs dont la forme est du type observateur de Luenberger ou filtre Kalman Etendu. Ensuite, nous avons développé une méthode générale pour écrire de manière systématique les termes de corrections qui préservent les symétries. La contribution théorique principale de la thèse est de donner une méthode pour construire tous les termes de corrections non-linéaires qui préservent les symétries. On remet ensuite en perspective la notion d'erreur entre l'état et son estimée en proposant la notion d'erreur invariante. La dynamique de cette erreur invariante possède alors des propriétés fort intéressantes. En particulier, elle est indépendante de la trajectoire du système pour un système invariant à gauche sur un groupe de Lie. On applique alors cette nouvelle théorie des observateurs invariants à principalement trois exemples, un réacteur chimique pour lequel on construit un observateur globalement convergent, un exemple de voiture non-holonome où l'on construit un observateur presque globalement convergent, et un exemple emprunté au domaine de la navigation inertielle aidée par des mesures de vitesse pour lequel on obtient la convergence locale autour de toute trajectoire et tel que le comportement global de l'erreur est indépendant de la trajectoire et des entrées. Bien que nous n'ayons abordé en détail que les situations où la dimension du groupe reste inférieure à celle de l'état, il est très naturel d'envisager de traiter avec une approche analogue des cas plus généraux. Tel est l'objet de la dernière partie de la thèse avec quatre exemples. La synthèse d'observateur réduit pour une classe de système Lagrangien dont on mesure la position : le groupe de transformation est celui des changements de coordonnées sur l'espace de configuration. Les modèles de type Saint-Venant qui interviennent dans les modèles océanographiques : l'espace d'état est de dimension infinie car les modèles sont à base d'équations aux dérivées partielles. La fusion de données en navigation inertielle avec comme mesure une image et donc une sortie de dimension infinie. Enfin, l'estimation paramétrique d'un système quantique à deux états où la dimension du groupe est un peu plus grande que celle de l'état.
26
Bouri, Mounia. "L'explication dans les systèmes experts : étude synthétique et extension au raisonnement incertain, le système SERIN." Toulouse 3, 1990. http://www.theses.fr/1990TOU30236.
Full textAbstract:
Cette these porte sur l'explication dans les systemes experts. Elle apporte trois contributions. Une premiere contribution, et non la moindre, a consiste a elaborer une analyse comparative approfondie de travaux developpes ou en cours de developpement et a en degager une synthese globale organisee selon trois axes d'examen: quels types d'informations l'utilisateur peut-il recevoir? de quelle maniere l'utilisateur peut-il les demander/les recevoir? de quelle maniere le systeme peut-il les fabriquer? pour chacun de ces axes, on definit des criteres de classement dans lesquels on integre des exemples tires des travaux existants. La seconde contribution a consiste a realiser le systeme explicatif serin (systeme explicatif de raisonnements incertains). Ce systeme etend la problematique de l'explication au raisonnement incertain. Le cadre choisi pour le traitement de l'incertitude et de l'imprecision est la theorie des possibilites ou l'information disponible concernant les valeurs d'une variable est representee en termes de distributions de possibilite. Serin peut fournir plusieurs types d'explications concernant la distribution de possibilite d'un resultat: des informations explicatives generales et des informations plus specifiques. En particulier, dans le cadre des informations explicatives generale, serin analyse la sensibilite du raisonnement possibiliste en etudiant l'incidence des faits initiaux sur le resultat. Pour construire ces explications, serin utilise en particulier une analyse formelle du raisonnement du systeme qui consiste a construire, a partir de la trace memorisee, un systeme d'equations en algebre max-min reliant le fait-resultat aux faits-initiaux. Ce systeme d'equations est ensuite analyse en exploitant principalement les proprietes de l'algebre max-min. La troisieme contribution a ete d'appliquer le systeme serin a la medecine d'urgence et plus precisement au traitement par fibrinolyse de l'infarctus du myocarde avant l'arrivee du malade a l'hopital
27
Salmoni, Rebecca. "Sur une sinthèse optimale pour un système quantique à deux niveaux." Paris 11, 2007. http://www.theses.fr/2007PA112332.
Full text
28
Chibani, Omar. "Simulation du transport de particules (photons, électrons et positrons) : le système GEPTS." Toulouse 3, 1994. http://www.theses.fr/1994TOU30090.
Full textAbstract:
L'objectif de ce travail est l'etude du transport des particules (photons, electrons et positrons) dans la matiere ainsi que le traitement de diverses applications ayant un interet dans les domaines de la dosimetrie, de la radioprotection ou de la radiologie. Cette etude est abordee par le biais de la simulation monte carlo des phenomenes stochastiques. L'outil de travail qui a ete mis au point est un logiciel (ou systeme) qui simule le transport de ces trois types de particules dans des materiaux quelconques et pour des geometries complexes. La gamme d'energie de ces particules va de quelques dizaines de kev a 100 mev. Le nom donne a ce systeme est gepts (gamma, electron and positron transport system). La description des differents types d'interactions est detaillee avec un maximum de precision. Plusieurs approximations usuelles sont alors contournees. De nouvelles distributions de diffusions multiples et de pertes d'energie ainsi que d'autres developpements personnels sont proposes. Une partie importante de la these est reservee aux applications qui illustrent les capacites du systeme. Les resultats obtenus sont compares a ceux des principaux systemes existant (etran, egs4) et autres mesures experimentales. Dans la majorite des cas gepts donne des resultats d'une grande precision
29
Barboucha, Mohamed. "Modélisation structurale des systèmes complexes, extraction et validation des règles d'un système expert." Lille 1, 1987. http://www.theses.fr/1987LIL10098.
Full textAbstract:
Dans une première partie, il est montré que l'analyse des systèmes sur lesquels on ne possède aucune information a priori peut être abordée de deux façons différentes : les méthodes géométriques de l'analyse des données ou les concepts de la théorie de l'information. Dans la deuxième partie, une approche de modélisation visant l'extraction de connaissances sous forme de règles à partir d'un tableau de contingence est présentée
30
Deplagne, Eric. "Système de preuve modulo récurrence." Nancy 1, 2002. http://docnum.univ-lorraine.fr/public/SCD_T_2002_0240_DEPLAGNE.pdf.
Full textAbstract:
Les méthodes et systèmes de preuve par récurrence sont très diverses. Les méthodes les plus générales sont difficiles à automatiser. Les systèmes automatiques parfois difficiles à justifier. Cette thèse établit au niveau des preuves un lien entre récurrence noethérienne et récurrence par réécriture, ce qui permettra la coopération de systèmes dans un mode sceptique où la preuve est vérifiée grâce à l'isomorphisme de Curry-Howard. Le formalisme de la déduction modulo est étendu au traitement de congruences conditionnelles dont l'évaluation tient compte du contexte. De plus, l'ordre de récurrence qui ne peut pas être compatible avec la congruence, est rendu protecteur, c'est-à-dire qu'il bloque l'application de la congruence. La preuve par récurrence par réécriture est vue comme le résultat de l'internalisation en déduction modulo des hypothèses de récurrence, ce qui permet d'expliquer certains comportements de la méthode de récurrence par réécritureMethods and systems for proof by induction are very different. The most general methods are difficult to automatize. Automated systems are sometimes difficult to justify. This thesis establishes at proof level a link between noetherian induction and induction bt rewriting, which will enable systems to cooperate in a skeptical mode in which the proof is verified thanks to the Curry-Howard isomorphism. The formalism of deduction modulo is extended to conditional congruences which are evaluated with respect to a context. Moreover,the induction ordering, which cannot be compatible with the congruence, is made protective, which means that it blocks the application of the congruence. Proof by induction by rewriting is seen as the result of the internalization of induction hypotheses in deduction modulo, which enables to explain some of the behavior of the induction by rewriting method
31
Meyer, Christophe. "Le système doctrinal des aliments : contribution à la théorie générale de l'obligation alimentaire légale." Paris 10, 2003. http://www.theses.fr/2003PA100159.
Full textAbstract:
L'objectif principal d'une étude historique des aliments consiste en une recherche des origines et des structures de l'obligation alimentaire légale française. La convergence des solutions reste cependant telle que l'identité de structure de l'institution alimentaire en droit occidental ne laisse de surprendre. Même lorsque l'on sort des systèmes juridiques de tradition fortement romaine pour observer le régime de l'obligation alimentaire légale en common law ou en droit socialiste. En effet, dans tous les cas. Elle est toujours présentée comme une obligation légale, réciproque, variable et pécuniaire, de fourniture du nécessaire vital au sein d'un cercle restreint d'intimes, proportionnée aux facultés et besoins respectifs des parties, et assortie d'un régime fortement dérogatoire au droit commun. L'étude tend ainsi à démontrer que l'institution alimentaire légale est mue essentiellement par une idée de faveur. Sans doute inspirée du favor testamenti romain, consistant à interpréter l'obligation alimentaire systématiquement en faveur de la créance d'aliments : de son existence aussi bien que de son exécution ou de la rapidité da la prestation. De telle sorte que la considération que l'institution a été construite entièrement in favorem peut expliquer la majeur partie de ses caractères exorbitants des principes juridiques classiques. De même qu'elle explique aussi que l'encadrement dogmatique de l'institution contemporaine n'ait pas réussit à rendre compte de la nature de l'obligation alimentaire de façon satisfaisante : il ne s'agit pas d'une obligation civile de source légale, mais d'une obligation naturelle de source directement romaine, de celle qui pouvaient être protégées par le droit positif à l'origine, mais ne comportait ni actio, ni obligatio, à proprement parler. De la même façon. Cette obligation ni réciproque, ni synallagmatique, il s'agit en réalité d'un faisceau de devoirs. Qui sont familiaux et unilatérauxHistorians of national lega1 systems are often, by and large, balkanized. They study, explain. And trace the history of their own legal systems ; and though they may speak about learned law, it's only with a cursory nod in the direction of the Jus commune. An approach method of this kind cannot be appropriated for such a question as the alimenta ex lege. Actually, every contemporary legal system knows a maintenance institution, with quite the same structure. Not only for those legislations with strong roman tradition, like the French one, but also in common law and even in the former and actual socialist systems. This study will show that the legal duty of maintenance is in fact moved by the essential idea of an interpretation of the debt in fovorem : in favour of the existence of the debt, of it's execution or of the fastness of the execution. This consideration could explain most part of the very special characters of this institution. The same way that it could explain why the modern doctrine remains quite confused when it deals with this institution. It seams that the modern lawyers misunderstood the meaning of maintenance, because they misread the leaned law treaties and mingled the roman obligatio naturalis of maintenance with a modern civilian obligation
32
Coutte, Alexandre. "Implications d'une conception de l'attention comme système sensorimoteur multimodal." Nice, 2011. http://www.theses.fr/2011NICE2010.
Full textAbstract:
Parmi les théories qui modélisent l’influence de la motricité sur l’orientation attentionnelle, la théorie prémotrice de l’attention (Rizzolatti et Craighero, 1998) suppose qu’orienter son attention vers un objet repose sur les mêmes mécanismes que ceux qui permettent de réaliser un geste d’atteinte de cet objet. Ce travail vise à examiner les implications théoriques et heuristiques de cette approche en l’articulant aux champs thématiques du lien entre perception et action, de la coordination entre couples sensorimoteurs et de la construction d’une representation de l’espace. Plus précisément, nous avons mené six expériences basées sur le paradigme de l’amorçage motorovisuel. L’objectif était d’étudier l’influence de la préparation d’un geste (manuel ou oculaire) sur les performances (temps de réponse, taux de bonnes réponses et mouvements oculaires) à une recherche de cible (visuelle ou tactile) réalisée simultanément. Nos résultats montrent que le début d’une recherche visuelle est influencé à la fois par la direction des atteintes manuelles simultanément préparées et par la latéralité manuelle des participants. Cette influence du geste manuel préparé varie en fonction de la séquence comportementale dont ce geste préparé fait partie, mais aussi en fonction de la saillance de la cible de la recherche : une capture attentionnelle et/ou oculaire peut annuler l’effet de la préparation manuelle. Symétriquement, nos résultats montrent également que les performances à une recherche tactile sont influencées par la direction d’une saccade oculaire simultanément préparée. Tous ces effets ont été observés en dépit de tout recouvrement spatial entre la destination du geste préparé et la localisation de la cible. De façon générale, les travaux présentés dans cette thèse soulignent la nécessité d’envisager la notion d’attention dans une perspective sensorimotrice mettant en avant le couplage dynamique entre action et perceptionAmong theoretical models dealing with the influence of motor processes on attentional orientation, premotor attention theory (Rizzolatti and Craighero, 1998) assumes that orienting attention toward an object is underlain by the processes allowing to reach this object. This work aims at examining this approach’s theoretical and heuristic implications by articulating it to the thematic fields of the link between perception and action, the sensorimotor couples coordination and the space construction. We carried out six experiments based on the motor-visual priming paradigm. The goal was to study the influence of a reach preparation (manual or ocular) on performances (response times, responses accuracy rates, ocular movements) in simultaneously realized target search tasks (visual or tactile). Our results show that the beginning of a visual target search is influenced by both the direction of the simultaneously prepared manual reach and the manual laterality of participants. This influence of the prepared manual reach varies according to the behavioral sequence in which this manual reach takes place, and according to the target saliency : an attentional and/or ocular capture disrupts the effect of the manual preparation. Symmetrically, our results also show that the tactile search performances are influenced by the direction of a simultaneously prepared ocular saccade. All these effects are observed without any spatial overlapping between the prepared movement’s destination and the target’s location. Generally speaking, the studies presented in this thesis underline the necessity of considering the concept of attention in a sensori-motor way that brings up the question of the dynamic coupling between action and perception
33
Cuénin, Tidiane. "Une méthodologie de prédiction des performances d'un système d'impression." Paris 6, 2010. http://www.theses.fr/2010PA066160.
Full textAbstract:
L’analyse des performances des systèmes d’impression est un enjeu important pour la société Océ, spécialiste de solutions d’impression pour les professionnels de la reprographie et de l’impression numérique. L’architecture des systèmes d’impression est complexe, compte tenu de la diversité des formats de documents traités, des matériels et des fonctionnalités. C’est dans le contexte de l’évolution rapide de ces systèmes que les architectes chargés de leur conception doivent répondre à la question suivante : « Est-il possible de prédire les performances d'une nouvelle architecture sans effectuer de tests grandeur nature et si oui, jusqu'à quel point ? » En exploitant l’analogie existante entre les systèmes informatiques et les systèmes d’impression, nous avons élaboré une solution de modélisation fondée sur la théorie des files d’attente. La démarche proposée s’intègre dans le processus de conception des produits d’Océ et propose des modèles de performance robustes, adaptés aux systèmes d’impression. La méthode utilisée fait appel à la résolution analytique d’un réseau de files d’attente pour caractériser la plate forme matérielle utilisée et à celle d’un graphe d’exécution qui cible le comportement logiciel du système. Une simulation mettant en correspondance ces deux modèles, permet d’approfondir l’étude du système. Nous proposons pour les graphes d’exécution, un formalisme graphique générique, précis et intuitif. Nous avons validé nos modèles de performance pour deux architectures différentes de système d’impression. Une étude statistique a permis de dégager un indice de confiance sur les résultats et de mieux cerner la sensibilité des modèles aux facteurs expérimentaux.
34
Dodane, Olivier. "Théorèmes de Petri pour les courbes stables et dégénérescence du système d'équations du plongement canonique." Strasbourg, 2009. https://publication-theses.unistra.fr/public/theses_doctorat/2009/DODANE_Olivier_2009.pdf.
Full textAbstract:
Le théorème de Petri affirme que l'image canonique d'une courbe lisse non hyperelliptique de genre g>=4 définie sur un corps algébriquement clos est une intersection d'hypersurfaces quadriques et cubiques. De plus, on peut exhiber un système d'équations pour cette image; il s'agit ici de résultats de Petri (1923) transcrits dans le langage moderne par Saint-Donat (1973). On sait par ailleurs que l'espace des modules des courbes lisses n'est pas propre, son bord étant constitué des courbes stables. C'est pourquoi il est naturel de chercher des énoncés similaires valables pour les courbes stables et d'examiner la dégénérescence du système d'équations d'une courbe lisse vers une courbe stable. Dans cette thèse, on envisage d'une part le cas d'une courbe stable ayant un seul point double ordinaire et dont la normalisée est hyperelliptique, et d'autre part le cas d'une courbe stable dont le graphe est planaire. De plus, on entreprend l'étude du plongement canonique d'une courbe stable définie sur un anneau de valuation discrète. Quel que soit le contexte, la méthode employée pour aboutir à des théorèmes de Petri est la suivante: -- description du faisceau canonique et construction d'une base bien adaptée de l'espace de ses sections globales; -- construction de quadriques et cubiques dans l'idéal canonique; -- démonstration que ces éléments engendrent l'idéal canonique. Ce mémoire contient également de nouveaux éléments biographiques concernant le mathématicien allemand Karl Petri. [http://tel. Archives-ouvertes. Fr]Petri's theorem states that the canonical image of a nonhyperelliptic smooth curve of genus g>=4 defined over an algebraically closed field is an intersection of quadrics and cubics. Moreover, one can exhibit a system of equations for this image. These results are due to Petri (1923) and were generalized and transcribed in modern language by Saint-Donat (1973). The moduli space of smooth curves is not proper and can be completed by adding stable curves. It is therefore natural to search for generalizations of Petri's theorem for stable curves and to examine questions of degeneracy. In this thesis, we consider on the one hand the case of a stable curve with one singular point and whose normalization is hyperelliptic, and on the other hand the case of a stable curve whose graph is planar. Moreover, we undertake the canonical embedding of a stable curve defined over a discrete valuation ring. The general method consists in: -- describing the canonical sheaf and constructing a well adapted basis for the space of its global sections; -- constructing quadrics and cubics in the canonical ideal; -- proving that these equations generate the canonical ideal. The text also contains new biographical indications concerning the german mathematician Karl Petri. [http://tel. Archives-ouvertes. Fr]
35
Buisson, Jean-Christophe. "TOULMED, un générateur de systèmes-experts qui prend en compte l'imprécision et l'incertitude des connaissances : développement du système DIABETO pour l'aide aux soins des diabétiques." Toulouse, INPT, 1987. http://www.theses.fr/1987INPT048H.
Full text
36
Lique, François. "Excitation collisionnelle de molécules d'intérêt astrophysique : théorie et interprétation d'observations." Paris 6, 2006. https://tel.archives-ouvertes.fr/tel-00172004.
Full text
37
Nguyen, Xuan Son. "Etude du comportement critique à l'aide de la théorie des champs conformes : des systèmes désordonnés aux systèmes couplés." Paris 6, 2003. http://www.theses.fr/2003PA066238.
Full text
38
Cartigny, Pierre. "Bifurcation d'orbites périodiques d'un système hamiltonien au voisinage d'une position d'équilibre." Lyon 1, 1985. http://www.theses.fr/1985LYO11633.
Full textAbstract:
On etudie la bifurcation d'une orbite periodique en une orbite periodique double; por cela on ramene l'etude de cette bifurcation a un modele en dimension deux et on etudie ce modele. On decrit une methode qui permet de calculer certains nombres caracteristiques d'une orbite periodique d'un systeme hamiltonien; on utilise pour cela un theoreme de j. Moser sur l'existence d'orbites periodiques au voisinage d'une position d'equilibre. On se sert de ces resultats pour etudier un phenomene observe dans un modele en astronomie; dans celui-ci qui est une perturbation d'un systeme hamiltonien completement integrable, par des calculs sur ordinateur, il a ete obtenu deux familles d'orbites periodiques de periode 1 et 2 respectivement; il semblait d'autre part que l'on pouvait passer de l'une a l'autre de ces famillles par une bifurcation. On montre que le resultat conjecture est exact
39
Cuenot, Jean-Baptiste. "Système optoélectronique de communication sécurisé par chaos en longueur d'onde." Besançon, 2002. http://www.theses.fr/2002BESA2003.
Full textAbstract:
L'étude des phénomènes non linéaires chaotiques trouve une application dans le domaine des télécommunications, à travers la synchronisation de systèmes chaotiques. La possibilité de reproduire un signal chaotique dont l'évolution temporelle est pseudo-aléatoire est utilisée pour construire un système de communication sécurisé. Le système optoélectronique étudié dans ces travaux est constitué d'un émetteur, qui génère un signal optique de longueur d'onde chaotique, et d'un récepteur qui reproduit ce même signal. Les composants principaux du générateur de chaos sont une diode laser DBR accordable en longueur d'onde, un filtre spectral optique et une ligne à retard électronique. Dans ce manuscrit, nous présentons les différents types de comportement dynamiques de la longueur d'onde émise par cet oscillateur chaotique. Nous étudions ensuite la sensibilité de synchronisation du récepteur avec l'émetteur en fonction des différents paramètres du système, qui représentent la clé de cryptage. . .
40
Fianyo, Yawa Edem. "Couplage de modèles à l'aide d'agents : le système OSIRIS." Paris 9, 2001. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=2001PA090019.
Full textAbstract:
Le but de notre recherche est de contribuer à la réflexion sur le couplage de modèles dans l'étude par simulation de systèmes complexes en écologie. Les modèles numériques de simulation représentent la dynamique de processus particuliers, étudiés à des résolutions d'espace et de temps donnés. Pour comprendre la dynamique globale d'un système complexe soumis à l'action de différents processus, l'intégration des connaissances apportées par les modèles numériques lorsqu'elle est réalisée par couplage de ces modèles permet un gain de temps et et la réutilisation des savoirs déjà validés. Cette démarche pose cependant un ensemble de problèmes ouverts relatifs à la coexistence cohérente de différents logiciels conçus indépendamment. Nous proposons une architecture de couplage, le système OSIRIS, qui permet l'intégration sans modification préalable de différents modèles numériques sur un système d'étude particulier. Cette architecture se base sur différents mécanismes : les contrôleurs de temps permettent la coordination temporelle des différents modèles numériques évoluant dans le système ; les fonctions de correspondance autorisent la manipulation d'une même information selon différentes optiques (ou perspective ou point de vue), les agents de contrôle, construits suivant l'architecture proposée par la plate-forme ZEUS, garantissent le respect des régles de fonctionnement des modèles. Nous appliquons ces différents mécanismes au couplage du modèle LEACHM modélisant le processus d'infiltration avec le modèle de nappe MOC dans le cadre d'une étude de la dynamique saline d'une région irriguée. Les mécanismes proposés dans cette thèse peuvent être utilisés de façon plus générale dans une démarche d'intégration de modèles hétérogènes à des fins d'étude de systèmes complexes. La réalisation de cette possibilité ainsi que le positionnement d'un tel outil par rapport aux systèmes d'informations géographiques constituent les perspectives de recherche de nos travaux.
41
Debaillon, Pierre. "Système de modélisation de l'enfoncement dynamique des bateaux." Compiègne, 2005. http://www.theses.fr/2005COMP1566.
Full textAbstract:
L'objectif de la thèse est de présenter un outil permettant de déterminer le surenfoncement des bateaux. Il repose sur un couplage de trois modèles numériques aux éléments finis, reproduisant le processus réel du phénomène. Un modèle fournit le champ de pression, fonction de la vitesse du bateau. Un second modèle en déduit un déplacement de la carène résultant d'un bilan des forces et des moments impliqués. Le dernier modèle met à jour le maillage pour un nouveau cycle de calcul. Le système boucle tant que le modèle d'équilibre déplace la carèneThe aim of the thesis is to present a tool to be able to calculate ship squat. It consists of an association of three numerical models in finite elements, reproducing the process of the phenomenon. A first model calculates the pressure field, function of the ship speed. Then a second model, with this pressure field, moves the vessel following a force and momentum result. The last model updates the mesh for a new cycle. The system is running as long as the equilibrium model moves the vessel
42
Mokhtari, Amine. "Système personnalisé de planification d'itinéraire unimodal : une approche basée sur la théorie des ensembles flous." Rennes 1, 2011. http://www.theses.fr/2011REN1E004.
Full textAbstract:
Dans cette thèse, nous présentons un ensemble de contributions destinées à la définition d’une nouvelle génération de systèmes de planification d’itinéraire unimodal, capable de prendre en charge des préférences utilisateur complexes. La théorie des ensembles flous a été utilisée comme socle formel pour nos contributions. La première est une typologie des préférences utilisateur ayant du sens dans le cadre d’un déplacement unimodal. La nature bipolaire des préférences utilisateur dans un tel contexte est aussi discutée et prise en considération. Notre seconde contribution porte sur un langage fondé sur le calcul relationnel de tuples, RPQL, permettant la formulation de requêtes bipolaires de planification d’itinéraire avec préférences. Une approche permettant d’augmenter une requête avec de nouvelles préférences, déduites du contexte de l’utilisateur, constitue notre troisième contribution. Par ailleurs, l’architecture d’un système personnalisé de planification d’itinéraire a été proposée, ainsi qu’une approche efficace pour l’évaluation de requêtes de planification avec préférences. Enfin, des résultats expérimentaux, issus d’une plateforme de test mettant en œuvre notre système, sont présentés et discutés.
43
Bisquert, Pierre. "Étude du changement en argumentation : de la théorie à la pratique." Toulouse 3, 2013. http://thesesups.ups-tlse.fr/2272/.
Full textAbstract:
L'argumentation, au sens de l'intelligence artificielle, est un formalisme permettant de raisonner à partir d'informations incomplètes et/ou contradictoires ainsi que de modéliser un échange d'arguments entre plusieurs agents. Un système d'argumentation consiste généralement en un ensemble d'arguments interagissant les uns avec les autres, et duquel il est possible d'extraire un ou plusieurs points de vue cohérents. Dans cette thèse, nous nous plaçons dans le cadre de l'argumentation abstraite dans lequel les arguments sont manipulés en tant qu'entités abstraites dont le sens nous est inconnu et dans lequel les interactions représentent des conflits. Ceci nous permet de nous concentrer sur le point particulier de la dynamique dans les systèmes d'argumentation abstraits, c'est-à-dire les changements pouvant impacter ces systèmes, notamment dans le cadre d'un dialogue. Nous commençons par justifier l'intérêt d'un tel cadre formel puis nous nous intéressons au comment et au pourquoi du changement en argumentation abstraite. Le comment est approché en établissant une liste des modifications que peut subir un système d'argumentation et en étudiant sous quelles conditions elles peuvent survenir. Le pourquoi est abordé par l'introduction de la notion de but motivant un changement et le choix du meilleur changement à faire pour satisfaire un but en prenant en considération des contraintes portant sur l'agent à convaincre. Enfin, nous concrétisons notre étude en proposant un outil logiciel implémentant les notions introduites et nous étudions ses performancesArgumentation, in the field of artificial intelligence, is a formalism allowing to reason with incomplete and/or contradictory information as well as to model an exchange of arguments between several agents. An argumentation system usually consists of a set of arguments interacting with each other, and from which it is possible to extract one or several consistent points of view. In this thesis, we are mainly concerned with the abstract argumentation in which arguments are handled as abstract entities whose meaning is unknown and in which the interactions represent conflicts. This allows us to focus on the particular point of the dynamics in abstract argumentation systems, that is to say the changes that could impact these systems, particularly in the context of a dialogue. We start with justifying the interest of such a formal framework, then we study the how and the why of change in abstract argumentation. The how is tackled by establishing a list of changes that an argumentation system can undergo and by studying the conditions under which they may occur. The why is addressed by introducing the notion of goal motivating a change and by choosing the best change to make in order to satisfy a goal, taking into account constraints on the agent to convince. Finally, we make our study concrete by proposing a tool that implements the concepts introduced and we study its performance
44
Doumbouya, Mamadou Bilo. "Système d'argumentation pour la collaboration en télémédecine." Thesis, Toulouse 1, 2016. http://www.theses.fr/2016TOU10030/document.
Full textAbstract:
La télémédecine consiste en la pratique d’actes médicaux à distance par l’usage des nouvelles technologies de l’information et de la communication. Parmi ces actes médicaux, nous nous sommes intéressés à la téléexpertise qui est une sorte d’activité collaborative consistant aux recueils d’avis d’experts médicaux face à un problème de santé donné. Dans notre travail, nous avons fait le choix de modéliser ces activités collaboratives par le système d’argumentation de Dung basé sur des fondements mathématiques et qui permet d’illustrer les interactions entre les différentes parties prenantes et par la même occasion fournir des outils mathématiques de prises de décisions. Nous avons opté pour une modélisation sémantique avec des graphes conceptuels car l’un de nos objectifs est de garantir une interopérabilité sémantique. Cette modélisation peut inclure souvent des incohérences (mauvaises relations d’attaques dans le système d’argumentation) qui seront vérifiées par l’usage des contraintes en graphes conceptuels. Pour résoudre ces problèmes d’incohérences deux solutions majeures ont été proposées : (i) la pondération des arguments des différents professionnels de santé, (ii) la modélisation de quelques aspects de droit médical comme contraintes. Ce travail démontre une application informatique du raisonnement logique dans un cadre médical judiciaire où il apporte des éclairages sur la vérification d’information, l’argumentation et l’interaction. Il vise ainsi à garantir une bonne collaboration dans le but de se prémunir d’éventuelles conséquences financières et juridiquesTelemedicine involves the practice of medical procedures remotely through the use of new information and communications technology. Among these medical procedures, we looked at the tele-expertise which is a kind of collaborative activity consisting of collecting the opinions of medical experts facing a particular health problem. In our work, we have chosen to model these collaborative activities by Dung argumentation system based on mathematical foundations and illustrates the interactions between the different stakeholders and at the same time provides mathematical tools decisions. We opted for a semantic modeling with conceptual graphs as one of our objectives is to ensure semantic interoperability. This modeling can often include inconsistencies (poor relations of attacks in argumentation system) which will be verified by the use of constraints in conceptual graphs. To solve these inconsistency problems, two major solutions have been proposed : (i) the weight of the arguments of different health professionals, (ii) modeling some aspects of medical law as constraints. This work demonstrates a computer application of logical reasoning in a judicial medical setting where it sheds light on the verification of information, argumentation and interaction. It aims to ensure good cooperation in order to guard against possible financial and legal consequences
45
Jarrín, Oscar. "Descriptions déterministes de la turbulence dans les équations de Navier-Stokes." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLE010/document.
Full textAbstract:
Cette thèse est consacrée à l'étude déterministe de la turbulence dans les équations de Navier-Stokes; et elle est divisée en quatre chapitres indépendants.Le premier chapitre s'agit d'une discussion rigoureuse sur l'étude la loi de dissipation d'énergie, proposée par théorie de la turbulence K41, dans le cadre déterministe des équations de Navier-Stokes homogènes et incompressibles, avec une force externe stationnaire (la force ne dépende que de la variable spatiale) et posées sur l'espace tout entier. Le but de ce chapitre est de mettre en évidence le fait que si nous considérons les équations de Navier-Stokes posées sur l'espace alors certains quantités physiques, nécessaires pour l'étude de la loi de dissipation de Kolmogorov, n'ont pas une définition rigoureuse et alors pour donner un sens à ces quantités on propose de considérer les équations de Navier-Stokes mais avec un terme additionnel d'amortissement . Dans le cadre de ces équations de Navier-Stokes amorties, on obtient des estimations du taux de dissipation d'énergie selon la loi de dissipation de Kolmogorov.Dans le deuxième chapitre on s'intéresse à l'étude des solutions stationnaires des équations de Navier-Stokes amorties introduites dans le chapitre précédent. Ces solutions stationnaires correspondent à un type particulier des solutions qui ne dépendent que de la variable d'espace: la motivation pour étudier ces solutions stationnaires étant donné que la force externe que nous considérons tout au long de cette thèse est une fonction stationnaire. Dans ce chapitre on étudie essentiellement deux propriétés des solutions stationnaires: la première propriété correspond à la stabilité de ces solutions où on montre que si l'on contrôle la force externe des équations de Navier-Stokes amorties alors toute solution non stationnaire (qui dépend de la variable d'espace et aussi de la variable de temps) converge vers une solution stationnaire lorsque le temps tend à l'infini. La deuxième propriété porte sur l'étude de la décroissance en variable spatiale des ces solutions stationnaires.Dans le troisième chapitre on continue à étudier les solutions stationnaires des équations de Navier-Stokes, mais cette fois-ci on considère les équations de Navier-Stokes classiques (sans aucun terme d'amortissement) . Le but de ce chapitre est d'étudier un tout autre problème relié à l'étude déterministe de la turbulence et qui porte sur la décroissance de la transformée de Fourier des solutions stationnaires. En effet, selon la théorie de la turbulence K41, si le fluide est en régime laminaire on s'attend à observer une décroissance exponentielle de la transformée de Fourier des solutions stationnaires et cette décroissance à lieu dès les bases fréquences, tandis que si le fluide est en régime turbulent alors on s'attend à observer cette même décroissance exponentielle mais seulement aux hautes fréquences. Ainsi, à l'aide des outils de l'analyse de Fourier, dans ce chapitre on donne des descriptions précises sur cette décroissance exponentielle fréquentiel (dans le régime laminaire et dans le régime turbulent) des solutions stationnaires.Dans le quatrième et dernier chapitre on revient aux solutions stationnaires des équations de Navier-Stokes (on considère toujours les équations classiques) et on étude l'unicité de ces solutions dans le cas particulier où la force externe est nulle. En suivant essentiellement quelques idées des travaux précédents de G. Seregin, on étudie l'unicité des ces solutions tout d'abord dans les cadres des espaces de Lebesgue et ensuite dans le cadre plus général des espaces de MorreyThis PhD thesis is devoted to deterministic study of the turbulence in the Navier-Stokes equations. The thesis is divided in four independent chapters.The first chapter involves a rigorous discussion about the energy's dissipation law, proposed by theory of the turbulence K41, in the deterministic setting of the homogeneous and incompressible Navier-Stokes equations, with a stationary external force (the force only depends of the spatial variable) and on the whole space. The energy's dissipation law, also called the Kolmogorov's dissipation law, characterizes the energy's dissipation rate (in the form of heat) of a turbulent fluid and this law was developed by A.N. Kolmogorov in 1941. However, its deduction (which uses mainly tools of statistics) is not fully understood until our days and then an active research area consists in studying this law in the rigorous framework of the Navier-Stokes equations which describe in a mathematical way the fluids motion and in particular the movement of turbulent fluids. In this setting, the purpose of this chapter is to highlight the fact that if we consider the Navier-Stokes equations on the whole space then certain physical quantities, necessary for the study of the Kolmogorov's dissipation law, have no a rigorous definition and then to give a sense to these quantities we suggest to consider the Navier-Stokes equations with an additional damping term. In the framework of these damped equations, we obtain some estimates for the energy's dissipation rate according to the Kolmogorov's dissipation law.In the second chapter we are interested in study the stationary solutions of the damped Navier-Stokes introduced in the previous chapter. These stationary solutions are a particular type of solutions which do not depend of the temporal variable and their study is motivated by the fact that we always consider the Navier-Stokes equations with a stationary external force. In this chapter we study two properties of the stationary solutions: the first property concerns the stability of these solutions where we prove that if we have a control on the external force then all non stationary solution (with depends of both spatial and temporal variables) converges toward a stationary solution. The second property concerns the decay in spatial variable of the stationary solutions. These properties of stationary solutions are a consequence of the damping term introduced in the Navier-Stokes equations.In the third chapter we still study the stationary solutions of Navier-Stokes equations but now we consider the classical equations (without any additional damping term). The purpose of this chapter is to study an other problem related to the deterministic description of the turbulence: the frequency decay of the stationary solutions. Indeed, according to the K41 theory, if the fluid is in a laminar setting then the stationary solutions of the Navier-Stokes equations must exhibit a exponential frequency decay which starts at lows frequencies. But, if the fluid is in a turbulent setting then this exponential frequency decay must be observed only at highs frequencies. In this chapter, using some Fourier analysis tools, we give a precise description of this exponential frequency decay in the laminar and in the turbulent setting.In the fourth and last chapter we return to the stationary solutions of the classical Navier-Stokes equations and we study the uniqueness of these solutions in the particular case without any external force. Following some ideas of G. Seregin, we study the uniqueness of these solutions first in the framework of Lebesgue spaces of and then in the a general framework of Morrey spaces
46
Allombert, Bill. "Théorie de Galois effective pour les corps de nombres et les corps finis : Développement du système PARI." Bordeaux 1, 2001. http://www.theses.fr/2001BOR12450.
Full textAbstract:
Je rappelle différentes façons de représenter les nombres algébriques et les mor-phismes entre les corps de nombres. Ensuite, je donne des algorithmes pour résoudre plusieurs problèmes liés à la théorie de Galois, dont le calcul du corps fixé par un sous-groupe du groupe de Galois. Troisièmement, je donne un al-gorithme efficace pour la détermination des isomorphismes explicites entre les corps finis utilisant les théories de Kummer et d'Artin-Schreier. Quatrièmement je détaille un algorithme pour le calcul des automorphismes d'une extension galoisienne de groupe de Galois " faiblement " hyper-résoluble. En dernière partie, je décris l'architecture du compilateur GP2C qui permet la mise en oeuvre efficace d'algorithmes pour la théorie des nombres.
47
Nguema, Ndong Florent. "Étude de la dynamique symbolique des développements en base négative, système de Lyndon." Thesis, Poitiers, 2013. http://www.theses.fr/2013POIT2276/document.
Full textAbstract:
Ce travail est consacré à l'étude de systèmes de Lyndon (pour la relation d'ordre alterné) et àla dynamique symbolique des développements des nombres en base négative. Pour un réel ß > 1fixé, nous construisons un code préfixe récurrent positif permettant non seulement de montrerl'intrinsèque ergodicité du —ß-shift mais aussi de déterminer la fonction zêta qui lui est associée.Nous étudions les conditions pour lesquelles le —ß-shift possède la spécification.En outre, lorsque ß est strictement plus petit que le nombre d'or, le langage du —ß-shift admet desmots intransitifs. Cet état de fait engendre dans le système dynamique des cylindres négligeablespar rapport à la mesure d'entropie maximale. Ces cylindres génèrent sur Iß=[—ß/(ß+1),1/(ß+1)[ depetits intervalles de mesure nulle (la mesure considérée étant l'unique mesure ergodique sur Iß).Nous en faisons une étude détaillée, en particulier nous déterminons ces intervalles "trous".Par ailleurs, nous étudions l'unicité des systèmes de numération des entiers relatifs en base négative et nous montrons qu'à chaque mot de Lyndon correspond un tel systèmeThis work deals with the study of the Lyndon systems (for alternate order) and the symbolicdynamics of the expansions of real numbers in negative base. For a given real ß > 1, we showthe intrinsic ergodicity of the —ß-shift using a positive recurring prefix code and we determine theassociated zeta function. We study the conditions for which the —ß-shift admits the specificationproperty.Moreover, when ß is less than golden ratio, the language of the —ß-shift contains intransitive words.These words lead to some cylinders negligible with respect to the measure with maximal entropy.In the interval Iß=[—ß/(ß+1),1/(ß+1)[, these cylinders correspond to some gaps: small interval withmeasure zero (with respect to the unique ergodic measure on Iß). We make a detailed study ofthese gaps.Otherwise, we study the uniqueness of the number systems of integers in negative base and weshow that to each Lyndon word corresponds to a such system
48
Ausfelder, Christian. "Contribution à la conception d'un système de conduite pour les systèmes flexibles de production manufacturière : modélisation et validation de la commande." Lille 1, 1994. http://www.theses.fr/1994LIL10058.
Full textAbstract:
Nous presentons dans ce memoire une methode de conception et une demarche de validation de la commande de coordination des systemes flexibles de production manufacturiere (sfpm) par reseaux de petri a predicat/transition. Nous decrivons, dans le premier chapitre, les differentes fonctions necessaires a une conduite performante des sfpm qui permet d'accroitre leur disponibilite. Cette analyse est exposee en utilisant le formalisme sadt et porte essentiellement sur les liens entre la surveillance et la commande. La flexibilite existant a differents niveaux est identifiee comme caracteristique essentielle d'un sfpm permettant de reagir aux aleas d'un environnement perturbe, sans presumer de son mode d'exploitation. Cette exploitation etant a la charge de la commande de coordination, nous etablissons alors une hierarchie des modeles qui tient compte des differentes formes de flexibilite a des niveaux appropries. Les differents modeles sont generes et connectes selon une demarche descendante. Nous nous interessons davantage a la conception du modele du systeme de transport qui, structure, correspond a un synoptique representant les flux des produits dans le systeme et permet un routage individuel des produits. Le troisieme chapitre est consacre a la validation formelle des proprietes des modeles de la commande issus de la phase de generation. Elle conduit, suivant une demarche ascendante de validation, a la definition des conditions de vivacite de nos modeles. Cette condition s'exprime par une limitation de l'encours dans le sfpm en fonction de son mode operatoire.
49
Gicquel, Nathalie. "Application de l'étude des bifurcations en dynamique chaotique à un système de transmission numérique de signaux." Toulouse, INSA, 1995. http://www.theses.fr/1995ISAT0025.
Full textAbstract:
Les travaux presentes dans ce memoire concernent l'etude d'une transformation ponctuelle non inversible. Cette transformation modelise un systeme de transmission numerique de signaux: le systeme a modulation par impulsion et codage differentiel (micdif). Le codeur de ce systeme contient un quantificateur couple a un predicteur rendant le systeme recursif. Ainsi, le codeur du systeme micdif est non lineaire du fait de la caracteristique du quantificateur et ce codeur est recursif lorsque le predicteur est transverse et fixe. Dans le cas d'un systeme non lineaire recursif, la stabilite de type entree bornee - sortie bornee peut ne pas etre une condition suffisante de bon fonctionnement. En effet, le systeme peut etre le siege de phenomenes chaotiques tout en etant stable. Le chaos se manifeste alors par un signal de sortie apparemment stochastique mais produit a partir de structures et signaux deterministes. Le bon fonctionnement du systeme peut alors s'en trouver perturbe car le chaos le rend sensible aux conditions initiales c'est a dire aux erreurs de transmission. Une etude de la structure de bifurcation du systeme (pour une caracteristique du quantificateur de type polynomiale par morceaux) montre que le systeme peut etre stable au sens donne ci-dessus et conduire a transmettre des erreurs de codage importantes. Il est donc possible de determiner l'ensemble des parametres pour lesquels le systeme est stable et non chaotique, et l'influence de ces parametres sur l'erreur transmise apres codage du signal. Une determination plus precise de la structure de bifurcation au voisinage d'un cas critique est etablie a l'aide d'une methode analytique utilisant des formes normales. L'etude du plan de phase (ou plan d'etat) est faite a l'aide des varietes critiques et des varietes invariantes. Cette etude montre que la complexite des bassins d'attraction du systeme et de la forme de leur frontiere croit avec l'erreur de prediction transmise apres codage du signal
50
Poitrineau, Karine. "Evolution de la résistance aux ennemis naturels et intéractions multiples : théorie et système biologique drosophiles-parasitoi͏̈des." Montpellier 2, 2004. http://www.theses.fr/2004MON20016.
Full text