Relevant bibliographies by topics / Systèmes de calcul formel

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Systèmes de calcul formel"

1

Gelis, Jean-Michel, and Dominique Lenne. "LIMITES, un environnement d’apprentissage fondé sur un système de calcul formel." Sciences et techniques éducatives 8, no. 1 (2001): 180–81. http://dx.doi.org/10.3406/stice.2001.1547.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Lenne, Dominique, and Jean-Michel Gelis. "Limites, un environnement d’apprentissage fondé sur un système de calcul formel." Sciences et techniques éducatives 9, no. 1 (2002): 121–48. http://dx.doi.org/10.3406/stice.2002.1502.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Van-Wierts, Stéfanie, Pascal Bernatchez, and Christian Larouche. "Suivi topographique côtier au moyen d’un système LiDAR mobile terrestre : exemple d’une recharge sédimentaire de plage." GEOMATICA 71, no. 4 (2017): 194–212. http://dx.doi.org/10.5623/cig2017-402.

Full text
Abstract:
L’évolution côtière est complexe, notamment par la migration de la ligne de rivage et l’apparition successive de zones d’érosion ou d’accumulation. Les suivis quantitatifs des systèmes côtiers sont largement utilisés afin de comprendre leurs évolutions temporelle et spatiale. Plusieurs méthodes d’acquisition topographiques ont été utilisées (GNSS RTK, LiDAR aéroporté et LiDAR terrestre statique ou mobile) où chaque méthode présente des avantages et des inconvénients lors de suivis d’environnements côtiers. L’objectif de cet article est de quantifier la précision d’un système LiDAR mobile (SLM) terrestre et d’évaluer s’il peut répondre aux principaux défis des levés topographiques en milieu côtier qui consistent à réaliser des levés à une haute résolution temporelle, à moindre coût, tout en assurant une bonne précision altimétrique et une bonne résolution spatiale. Les résultats montrent que la résolution spatiale est centimétrique et que la précision altimétrique est de 0,039 m (RMS calculé sur 124 points de contrôle). La haute précision altimétrique et la haute résolution spatiale permettent de maximiser la précision des calculs de volume sédimentaire et ainsi diminuer les coûts associés à l’erreur de calcul, notamment lors de projets de recharge sédimentaire de plage. Cela permet aussi d’assurer le positionnement exact de limites marégraphiques et géomorphologiques. En comparaison à des profils topographiques obtenus par méthodes clas siques, la forte densité des nuages de points observés avec un SLM permet de cartographier des formes morphologiques de faible amplitude diminuant ainsi l’erreur due à l’interpolation.
APA, Harvard, Vancouver, ISO, and other styles
4

Daston, Lorraine. "L'interprétation classique du calcul des probabilités." Annales. Histoire, Sciences Sociales 44, no. 3 (1989): 715–31. http://dx.doi.org/10.3406/ahess.1989.283618.

Full text
Abstract:
Que veut dire « l'interprétation classique » du calcul des probabilités ? Lorsqu'en 1933 Kolmogorov réussit à axiomatiser ce calcul, il a défini une théorie mathématique : son essence se trouve dans la validité formelle des axiomes, définitions et théorèmes qui permettent une foule d'interprétations. Ce système formel ne nous oblige en aucune manière à choisir telle ou telle interprétation de la probabilité : au point de vue de la théorie mathématique, on ne peut pas choisir entre probabilité comme fréquence et probabilité comme degré de certitude ou entre bien d'autres interprétations possibles. D'ailleurs, notre choix d'une interprétation ne dit rien sur la validité de la théorie mathématique purement formelle. Cependant, la distinction habituelle (et post-hilbertienne) entre la théorie formelle et ses interprétations — ou même celle du xixe siècle entre mathématiques pures et appliquées — aurait été étrangère aux probabilistes du XVIIIesiècle. Ils se seraient définis comme des praticiens des « mathématiques mixtes ».
APA, Harvard, Vancouver, ISO, and other styles
5

SAUVANT, D., and P. NOZIÈRE. "La quantification des principaux phénomènes digestifs chez les ruminants : les relations utilisées pour rénover les systèmes d’unités d’alimentation énergétique et protéique." INRAE Productions Animales 26, no. 4 (2013): 327–46. http://dx.doi.org/10.20870/productions-animales.2013.26.4.3162.

