Log in

Relevant bibliographies by topics / Systèmes de calcul formel / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Systèmes de calcul formel.

Dissertations / Theses on the topic 'Systèmes de calcul formel'

Author: Grafiati

Published: 4 June 2021

Last updated: 5 February 2022

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Systèmes de calcul formel.'

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

Villard, Gilles. "Calcul formel et parallélisme : résolution de systèmes linéaires." Phd thesis, Grenoble INPG, 1988. http://tel.archives-ouvertes.fr/tel-00330440.

Full text

Abstract:

On considère la résolution exacte des systèmes linéaires en parallèle et on traite deux aspects de base du problème : le calcul du noyau d'une matrice dont les coefficients sont dans un corps fini et la résolution des systèmes à coefficients entiers. On évalue les couts des différents algorithmes proposes, en mettant l'accent sur couts des communications

APA, Harvard, Vancouver, ISO, and other styles

2

Benamara, Ahmed. "Systèmes linéaires multivariables : études algébriques, calcul formel et optimisation H[infini]." Grenoble INPG, 1993. http://www.theses.fr/1993INPG0019.

Full text

Abstract:

Dans ce memoire, des resultats concernant l'etude et la commande des systemes lineaires invariants dans le temps et de dimensions finies sont presentes. Une partie du travail est consacree a l'utilisation des proprietes algebriques des anneaux principaux pour l'etude de la structure et la commande des systemes lineaires multivariables. Une bibliotheque de procedures ecrites en calcul formel (mathematica) a ete realisee et repose sur des algorithmes originaux de calcul de pgcd et de resolution de l'identite de bezout. Dans une deuxieme partie, on presente une parametrisation systematique et com

APA, Harvard, Vancouver, ISO, and other styles

3

Dellière, Stéphane. "Triangularisation de systèmes constructibles : application à l'évaluation dynamique." Limoges, 1999. http://www.theses.fr/1999LIMO0011.

Full text

Abstract:

Une des applications des programmes de la cloture constructible dynamique est la triangularisation des systemes constructibles, i. E. Des systemes polynomiaux avec des egalites et des inegalites. Ceux-ci sont decomposes en une reunion finie de systemes constructibles triangulaires. L'un des objectifs principaux de ce travail est d'etablir un modele pertinent de ces systemes dans le cadre de l'algebre commutative. Son elaboration est guidee par les ensembles triangulaires de d. Lazard et permet d'effectuer le lien avec les travaux de p. Aubry, m. Kalkbrener, d. Lazard, m. Moreno maza et d. M. W

APA, Harvard, Vancouver, ISO, and other styles

4

Ayad, Ali. "Complexité de résolution de systèmes algébriques paramétrés." Rennes 1, 2006. https://tel.archives-ouvertes.fr/tel-00127383.

Full text

Abstract:

On présente trois algorithmes dans cette thèse. Le premier algorithme résout des systèmes polynomiaux homogènes et paramétrés zéro-dimensionnels avec un temps simplement exponentiel en le nombre n des inconnus. Cet algorithme décompose l'espace des paramètres en un nombre fini d'ensembles constructibles et calcule le nombre fini de solutions par des représentations rationnelles paramétriques uniformes sur chaque ensemble constructible. Le deuxième algorithme factorise absolument des polynômes multivariés paramétrés avec un temps simplement exponentiel en n et en la borne supérieure d de degrés

APA, Harvard, Vancouver, ISO, and other styles

5

Alloula, Karim. "Modèle de coopération entre calcul formel et calcul numérique pour la simulation et l'optimisation des systèmes." Phd thesis, Toulouse, INPT, 2007. http://oatao.univ-toulouse.fr/7673/1/alloula.pdf.

Full text

Abstract:

Après avoir étudié les collaborations établies aujourd'hui entre différents environnements de résolution de problèmes, le manuscrit propose un modèle de conception d'un système de calcul basé sur la coopération entre calcul formel et numérique. Cette coopération entre différents sous-systèmes de calcul est de type complémentaire : les rôles sont définis a priori. Suivant une démarche orientée modèle, le modèle de coopération est spécifié en UML 2.0 selon la vue structurelle et la vue comportementale. A partir du modèle conceptuel, nous définissons les règles de transformation pour produire le

APA, Harvard, Vancouver, ISO, and other styles

6

Koseleff, Pierre-Vincent. "Calcul formel pour les méthodes de lie en mécanique hamiltonienne." Palaiseau, École polytechnique, 1993. https://hal.science/tel-01435140.

Full text

Abstract:

Le but premier est la comparaison de deux méthodes de lie utilisées en théorie des perturbations en mécanique hamiltonienne: la méthode de deprit et la méthode de dragt-finn. Elles reposent sur l'utilisation de transformations canoniques (symplectiques) formelles. On étudie les liens entre ces deux approches pour conclure qu'elles conduisent, dans les cas non-résonnants, a la construction des mêmes objets (forme normale et intégrales premières formelles). On propose, par la suite, des méthodes de construction de tels objets et on observe que la méthode de dragt-finn est moins couteuse. La conn

APA, Harvard, Vancouver, ISO, and other styles

