Sites Inria

Il y a 3 Résultats avec le mot clé : "équipe Proval"

Sylvie Boldo, chargée de recherche, équipe Proval - © Inria / Photo C. Lebedinsky

Unithé ou café

Pourquoi mon ordinateur calcule faux ?

18/01/2008

Nous confions à nos ordinateurs de nombreux calculs (météo, simulations aéronautiques, jeux vidéos, feuilles Excel...) et nous considérons naturellement que l'ordinateur fournira une réponse juste. Malheureusement, la machine a ses limites que l'esprit humain n'a pas. Elle utilise une arithmétique dite flottante qui a ses contraintes. D'une part, chaque calcul est effectué avec un certain nombre de chiffres (souvent environ 15 chiffres décimaux) et de fait chaque calcul peut créer une erreur, certes faible, mais qui en s’accumulant avec les précédentes peut aboutir à un résultat complètement faux. D'autre part, les valeurs que l'ordinateur appréhende ont des limites vers l'infiniment petit et l'infiniment grand. Hors de ces bornes, l'ordinateur produit des valeurs spéciales souvent inattendues. Cet exposé montrera que l'ordinateur n'est pas infaillible ou plutôt que son utilisation est parfois abusive.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > Pourquoi mon ordinateur calcule faux ?

Lire la suite

Christine Paulin-Mohring, professeur, équipe Proval - © Inria / Photo J. Wallace

Unithé ou café

Maths et info font leurs preuves

Laure Guion - 10/02/2012

« Maman, je veux des bonbons ! – Moi aussi ! – Moi aussi ! ». Le calme de votre après-midi dépend d'un partage indéniablement équitable… Sachez qu’en cas de contestation, il est possible de prouver cette répartition mathématiquement, c’est-à-dire montrer de façon indiscutable que le but recherché est atteint. Cette preuve peut être automatiquement traduite en un programme toujours juste! Mais quelles différences y a-t-il entre une preuve mathématique et un programme informatique ? Une preuve pourrait-elle valoir un programme à chaque fois ? Quel programme se cache derrière cette preuve ? Nous verrons qu'une preuve se construit en plusieurs étapes et relève de logiques parfois différentes de l’accoutumée.

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > Maths et info font leurs preuves

Lire la suite

Marc Pouzet, professeur, équipe Proval - © Inria Saclay - Île-de-France

Unithé ou café

Les programmes prennent le temps

Laure Guion - 15/01/2010

Deux personnes jonglent ensemble, elles s’échangent des balles au même moment. Cette simple situation réelle est complexe à recréer en programmation. Comment introduire la notion de temps dans un logiciel ? Et que signifie « en même temps » ? De l’ABS de voiture au sas de sécurité d’une entrée de banque, en passant par le tapis roulant des bagages à l’aéroport, l’échelle de temps doit être suffisamment fine pour que les systèmes fonctionnent sur un rythme commun. Mais il faut aussi « faire comme si » le temps était précis pour pouvoir synchroniser des tâches ensemble, entre machines mais aussi avec des humains. C’est-à-dire simplifier la réalité pour mieux réguler…

Mots-clés :

Accueil > Centre > Saclay > Recherche > Algorithmique, programmation, logiciels et architectures > Les programmes prennent le temps

Lire la suite

Haut de page

Suivez Inria