Full text
Abstract:
L’évolution des systèmes d’unités d’alimentation des ruminants vers des systèmes de lois de réponses multiples nécessite d’actualiser le calcul des apports nutritifs à l’animal, afin de le rendre plus précis sur les unités agrégées (UF et PDI) et plus évolutif (prédiction des nutriments absorbés). Cette actualisation est basée sur la construction et l’interprétation par méta-analyse, de larges bases de données sur la digestion et la nutrition des ruminants. Les différentes équations utilisées pour le calcul des apports UF et PDI ont ainsi été mises à jour, ce qui permet en particulier : i) de prévoir le transit des particules et des liquides en fonction du niveau d’ingestion et de la proportion de concentré, et de prendre en compte les variations de transit dans le calcul des dégradations des protéines et de l’amidon dans le rumen, estimées à partir des données issues de mesures in situ; ii) de prendre en compte les effets des principaux facteurs d’interactions digestives (niveau d’ingestion, proportion de concentré, balance protéique du rumen) sur la digestibilité de la matière organique, les pertes d’énergie sous forme de méthane et sous forme d’urine ; iii) de calculer plus précisément l’énergie disponible dans le rumen et son efficacité d’utilisation pour la synthèse de protéines microbiennes. Ce modèle rénové de la digestion chez les ruminants conduit à considérer que les valeurs UF et PDI des aliments varient en fonction de la ration dans laquelle ils sont incorporés, les valeurs des tables étant indicatives. Il est ainsi possible de prédire plus précisément les apports sur une plus large gamme de régimes, et en particulier de mieux traiter des interactions entre les apports en énergie et en protéines.
APA, Harvard, Vancouver, ISO, and other styles
6

Gardner, Daniel. "Comparer l'incomparable : les indemnités pour préjudice corporel en droit commun et dans la Loi sur l'assurance automobile." Dommages-intérêts / assurance 39, no. 2-3 (2005): 429–72. http://dx.doi.org/10.7202/043499ar.

Full text
Abstract:
Le système de droit commun de la responsabilité civile s'intéresse aux victimes qui peuvent identifier le responsable de leur préjudice et prévoit l'octroi de dommages-intérêts sous forme forfaitaire. De son côté, la Loi sur l'assurance automobile indemnise toutes les victimes de la route en utilisant principalement la rente et en adaptant la compensation à l'évolution de la condition physique de la victime. Les montants en jeu constituent la trame de fond du présent texte, qui vise à comparer les niveaux d'indemnités accordées en vertu de chacun de ces systèmes. Dans la première partie, l'auteur expose les avantages incontestables qui découlent de l'application d'un régime d'indemnisation sans égard à la responsabilité (délais, frais, etc.). Par la suite, et nonobstant ces avantages, il démontre que le régime québécois d'assurance automobile indemnise mieux les victimes gravement blessées que ne le fait le système de droit commun. Les victimes de préjudices limités bénéficient également du régime étatique d'indemnisation, quoique de façon moins marquée par rapport au droit commun. En revanche, en ce qui concerne les victimes par ricochet, le régime instauré par la Loi sur l'assurance automobile montre ici ses limites, principalement parce qu'il s'est écarté des règles de calcul initialement prévues en 1978, lors de l'entrée en vigueur de la loi.
APA, Harvard, Vancouver, ISO, and other styles
7

Siffert, B., and A. Naidja. "Decarboxylation catalytique de l'acide oxaloacetique en presence de montmorillonite." Clay Minerals 22, no. 4 (1987): 435–46. http://dx.doi.org/10.1180/claymin.1987.022.4.07.

Full text
Abstract:
ResumeLa décarboxylation de l'acide oxaloacétique en acide pyruvique a été étudiée en présence de montmorillonite saturée en cations différents et des mêmes cations à l'état libre (non incorporés). L'action catalytique dépend de la nature du cation, cést-à-dire de sa facilité à former des complexes avec l'acide oxaloacétique. Le réseau argileux intervient dans la catalyse essentiellement par les atomes d'aluminium (ou de fer) situés sur les bords des feuillets argileux. Il joue le rôle d'un métalloenzyme biologique. Le calcul des énergies d'activation pour les différents systèmes met bien en évidence l'activité catalytique de l'argile. En présence du phyllosilicate, la réaction a lieu avec un bon rendement jusqu'à une température de 60°C.
APA, Harvard, Vancouver, ISO, and other styles
8

Brunelle, Yvon, and Madeleine Rochon. "Limites, avantages et utilisation des EVSI dans le contexte actuel de l’évolution des systèmes de soins." Articles 20, no. 2 (2004): 405–36. http://dx.doi.org/10.7202/010092ar.

