Forum des informaticiens de la FST
L'équipe du Forum Info-Fst, vous souhaite la bienvenue parmi nous.

help outils fourmel

Aller en bas

help outils fourmel

Message par guevara le Sam 17 Mai - 12:43

salut.
en revisant le cours de OFD , je trouver du mal à comprendr  la diference entre les diferente type de machine B , je pense qu'il y'a une machine B evennemenetiel et autre normale , le probleme et que dans une probleme  elle nous a demandé de resoudre  avec ABMN malgres que le base de fonct(ionnement de systeme est du à des evennement.
ch pas si j'ai bien expliqué mais je trouve vraiment de probleme à comprendre :
-ce quoi BAMN
-quel diference avec B evennementiel
et surtout quand choisir B AMN ou B evennementiel pour resoudre le probleme
et merci d'avance
avatar
guevara
VIP
VIP

Masculin Nombre de messages : 645
Age : 35
Section et Année : i4 w rabi yssahel fi 5edma
Date d'inscription : 29/11/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: help outils fourmel

Message par nina le Sam 17 Mai - 14:04

+1
quelqu un nous aide SVP
bon fel diapo il n ya que le B evennementiel, qui est il ce B AMN ?
avatar
nina
VIP
VIP

Féminin Nombre de messages : 354
Age : 32
Section et Année : exI4
Date d'inscription : 17/10/2007

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: help outils fourmel

Message par guevara le Sam 17 Mai - 14:58

une autre question : c'est quoi la "PLTL" pour la verification des preuve de vivacité et de sureté, et le rafinnement est inclus dans le chapitre à reviser pour cette matiere
avatar
guevara
VIP
VIP

Masculin Nombre de messages : 645
Age : 35
Section et Année : i4 w rabi yssahel fi 5edma
Date d'inscription : 29/11/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: help outils fourmel

Message par nina le Sam 17 Mai - 15:27

apparamen juste nous les deux qui s interessent a l OFD ya guevara
bon pour PLTL tu le trouve dans ce diapo
Question http://www.partage-facile.com/125703-Cours_modelchecking.ppt.html
avatar
nina
VIP
VIP

Féminin Nombre de messages : 354
Age : 32
Section et Année : exI4
Date d'inscription : 17/10/2007

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: help outils fourmel

Message par guevara le Dim 18 Mai - 2:23

merci , ce que je compris des examen , lorsquelle nous donne une automate , alors on doit resoudre avec la B evennementiel , exatement le petit exercice dans la derniere seance( a_to_a ....events...) , mais si elle nous donne une explication de probleme alors on resoudre suivant ce qu'on a fait avec l'exemple de bariere de train( fonction=pre .... then......) et je pense que celle la est la B AMN (machine B normale).bon c'est une conclusion personnelle et peut etre elle fausse.
merci pour le doc.
avatar
guevara
VIP
VIP

Masculin Nombre de messages : 645
Age : 35
Section et Année : i4 w rabi yssahel fi 5edma
Date d'inscription : 29/11/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: help outils fourmel

Message par nina le Dim 18 Mai - 3:35

En 1996, Jean-Raymond Abrial a proposé une extension de B, appelée B évenementiel, qui permet la spécification
de systèmes réactifs. Dans cette extension, les concepts de machine abstraite et d’opérations
sont respectivement remplacés par ceux de système abstrait et d’événements.

cad fel corps de B on trouve les oprations, mai le B evenementiel les opérations se sautent et on trouve les evenements.
http://www3.partage-facile.com/1027037-255.pdf.html
avatar
nina
VIP
VIP

Féminin Nombre de messages : 354
Age : 32
Section et Année : exI4
Date d'inscription : 17/10/2007

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: help outils fourmel

Message par guevara le Lun 19 Mai - 7:19

j'ai eu la chance d'avoir un tout petit RDV avec madame jemni:
-le cours est autorisé(malgres qu'il y'a des question de cours alors imaginez vous ces question)
-y'a pas de rafinement dans l'examen
-y'a pas de logique PLTL dans l'examen
-y'a pas des obligation  pour le B evennementiel , parcontre il existe pour BAMN
-on aura une indication sur le type de B  à choisir pour resoudre le probleme.

Un automate peut atre resoulu à traves le B evennemetiel ou le BAMN, si on choisi le B AMN alors on  peut faire le operation suivant le nombre d'etat , ( changer_etat_1,changer_etat_2,changer_etat_3)  , ou on peut resoudre avec B evennementiel , alors là tous le cas possible de changement inter-etat doit figurer(etat1_tot_eta2,etat1_tot_eta3,etat2_tot_eta3).

une petite resumé pour demain et inchaallah rabi m3ana.
bonne chance à tous
avatar
guevara
VIP
VIP

Masculin Nombre de messages : 645
Age : 35
Section et Année : i4 w rabi yssahel fi 5edma
Date d'inscription : 29/11/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: help outils fourmel

Message par nina le Lun 19 Mai - 10:07

guevara a écrit:-le cours est autorisé(malgres qu'il y'a des question de cours alors imaginez vous ces question)
-y'a pas des obligation pour le B evennementiel , parcontre il existe pour BAMN
-on aura une indication sur le type de B à choisir pour resoudre le probleme.
oui guevara jé pa compri ces indication
et merci pr nous parager l information.
avatar
nina
VIP
VIP

Féminin Nombre de messages : 354
Age : 32
Section et Année : exI4
Date d'inscription : 17/10/2007

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: help outils fourmel

Message par guevara le Lun 19 Mai - 12:38

-y'a pas des obligation pour le B evennementiel , parcontre il existe pour BAMN --> les obligation des preuves existe dans tous les exam que j'ai fait , il y'a deux type des obligation , la premiere concerne la machine BAMN( [intialisation]invariant ,I et precondition => I apres action) , la deusieme pour la B evennementiel on n'a pas etudier


--on aura une indication sur le type de B à chois ==> c'est à dire elle va nous donner si on doit travailler avec BAMN ou B evennementiel.
bonne chance pour tous .
avatar
guevara
VIP
VIP

Masculin Nombre de messages : 645
Age : 35
Section et Année : i4 w rabi yssahel fi 5edma
Date d'inscription : 29/11/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: help outils fourmel

Message par nina le Lun 19 Mai - 13:54

BAREKA ALLAHOU FIK Wink
BONNE CHANCE PR DEMAIN
avatar
nina
VIP
VIP

Féminin Nombre de messages : 354
Age : 32
Section et Année : exI4
Date d'inscription : 17/10/2007

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: help outils fourmel

Message par Kyu le Mar 20 Mai - 10:10

mdr on dirait que ya que nina et guivara qui ont eu cette option ^^

Kyu
Modérateur
Modérateur

Masculin Nombre de messages : 1300
Age : 23
Section et Année : i4 -> master IFPRU ◄▒×
Localisation : kyu-do
Date d'inscription : 23/12/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: help outils fourmel

Message par guevara le Mar 20 Mai - 11:43

non , aujourdhui l'amphi B est plein , mais ils ont raison d'ignorer cette matiere , inchaallah rabi m3ana
avatar
guevara
VIP
VIP

Masculin Nombre de messages : 645
Age : 35
Section et Année : i4 w rabi yssahel fi 5edma
Date d'inscription : 29/11/2006

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: help outils fourmel

Message par nina le Mar 20 Mai - 12:47

rabi m3ana bisara7a
elli yasma3 doc autorisé y9oul malla jaww 3and hajme3a
allah elmosta3an, el7amdoulelleh
avatar
nina
VIP
VIP

Féminin Nombre de messages : 354
Age : 32
Section et Année : exI4
Date d'inscription : 17/10/2007

Voir le profil de l'utilisateur

Revenir en haut Aller en bas

Re: help outils fourmel

Message par Contenu sponsorisé


Contenu sponsorisé


Revenir en haut Aller en bas

Revenir en haut


 
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum