.dsy:it. - INFO su compitino del 18-11-2008

Pages (5): « 1 [2] 3 4 5 »
Show 150 posts per page

.dsy:it. (http://www.dsy.it/forum/)
- Fondamenti di sistemi distribuiti (http://www.dsy.it/forum/forumdisplay.php?forumid=293)
-- INFO su compitino del 18-11-2008 (http://www.dsy.it/forum/showthread.php?threadid=36922)

Posted by PicciPucciPacci on 16-11-2008 10:25:

Originally posted by toyrat

CSP e CCS non li avete fatti?sono due modelli di concorrenza posteriori alle reti di petri ma non migliori li' ne ha fatto un rapido accenno...

ups, scusa Shiffola, non avevo letto dove dicevi di spiegarti i cps e ccs! sorry!
comunque sono due modelli per spiegare la concorrenza, oltre alle reti di petri.
usano tutte e due una comunicazione sincrona, mentre le reti di petri modellano sia una comunicazione sincrona che asincrona.

poi ha fatto vedere anche un altro modello, quello degli actors, ma l'ha fatto velocissimo...
cmq vedendo che sul jli non li ha mai menzionati, magari quest'anno non li ha fatti!

Toyrat grazie del pdf!

ma ragazzi volevo chiedervi....nell'esercizio 11 sul jli...dove dice:
a coincide con a'
b coincide con b'
....sul pdf c'è solo a & b, di a' & b' non c'è traccia!!!
per caso è come nelle videolezioni, dove una volta a' & b' corrispondono a t2 e t4, oppure corrispondono a t1 e t3??!?!
poi sempre in quell'esercizio lì, cos'è una funzione di labelling? mai sentito sto termine qua....

Posted by shiffola on 16-11-2008 10:49:

Originally posted by toyrat
sentite a riguardo della matrice d'incidenza, ho trovato questa regola in una definizione per cui se si sommano i valori assunti da ogni transizione ogni colonna da' risultato zero affinche' la matrice sia corretta
quindi potrebbe essere un buon modo per verificare se l'abbiamo fatta bene!!!

nella matrice postata infatti funziona questa regola
vi mando il link
http://www.dis.uniroma1.it/~sassano...POR/matrici.pdf

Attenzione: durante la correzione abbiano chiesto proprio questa cosa alla prof (ovvero se effettivamente la somma delle righe e delle colonne doveva dare zero). Lei ha risposto che vale solo se il numero di archi entranti nella transizione è uguale al numero di archi uscenti.

La pagina da te linkata la guarderò più tardi, quanto scritto prima è solo per dirvi quello che ci è stato detto in classe eh

Posted by shiffola on 16-11-2008 10:54:

Originally posted by PicciPucciPacci
ups, scusa Shiffola, non avevo letto dove dicevi di spiegarti i cps e ccs! sorry!
comunque sono due modelli per spiegare la concorrenza, oltre alle reti di petri.
usano tutte e due una comunicazione sincrona, mentre le reti di petri modellano sia una comunicazione sincrona che asincrona.

poi ha fatto vedere anche un altro modello, quello degli actors, ma l'ha fatto velocissimo...
cmq vedendo che sul jli non li ha mai menzionati, magari quest'anno non li ha fatti!

Toyrat grazie del pdf!

ma ragazzi volevo chiedervi....nell'esercizio 11 sul jli...dove dice:
a coincide con a'
b coincide con b'
....sul pdf c'è solo a & b, di a' & b' non c'è traccia!!!
per caso è come nelle videolezioni, dove una volta a' & b' corrispondono a t2 e t4, oppure corrispondono a t1 e t3??!?!
poi sempre in quell'esercizio lì, cos'è una funzione di labelling? mai sentito sto termine qua....

dunque dunque.. li stavo riscrivendo adesso..
in Sigma: t1 e t3 le chiama tau; t2 = a' t4 = b'
in Sigma': t2,t4=tau t1=a' t3=b'

Funzione di labelling: semplicemente cambia l'etichetta (quindi solo il nome) delle tranzizioni

All'atto pratico: cambiando etichette poteva usare gli stessi modelli per poi fare due composizioni parallele diverse e domande differenti (durante la correzione abbiamo infatti notato che etichettando "a caso" i conti non tornano!)

Soprattutto, notare che per verificare l'isomorfismo di due sistemi la loro etichettatura dev'essere confrontabile!

Per l'altra cosa: a lezione diceva che effettivamente esistono altri modelli per la concorrenza.. se li ha nominati mi son persa i nomi, ma in ogni caso non li ha approfonditi (non escludo lo faccia più avanti, ma non so

)

Posted by PicciPucciPacci on 16-11-2008 14:55:

ah occhei!
grazie!

quindi....riassumendo, vediamo se ho capito! :-D

SITUAZIONE DI CONCORRENZA: avviene quando le componenti del sistema possono interagire tra di loro (esempio: il producer arriva nella situazione di deliver, il buffer si riempie e ora il cosumer può fare la take e cominciare a "lavorare")

SITUAZIONE DI CONTATTO: ho la precondizione verificata, ma lo è anche la postcondizione, quindi non posso andare avanti. Per eliminare la situazione di contatto dovrei modellare il sistema in modo completo (sarebbe l'esempio SIGMA1 primo)

SITUAZIONE DI CONFUSIONE: l'ordine in cui scattano le transizioni cambia il comportamento del sistema

SITUAZIONE DI CONFLITTO: un evento è in conflitto con un altro se gli toglie la possibilità di verificarsi (cioè se l'evento può fare due scelte)

...non sono molto convinta sulla situazione di conflitto e quella di confusione....

nei vari sistemi analizzati (sigma 0, sigma 1, sigma1'....) secondo me c'è:
situazione di contatto: solo in sigma1'
situazione di conflitto: in sigma2
situazione di confusione: in sigma2
situazione di concorrenza: in tutti (???)

...voi che dite??!?!

Posted by shiffola on 16-11-2008 15:11:

Ciò che hai scritto, tranne piccole cose, è corretto, le riprendo così che possiate leggere ciò che viene detto a lezione (e come le ho capite io, stiamo discutendo in tre ma rivolgo l'invito a correggere anche ad altri quando necessario!) :

Concorrenza: due transizioni che hanno concessione possono verificarsi contemporaneamente (ma non necessariamente insieme: in generale, in modo indipendente) --> dire che si verifica quando le due componenti possono interagire può trarre in inganno

Contatto: ok. La situazione si risolve, appunto, aggiungendo gli stati complementari.

Confusione: si può verificare quando ci sono concorrenza e conflitto, dipende dall'evoluzione del sistema e quindi dall'ordine delle transizioni concorrenti.

Conflitto: quando l'evoluzione dipende da un'evoluzione deterministica del sistema.

l'ultimo esercizio di verifica delle situazioni (conc, contatto etc) ha le soluzioni (quindi son corrette), le riporto:

code:

	         E0	E1	E1'	E2	E2'
---------------------------------------------------
concorrenza  	v	v	v	v	v
conflitto   	x	x	x	v	x
confusione    	x	x	x	x	x
contatto       	x	x	v	x      X

Posted by PicciPucciPacci on 16-11-2008 15:20:

mmm....e come mai in sigma2 (E2) non si verifica la situazione di confusione?
perchè la concorrenza si verifica, e pure il conflitto...
quindi dovrebbe verificarsi anche la confusione....credo!

cioè, si verifica sicuramente quando c'è conflitto e concorrenza, oppure può capitare che non succeda?

Posted by shiffola on 16-11-2008 15:35:

può capitare! infatti nel quiz l'avevo sbagliata perchè non l'ho nemmeno controllata :asd:

Posted by PicciPucciPacci on 16-11-2008 15:46:

aaaaahh....ho capito!
grazie mille per tutti i chiarimenti!!!!!
:clap: :clap: :clap:

Posted by toyrat on 16-11-2008 19:16:

quindi nn e' detto che se c'e' conflitto c'e' per forza confusione!!!quindi bisogna vedere se il conflitto c'e' sempre oppure solo dopo determinate scelte e allora solo in questo ultimo caso e' confusione...giusto???anche io ho sbagliato nell'esercizio a valutare sigma2

Posted by ::eroinbob:: on 17-11-2008 10:52:

Originally posted by shiffola
allora...

- prendo un sistema (es: sigma dell'esercizio 11 di quest'anno)
- costruisco la matrice così composta: scrivo sulla prima riga i nomi di tutte le transizioni; scrivo sulla prima colonna i nomi di tutti gli stati

- analizzo una transizione alla volta e scrivo:
---- -1 in corrispondenza (degli stati) delle precondizioni verificate (perchè tolgo la marca)
---- +1 in corrispondenza (degli stati) delle postcondizioni attivate (perchè aggiungo la marca)

mi rendo conto che questa spiegazione possa risultare poco chiara, quindi fai pure domande :S

sulla tabella che hai postato però hai messo i -1 in corrispondenza delle post e i +1 per le pre......

qual'è la notazione corretta??? a me risulta che sia -1 = pre e +1 = post (come scritto nel post che sto quotando)

Posted by Gigia on 17-11-2008 12:44:

qualcuno mi potrebbe spiegare (magari con un esempio) i concetti di vivezza e 1-vivo.
grazie

__________________
My Foto

"Sparerò a caso ragionando".(Anonimo)

Du gut d'oli fan i smach

Posted by toyrat on 17-11-2008 14:32:

allora da quello che ho capito io
la differenza tra le due e' che se un sistema ha tutte le transizioni 1-vive (tutte hanno possibilita' di verificarrsi) puo' verificarsi comunque il blocco del sistema
invece se il sistema e' vivo le sue transizioni hanno SEMPRE possibilita' di verificarsi...
ma a livello di definizioni la cosa non e' chiara per niente neanche a me anzi ...:O

Posted by toyrat on 17-11-2008 16:27:

ora che ho quasi finito il ripasso mi sono posta una domanda, ho capito come si costruiscono le matrici d'incidenza ma a cosa mi servono???
qual'e' la caratteristica che mettono in evidenza???
e' da un po' che ci rifletto ma ancora mi sfugge...

lo so sono un po' testona

Posted by toyrat on 17-11-2008 16:33:

Originally posted by ::eroinbob::
sulla tabella che hai postato però hai messo i -1 in corrispondenza delle post e i +1 per le pre......

qual'è la notazione corretta??? a me risulta che sia -1 = pre e +1 = post (come scritto nel post che sto quotando)

ma appunto e' giusta la matrice postata!!!
infatti
p1 per t1 e' una pre e va a -1 mentre p2 che e' la post va a +1
come pure
b1 per alfa e' una pre e quindi=-1
mentre per beta e' una post e quindi=+1
:-D

perche' dici che non corrispondono??? misembrava di aver capito tanto bene dalla spiegazione che aveva fatto shiffola!!!

Posted by shiffola on 17-11-2008 19:39:

Originally posted by toyrat

ma appunto e' giusta la matrice postata!!!
infatti
p1 per t1 e' una pre e va a -1 mentre p2 che e' la post va a +1
come pure
b1 per alfa e' una pre e quindi=-1
mentre per beta e' una post e quindi=+1

perche' dici che non corrispondono??? misembrava di aver capito tanto bene dalla spiegazione che aveva fatto shiffola!!!

eccomi.. allora: le pre -1; le post +1
se ho sbagliato a scriverle scusate!!

c'è chi si chiede a cosa servono le matrici.. :asd:

(sorrido non per prendere in giro ma perchè diversi esercizi sono fini a sè stessi e basta eh!)
ecco.. diciamo che a noi, per il tipo di studio che facciamo dei sistemi, servono a poco, nel senso che i comportamenti li vediamo ad esempio dai case graph piuttosto che dalle fs/ofs.

MA le matrici, proprio perchè si costruiscono guardando solo la rete (quindi non serve conoscere lo stato "attuale" (evoluzioni) del sistema, ma solo pre/post condizioni) possono essere "riempite" mediante un algoritmo e soprattutto si possono applicare nozioni di algebra lineare ( :look:

) che noi non affrontiamo...

dai miei appunti (ovvero trascrivendo quello che diceva la prof, cercando di capire visto che non ci sono definizioni precise

) leggo questa nota/riassunto finale:
--- vivezza: non ci sono mai situazioni di blocco, sistema sempre funzionante; ESEMPIO: OSS||Sigma --> il sistema mantiene nel tempo le proprietà di buon comportamento -->
t appartiene T PEROGNI C appartiene [Cin> Esiste c appartiene [C> tale che C[t

...scrivere gli insieme non mi riesce bene qui, scrivo a parole: qualunque sia il caso corrente non è detto che t abbia concessione, ma le altre t avranno la possibilità di scattare quando il sistema evolverà opportunamente--> esiste un'evoluzione possibile tale che esiste un caso per t abbia concessione. ES: t non ha concessione subito, ma esiste un cammino in cui avrà concessione

1-vivezza t può scattare solo una volta, tipica delle inizializzazioni.

[scusate per la forma scritta poco curata :oops:

ma devo rivedere tutta la teoria e sono un po' di fretta!]

All times are GMT. The time now is 13:21.

Pages (5): « 1 [2] 3 4 5 »
Show all 63 posts from this thread on one page