Full text
Abstract:
RÉSUMÉ Les indicateurs de type EVSI rendent compte d'une définition de la santé fonctionnelle basée sur l'adaptation des individus à leur environnement. Leur constat est donc susceptible de varier dans le temps et l'espace. Plus le fonctionnement des individus considérés est large, c'est à dire plus on s'éloigne de formes très sévères de restriction tels le confinement ou l'absence de mobilité, plus ce constat est mouvant. Indépendamment des variations des modes d'observation et de calcul, les résultats varient selon l'activité considérée. Le système de soins de santé, à la recherche de nouvelles formes d'équité et de rationnement, demande de nouveaux indicateurs pour décrire les variations de la santé, estimer et prévoir les besoins en soins et services, et surtout justifier des choix quant au volume, à l'organisation et à la distribution des ressources (rationnement). Il a du mal cependant à intégrer les résultats contradictoires et les nuances qui accompagnent les indicateurs de type EVSI. Comme toute information relative à la santé, on peut s'attendre à ce que les EVSI soient différemment utilisées et interprétées, mais qu'elles influent sur les attentes exprimées à l'égard du système de soins et sur les transformations de celui ci.
APA, Harvard, Vancouver, ISO, and other styles
9

Blanchon, David, and Jean-Paul Bravard. "La stabilité des formes fluviales de l’Orange, entre variabilité naturelle et impacts des grands barrages (secteur Boegoeberg-Augrabies, Afrique du Sud)." Géographie physique et Quaternaire 61, no. 1 (2009): 21–37. http://dx.doi.org/10.7202/029568ar.

Full text
Abstract:
RésuméLe fleuve Orange (Afrique du Sud) est l’un des systèmes fluviaux les plus aménagés au monde : les barrages hydroélectriques ont modifié le volume d’écoulement du fleuve et son débit solide a diminué depuis les années 1930. Plus encore, dans son cours moyen inférieur (secteur d’Upington), le fleuve a été contraint entre des digues de 5 à 10 m de hauteur, des chenaux secondaires ont été remplis pour permettre le développement agricole et plus de 10 déversoirs de bas niveau ont été construits à travers le chenal. Dans des conditions similaires, des changements géomorphologiques visibles et rapides (incision du chenal, alluvionnement, etc.) ont été enregistrés dans divers systèmes fluviaux en région semi-aride. Pourtant, l’étude de cartes anciennes (des années 1920) et de photographies aériennes (à partir de 1937) montre une stabilité remarquable des formes fluviales, et ce, même à petite échelle : des bancs sableux et des seuils rocheux sont facilement reconnaissables dans le chenal principal. L’objectif de cet article est d’explorer les différentes hypothèses expliquant cette stabilité, en utilisant le concept de discontinuité et la théorie de la catastrophe, et de confronter les résultats avec les travaux récents sur le fleuve Orange. Notre recherche est basée sur le calcul des puissances spécifiques des crues vicennales, la reconnaissance de terrain (entre 2000 et 2003) et le prélèvement de sédiments, en utilisant la méthode de la courbe de Passega. Nous avons également effectué des comparaisons entre les photographies aériennes et les cartes anciennes et les photographies aériennes les plus récentes à l’aide des outils SIG (MapInfo). À micro-échelle, la progression et la destruction des roseaux (Phragmites australisetArundo donax) a été utilisée comme indicateur des changements géomorphologiques du chenal. Les résultats montrent que les concepts de stabilité et d’équilibre, et les changements géomorphologiques fluviaux sont plus complexes qu’une simple comparaison statique.
APA, Harvard, Vancouver, ISO, and other styles
10