7

Cardillo-Albarràn, Juan José. "Une approche formelle pour l'optimisation de systèmes à évènements discrets." Toulouse 3, 2004. http://www.theses.fr/2004TOU30084.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Spaenlehauer, Pierre-Jean. "Résolution de systèmes multi-homogènes et déterminantiels algorithmes - complexité - applications." Paris 6, 2012. http://www.theses.fr/2012PA066467.

Full text

Abstract:

De nombreux systèmes polynomiaux multivariés apparaissant en Sciences de l'Ingénieur possèdent une structure algébrique spécifique. En particulier, les structures multi-homogènes, déterminantielles et les systèmes booléens apparaissent dans une variété d'applications. Une méthode classique pour résoudre des systèmes polynomiaux passe par le calcul d'une base de Gröbner de l'idéal associé au système. Cette thèse présente de nouveaux outils pour la résolution de tels systèmes structurés. D'une part, ces outils permettent d'obtenir sousdes hypothèses de généricité des bornes de complexité du calc

APA, Harvard, Vancouver, ISO, and other styles

9

Raksanyi, Atilla. "Utilisation du calcul formel pour l'étude des systèmes d'équations polynomiales (applications en modélisation)." Paris 9, 1986. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1986PA090011.

Full text

Abstract:

De nombreux problèmes rencontrés en modélisation peuvent se ramener au calcul du rang d'une matrice, ou à la résolution d'un système d'équations polynomiales. C'est le cas pour l'étude des propriétés structurelles de commandabilité, d'observabilité, d'identifiable et de discernabilise de modelés paramétrés. Les langages de calcul formel sur ordinateur sont particulièrement adaptes à leur résolution.

APA, Harvard, Vancouver, ISO, and other styles

10

Morin, Guillaume. "Calcul moulien et théorie des formes normales classiques et renormalisées." Phd thesis, Observatoire de Paris, 2010. http://tel.archives-ouvertes.fr/tel-00521709.

Full text

Abstract:

La première partie de cette thèse présente le cadre des équations différen- tielles à retard. Ces équations apparaissent notamment dans des modélisations de phénomènes physiques (calcul de marées) et physiologiques. La recherche de forme normale d'équation différentielle à retard est rendue difficile du fait de la dimension infinie de l'espace des conditions initiales. On présente une méthode de calcul due à T. Faria qui permet de réduire cette difficulté en utilisant des variétés centrales de dimension finie, sur lesquelles on peut faire un calcul de forme normale « classique ». On étend ensu

APA, Harvard, Vancouver, ISO, and other styles

11

Boussemart, Frédéric. "La simulation graphique interactive des systèmes dynamiques non linéaires : conception et réalisation en Scratchpad." Lille 1, 1992. http://www.theses.fr/1992LIL10037.

Full text

Abstract:

Le but de ce travail est de développer, à l'aide du système de calcul formel Scratchpad, des outils de simulation graphique pour l'étude des systèmes dynamiques non linéaires. Nous codons de tels systèmes par leur série génératrice en variables non commutatives. Leur comportement est alors déterminé par une transformation d'évaluation, appliquée ici à des approximations polynomiales ou rationnelles pour des entrées polynomiales ou polynomiales expotentielles. Les entrées et sorties sont définies par des courbes de Bézier, permettant une modification interactive des entrées par déplacement des

APA, Harvard, Vancouver, ISO, and other styles

12

SHIH, JIRUNG-ALBERT. "Sur la saturation, la stabilité des systèmes d'équations aux dérivées partielles et le calcul formel." Paris 7, 1994. http://www.theses.fr/1994PA077091.

Full text

Abstract:

Le sujet de cette these est l'etude a l'aide du calcul formel du probleme de cauchy pour un systeme d'equations aux derivees partielles. Plus precisement, nous recherchons des conditions pour que des donnees de cauchy definies sur un hypersurface soient bien posees. Notre objectif est l'obtention d'un algorithme repondant a ce probleme de decision, puis construisant explicitement le developpement de taylor des solutions. Sur un systeme vu comme zero d'une fonction definie sur un espace de jet d'ehresmann, il est possible d'effectuer une operation de saturation. Nous demontrons qu'il y a un lie

APA, Harvard, Vancouver, ISO, and other styles

13

Besançon, Gildas. "Contributions à l'étude et à l'observation des systèmes non linéaires avec recours au calcul formel." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0152.

Full text

Abstract:

Ce travail s'inscrit principalement dans le domaine de synthese d'observateurs pour systemes non lineaires et participe d'une double preoccupation: d'une part le developpement de nouvelles methodes pour l'observation des systemes, et d'autre part l'applicabilite des resultats, via quelques exemples et le recours au calcul formel. La premiere partie est plus directement dediee aux problemes d'observabilite et d'observateurs. En distinguant non uniformite et uniformite (par rapport a l'entree) des syntheses, nous proposons d'abord un observateur (non uniforme) pour une classe de systemes triangu

APA, Harvard, Vancouver, ISO, and other styles

14

