Combinatoire, Informatique et Physique des liens anciens et étroits Quels langages communs ? Gérard H. E. Duchamp Séminaire du Laboratoire de Mathématiques.

Slides:



Advertisements
Présentations similaires
Yassine Lakhnech Prof. UJF Verimag
Advertisements

Permutations de Baxter & Orientations bipolaires planes JCB 2009 Nicolas Bonichon, Mireille Bousquet-Mélou & Eric Fusy.
S-SYSTEMS ETAPPROCHE HYBRIDE
Résolution de problèmes et logiciel de calcul symbolique
Structures de données et complexité
Présentation des programmes de terminale STG Juin 2006.
A L I M E N T A T I O N A G R I C U L T U R E E N V I R O N N E M E N T.
I. Bases de logique , théorie des ensembles
La spécialité mathématique en TS
Cosmos/Works Les chargements type PALIER
Continuité des apprentissages Ecole-Collège mars 2008 J Borréani IA-IPR mathématiques.
LES GRAPHES.
Continuité des apprentissages Ecole-CollègePavilly Novembre 2007.
Séminaire Florin Périer Alain Gély LIMOS
3x – 7 = 23 4x + 9 Algèbre Révision 36 = 4x = c2
Programmes du cycle terminal
1 Cours numéro 3 Graphes et informatique Définitions Exemple de modélisation Utilisation de ce document strictement réservée aux étudiants de l IFSIC.
Géométrie vectorielle
Double diplôme ENSA -ECN
Analyse lexicale Généralités Expressions rationnelles Automates finis
I.A. Session 2009/2010 E.P.S.I. Bordeaux – C.S.I.I – 3 ème Année – Cours n°2.
Décodage des informations
Objectif général Les compétences à développer : mettre en œuvre une recherche de façon autonome ; mener des raisonnements ; avoir une attitude critique.
Modélisation causale multiphysique
Lundi, 13 septembre 2010 Algorithmie (cours 2) Cégep de Saint- Hyacinthe Par Hugo St-Louis.
Les automates programmables (partie 1 - Les langages de programmation)
Parcours de Physique Théorique
Calcul Algébrique.
Les notions algébriques
Nouveaux programmes de mathématiques Terminales L, ES, S, STI2D, STL et cycle terminal STMG Octobre 2012.
Modélisation du robot Azimut-3
IFT Complexité et NP-complétude
Chapitre 3 Syntaxe et sémantique.
Mise en oeuvre des MMCs L'utilisation des MMCs en reconnaissance des formes s'effectue en trois étapes : définition de la topologie de la chaîne de Markov,
Effet tunnel dans les systèmes quasi-intégrables
Approches non intrusives des éléments finis stochastiques
Les définitions des termes mathématiques. Définition du mot : variable qui est sujet à varier qui est incertain (temps variable) qui est susceptible de.
IFT Complexité et NP-complétude Chapitre 0 Rappels.
Réseaux bayésiens: Inférence
METISSE Méthodes Et Théories pour une Ingénierie des Systèmes Socio- Environnementaux.
Les calculs algébriques ; un bref retour !
MATHÉMATIQUES DISCRÈTES Chapitre 1 (Section 4)
La spécialité mathématique en TS
Amélioration de la simulation stochastique
Semestre 1 SEG Nouvelle accréditation Ancienne accréditation
Programmation créative – Les vecteurs
PRIORITES DE CALCUL I VOCABULAIRE On considère deux nombres a et b
D.E ZEGOUR Ecole Supérieure d’Informatique. Problèmes de décision Concepts de base Expressions régulières Notation particulière pour exprimer certaines.
Le calcul algébrique.
Combinatoire, Informatique et Physique des liens anciens et étroits Quels langages communs ? Gérard H. E. Duchamp Savantes Banlieues Octobre 2005.
Approche probabiliste pour la commande orientée
La Magie du Calcul Gérard H. E. Duchamp (Université Paris XIII) Equipe AAA le 08 juin 2006.
Expressions numériques
Mathématique Expression algébrique Variable Coefficient
Le calcul algébrique! Fait par: Lisa-Marie Bergeron.
Introduction et Généralités sur l’Algorithmique
Polynôme d’avalanche A. Micheli Dominique Rossin.
Calcul symbolique Christophe Tollu Frédéric Toumazet Gérard H. E. Duchamp … + Séminaire CIP.
Introduction à MathML Par Katia Larrivée UQO Le 18 mars 2004.
Introduction à la programmation (420-PK2-SL) cours 1
Projet 2 Mantelle Nicolas D3.5.
Enchaînement d’opérations
Journal mathématiques a.
Proposition de possibilité d’évolution de nos spécialités Deux projets (liés) : Projet 1 : Informatique Computationnelle – Etudiants 4 e et 5 e IR Projet.
Partie 1 Vocabulaire Variable Une variable est une lettre qui représente une valeur inconnue. La lettre choisie est écrite en minuscule. Dans l’expression.
Probabilités et statistique MQT-1102
9e Maths: Les polynômes Mme Mercer.
1 Evolution de la Science Contemporaine Daniel Memmi Dépt. Informatique UQAM.
1MPES4 – Equations Ecole Supérieure de Commerce de Neuchâtel Pierre Marchal Attribute to: Tyler.
Calcul symbolique Christophe Tollu Frédéric Toumazet
Transcription de la présentation:

Combinatoire, Informatique et Physique des liens anciens et étroits Quels langages communs ? Gérard H. E. Duchamp Séminaire du Laboratoire de Mathématiques Appliquées du Havre Jeudi neuf Mars 2006

Mathematics AbstractApplied Physics Computer Science Electronics Mechatronics Adaptronics Artificial Intelligence Chaos Theory Continuous & Discrete Modelisation Business Banking Decision Making Complex Systems Complexity Computation Techniques Image Processing

Mathématiques InformatiquePhysique Non commutatif Mots Produits d’opérateurs Représentations Automates Structures de Transition Champs, Flots, Systèmes Dynamiques Formules, Algèbre Universelle Arbres avec Opérateurs Diagrammes Déformations q-analogues Groupes quantiques C o m b i n a t o i r e

Langages Théorie des codes Automates Structures de transition Grammaires Transducteurs Expressions rationnelles et algébriques … Polyominos Chemins (Dycks,…) Configurations q-grammaires Séries génératrices Fractions continues multivariées Polynômes orthogonaux … C o m b i n a t o i r e … des mots algébrique énumérative analytique Fractions continues non commutatives Représentations des groupes et déformations Groupes quantiques Foncteurs combinatoires Caractères Fonctions spéciales … Et, depuis peu

L a C o m b i n a t o i r e D y n a m i q u e Voir à la fin

20 villes. À chaque carrefour le voyageur peut tourner à droite (D) ou à gauche (G)

D 5 = G 5 = 1DG 3 D = G 2 de même … GD 3 G = D 2 DG 2 D = GDG de même … GD 2 G = DGD

D 5 = G 5 = 1 DG 3 D = G 2 GD 3 G = D 2 DG 2 D = GDG GD 2 G = DGD Trois questions importantes : Q1) Cette liste est-elle suffisante ? (Expérience de pensée des deux pièces) Q2) Peut-on la réduire ? (relations déduites) (voir diapo suivante) Q3) Peut-on décider de l’égalité de deux chemins ?

Exemple de déduction à l’aide des relations données : le voyage équatorial DG DG DG DG DG = 1

Ici le nombre de mots par longueur est Long ac=ca ac  ca

e

Exemple avec  = a + a a + a a + où a a + = a + a + 1 a + a a + a a +

a + aa + aa + = 1 a + a + a + aa + 3 a + a + a + 1 a +

Chemins de Dyck (parenthésages, arbres, physique, …) ( ) ( ( ( ) ( ) ( ) ) )

Equation : D = vide + (D) D … on compte les «mots» avec un « x » par parenthèse et on trouve T(x)=x 0 + x 2 T 2 (x) ce qui se résout par la méthode usuelle … x 2 T 2 –T+1=0 Variable : T Paramètre : x

Changement de niveau en physique Positifs = D(aD) * 2 0 1

Automates et rationalité

New ! C o m b i n a t o i r e D y n a m i q u e Automates (à multiplicités et systèmes complexes) GIS : triangulations de Delaunay et cohérence Graphe de Young et probabilités Structures complémentaires (monoïde, Hopf)

Weight 4

Diagrams of (total) weight 5 Weight=number of lines

Mathématiques Informatique Physique Non commutatif Mots Produits d’opérateurs Représentations Automates Structures de Transition Champs, Flots, Systèmes Dynamiques Formules, Algèbre Universelle Arbres avec Opérateurs Diagrammes Déformations q-analogues Groupes quantiques C o m b i n a t o i r e Conclusion