Stabilité numériqueEn analyse numérique, une branche des mathématiques, la stabilité numérique est une propriété globale d’un algorithme numérique, une qualité nécessaire pour espérer obtenir des résultats ayant du sens. Une définition rigoureuse de la stabilité dépend du contexte. Elle se réfère à la propagation des erreurs au cours des étapes du calcul, à la capacité de l’algorithme de ne pas trop amplifier d’éventuels écarts, à la précision des résultats obtenus. Le concept de stabilité ne se limite pas aux erreurs d’arrondis et à leurs conséquences.
Oscillateur harmoniqueUn oscillateur harmonique est un oscillateur idéal dont l'évolution au cours du temps est décrite par une fonction sinusoïdale, dont la fréquence ne dépend que des caractéristiques du système et dont l'amplitude est constante. Ce modèle mathématique décrit l'évolution de n'importe quel système physique au voisinage d'une position d'équilibre stable, ce qui en fait un outil transversal utilisé dans de nombreux domaines : mécanique, électricité et électronique, optique. Il néglige les forces dissipatives (frottement par exemple).
Espace vectoriel symplectiqueEn algèbre, un espace vectoriel est symplectique quand on le munit d'une forme symplectique, c'est-à-dire une forme bilinéaire alternée et non dégénérée. L'étude de ces espaces vectoriels présente quelques ressemblances avec l'étude des espaces préhilbertiens réels puisqu'on y définit également la notion d'orthogonalité. Mais il y a de fortes différences, ne serait-ce que parce que tout vecteur est orthogonal à lui-même. Les espaces vectoriels symplectiques servent de modèles pour définir les variétés symplectiques, étudiées en géométrie symplectique.
Analyse numériqueL’analyse numérique est une discipline à l'interface des mathématiques et de l'informatique. Elle s’intéresse tant aux fondements qu’à la mise en pratique des méthodes permettant de résoudre, par des calculs purement numériques, des problèmes d’analyse mathématique. Plus formellement, l’analyse numérique est l’étude des algorithmes permettant de résoudre numériquement par discrétisation les problèmes de mathématiques continues (distinguées des mathématiques discrètes).
Simple harmonic motionIn mechanics and physics, simple harmonic motion (sometimes abbreviated ()) is a special type of periodic motion an object experiences due to a restoring force whose magnitude is directly proportional to the distance of the object from an equilibrium position and acts towards the equilibrium position. It results in an oscillation that is described by a sinusoid which continues indefinitely (if uninhibited by friction or any other dissipation of energy).
Intégrateur symplectiqueUn intégrateur symplectique est une méthode numérique de résolution approchée des équations de la mécanique hamiltonienne, valable pour des faibles variations de temps. Les hypothèses de la mécanique hamiltonienne sont souvent appliquées à la mécanique céleste. Le système à étudier peut s'écrire sous la forme d'une action I et d'un angle φ, de manière que le système différentiel se réduise à : x := (I, φ) et : où l'on a noté : le crochet de Poisson de et . On voudrait connaître la solution formelle au système intégrable .
Géométrie symplectiqueLa géométrie symplectique est un domaine de la recherche mathématique, s'intéressant à l'origine à une formulation mathématique naturelle de la mécanique classique et développé avec une notion d'entrelacement entre la géométrie différentielle et les systèmes dynamiques, avec des applications en géométrie algébrique, en géométrie riemannienne et en géométrie de contact. Formellement, elle consiste en l'étude des 2-formes différentielles fermées non dégénérées — appelées formes symplectiques — sur les variétés différentielles.
Système de fichiersLe terme système de fichiers (abrégé « FS » pour File System, parfois filesystem en anglais) désigne de façon ambigüe : soit l'organisation hiérarchique des fichiers au sein d'un système d'exploitation (on parle par exemple du file system d'une machine unix organisé à partir de sa racine (/) ) soit l'organisation des fichiers au sein d'un volume physique ou logique, qui peut être de différents types (par exemple NTFS, , FAT32, ext2fs, ext3fs, ext4fs, zfs, btrfs, etc.
Numerical methods for ordinary differential equationsNumerical methods for ordinary differential equations are methods used to find numerical approximations to the solutions of ordinary differential equations (ODEs). Their use is also known as "numerical integration", although this term can also refer to the computation of integrals. Many differential equations cannot be solved exactly. For practical purposes, however – such as in engineering – a numeric approximation to the solution is often sufficient. The algorithms studied here can be used to compute such an approximation.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Oscillateur (électronique)vignette|Un oscillateur intégré à quartz. Un oscillateur électronique est un circuit dont la fonction est de produire un signal électrique périodique, de forme sinusoïdale, carrée, en dents de scie, ou quelconque. L'oscillateur peut avoir une fréquence fixe ou variable. Il existe plusieurs types d'oscillateurs électroniques ; les principaux sont : oscillateurs à circuit LC et un étage amplificateur, HF le plus souvent ; oscillateurs à déphasage avec étage RC, qui délivrent des signaux sinusoïdaux : l'exemple-type est l'oscillateur à pont de Wien ; générateur de créneaux ; oscillateur à quartz, très stable et de haute précision grâce à des résonateurs à micro-onde ; ils sont utilisés dans les horloges atomiques.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Biologie de la conservationLa biologie de la conservation (ou écologie de la conservation) est une discipline traitant des questions de perte, maintien ou restauration de biodiversité. Robert Barbault la présente comme une discipline de gestion de crise ; elle vise à identifier les populations en déclin ou relictuelles et les espèces en danger, pour en déterminer les causes de leur déclin, proposer, tester et valider des moyens de remédier à ce déclin (éventuellement provisoirement ex situ).
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
MATLABMATLAB (« matrix laboratory ») est un langage de script émulé par un environnement de développement du même nom ; il est utilisé à des fins de calcul numérique. Développé par la société The MathWorks, MATLAB permet de manipuler des matrices, d'afficher des courbes et des données, de mettre en œuvre des algorithmes, de créer des interfaces utilisateurs, et peut s’interfacer avec d’autres langages comme le C, C++, Java, et Fortran.
Conservation de l'énergieLa conservation de l'énergie est un principe physique, selon lequel l'énergie totale d'un système isolé est invariante au cours du temps. Ce principe, largement vérifié expérimentalement, est de première importance en physique, et impose que pour tout phénomène physique l'énergie totale initiale du système isolé soit égale à l'énergie totale finale, donc que de l'énergie passe d'une forme à une autre durant le déroulement du phénomène, sans création ni disparition d'énergie.
Midpoint methodIn numerical analysis, a branch of applied mathematics, the midpoint method is a one-step method for numerically solving the differential equation, The explicit midpoint method is given by the formula the implicit midpoint method by for Here, is the step size — a small positive number, and is the computed approximate value of The explicit midpoint method is sometimes also known as the modified Euler method, the implicit method is the most simple collocation method, and, applied to Hamiltonian dynamics, a sy
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Conservation de la natureLa conservation de la nature consiste en la protection des populations d'espèces animales et végétales, ainsi que la conservation de l'intégrité écologique de leurs habitats naturels ou de substitution (comme les haies, carrières, terrils, mares ou autres habitats façonnés par les humains). Son objectif est de maintenir les écosystèmes dans un bon état de conservation et de prévenir ou de corriger les dégradations qu'ils pourraient subir. Chronologie de l'écologisme L'écologisme a des racines anciennes et plutôt anglo-saxonnes, qui ont évolué à la fin du .
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