Chen, Guoting. "Solutions formelles de systèmes d'équations différentielles ordinaires linéaires homogènes." Phd thesis, Grenoble 1, 1990. http://tel.archives-ouvertes.fr/tel-00338379.

Full text

Abstract:

Le travail présente dans cette thèse est un travail algorithmique portant sur deux sujets: solutions formelles des systèmes d'équations différentielles linéaires ordinaires dépendant (ou pas) d'un paramètre et opérations fondamentales pour les opérateurs différentiels. Dans la première partie: nous avons démontre la convergence d'un algorithme et développe un programme en macsyma pour le calcul de la forme de Frobenius et Jordan de matrices holomorphes. Nous avons aussi développé un algorithme et un programme en macsyma pour le calcul de formes de Arnold-Wasow de matrices et systèmes différent

APA, Harvard, Vancouver, ISO, and other styles

15

Oussous, Nour-Eddine. "Etude et traitement des séries formelles non commutatives, pour la représentation minimale des systèmes dynamiques non linéaires." Lille 1, 1988. http://www.theses.fr/1988LIL10136.

Full text

Abstract:

Étude du problème de la réalisation des systèmes dynamiques non linéaires. Il est montré que, pour tout polynôme non commutatif, on peut trouver la réalisation locale et minimale complètement polynomiale. Ces éléments consistent en une implémentation d'algorithmes permettant de construire cette réalisation. Sans l'algorithme proposé les mots de Lyndon sont utilisés pour la construction des coordonnées locales sur lesquelles seraient construites la fonction d'observation et les composantes des champs de vecteurs. L'algorithme est implémenté sur les stations de travail son avec le système de cal

APA, Harvard, Vancouver, ISO, and other styles

16

Sow, Cheickh Tidiane. "Utilisation du calcul formel dans la mécanique de Hamilton : modélisation et applications." Paris 9, 1987. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1987PA090011.

Full text

Abstract:

Macsyma est utilisé pour la construction d'un macro langage: language. Ce fichier génère automatiquement du code fortran à partir de programmes écrits dans une syntaxe proche de celle du lispo et du prolog. Un système expert est construit dans l'environnement macsyma pour la modélisation des systèmes mécaniques non bouclés. Le lien entre le calcul formel et le calcul numérique est montré. L'obtention des équations de mouvement des systèmes mécaniques se fait par la formulation lagrangienne dans macsyma et leur intégration numérique par la méthode de Gear à pas variable dans les fichiers fortra

APA, Harvard, Vancouver, ISO, and other styles

17

Del, vecchio Stefano. "Algèbres de processus dans la Ludique : une interprétation du Calcul des Systèmes Communicants." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCD075.

Full text

Abstract:

À partir des travaux dont l'objectif est d'étendre la correspondance de Curry-Howard au-delà du monde fonctionnel, et notamment aux algèbres de processus par exemple à travers la logique linéaire, on donne une contrepartie à la Curry-Howard pour le Calcul des Systèmes Communicants (CCS) de Milner, avec la ludique de Girard comme système cible<br>Starting from works aimed at extending the Curry-Howard correspondence beyond the functional world, in particular to process calculi, thorugh linear logic, we give another Curry-Howard counterpart for Milner's Calculus of Communicating Systems (CCS), b

APA, Harvard, Vancouver, ISO, and other styles

18

Petitot, Michel. "Algèbre non commutative en Scratchpad : application au problème de la réalisation minimale analytique." Lille 1, 1992. http://www.theses.fr/1992LIL10035.

Full text

Abstract:

On étudie quelques propriétés fondamentales des systèmes dynamiques non linéaires dans le but d'avoir des algorithmes effectifs et de les implanter dans un système de calcul formel de haut niveau. Le problème de la réalisation analytique minimale et celui du «motion planning» sont abordés par le biais des séries formelles en variables non commutatives. On démontre, de manière constructive, qu'une série génératrice polynomiale admet une réalisation minimale polynomiale. On présente les algorithmes de base permettant l'implantation des polynômes en variables non commutatives, les polynômes de Li

APA, Harvard, Vancouver, ISO, and other styles

19

Noiret, Céline. "Utilisation du calcul formel pour l'identifiabilité de modèles paramètriques et nouveaux algorithmes en estimation de paramètres." Compiègne, 2000. http://www.theses.fr/2000COMP1303.

Full text

Abstract:

Avant d'estimer les paramètres intervenant dans des systèmes dynamiques, linéaires ou non-linéaires, contrôlés ou non contrôlés, nous devons effectuer une étude d'identifiabilité, notion dont les différentes définitions sont rappelées dans le premier chapitre de cette thèse. Pour mener cette étude, diverses méthodes sont disponibles dans la littérature mais peu d'entre elles fournissent une caractérisation de l' identifiabilité. De plus, les calculs engendrés sont en général difficiles à mener. Un des objectifs de cette thèse a donc été de créer un logiciel quasi automatique testant l' identif

APA, Harvard, Vancouver, ISO, and other styles

20

Bostan, Alin. "Algorithmique efficace pour des opérations de base en calcul formel." Phd thesis, Ecole Polytechnique X, 2003. http://pastel.archives-ouvertes.fr/pastel-00001023.