Makhlouf, Abdenacer. "Algébres associatives et calcul formel." Theoretical Computer Science 187, no. 1-2 (1997): 123–45. http://dx.doi.org/10.1016/s0304-3975(97)00061-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

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

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 complete de tous les modeles qu'un systeme donne est capable de poursuivre de maniere exacte et avec stabilite interne; ceci en utilisant quatre configurations de commandes differentes. Enfin, nous proposons une nouvelle famille de correcteurs utilisant aussi bien les entrees que les sorties du procede a commander. Cette famille de correcteurs inspiree de la configuration de commande par retour d'etat avec observateur est completement parametree. Il est montre que la robustesse optimale et le minimum de sensibilite obtenus avec les correcteurs classiques (sans utilisation des entrees) sont atteints par une sous famille de ces correcteurs qui sont stables
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. Wang. Cette etude, algebrique et geometrique, est menee en parallele avec le cadre polynomial autour de deux axes : les proprietes de normalisation et de sans carre. Il s'avere en particulier que la condition de sans carre de d. Lazard est plus faible que celle de t. Gomez-diaz. On introduit et privilegie alors la condition de sans carre de d. Lazard au sein des programmes de la cloture constructible dynamique. Par ailleurs, on propose une implantation d'un algorithme des sous-resultants inspire des idees de s. J. Berkowitz et de j. Abdeljaoued. Une dizaine d'exemples de triangularisation de systemes constructibles viennent alors mesurer la pertinence de ces modifications.
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 de polynômes à factoriser. Le troisième algorithme décompose les variétés algébriques définies par des systèmes algébriques paramétrés de dimensions positives en composantes absolument irréductibles d'une manière uniforme sur les valeurs des paramètres. La complexité de cet algorithme est doublement exponentielle en n. D'autre part, la borne inférieure du problème de résolution de systèmes algébriques paramétrés est doublement exponentielle en n.
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 modèle d'implémentation spécifique de la "plate-forme" FORTRAN 90. Au vu des résultats d'études particulières en génie des procédés - la solvatation d'acides forts, et la distillation de Rayleigh- il apparaît que la démarche de calcul coopératif proposée : apporte plus d'expressivité lors de la modélisation; incite à modéliser les systèmes physiques à l'aide de fonctions, souvent implicites; permet la réutilisation de modèles par la composition et l'assemblage de fonctions; et apporte plus de fiabilité lors de la simulation, notamment grâce au calcul précis des dérivées des modèles.
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 connaissance des premiers termes de ces séries de lie peut fournir des informations sur la stabilité de systèmes hamiltoniens, au voisinage de points d'équilibre elliptiques. On propose, a l'instar de ce qui a été fait avec la transformation de lie, des estimations pour celle de dragt-finn. Pour étudier les relations entre les différentes transformations canoniques, on se place dans une algèbre de lie libre pour étudier des identités exponentielles. On donne des méthodes générales pour l'obtention de telles formules (dont la formule de Baker-Campbell-Hausdorff), en utilisant des propriétés de la base de Lyndon. Ces identités explicites et leur méthode de calcul permettent alors d'obtenir des intégrateurs symplectiques. On retrouve les intégrateurs connus et on en donne une liste exhaustive pour les petits ordres, montrant que les différentes méthodes de recherches sont complètement équivalentes. On décrit l'implantation de ces algorithmes dans le système de calcul formel axiom et des exemples de calcul sont donnes en appendice
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 calcul debase de Gröbner de plusieurs familles de systèmes polynomiauxstructurés (systèmes bilinéaires, systèmes déterminantiels, systèmesdéfinissant des points critiques, systèmes booléens). Ceci permetd'identifier des familles de systèmes pour lequels la complexité arithmétique de résolution est polynomiale en le nombre de solutions. D'autre part, cette thèse propose de nouveaux algorithmequi exploitent ces structures algébriques pour améliorer l'efficacité du calcul de base de Gröbner et de la résolution (systèmes multi-homogènes, systèmes booléens). Ces résultats sontillustrés par des applications concrètes en cryptologie (cryptanalyse des systèmes MinRank et ASC), en optimisation et en géométrie réelle effective (calcul de points critiques)<br>Multivariate polynomial systems arising in Engineering Science often carryalgebraic structures related to the problems they stem from. Inparticular, multi-homogeneous, determinantal structures and booleansystems can be met in a wide range of applications. A classical method to solve polynomial systems is to compute a Gröbner basis ofthe ideal associated to the system. This thesis provides new tools forsolving such structured systems in the context of Gröbner basis algorithms. On the one hand, these tools bring forth new bounds on the complexity of thecomputation of Gröbner bases of several families of structured systems(bilinear systems, determinantal systems, critical point systems,boolean systems). In particular, it allows the identification of families ofsystems for which the complexity of the computation is polynomial inthe number of solutions. On the other hand, this thesis provides new algorithms which takeprofit of these algebraic structures for improving the efficiency ofthe Gröbner basis computation and of the whole solving process(multi-homogeneous systems, boolean systems). These results areillustrated by applications in cryptology (cryptanalysis of MinRank),in optimization and in effective real geometry (critical pointsystems)
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 ensuite ce résultat à l'aide d'une méthode de G. Gaeta permettant la renormalisation de formes normales usuelles, pour des équations différentielles ordinaires. En utilisant ces deux méthodes, on démontre un théorème donnant l'existence d'une forme renormalisée d'équation différentielle à retard. Dans une deuxième partie, on présente et on étudie le formalisme moulien développé par Jean Ecalle. On utilise ce formalisme pour la recherche de formes normales de champs de vecteurs, et on l'applique à des champs hamiltoniens en coordonnées cartésiennes, puis en coordonnées action-angle. On obtient ainsi une nouvelle démonstration de la version formelle du théorème de Kolmogorov et du théorème de Birkhoff. On présente également une feuille de calcul avec Maple mettant en œuvre certains de ces calculs, et témoignant ainsi de la remarquable aptitude du formalisme moulien à être utilisé dans les logiciels de calcul formel.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Systèmes de calcul formel"

