"Soit un algorithme A implémentant une abstraction M en utilisant un détecteur de défaillances parfait à terme D. Soit une exécution R0 de A dans laquelle la propriété de précision forte à terme de D n'est pas assurée. Est-il possible que A n'assure pas une propriété de sûreté de M durant R0 ?"
...je sais pas si je suis le seul à pas comprendre, mais voilà ce que j'ai eu en exam...
[TOPIC] Pas heureux!!!!
-
Rs01
- Globe-Trotter
- Messages : 7226
- Enregistré le : 19 nov. 2006, 20:25
- Type(s) de voiture(s) :
- Contact :
-
doudou
- Globe-Trotter
- Messages : 7034
- Enregistré le : 20 déc. 2006, 22:00
- Award : Le plus bel atelier (2012)
- Type(s) de voiture(s) : 4l, JP4, Escort MKI
- Contact :
c'est pas faut !jmi a écrit : "Soit un algorithme A implémentant une abstraction M en utilisant un détecteur de défaillances parfait à terme D. Soit une exécution R0 de A dans laquelle la propriété de précision forte à terme de D n'est pas assurée. Est-il possible que A n'assure pas une propriété de sûreté de M durant R0 ?"
...je sais pas si je suis le seul à pas comprendre, mais voilà ce que j'ai eu en exam...
-
wiggys92
- Globe-Trotter
- Messages : 4185
- Enregistré le : 27 déc. 2005, 22:43
- Award : Membre le plus râleur (2007)
- Type(s) de voiture(s) :
- Contact :
-
flope4
- Pilier
- Messages : 8930
- Enregistré le : 16 févr. 2007, 08:43
- Type(s) de voiture(s) :
- Contact :
-
flope4
- Pilier
- Messages : 8930
- Enregistré le : 16 févr. 2007, 08:43
- Type(s) de voiture(s) :
- Contact :
Je suis une sous merde 
Putain, je me suis planté de rondelle en remontant ma poulie d'AAC, et bah, ça a de très grosses conséquences : la poulie à déformé la rondelle, donc a pris du jeu, a finit par se foutre de travers et se bloquer... ça a usé l'AAC, la poulie ne tournait plus, donc la pompe a eau non plus, donc joint de culasse...
Tout ça sous la pluie :x
Donc je saute dans une voiture, et je file chercher la S16 et la barre pour tracter Maya jusque chez moi, j'accroche, tout va bien
On fait 400 m, mon copilote n'avais visiblement pas resserré les roues comme je lui avait demandé...
On a perdu une roue, de nuit, sous la pluie dans une p'tite rue en pente raide, où les autres avaient a peine la place de passer J'vous laisse imaginer la scène pour remonter une roue :waw:
Et j'ai tellement gueulé sur mon copilote, ma bagnolle, enfin bref sur tout... ( nan parce que en 400 m un joint de cucu + un AAC mort + une roue perdue, je trouve que ça fait beaucoup pour une seule personne... j'ai craqué comme rarement j'avais craqué :-° )
Putain de journée de merde
Putain, je me suis planté de rondelle en remontant ma poulie d'AAC, et bah, ça a de très grosses conséquences : la poulie à déformé la rondelle, donc a pris du jeu, a finit par se foutre de travers et se bloquer... ça a usé l'AAC, la poulie ne tournait plus, donc la pompe a eau non plus, donc joint de culasse...
Tout ça sous la pluie :x
Donc je saute dans une voiture, et je file chercher la S16 et la barre pour tracter Maya jusque chez moi, j'accroche, tout va bien
On fait 400 m, mon copilote n'avais visiblement pas resserré les roues comme je lui avait demandé...
On a perdu une roue, de nuit, sous la pluie dans une p'tite rue en pente raide, où les autres avaient a peine la place de passer
J'vous laisse imaginer la scène pour remonter une roue :waw: Et j'ai tellement gueulé sur mon copilote, ma bagnolle, enfin bref sur tout... ( nan parce que en 400 m un joint de cucu + un AAC mort + une roue perdue, je trouve que ça fait beaucoup pour une seule personne... j'ai craqué comme rarement j'avais craqué :-° )
Putain de journée de merde
-
FOXx
- Drogué à VRally 4L
- Messages : 3228
- Enregistré le : 06 janv. 2008, 16:02
- Type(s) de voiture(s) :
- Contact :
-
Max05
- Drogué à VRally 4L
- Messages : 2740
- Enregistré le : 29 juil. 2007, 18:41
- Award : Membre ayant la plus belle collection de voitures (2010, 2012)
- Type(s) de voiture(s) : 4l's, R5A, Clio RS, 205 GTI, Dodge WC
- Contact :
Mon pauvre biquet, t'as vraiment pas de chance, petite erreur qui a de graves conséquences.
Mais tu vas vite nous réparer ça après la résurection de la Maya au chassis tordu, c'est pas des petits problèmes de moteur qui vont te décourager.
T'aurais du casser la gueule à ton copilote, ça t'aurais détendu
Courage Flo, Maya fa finir par revivre!!!
@+
Mais tu vas vite nous réparer ça après la résurection de la Maya au chassis tordu, c'est pas des petits problèmes de moteur qui vont te décourager.
T'aurais du casser la gueule à ton copilote, ça t'aurais détendu
Courage Flo, Maya fa finir par revivre!!!
@+
R5 Alpine 80' Clio RS 05' 4l Rose TX Sinpar 4l Blanche 86' 4l Grise 89'
205 GTI Glace Gt Turbo Glace Dodge WC51 Glace
-
flope4
- Pilier
- Messages : 8930
- Enregistré le : 16 févr. 2007, 08:43
- Type(s) de voiture(s) :
- Contact :
Bah là, s'pa pour tout de suite...nsk8yo a écrit : oulla pas cool ça ... bon courage pour tout remettre en ordre.
+++
Elle m'a vraiment fait chier cette voiture : je suis dessus presuqe à temps plein depuis mi aout, je la sort une fois et tout fout le camp...
Bref, je vais finir la 66 avant de retoucher Maya :x
-
flope4
- Pilier
- Messages : 8930
- Enregistré le : 16 févr. 2007, 08:43
- Type(s) de voiture(s) :
- Contact :
Ouais sauf que là, va falloir que je trouve un AAC de TX ...Max05 a écrit : Mon pauvre biquet, t'as vraiment pas de chance, petite erreur qui a de graves conséquences.
Mais tu vas vite nous réparer ça après la résurection de la Maya au chassis tordu, c'est pas des petits problèmes de moteur qui vont te décourager.
T'aurais du casser la gueule à ton copilote, ça t'aurais détendu
Courage Flo, Maya fa finir par revivre!!!
@+
Parce que le mien à 99% de chances d'être mort ... Et je ne sais pas où je vais trouver ça
Qui est en ligne
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 2 invités