Full text

Abstract:

Le sujet de cette thèse est la conception et l'implantation d'algorithmes efficaces pour des opérations de base en calcul formel, ainsi que leurs applications à des domaines connexes, comme la théorie algorithmique des nombres et la cryptographie. Une première partie traite de l'algorithmique de base sur les polynômes à une variable. L'outil systématiquement mis en oeuvre est une version constructive du principe de transposition de Tellegen, qui permet d'obtenir de nouveaux algorithmes pour l'évaluation multipoint et l'interpolation (dans diverses bases polynomiales et pour diverses familles d

APA, Harvard, Vancouver, ISO, and other styles

21

Gautier, Thierry. "Calcul formel et parallélisme : conception du système GIVARO et applications au calcul dans les extensions algébriques." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0072.

Full text

Abstract:

Givaro est une bibliotheque c++ de calcul formel parallele pour machine a memoire distribuee basee sur la bibliotheque d'expression du parallelisme athapascan. Dans une premiere partie de ce memoire, nous developpons les objectifs et les outils necessaires a la conception d'une bibliotheque de calcul formel pour machine parallele. Le choix d'un modele de programmation parallele permet de cerner les schemas d'algorithme parallele qui peuvent etre executes efficacement. Nous appliquons ce principe au traitement des algorithmes irreguliers, apres avoir propose une definition de cette notion. Dans

APA, Harvard, Vancouver, ISO, and other styles

22

Ait-Amirat, Youcef. "Contribution à la théorie de la structure des systèmes en automatique : application au découplage et au rejet de perturbations." Lyon 1, 1994. http://www.theses.fr/1994LYO10179.

Full text

Abstract:

Pour que la commande d'un système soit efficace, l'automaticien doit avoir une connaissance suffisante de la structure et des propriétés de ce système. Cette thèse s'inscrit d'une part dans le cadre de l'étude de la structure des systèmes, et d'autre part dans l'application de cette théorie structurelle à la recherche de solutions aux problèmes de commande. Premièrement, nous proposons une généralisation de l'algorithme de structure dont l'importance théorique dans la résolution de nombreux problèmes n'est plus à démontrer. Notre résultat consiste à montrer comment l'application de méthodes de

APA, Harvard, Vancouver, ISO, and other styles

23

Moroz, Guillaume. "Sur la décomposition réelle et algébrique des systèmes dépendant de paramètre." Paris 6, 2008. https://tel.archives-ouvertes.fr/tel-00812436.

Full text

Abstract:

Cette thèse traite des systèmes paramétrés. Ils modélisent des applications dans divers domaines, comme la robotique ou la calibration. Soit S un système paramétré. Nous cherchons à décrire les ouverts connexes U de l’espace des paramètres tels que S restreint à U admet un nombre constant de solutions réelles. En robotique, nous détectons les positions cuspidales des robots plan 3-RPR. En calibration photographique, nous décrivons le nombre de solutions réalisables du problème Perspective-3- Points. D’un point de vue théorique, nous montrons que sous certaines hypothèses, le calcul de la varié

APA, Harvard, Vancouver, ISO, and other styles

24

Châtelain, Christiane. "Une étude des séries formelles non commutatives, pour l'approximation et l'identification des systèmes dynamiques." Lille 1, 1998. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1998/50376-1998-347.pdf.

Full text

Abstract:

Le premier objet de ce memoire est de definir des outils mathematiques ou informatiques utiles au traitement des series formelles en variables non commutatives par le calcul formel : 2 presentations d'une serie formelle sont proposees, l'une par sa matrice de hankel, et l'autre par l'automate de ses residuelles. A chacune de ces presentations, nous associons un approximant de type pade de la serie. Le second objet est d'utiliser les series formelles comme outil d'approximation ou d'identification des systemes dynamiques : nous proposons 2 techniques de construction d'approximants bilineaires d

APA, Harvard, Vancouver, ISO, and other styles

25

Roch, Jean-Louis. "Calcul formel et parallélisme : l'architecture du système PAC et son arithmétique rationnelle." Phd thesis, Grenoble INPG, 1989. http://tel.archives-ouvertes.fr/tel-00334457.

Full text

Abstract:

Pac est un système de calcul formel dédié a une machine Mind massivement parallèle. Dans une première partie, l'architecture du système est décrite. Elle est illustrée par une modélisation théorique et pratique de la parallélisation du produit de deux polynômes. Le système Pac est implante sur la machine t40 de Fps (32 processeurs). Dans une deuxième partie, l'arithmétique nodale en précision infinie sur les rationnels est étudiée. Différents algorithmes sont dégagés, notamment pour la multiplication, la division et le pgcd d'entiers de taille quelconque. Une vectorisation de l'arithmétique de

APA, Harvard, Vancouver, ISO, and other styles

26

Wailly, Olivier. "Placement optimal de capteurs sur un système à modèle polynomial." Corte, 2004. http://www.theses.fr/2005CORT3091.

Full text

Abstract:

La présente thèse met en évidence une méthode novatrice dans le placement de capteurs sur un système automatisé. Cette méthode n'est applicable que sur les systèmes présentant un modèle polynomial. Cette méthode est innovante dans l'utilisation du calcul formel, et plus spécifiquement des algorithmes des bases de Groëbner. Après avoir montré comment il est possible, utile et interressant d'utiliser le calcul formel, il est développé une recherche de placement prenant en compte des critères optimums. Ainsi, des algorithmes avec critères de coût et critères de fiabilité sont élaborés<br>The pres

APA, Harvard, Vancouver, ISO, and other styles

27

Boussaada, Islam. "Contribution à l'étude des solutions périodiques et des centres isochrones des systèmes d'équations différentielles ordinaires plans." Phd thesis, Université de Rouen, 2008. http://tel.archives-ouvertes.fr/tel-00348281.

Full text

Abstract:

Le sujet global de cette thèse est l'étude des solutions périodiques des systèmes plans d'équations différentielles ordianaires. Elle est divisée en deux grandes parties.<br />La première partie, (il s'agit d'un travail publié et écrit en collaboration avec R. Chouikha) est consacré à la recherche des solutions périodiques de « l'équation de Liénard généralisée ». On démontre un théorème qui asure dans certains cas l'existence de telles solutions.<br />La seconde partie est consacré à la recherche de centres isochrones de systèmes d'équations différentielles ordinaires polynomiaux plans. Grâce

APA, Harvard, Vancouver, ISO, and other styles

28

Svartz, Jules. "Résolution de systèmes polynomiaux structurés de dimension zéro." Thesis, Paris 6, 2014. http://www.theses.fr/2014PA066621/document.

Full text

Abstract:

Les systèmes polynomiaux à plusieurs variables apparaissent naturellement dans de nombreux domaines scientifiques. Ces systèmes issus d'applications possèdent une structure algébrique spécifique. Une méthode classique pour résoudre des systèmes polynomiaux repose sur le calcul d'une base de Gröbner de l'idéal associé au système. Cette thèse présente de nouveaux outils pour la résolution de tels systèmes structurés, lorsque la structure est induite par l'action d'un groupe ou une structure monomiale particulière, qui englobent les systèmes multi-homogènes ou quasi-homogènes. D'une part, cette t

APA, Harvard, Vancouver, ISO, and other styles

29

Saadé, Joelle. "Méthodes symboliques pour les systèmes différentiels linéaires à singularité irrégulière." Thesis, Limoges, 2019. http://www.theses.fr/2019LIMO0065.

Full text

Abstract:

Cette thèse est consacrée aux méthodes symboliques de résolution locale des systèmes différentiels linéaires à coefficients dans K = C((x)), le corps des séries de Laurent, sur un corps effectif C. Plus précisément, nous nous intéressons aux algorithmes effectifs de réduction formelle. Au cours de la réduction, nous sommes amenés à introduire des extensions algébriques du corps de coefficients K (extensions algébriques de C, ramifications de la variable x) afin d’obtenir une structure plus fine. Du point de vue algorithmique, il est préférable de retarder autant que possible l’introduction de

APA, Harvard, Vancouver, ISO, and other styles

30

Corvez, Solen. "Etude de systèmes polynomiaux : contributions à la classification d'une famille de manipulateurs et au calcul des intersections de courbes A - splines : par Solen Corvez." Rennes 1, 2005. http://www.theses.fr/2005REN10020.

Full text

Abstract:

Nous nous intéressons dans cette thèse à deux problèmes issus, l'un de la robotique et l'autre du dessin assisté par ordinateur, impliquant chacun l'étude de systèmes polynomiaux. La première partie de cette thèse est dédiée à la classification d'une famille de manipulateurs sériels, suivant qu'ils puissent ou non changer de posture sans passer par une singularité. Nous présentons une méthode générale d'étude d'une large classe de systèmes polynomiaux à paramètres faisant intervenir la notion nouvelle de variété disciminante. Elle nous a permis d'obtenir une classification complète dans le cas

APA, Harvard, Vancouver, ISO, and other styles

31

Favret, Fabien. "Aide à la communication modeleurs-solveurs et contribution à l'analyse des systèmes techniques complexes." Châtenay-Malabry, Ecole centrale de Paris, 1995. http://www.theses.fr/1995ECAP0429.

Full text

Abstract:

Le Gaz de France (GDF) mène, depuis plusieurs années, des travaux de recherche dans le domaine de la CAO automatique. La CAO automatique permet non seulement la mise en œuvre de commandes (temps réel) sur des systèmes techniques existants, mais aussi de concevoir ou d'améliorer ceux-ci. La différence essentielle avec l'automatique classique réside dans la nature des modèles manipulés. Ils sont relativement fins et proches de la physique (modèles de connaissance) en CAO Automatique alors que pour les traitements classiques de l'automatique ils sont plus agrégés et réduits (modèles de représenta

APA, Harvard, Vancouver, ISO, and other styles

32

Khalil, Houssam. "Matrices structurées et matrices de Toeplitz par blocs de Toeplitz en calcul numérique et formel." Phd thesis, Université Claude Bernard - Lyon I, 2008. http://tel.archives-ouvertes.fr/tel-00306987.

Full text