1

Davenport, James Harold. Calcul formel: Systèmes et algorithmes de manipulations algébriques. Masson, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Joubert, Pierre. Circuits électriques et systèmes: Méthodes modernes de calcul. Lavoisier, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Chaperon, Marc. Calcul différentiel et calcul intégral 3e année: Cours et exercices avec solutions. 2nd ed. Dunod, 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Sorgatz, Andreas. Dynamic modules: User's manual and programming guide for MuPAD 1.4. Springer, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Spenlé, Daniel. Guide du calcul en mécanique: Pour maîtriser la performance des systèmes industriels. Hachette, 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

International Symposium on Symbolic and Algebraic Computation (2003 Philadelphia, Pa.). ISSAC 2003: Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation : August 3-6, 2003, Philadelphia, PA. ACM Press, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Ontario. Esquisse de cours 12e année: Fonctions avancées et introduction au calcul différentiel mcb4u cours préuniversitaire. CFORP, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Graham, Ronald L. Mathématiques concrètes: Fondations pour l'informatique. 2nd ed. Vuibert, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

International Meeting of Young Computer Scientists (5th 1988 Smolenice, Slovakia). Machines, languages, and complexity. Springer-Verlag, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Hornung, Robert. Calcul des émissions de gaz à effet de serre en fonction de leur durée et incidences sur la conception des systèmes nationaux d'échange de droits d'émission. Table ronde nationale sur l'environnement et l'économie, 1999.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Systèmes de calcul formel"

1

Quarteroni, Alfio, Paola Gervasio, and Fausto Saleri. "Systèmes linéaires." In Calcul Scientifique. Springer Milan, 2010. http://dx.doi.org/10.1007/978-88-470-1676-7_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Marlin, Roger. "Une conjecture sur les anneaux de Chow A(G, Z) renforcée par un calcul formel." In Effective Methods in Algebraic Geometry. Birkhäuser Boston, 1991. http://dx.doi.org/10.1007/978-1-4612-0441-1_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

"Chapitre 4 Systèmes quantiques simples." In Physique quantique, information et calcul. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2413-7-008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

"Chapitre 4 Systèmes quantiques simples." In Physique quantique, information et calcul. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2413-7.c008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

"Calcul du résidu et applications." In Introduction à la résolution des systèmes polynomiaux. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-71647-1_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

"Calcul dans une algèbre quotient." In Introduction à la résolution des systèmes polynomiaux. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-71647-1_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

"1 Préliminaires de calcul différentiel." In Des équations différentielles aux systèmes dynamiques I. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1214-1-002.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

"1 Préliminaires de calcul différentiel." In Des équations différentielles aux systèmes dynamiques I. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1214-1.c002.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

"Chapitre 9 Dynamique des systèmes quantiques ouverts." In Physique quantique, information et calcul. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2413-7-013.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

"Chapitre 9 Dynamique des systèmes quantiques ouverts." In Physique quantique, information et calcul. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-2413-7.c013.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Systèmes de calcul formel"

1

Geyl, R. "Le calcul des combinaisons." In Systèmes optiques. EDP Sciences, 1992. http://dx.doi.org/10.1051/sfo/1992001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Couallier, Vincent, Laurent Denis, and Franck Bayle. "Calcul de MTBF des systèmes aéronautiques inspectés périodiquement soumis à rupture aléatoire de systèmes de régulation." In Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61795.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Signoret, J.-P., and R. Ostebo. "Norme ISO TR 12489 : modélisation et calcul fiabilistes des systèmes de sécurité." In Congrès Lambda Mu 19 de Maîtrise des Risques et Sûreté de Fonctionnement, Dijon, 21-23 Octobre 2014. IMdR, 2015. http://dx.doi.org/10.4267/2042/56238.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Folleau, Cyrille, C. Vinuesa, and S. Collas. "Méthode de calcul de la disponibilité de production des systèmes pétroliers multi-flux." In Congrès Lambda Mu 20 de Maîtrise des Risques et de Sûreté de Fonctionnement, 11-13 Octobre 2016, Saint Malo, France. IMdR, 2016. http://dx.doi.org/10.4267/2042/61816.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Systèmes de calcul formel' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography