Modèles et modélisation multi-niveau

Constructions de modèles Comme nous l’avons présenté précédemment, nous souhaitons nous placer dans le contexte de la théorie des ensembles, dénominateur commun de tous les formalismes formalismes de modélisation introduits jusqu’à présent. Ainsi, nous considérons qu’un modèle est un ensemble...

L’algorithme comme « application numérique » autour des zéros d’une fonction

Les premières problématiques de la sous-ingénierie On attend d’un algorithme d’approximation d’un zéro d’une fonction qu’il rende deux valeurs aussi proches que l’on veut, encadrant un réel annulant la fonction (effectivité), et éventuellement qu’il soit garanti qu’il n’existe pas de...

L’algorithme comme « objet » d’apprentissage en mathématiques

Le cadre de la transposition didactique pour étudier les apports de l’algorithmique à l’enseignement des mathématiques au lycée Briant (2013) positionne ses recherches sur la place de la pensée algorithmique, au sens de Knuth, relativement à la pensée mathématique, en...

Théorie de la réponse linéaire et RPA

Théorie de la réponse linéaire et RPA Comme nous l’avons vu au chapitre précédent, notre modèle repose sur un système de charges constitué d’un ion plongé dans un jellium. Nous sommes ainsi amenés à étudier, entre autres, la réponse statique...

Suites réductibles et reproductibles 

Suites réductibles et reproductibles  Automates sigma-polynomiaux agissant sur des suites pério diques 5.1.1 Les suites périodiques et automates Ons’intéresse aux suites périodiques à valeurs dans ZN, où ZN = Z/NZ. Les résul tats de cette partie se généralisent à tout...

Stratégie d’optimisation adaptative

Stratégie d’optimisation adaptative Enjeux et démarche Dans le chapitre précédent, j’ai montré l’existence d’un intervalle pour le paramètre de régularisation permettant de s’assurer que le minimum global de J0 corresponde à la solution du maximum de vraisemblance déterministe (1.45). Cependant,...

Stockage des motifs de causalité observés dans un log

Stockage des motifs de causalité observés dans un log Dans ce chapitre, nous proposons une représentation causale d’un log d’alarmes. En par ticulier, nous souhaitons stocker grâce à cette représentation les motifs de causalités basées sur les caractéristiques spatiales (machine...

Standardité des filtrations engendrées par deux versions de l’automate additif Dans toute la suite, et sauf mention contraire, (A,+) est un groupe abélien fini, qui nous servira d’alphabet pour construire nos automates cellulaires. On présente dans ce chapitre deux versions...

Simulation des programmes impératifs

Simulation des programmes impératifs Graphes d’exécution Le but de ce chapitre est de prouver que les ASMs peuvent simuler les programmes impératifs, au sens de la définition 2.3.5 p.56. Je rappelle que dans le système de transition p.47 définissant la...

Représentation des connaissances et raisonnement

Représentation des connaissances et raisonnement Les prédicats et les propositions En logique du premier ordre, la représentation des connaissances et le raison nement, requièrent l’utilisation de prédicats et de propositions pour représenter les axiomes, les concepts et les relations entre...