Abstract:

Plusieurs problèmes en mathématiques appliquées requièrent la résolution de systèmes linéaires de très grandes tailles, et parfois ces systèmes doivent être résolus de multiples fois. Dans de tels cas, les algorithmes standards basés sur l'élimination de Gauss demandent O(n^3) opérations arithmétiques pour résoudre un système de taille n, et ce sera un handicap pour le calcul. C'est pour cela qu'on cherche à utiliser la structure pour réduire le temps de calcul.<br /><br /> La structure de Toeplitz, de Hankel, de Cauchy, de Vandermonde et d'autre structure plus générales sont bien exploitées p

APA, Harvard, Vancouver, ISO, and other styles

33

Colin, Antoine. "Théorie des invariants effective : applications à la théorie de Galois et à la résolution de systèmes algébriques : implantation en AXIOM." Palaiseau, Ecole polytechnique, 1997. http://www.theses.fr/1997EPXX0027.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Kanso, Bilal. "Modélisation et validation des systèmes informatiques complexes." Phd thesis, Ecole Centrale Paris, 2011. http://tel.archives-ouvertes.fr/tel-00650258.

Full text

Abstract:

La thèse s'inscrit dans le domaine de la modélisation et de la validation des systèmes modernes complexes. Les systèmes actuels sont en fait d'une complexité sans cesse croissante et formés de plus en plus de composants de natures différentes. Ceci rend leur processus de conception et de validation coûteux et difficile. Il semble être la simple façon permettant de faire face à cette hétérogénéité et à cette complexité est l'approche orientée composant. Suivant cette approche, le système est une entité formée par un ensemble des composants interconnectés. Les composants définissent une interfac

APA, Harvard, Vancouver, ISO, and other styles

35

Isnard, François. "Génération des équations du mouvement de systèmes polyarticulés avec prise en compte des rigidités par des multiplicateurs de Lagrange." Poitiers, 1997. http://www.theses.fr/1997POIT2344.

Full text

Abstract:

Ce memoire est consacre a la presentation d'une methode originale de generation des equations du mouvement de systemes mecaniques polyarticules (chaines). L'idee principale est de tenir compte de la rigidite des solides par des multiplicateurs de lagrange. Plutot que de reperer les elements des chaines par des parametres articulaires, nous utilisons des vecteurs translation et des matrices rotation. Ces dernieres sont regardees comme des matrices ordinaires, afin de conserver la linearite des modeles geometriques : cela facilite beaucoup la generation formelle des equations de la dynamique, qu

APA, Harvard, Vancouver, ISO, and other styles

36

Dogguy, Mehdi. "Déterminisme et Confluence dans des systèmes concurrents et synchrones." Phd thesis, Université Paris-Diderot - Paris VII, 2012. http://tel.archives-ouvertes.fr/tel-00690512.

Full text

Abstract:

Dans cette thèse, nous étudions les notions de déterminisme et de confluence dans des systèmes concurrents et synchrones. Ces derniers sont des variantes du pi-calcul qui ont été étendues avec une notion de temps. Le premier modèle étudié, le S-pi-calcul, est une extension du modèle SL où la réaction à l'absence d'un signal se fait à la fin de l'instant et où les signaux sont considérés comme des valeurs de première classe. Ce modèle utilise les signaux comme mécanisme de communication de base. Dans le cadre du S-pi-calcul, nous avons cherché à développer une théorie compositionnelle de l'équi

APA, Harvard, Vancouver, ISO, and other styles

37

Hilali, Abdelaziz. "Solutions formelles de systèmes différentiels linéaires au voisinage d'un point singulier." Habilitation à diriger des recherches, Grenoble 1, 1987. http://tel.archives-ouvertes.fr/tel-00324083.

Full text

Abstract:

On propose des algorithmes de réduction des systèmes différentiels linéaires dont les coefficients sont des séries formelles. Ces méthodes donnent une caractérisation de la singularité et construisent par le même moyen des transformations permettant la résolution du système

APA, Harvard, Vancouver, ISO, and other styles

38

Moroz, Guillaume. "Sur la décomposition réelle et algébrique des systèmes dépendant de paramètres." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2008. http://tel.archives-ouvertes.fr/tel-00812436.

Full text

Abstract:

Cette thèse traite des systèmes paramétrés. Ils modélisent des applications dans divers domaines, comme la robotique ou la calibration. Soit S un système paramétré. Nous cherchons à décrire les ouverts connexes U de l'espace des paramètres tels que S restreint à U admet un nombre constant de solutions réelles. En robotique, nous détectons les positions cuspidales des robots plan 3-RPR. En calibration photographique, nous décrivons le nombre de solutions réalisables du problème Perspective-3- Points. D'un point de vue théorique, nous montrons que sous certaines hypothèses, le calcul de la varié

APA, Harvard, Vancouver, ISO, and other styles

39

Eichenmüller, Gérard. "Réduction et intégration symbolique des systèmes d'équations différentielles non-linéaires." Phd thesis, Université Joseph Fourier (Grenoble), 2000. http://tel.archives-ouvertes.fr/tel-00006744.

Full text

Abstract:

