tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Code HTML Copiez-collez le code ci-dessous pour l'intégrer dans une page Web.
Titre :
Marie Duflot, informatique débranchée : la traversée de la rivière.
Légende - Résumé :
Comprendre l'informatique en jouant : la traversée de la rivière. L'informatique débranchée permet de s’initier aux algorithmes, à la vérification, à la détection d’erreurs, etc. sans ordinateur.
Avec Marie Duflot-Kremer, maître de conférence à l'Université de Lorraine, membre de l'équipe VERIDIS du centre Inria Nancy - Grand Est et du LORIA.
Nom de fichier :
Inria-984-AD_traverseederiviere-fr.mp4
Titre :
Marie Duflot, informatique débranchée : la traversée de la rivière.
Année :
2015
Durée (min) :
00:07:18
Publications :
https://videotheque.inria.fr/videotheque/doc/984
Autres versions :
Master VF : 984
Master VEN :
Autre : Lien externe :
Lien Equipe-projet :
Lien Centre de Recherche :
Mots clés :
N° master :
984
Durée :
07 min 18 sec
IsyTag :
- - ' - 1 - 10 - 15 - 20 - 25 - 40 - 5 - l' - machine - minute - minutes‚ - pont - pont· - pouvoir - propriété· - système
Transcription automatiqu :
activité s'appelle la traversée de rivières ou la traversée de l'indiana jones ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état mon aventure j'ai quatre personnages une aventurière qui connaît le pont comme sa poche indiana jones et deux de leurs acolytes ils traverser un pont présent le problème c'est qu'y il a deux contraintes la première c'est que le pont est en assez mauvais état voyez il y a des trous dans mon enfant et donc seulement deux personnes peuvent passer à la fois la deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter donc comment ça peut se passer peut avoir deux personnes prennent la torche qui traverse en même temps le pont puis peut-être que l'aventurière revient puis traverse avec autre personne non au départ concerne supplémentaires c'est que les temps de traversée du pont par les différents personnages sont assez différentes l'aventurière elle est née ici le point elle le connaît par coeur et elle met cinq minutes pour le traverser malgré trop jones est en pleine forme mais ne connaît pas le pont il lui faut dix minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement vingt et vingt cinq minutes pour traverser le pont l'idée c'est de trouver le temps minimum pour que ces quatre personnes de autre côté du pont solution la plus naturelle dans ce problème celle à laquelle la plupart des gens pensent c'est de dire que l'aventurière prétend la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les alertes minute minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils traverser un pont présent le problème c'est qu'y il a deux contraintes la première c'est que le pont est en assez mauvais état voyez il y a des trous dans mon enfant et donc seulement deux personnes peuvent passer à la fois la deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter donc comment ça peut se passer peut avoir deux personnes prennent la torche qui traverse en même temps le pont puis peut-être que l'aventurière revient puis traverse avec autre personne non au départ concerne supplémentaires c'est que les temps de traversée du pont par les différents personnages sont assez différentes l'aventurière elle est née ici le point elle le connaît par coeur et elle met cinq minutes pour le traverser malgré trop jones est en pleine forme mais ne connaît pas le pont il lui faut dix minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement vingt et vingt cinq minutes pour traverser le pont l'idée c'est de trouver le temps minimum pour que ces quatre personnes de autre côté du pont solution la plus naturelle dans ce problème celle à laquelle la plupart des gens pensent c'est de dire que l'aventurière prétend la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les alertes minute minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont présent le problème c'est qu'y il a deux contraintes la première c'est que le pont est en assez mauvais état voyez il y a des trous dans mon enfant et donc seulement deux personnes peuvent passer à la fois la deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter donc comment ça peut se passer peut avoir deux personnes prennent la torche qui traverse en même temps le pont puis peut-être que l'aventurière revient puis traverse avec autre personne non au départ concerne supplémentaires c'est que les temps de traversée du pont par les différents personnages sont assez différentes l'aventurière elle est née ici le point elle le connaît par coeur et elle met cinq minutes pour le traverser malgré trop jones est en pleine forme mais ne connaît pas le pont il lui faut dix minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement vingt et vingt cinq minutes pour traverser le pont l'idée c'est de trouver le temps minimum pour que ces quatre personnes de autre côté du pont solution la plus naturelle dans ce problème celle à laquelle la plupart des gens pensent c'est de dire que l'aventurière prétend la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les alertes minute minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état voyez il y a des trous dans mon enfant et donc seulement deux personnes peuvent passer à la fois la deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter donc comment ça peut se passer peut avoir deux personnes prennent la torche qui traverse en même temps le pont puis peut-être que l'aventurière revient puis traverse avec autre personne non au départ concerne supplémentaires c'est que les temps de traversée du pont par les différents personnages sont assez différentes l'aventurière elle est née ici le point elle le connaît par coeur et elle met cinq minutes pour le traverser malgré trop jones est en pleine forme mais ne connaît pas le pont il lui faut dix minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement vingt et vingt cinq minutes pour traverser le pont l'idée c'est de trouver le temps minimum pour que ces quatre personnes de autre côté du pont solution la plus naturelle dans ce problème celle à laquelle la plupart des gens pensent c'est de dire que l'aventurière prétend la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les alertes minute minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter donc comment ça peut se passer peut avoir deux personnes prennent la torche qui traverse en même temps le pont puis peut-être que l'aventurière revient puis traverse avec autre personne non au départ concerne supplémentaires c'est que les temps de traversée du pont par les différents personnages sont assez différentes l'aventurière elle est née ici le point elle le connaît par coeur et elle met cinq minutes pour le traverser malgré trop jones est en pleine forme mais ne connaît pas le pont il lui faut dix minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement vingt et vingt cinq minutes pour traverser le pont l'idée c'est de trouver le temps minimum pour que ces quatre personnes de autre côté du pont solution la plus naturelle dans ce problème celle à laquelle la plupart des gens pensent c'est de dire que l'aventurière prétend la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les alertes minute minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche qui traverse en même temps le pont puis peut-être que l'aventurière revient puis traverse avec autre personne non au départ concerne supplémentaires c'est que les temps de traversée du pont par les différents personnages sont assez différentes l'aventurière elle est née ici le point elle le connaît par coeur et elle met cinq minutes pour le traverser malgré trop jones est en pleine forme mais ne connaît pas le pont il lui faut dix minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement vingt et vingt cinq minutes pour traverser le pont l'idée c'est de trouver le temps minimum pour que ces quatre personnes de autre côté du pont solution la plus naturelle dans ce problème celle à laquelle la plupart des gens pensent c'est de dire que l'aventurière prétend la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les alertes minute minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont puis peut-être que l'aventurière revient puis traverse avec autre personne non au départ concerne supplémentaires c'est que les temps de traversée du pont par les différents personnages sont assez différentes l'aventurière elle est née ici le point elle le connaît par coeur et elle met cinq minutes pour le traverser malgré trop jones est en pleine forme mais ne connaît pas le pont il lui faut dix minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement vingt et vingt cinq minutes pour traverser le pont l'idée c'est de trouver le temps minimum pour que ces quatre personnes de autre côté du pont solution la plus naturelle dans ce problème celle à laquelle la plupart des gens pensent c'est de dire que l'aventurière prétend la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les alertes minute minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne non au départ concerne supplémentaires c'est que les temps de traversée du pont par les différents personnages sont assez différentes l'aventurière elle est née ici le point elle le connaît par coeur et elle met cinq minutes pour le traverser malgré trop jones est en pleine forme mais ne connaît pas le pont il lui faut dix minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement vingt et vingt cinq minutes pour traverser le pont l'idée c'est de trouver le temps minimum pour que ces quatre personnes de autre côté du pont solution la plus naturelle dans ce problème celle à laquelle la plupart des gens pensent c'est de dire que l'aventurière prétend la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les alertes minute minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· non au départ concerne supplémentaires c'est que les temps de traversée du pont par les différents personnages sont assez différentes l'aventurière elle est née ici le point elle le connaît par coeur et elle met cinq minutes pour le traverser malgré trop jones est en pleine forme mais ne connaît pas le pont il lui faut dix minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement vingt et vingt cinq minutes pour traverser le pont l'idée c'est de trouver le temps minimum pour que ces quatre personnes de autre côté du pont solution la plus naturelle dans ce problème celle à laquelle la plupart des gens pensent c'est de dire que l'aventurière prétend la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les alertes minute minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ concerne supplémentaires c'est que les temps de traversée du pont par les différents personnages sont assez différentes l'aventurière elle est née ici le point elle le connaît par coeur et elle met cinq minutes pour le traverser malgré trop jones est en pleine forme mais ne connaît pas le pont il lui faut dix minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement vingt et vingt cinq minutes pour traverser le pont l'idée c'est de trouver le temps minimum pour que ces quatre personnes de autre côté du pont solution la plus naturelle dans ce problème celle à laquelle la plupart des gens pensent c'est de dire que l'aventurière prétend la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les alertes minute minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· l'idée c'est de trouver le temps minimum pour que ces quatre personnes de autre côté du pont solution la plus naturelle dans ce problème celle à laquelle la plupart des gens pensent c'est de dire que l'aventurière prétend la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les alertes minute minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont solution la plus naturelle dans ce problème celle à laquelle la plupart des gens pensent c'est de dire que l'aventurière prétend la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les alertes minute minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours minute minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule minute cela fait voyager avec cette dame qui prend vingt minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes ça n'est quinze plus vingt trente cinq minutes elle minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ minutes elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 je suis désolé pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· dans la suite du problème j'explique les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de soixante quatre minutes c'est-à-dire ils sont capables de de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir de traverser le pont en soixante quatre minutes ce va dire qu'au soixante quatre minutes faut que tout le monde ait traversé et il faut que nos aventuriers pour empêcher leurs poursuivants de les rattraper donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents va revenir à chaque fois pour amener la torche puisqu'une fois toujours quelqu'un qui rapporte la torche mais on va perdre vingt minutes pour faire traverser cette persane et vingt cinq minutes pour faire traverser cette personne personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· personne deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· deux autres personnes versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles personne dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien dix liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien 40 - et 10‚ 50 - et 10‚ 60 - Voilà liens avec l'informatique dans cette activité c'est que nous intuitivement on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété ici notre propriété c'est ne pas traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien 40 - et 10‚ 50 - et 10‚ 60 - Voilà Le lien avec l'informatique dans cette activité c'est que nous‚ intuitivement‚ on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure· Quand on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété· Ici notre propriété c'est ''ne pas pouvoir traverser en moins de soixante deux minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de soixante minutes manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de soixante minutes un ordinateur a des outils qui permettent de vérifier que système satisfait ou pas une propriété ces outils ça peut être la preuve formelle des programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien 40 - et 10‚ 50 - et 10‚ 60 - Voilà Le lien avec l'informatique dans cette activité c'est que nous‚ intuitivement‚ on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure· Quand on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété· Ici notre propriété c'est ''ne pas pouvoir traverser en moins de 62 minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de 62 minutes· De manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de 62 minutes‚ un ordinateur il a des outils qui permettent de vérifier que ce système satisfait ou pas une propriété· Ces outils ça peut être la preuve formelle programmes aident les informaticiens approuvé formellement des propriétés sur un système elle existe aussi d'autres logiciels que l'on appelle modèles tchèque qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien 40 - et 10‚ 50 - et 10‚ 60 - Voilà Le lien avec l'informatique dans cette activité c'est que nous‚ intuitivement‚ on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure· Quand on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété· Ici notre propriété c'est ''ne pas pouvoir traverser en moins de 62 minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de 62 minutes· De manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de 62 minutes‚ un ordinateur il a des outils qui permettent de vérifier que ce système satisfait ou pas une propriété· Ces outils ça peut être la preuve formelle des programmes aident les informaticiens à prouver formellement des propriétés sur un système et il existe aussi d'autres logiciels que l'on appelle ''model checker''qui vont ils vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété en particulier ici si on date ça problème à un modèle shaker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien 40 - et 10‚ 50 - et 10‚ 60 - Voilà Le lien avec l'informatique dans cette activité c'est que nous‚ intuitivement‚ on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure· Quand on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété· Ici notre propriété c'est ''ne pas pouvoir traverser en moins de 62 minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de 62 minutes· De manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de 62 minutes‚ un ordinateur il a des outils qui permettent de vérifier que ce système satisfait ou pas une propriété· Ces outils ça peut être la preuve formelle des programmes aident les informaticiens à prouver formellement des propriétés sur un système et il existe aussi d'autres logiciels que l'on appelle ''model checker''qui vont générer‚ qui vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété· En particulier ici si on donne ce problème à un model checker va être capable de le dire en un claquement de doigts que le temps minimum de traverser pour ces quatre personnages est de soixante minutes et pas soixante cinq est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien 40 - et 10‚ 50 - et 10‚ 60 - Voilà Le lien avec l'informatique dans cette activité c'est que nous‚ intuitivement‚ on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure· Quand on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété· Ici notre propriété c'est ''ne pas pouvoir traverser en moins de 62 minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de 62 minutes· De manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de 62 minutes‚ un ordinateur il a des outils qui permettent de vérifier que ce système satisfait ou pas une propriété· Ces outils ça peut être la preuve formelle des programmes aident les informaticiens à prouver formellement des propriétés sur un système et il existe aussi d'autres logiciels que l'on appelle ''model checker''qui vont générer‚ qui vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété· En particulier ici si on donne ce problème à un model checker il va être capable de nous dire en un claquement de doigts que le temps minimum de traversée pour ces quatre personnages est de 60 minutes et pas 65 est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété imaginer par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien 40 - et 10‚ 50 - et 10‚ 60 - Voilà Le lien avec l'informatique dans cette activité c'est que nous‚ intuitivement‚ on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure· Quand on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété· Ici notre propriété c'est ''ne pas pouvoir traverser en moins de 62 minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de 62 minutes· De manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de 62 minutes‚ un ordinateur il a des outils qui permettent de vérifier que ce système satisfait ou pas une propriété· Ces outils ça peut être la preuve formelle des programmes aident les informaticiens à prouver formellement des propriétés sur un système et il existe aussi d'autres logiciels que l'on appelle ''model checker''qui vont générer‚ qui vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété· En particulier ici si on donne ce problème à un model checker il va être capable de nous dire en un claquement de doigts que le temps minimum de traversée pour ces quatre personnages est de 60 minutes et pas 65 C'est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété· Imaginez par exemple un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien 40 - et 10‚ 50 - et 10‚ 60 - Voilà Le lien avec l'informatique dans cette activité c'est que nous‚ intuitivement‚ on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure· Quand on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété· Ici notre propriété c'est ''ne pas pouvoir traverser en moins de 62 minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de 62 minutes· De manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de 62 minutes‚ un ordinateur il a des outils qui permettent de vérifier que ce système satisfait ou pas une propriété· Ces outils ça peut être la preuve formelle des programmes aident les informaticiens à prouver formellement des propriétés sur un système et il existe aussi d'autres logiciels que l'on appelle ''model checker''qui vont générer‚ qui vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété· En particulier ici si on donne ce problème à un model checker il va être capable de nous dire en un claquement de doigts que le temps minimum de traversée pour ces quatre personnages est de 60 minutes et pas 65 C'est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété· Imaginez par exemple que j'ai deux machines un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage on imagine mais deux machines pas de stockage entre mes deux machines limitées j'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien 40 - et 10‚ 50 - et 10‚ 60 - Voilà Le lien avec l'informatique dans cette activité c'est que nous‚ intuitivement‚ on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure· Quand on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété· Ici notre propriété c'est ''ne pas pouvoir traverser en moins de 62 minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de 62 minutes· De manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de 62 minutes‚ un ordinateur il a des outils qui permettent de vérifier que ce système satisfait ou pas une propriété· Ces outils ça peut être la preuve formelle des programmes aident les informaticiens à prouver formellement des propriétés sur un système et il existe aussi d'autres logiciels que l'on appelle ''model checker''qui vont générer‚ qui vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété· En particulier ici si on donne ce problème à un model checker il va être capable de nous dire en un claquement de doigts que le temps minimum de traversée pour ces quatre personnages est de 60 minutes et pas 65 C'est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété· Imaginez par exemple que j'ai deux machines un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage - on imagine mes deux machines - l'espace de stockage entre mes deux machines est limité· J'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final· si je dis que par exemple il faut dominer cette machine pour produire une chose que celle-ci lui faut une minute trente récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien 40 - et 10‚ 50 - et 10‚ 60 - Voilà Le lien avec l'informatique dans cette activité c'est que nous‚ intuitivement‚ on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure· Quand on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété· Ici notre propriété c'est ''ne pas pouvoir traverser en moins de 62 minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de 62 minutes· De manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de 62 minutes‚ un ordinateur il a des outils qui permettent de vérifier que ce système satisfait ou pas une propriété· Ces outils ça peut être la preuve formelle des programmes aident les informaticiens à prouver formellement des propriétés sur un système et il existe aussi d'autres logiciels que l'on appelle ''model checker''qui vont générer‚ qui vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété· En particulier ici si on donne ce problème à un model checker il va être capable de nous dire en un claquement de doigts que le temps minimum de traversée pour ces quatre personnages est de 60 minutes et pas 65 C'est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété· Imaginez par exemple que j'ai deux machines un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage - on imagine mes deux machines - l'espace de stockage entre mes deux machines est limité· J'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final· et si je dis que par exemple il faut 2 minutes à cette machine pour produire une chose et que celle-ci il lui faut 1 minute 30 récupérer l'objet et produire autre chose avec tout se passe bien elle va moins vite ça n'aurait pas trop d'objets on attend ici si par contre il se trouve que cette machine peut mettre une minute vingt pour produire des objets elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien 40 - et 10‚ 50 - et 10‚ 60 - Voilà Le lien avec l'informatique dans cette activité c'est que nous‚ intuitivement‚ on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure· Quand on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété· Ici notre propriété c'est ''ne pas pouvoir traverser en moins de 62 minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de 62 minutes· De manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de 62 minutes‚ un ordinateur il a des outils qui permettent de vérifier que ce système satisfait ou pas une propriété· Ces outils ça peut être la preuve formelle des programmes aident les informaticiens à prouver formellement des propriétés sur un système et il existe aussi d'autres logiciels que l'on appelle ''model checker''qui vont générer‚ qui vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété· En particulier ici si on donne ce problème à un model checker il va être capable de nous dire en un claquement de doigts que le temps minimum de traversée pour ces quatre personnages est de 60 minutes et pas 65 C'est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété· Imaginez par exemple que j'ai deux machines un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage - on imagine mes deux machines - l'espace de stockage entre mes deux machines est limité· J'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final· et si je dis que par exemple il faut 2 minutes à cette machine pour produire une chose et que celle-ci il lui faut 1 minute 30 pour récupérer l'objet et produire autre chose avec‚ tout se passe bien - elle‚ elle va moins vite je n'aurai pas trop d'objets en attente ici· Si par contre il se trouve que cette machine peut mettre 1 minute 20 pour produire des objets‚ elle se retrouver à mettre plus d'objets ici que cette machine est capable de consommer pour faire le produit fini et si mon espaces de stockage est limité j'ai besoin de savoir il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu ça peut poser des problèmes donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien 40 - et 10‚ 50 - et 10‚ 60 - Voilà Le lien avec l'informatique dans cette activité c'est que nous‚ intuitivement‚ on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure· Quand on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété· Ici notre propriété c'est ''ne pas pouvoir traverser en moins de 62 minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de 62 minutes· De manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de 62 minutes‚ un ordinateur il a des outils qui permettent de vérifier que ce système satisfait ou pas une propriété· Ces outils ça peut être la preuve formelle des programmes aident les informaticiens à prouver formellement des propriétés sur un système et il existe aussi d'autres logiciels que l'on appelle ''model checker''qui vont générer‚ qui vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété· En particulier ici si on donne ce problème à un model checker il va être capable de nous dire en un claquement de doigts que le temps minimum de traversée pour ces quatre personnages est de 60 minutes et pas 65 C'est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété· Imaginez par exemple que j'ai deux machines un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage - on imagine mes deux machines - l'espace de stockage entre mes deux machines est limité· J'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final· et si je dis que par exemple il faut 2 minutes à cette machine pour produire une chose et que celle-ci il lui faut 1 minute 30 pour récupérer l'objet et produire autre chose avec‚ tout se passe bien - elle‚ elle va moins vite je n'aurai pas trop d'objets en attente ici· Si par contre il se trouve que cette machine peut mettre 1 minute 20 pour produire des objets‚ elle va se retrouver à mettre plus d'objets ici que cette machine n'est capable de consommer pour faire le produit fini· Et si mon espace de stockage est limité j'ai besoin de savoir qu'il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite· Donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu‚ ça peut poser des problèmes· donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produits est pour ça un modèle shaker peut nous aider
Cette activité s'appelle ''la traversée de rivière''ou ''la traversée d'Indiana Jones''ça consiste à faire traverser quatre personnages sur une rivière via un pont qui est en assez mauvais état· Dans mon aventure j'ai quatre personnages - une aventurière‚ qui connaît le pont comme sa poche‚ Indiana Jones et deux de leurs acolytes· ils doivent traverser un pont ici-présent· Le problème c'est qu'y il a deux contraintes - la première c'est que le pont est en assez mauvais état Vous voyez il y a des trous dans mon pont‚ et donc seulement deux personnes peuvent passer à la fois· La deuxième contrainte c'est que c'est la nuit et que donc pour pouvoir traverser le pont il faut posséder la lampe torche pour pouvoir voir où sont les trous dans le pont et pour pouvoir les éviter· Donc comment ça peut se passer - on peut avoir deux personnes qui prennent la torche et qui traversent en même temps le pont et puis peut-être que l'aventurière revient et puis traverse avec autre personne et ainsi de suite··· Alors on va remettre tout le monde au départ La contrainte supplémentaire c'est que les temps de traversée du pont par les différents personnages sont assez différentes L'aventurière elle est née ici le point elle le connaît par coeur et elle met 5 minutes pour le traverser malgré les trous· Indiana Jones est en pleine forme mais ne connaît pas le pont il lui faut 10 minutes et les deux acolytes sont en plus ou moins mauvais état et donc ils mettent respectivement 20 et 25 minutes pour traverser le pont· L'idée c'est de trouver le temps minimum pour que ces quatre personnes passent de autre côté du pont La solution la plus naturelle dans ce problème‚ celle à laquelle la plupart des gens pensent‚ c'est de dire que l'aventurière étant la plus rapide c'est elle qui va accompagner tout le monde lors de leur traversée donc elle va garder la torche tout le temps elle va faire tous les allers-retours Ca fait combien de minutes 10· Et l'aventurière elle revient toute seule 15 minutes· Je la fais voyager avec cette dame qui prend 20 minutes Donc ça me met 15 plus 20‚ 35 minutes‚ elle revient‚ 40 minutes‚ elle traverse avec le monsieur est blessé‚ 40 plus 25‚ 1 heure 5 Donc · nous a vendu 1 heure 5 donc toutes les personnes qui ont dit au-dessus d'une heure 5 je suis désolée pour vous‚ c'est perdu· Seulement‚ dans la suite du problème j'explique que les personnes qui poursuivent nos aventuriers arrivent au bout de 64 minutes c'est-à-dire qu'ils sont capables de venir et de traverser le pont en 64 minutes ce veut dire qu'au bout de 64 minutes il faut que tout le monde ait traversé et il faut que nos aventuriers coupent le pont pour empêcher leurs poursuivants de les rattraper· Donc du coup il faut trouver une autre solution donc on va ramener nos personnages de ce côté là Le problème ici c'est que si cette personne fait tous les allers-retours ces deux personnes vont traverser à des moments différents Elle va bien revenir à chaque fois pour ramener la torche puisqu'il faut toujours quelqu'un qui rapporte la torche mais on va perdre 20 minutes pour faire traverser cette personne et 25 minutes pour faire traverser cette personne· Alors qui proposait moins de 65 minutes et maintient sa proposition· Alors il ne reste plus que 3 personnes Alors vu que j'avais choisi une fille juste avant je vais faire venir un homme on va respecter la parité· La personne qui met 5 minutes et celle qui met 10 minutes traversent le pont 10 La personne qui met 5 minutes retourne de l'autre côté du pont· 15 merci· Les deux autres personnes donc 25 et 20 minutes passent de l'autre côté du pont· Elles donnent la torche· Aaaah· Ah j'ai toujours dit quand on m'a demandé versailles elle peut donner la torche· Donc ces deux personnes‚ on en était à 15 et 25‚ 40‚ la personne de 10 minutes traverse le pont‚ et ils retraversent tous les deux· Donc on en était à combien 40 - et 10‚ 50 - et 10‚ 60 - Voilà Le lien avec l'informatique dans cette activité c'est que nous‚ intuitivement‚ on a une solution qui est presque la meilleure mais qui est pas tout à fait la meilleure· Quand on veut faire un système informatique ou un système mécanique on veut s'assurer que tous les comportements du système satisfont une propriété· Ici notre propriété c'est ''ne pas pouvoir traverser en moins de 62 minutes par exemple donc du coup la question c'est est-ce que il est possible avec ce système de traverser en moins de 62 minutes· De manière intuitive on a tendance à répondre que oui ce n'est pas possible de traverser en moins de 62 minutes‚ un ordinateur il a des outils qui permettent de vérifier que ce système satisfait ou pas une propriété· Ces outils ça peut être la preuve formelle des programmes aident les informaticiens à prouver formellement des propriétés sur un système et il existe aussi d'autres logiciels que l'on appelle ''model checker''qui vont générer‚ qui vont produire tous les comportements possibles du système et s'assurer que tous les comportements du système satisfont la propriété· En particulier ici si on donne ce problème à un model checker il va être capable de nous dire en un claquement de doigts que le temps minimum de traversée pour ces quatre personnages est de 60 minutes et pas 65 C'est très important quand on a un système de pouvoir s'assurer qu'il satisfait ou non une propriété· Imaginez par exemple que j'ai deux machines un atelier de production et que une première machine produit des choses ces choses vont devoir être utilisées par une deuxième machine et ce qui se passe c'est que l'espace de stockage - on imagine mes deux machines - l'espace de stockage entre mes deux machines est limité· J'ai envie de savoir à quelle vitesse cette machine va pouvoir produire des choses pour savoir si celle-là va pouvoir les consommer assez vite pour produire le produit final· et si je dis que par exemple il faut 2 minutes à cette machine pour produire une chose et que celle-ci il lui faut 1 minute 30 pour récupérer l'objet et produire autre chose avec‚ tout se passe bien - elle‚ elle va moins vite je n'aurai pas trop d'objets en attente ici· Si par contre il se trouve que cette machine peut mettre 1 minute 20 pour produire des objets‚ elle va se retrouver à mettre plus d'objets ici que cette machine n'est capable de consommer pour faire le produit fini· Et si mon espace de stockage est limité j'ai besoin de savoir qu'il me faudrait une autre machine pour aider celle-ci pour consommer les produits plus vite· Donc il y a des cas où si quelque chose peut être plus efficace plus rapide que ce qui était prévu‚ ça peut poser des problèmes· et donc on a besoin de vérifier formellement le système pour s'assurer à la fois qu'elle produit des objets de manière correcte mais à quelle vitesse elle les produit et pour ça un model checker peut nous aider·
Inria-984-AD_traverseede_HD.MP4

Format : .mp4
268 Mo
1024 x 576 pixels
Moyenne définition - équivalent DVD
Encodage PAL .MP4 H264
5 Mbits/s
Sélection
Voir Selection
Déposer ici pour retirer de la sélection