Cette thèse traite de l'intégration et de la réduction symbolique des systèmes d'équations différentielles ordinaires non-linéaires autonomes. Ces systèmes sont étudiés localement au voisinage d'un point simple ou singulier. Pour réduire ces systèmes à une forme intégrable, nous utilisons des transformations telles que les transformations quasi-monomiales, les éclatements et des constructions de formes normales. Ces méthodes permettent d'intégrer tout système à deux dimensions et des systèmes non-nilpotents à trois dimensions. Pour les systèmes nilpotents en trois dimensions et les systèmes de

APA, Harvard, Vancouver, ISO, and other styles

40

Ayad, Ali. "Complexité de la résolution des systèmes algébriques paramétriques." Phd thesis, Université Rennes 1, 2006. http://tel.archives-ouvertes.fr/tel-00127383.

Full text

Abstract:

On présente trois algorithmes dans cette thèse: Le premier algorithme résout de systèmes polynomiaux homogènes et paramétrés zéro-dimensionnels avec un temps simplement exponentiel en le nombre n des inconnus, cet algorithme décompose l'espace des paramètres en un nombre fini d'ensembles constructibles et calcule le nombre fini de solutions par de représentations rationnelles paramétriques uniformes sur chaque ensemble constructible. Le deuxième algorithme factorise absolument de polynômes multivariés paramétrés avec un temps simplement exponentiel en n et en la borne supérieure d de degrés de

APA, Harvard, Vancouver, ISO, and other styles

41

Bennani, Mohammed. "Un superviseur à base de connaissances en synthèse d'asservissement : SuBaCoSyAs." Lille 1, 1990. http://www.theses.fr/1990LIL10129.

Full text

Abstract:

Nous présentons dans ce mémoire les différentes étapes de la réalisation d'un système à base de connaissances, d'aide à la synthèse de lois de commande, en utilisant à la fois des règles de production et des procédures numériques au travers d'une modélisation à base d'objets. Cette représentation permet des descriptions de problèmes à des niveaux de détail plus ou moins fin. Dans le premier chapitre, nous présentons les différents outils informatiques utilisés pour la synthèse de commande des systèmes d'état continu. Aussi, nous décrivons les différentes parties formant un système à base de co

APA, Harvard, Vancouver, ISO, and other styles

42

Demange, Vincent. "Vers un calcul des constructions pédagogique." Phd thesis, Université de Metz, 2012. http://tel.archives-ouvertes.fr/tel-00838147.

Full text

Abstract:

Les systèmes pédagogiques sont apparus récemment à propos des calculs propositionnels (jusqu'à l'ordre supérieur), et consistent à donner systématiquement des exemples des notions (hypothèses) introduites. Formellement, cela signifie que pour mettre un ensemble Delta de formules en hypothèse, il est requis de donner une substitution sigma telle que les instances de formules sigma(Delta) soient démontrables. Cette nécessité d'exemplification ayant été pointée du doigt par Poincaré (1913) comme relevant du bon sens: une définition d'un objet par postulat n'ayant d'intérêt que si un tel objet peu

APA, Harvard, Vancouver, ISO, and other styles

43

Yanacopoulo, Alain. "Méthode de Killingbeck-Miller et calcul formel pour les problèmes diatomiques monoélectroniques : applications aux isotopes de H+2 et aux systèmes muoniques." Lyon 1, 1991. http://www.theses.fr/1991LYO10063.

Full text

Abstract:

Des resultats experimentaux tres precis, pour les spectres rovibroniques de certains isotopes de l'ion hydrogene moleculaire, sont maintenant disponibles dans la litterature. La comparaison nouveaux resultats experimentaux/theories existantes ayant montre que l'accord n'etait pas parfait, a entraine un regain d'interet pour les etudes theoriques. L'etude presentee, a caractere essentiellement methodologique, est basee sur une approche perturbative de la resolution du probleme dicentrique monoelectronique et inclut un examen systematique de plusieurs prolemes a l'ordre zero et de plusieurs appr

APA, Harvard, Vancouver, ISO, and other styles

44

Boulier, François. "Réécriture algébrique dans les systèmes d'équations différentiellespolynomiales en vue d'applications dans les Sciences du Vivant." Habilitation à diriger des recherches, Université des Sciences et Technologie de Lille - Lille I, 2006. http://tel.archives-ouvertes.fr/tel-00137153.

Full text

Abstract:

La réécriture algébrique dans les systèmes d'équations<br />différentielles polynomiales consiste à transformer<br />un système d'équations polynomiales différentielles<br />ordinaires ou aux dérivées partielles en un système<br />équivalent, uniquement par manipulations symboliques,<br />sans essayer ni de résoudre les équations sous forme close ni<br />de les intégrer numériquement. Plusieurs algorithmes dédiés à<br />ce domaine ont été mis au point ces quinze dernières années<br />dans l'équipe « calcul formel » du LIFL, dont « Rosenfeld-Gröbner »,<br />que j'ai inventé en 1994 lors de ma t

APA, Harvard, Vancouver, ISO, and other styles

45

Ray, Rajarshi. "Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00768033.

Full text

Abstract:

Dans la conception basée sur des modèles on construit un modèle mathématique du système que l'on utilise pour concevoir le système de sorte qu'il présente les propriétés souhaitées. Pour les systèmes de sûreté critique, il peut être d'une importance capitale de vérifier ces propriétés de sûreté sur le modèle, par exemple, pour tenir compte des variations des paramètres. Le calcul d'un nombre fini de comportements du système par le biais de simulation ne suffit pas à garantir des propriétés de sécurité. Avec une analyse d'atteignabilité on peut calculer une couverture de tous les comportements

APA, Harvard, Vancouver, ISO, and other styles

46

Vassart, Nicolas. "Recherche de forme et stabilité des systèmes réticulés autocontraints : applications aux systèmes de tenségrité." Montpellier 2, 1997. http://www.theses.fr/1997MON20089.

Full text

Abstract:

Le travail presente dans ce memoire concerne la stabilite des systemes reticules statiquement et cinematiquement indetermines, ainsi que leur recherche de forme. Afin d'etudier la stabilite de ces systemes reticules, nous developpons un algorithme permettant de connaitre l'ordre de tous leurs mecanismes. Celui-ci, nous permet de presenter une methode complete pour determiner les etats d'autocontrainte stabilisant ces systemes. En l'absence de methodes de recherche de forme multi-parametree pour les systemes reticules autocontraints, nous en proposons deux bien differentes. La premiere methode

APA, Harvard, Vancouver, ISO, and other styles

47

Abbas, Hassane. "Contribution à l'étude de la réduction formelle des systèmes différentiels méromorphes linéaires." Phd thesis, Grenoble INPG, 1993. http://tel.archives-ouvertes.fr/tel-00343445.

Full text

Abstract:

Cette thèse est consacrée au calcul des solutions formelles d'un système différentiel linéaire méromorphe dans un voisinage de l'origine de c de la forme y(z)=a(z)y(z). Il est bien connu qu'une matrice fondamentale de solutions s'écrit formellement sous forme h(z)=f(z)g(z), ou f(z) est une série formelle en racine de z et g(z) est une matrice de fonctions élémentaires qui constituent des exponentiels polynomiaux en racine de z#1, puissance complexe de z##1, et puissance entière positive de log z. H. L. Turrittin et w. Wasow ont propose une methode algorithmique pour calculer h(z). Cette method

APA, Harvard, Vancouver, ISO, and other styles

48

Gil, Isabelle. "Contribution à l'algèbre linéaire formelle : formes normales de matrices et applications." Phd thesis, Grenoble INPG, 1993. http://tel.archives-ouvertes.fr/tel-00343648.

Full text

Abstract:

Cette thèse se rattache à l'algèbre linéaire formelle. Elle est composée de deux parties: la première, consacrée à l'étude des formes normales de matrices, constitue un ensemble d'outils utilisés dans la seconde qui, pour sa part, présente des méthodes matricielles de résolution de deux types de systèmes différentiels: les systèmes différentiels à coefficients constants et les systèmes différentiels ayant un point singulier régulier isolé. Dans la première partie, nous avons étudié, implémentés dans le système de calcul formel AXIOM, et comparés tant de manière théorique qu'expérimentale des a

APA, Harvard, Vancouver, ISO, and other styles

49

Pflügel, Eckhard. "Résolution symbolique des systèmes différentiels linéaires : le logiciel ISOLDE : étude théorique et réalisations." Université Joseph Fourier (Grenoble), 1998. http://www.theses.fr/1998GRE10193.

Full text

Abstract:

Dans cette thèse, nous nous intéressons à la résolution symbolique des systèmes différentiels linéaires en calcul formel. La première partie de ce document présente les aspects qui sont à la base de ce problème : la réduction formelle algorithmique d'un système au voisinage d'un point singulier irrégulier. Nous partons des notions de réductibilité donnée par Moser et sa généralisation, les formes super-irréductibles de Hilali/Wazner. Les résultats théoriques que nous donnons permettent de mieux comprendre ces notions et de préciser leur rôle dans la réduction formelle ; ils ont de plus donné l

APA, Harvard, Vancouver, ISO, and other styles

50

Mahir, Mohammed. "Sur l'intégrabilité des systèmes différentiels." Lille 1, 2005. https://pepite-depot.univ-lille.fr/RESTREINT/Th_Num/2005/50376-2005-29.pdf.

Full text

Abstract:

Le but de cette thèse est l'étude des relations entre la théorie géométrique des systèmes d'équations aux dérivées partielles (D. Spencer, D. Quillen, H. Goldschrnidt, B. Malgrange,. . . ) et l'algèbre différentielle (J. Ritt, E. Kolchin,. . . ). Les résultats principaux de cette thèse concernent les systèmes différentiels polynômiaux à coefficients dans l'anneau des fonctions analytiques ou bien polyômes sur un ouvert de Cn ou Rn. En rajoutant à un un système d'ordre k, autoréduit cohérent par rapport à un "ranking" compatible avec l'ordre total les équations obtenues en dérivant les équation

APA, Harvard, Vancouver, ISO, and other styles

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