Show 150 posts per page
|
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)
INFO su compitino del 18-11-2008
qualcuno che frequenta il corso mi sa dire se la professoressa ha detto qualcosa a riguardo :
-della durata del compitino,
-del tipo di esercizi che saranno presenti,
-se si svolgera' tutto su JLI! con questionari a risposte multiple,
-o se bisognera' usare anche editor grafici,o altro...
insomma sono alla ricerca di qualsiasi informazione a riguardo
visto che la prof. e' un po' avara di dettagli via email
grazie
-della durata del compitino: BOH.. rispetto l'orario sarebbe fino alle 10.30, ma mi sembra pochino
-del tipo di esercizi che saranno presenti: dovrebbero essere simili a quelli che da settimanalmente, più qualche domanda aperta (non so quantificarle però).
-se si svolgera' tutto su JLI! con questionari a risposte multiple, o se bisognera' usare anche editor grafici,o altro...: tutto su JLI! ragazzi che l'han fatto l'anno scorso mi han detto che distribuisce dei fogli, che poi vanno riconsegnati, per poter fare schemi e "pasticci" vari, ma tendenzialmente le risposte sono tutte su jli
attendiamo magari qualche informazione/consiglio da chi l'ha sostenuto l'anno scorso
grazie!!!
comunque mi sa che il compitino non potra' durare tanto di piu' dato che la de cindio ha un seminario alle 11
non avendo frequentato, ho seguito tramite le videolezioni...
per essere sicuri...gli argomenti del compitino sono?
(perchè sul jli c'è scritto: fino alla lezione del 12 novembre...vabbè! 
)
quindi, il compitino è su:
-definizione di sistema
-definizione di oggetto
-principio di sostituibilità
-reti di petri
-definizione di abilitazione di una transizione
-definizione di transizione di stato
-principio di estensionalità e conseguenze
-case graph
-situazioni di confusione, contatto, conflitto
-vivezza del sistema
-csp e ccs
....mi sfugge qualcos'altro?
graaaaazie! 
guarda, anche io ho seguito solo sulle videolezioni e dovrebbero essere gli argomenti trattati fino alla lezione del 3 novembre 2006!!!
risulta anche a te che la videolezione del 27 ottobre 2006 ha l'audio corrotto da meta' in poi???ho provato a scaricarla piu' volte ma la voce della de cindio a meta' sparisce sempre...
ah occhei! allora sono arrivata giusto a quella videolezione!
comunque sì, al minuto 50 sparisce l'audio e niente...mi son limitata a ricopiare quei due lucidi che ha messo!
(se mi va male il compitino sarà per quella videolezione lì...hihihihi...)
Originally posted by toyrat
grazie!!!
comunque mi sa che il compitino non potra' durare tanto di piu' dato che la de cindio ha un seminario alle 11
Originally posted by PicciPucciPacci
-csp e ccs
....mi sfugge qualcos'altro?
ma potrebbe averli fatti, boh
matrice di incidenza??!!?!
uh signur!!! cos'è??!?!?!???
fammi un attimo organizzare e ti scrivo un esempio!
intanto dimmi cosa sono csp e css così ci capiamo 
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
wow grazie della spiegazione sulle matrici d'incidenza
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...
l'audio nella video lezione manca quando spiega le nozioni di concorrenza e conflitto, quindi noi abbiamo solo le formule che ha scritto sulla lavagna elettronica
ancora grazie
grazie per le matrici d'incidenza!
per la videolezione dove sparisce l'audio, ci siamo persi la spiegazione dell'esercizio
PRODUCER || BUFF1 || BUFF2 || CONSUMER, quello dove il producer può rilasciare il prodotto indifferentemente in una qualunque delle due istanze di buffer (sarebbe il grafico Sigma2)
....le marche come sono segnate lì, come nel jli, sono nello stato iniziale?
non ho capito bene come funzeca sto grafico...
e poi come dice toyrat per la parte di concorrenza e conflitto non abbiamo chissà quale spiegazione....
se ci puoi illuminaaaaare.....
graaaazie!
si e' vero anche quel'esercizio infatti l'ho sbagliato io poi 
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
Originally posted by toyrat
CSP e CCS non li avete fatti?sono due modelli di concorrenza posteriori alle reti di petri ma non migliori
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
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....
)
ah occhei!
grazie!
quindi....riassumendo, vediamo se ho capito!
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??!?!
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
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?
può capitare! infatti nel quiz l'avevo sbagliata perchè non l'ho nemmeno controllata
aaaaahh....ho capito!
grazie mille per tutti i chiarimenti!!!!!
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
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
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
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
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
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)
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!!!
(sorrido non per prendere in giro ma perchè diversi esercizi sono fini a sè stessi e basta eh!) ) che noi non affrontiamo...
) leggo questa nota/riassunto finale:
ma devo rivedere tutta la teoria e sono un po' di fretta!]
grande!!!
grazie per le risposta sulle matrici !!!
ora posso andare a nanna serena
Qualcuno mi sa dire se la prof ha iniziato a correggere a lezione il compitino???
inoltre mi sapete dire come funziona il progetto?
viene assegnato da lei, ci da delle indicazioni o bisogna decidere tutto noi???
non potendo seguire se mi fate sapere qlcs mi fate un favorone!!!
grazie grazie grazie
eccomiiiiiiiiiii
venerdì a lezione ha detto che in genere corregge nel weekend, ma che quello appena passato non poteva per impegni ;(
il progetto è ancora un mistero inizierà a parlarne da domani (o almeno domani iniziano le lezioni sulla seconda parte). In generale: è il gruppo che propone la propria problem description e se la prof la approva si può iniziare col progetto vero e proprio.
Non è stata fatta alcuna correzione del compito: venerdì c'era poca gente a lezione e ha preferito approfondire l'argomento delle reti di petri e, come anticipava qualcuno tempo fa, i sistemi css (ho messo una sigla a caso che non me la ricordo >_< )
se domani ci saranno news vi scrivo
grazieeeeeeeeee!!!
allora aspetto aggiornamenti!!!sei gentilissima!!!
oggi niente news sul compitino
ha iniziato a spiegare gli use case e invitato a iniziare il progetto man mano che spiega le nozioni nuove..
grazie!!!speriamo bene per il compitino...
Novità
ciao
la prof ha detto che oggi pomeriggio (entro il weekend se dovessero sorgere problemi) verranno pubblicati gli esiti del compitino.
ATTENZIONE: la correzione è su buona parte dei compiti, ma non tutti (sta correggendo prima il blocco della versione 00 se non ho capito male).
Come sarà indicato sul sito, gli esiti pubblicati in questi giorni potrebbero subire piccole variazioni quando terminerà la correzione di tutti i compiti per poter uniformare i voti.
aspettiamo e speriamo in bene!
grazie delle news...
controllero'spesso
dato che oggi la vedo molto attiva la prof
ho postato il gruppo e dopo 2 nanosecondi l'aveva gia' tolto dalla bacheca principale per metterlo in quello dei gruppi!!!
ho visto che gli use case li ha finiti di spiegare mentre io sono ancora a meta'
...
ma ha dato dei suggerimenti sui i PD da sviluppare???:
comunque ora mi metto subito allo studio 
ciao
e ancora grazie
fino a che valutazione si puo accedere al secondo compitino???
non e' che mi sia andata un granche' bene!!!
uff
ma dove sono mi sa che son due giorni che faccio il refresh della pagina sbagliata 
EDIT: sul suo sito.. io guardavo su jli e forum di jli
http://forum.lic.dico.unimi.it/LD%2...82FFB?WasRead=1
shiffola!!!
domani potresti chiedere alla prof. fino a che voto e' consentito accedere al secondo compitino??? perche' io sono con voto scarso
mi faresti un favorone!!!
grazie!!!
non esiste il secondo compitino
se mi ricordo, però, chiedo se lo scarso è recuperabile col solo progetto o se c'è da far qualcosa
grazie
allora....
A fine lezione ho chiesto riguardo al voto del compitino in relazione al progetto...
anche con voto scarso (non chiesto la soglia ma in generale..) è possibile iniziare e consegnare il progetto.
Il voto del progetto è anch'esso in 15esimi, quindi se fai un buon progetto (lei dice ottimo) e ti accontenti del voto ricavato dalla somma dei due esiti, passi l'esame, altrimenti rifai lo scritto in uno degli appelli disponibili.
NOTA: la prof ha fatto notare che per questo genere di domande è preferibile usare il forum del corso (o negli orari di ricevimento) in modo che lei possa rispondere direttamente all'interessato valutando la singola casistica (alcune cose possono dipendere da cosa si è sbagliato nel compito etc)..
grazie grazie grazie
ora le scrivo una mail allora cosi' sento che mi dice 
Ciao, qualcuno sa com'é l'esame completo?cioé quali esercizi ci sono in più rispetto al compitino o che cosa può chiedere di teoria?
Tutto quello che ha spiegato o alcune cose riguardano comunque solo il progettino?
Grazie!
oggi la prof ha detto che il compito del 22 riguarderà soprattutto la parte di fondamenti (cioè tutta la menata sulle reti di petri, ecc ecc) e poi ha detto che mette qualche domanda su quello spiegato fin'ora della seconda parte (cioè gli use case ecc ecc)
ha detto che possono essere domande aperte, ma non necessariamente...
io ho ancora un dubbio (grazie videolezione senz'audio!!! )
ma queste benedette SIDE CONDITION, cosa sono??!?!!?
perchè che sono una conseguenza del principio di estensionalità occhei, ci sono...ma di preciso, cosa sono??!?!
graaaaaaassieeee!!!
Quello che ho capito io é che si ha una SIDE CONDITION quando un posto é sia PREcondizione che POST condizione di una transizione.
Cioé quando l'intersezione delle pre e delle post di una transizione non é vuota.
Spero sia comprensibile come spiegazione!:-)
Ma quindi la parte che riguarda la fase di disegno non la mette negli esercizi dell'esame?o devo guardare anche quella?
no no, può capitare anche quella parte lì, della fase di disegno!
ha detto che l'esame verte su tutto il programma, però ci sono più esercizi sulla prima parte (ovvero reti di petri ecc ecc), che poi sarebbe la parte che aveva fatto nel compitino...
qualcuno può postare la soluzione dell'esercizio elettore che abbiamo corretto in aula.
mi sono accorto che il mio è parziale e vorrei verificare se l'ho completato in modo corretto.
grazie
__________________
My Foto
"Sparerò a caso ragionando".(Anonimo)
Du gut d'oli fan i smach
ho provato a scattare le foto agli appunti ma non si leggono.. -.-"
qual è il dubbio particolare?
Originally posted by shiffola
ho provato a scattare le foto agli appunti ma non si leggono.. -.-"
qual è il dubbio particolare?
__________________
My Foto
"Sparerò a caso ragionando".(Anonimo)
Du gut d'oli fan i smach
"cambia sezione" noi l'abbiamo messo solo nello stato attivo, ma non penso sia un errore, per il resto ok!
tra l'altro, a pensarci, l'esercizio del compitino era uno state chart del tutto analogo 
quindi non andava modellata la segreteria amministrativa ,segreteria didattivca ecc?
bastavano gli stati in cui si trovava lo studente giusto?
__________________
My Foto
"Sparerò a caso ragionando".(Anonimo)
Du gut d'oli fan i smach
sì perchè come nel caso elettore, descriveva tante cose all'inizio ma poi chiedeva solo la parte dello studente
visto che mi pare tu abbia capito bene questa materia.
ti chiedo alcuni dubbi che ho:
intra e inter obj ?
or e and decomposition?
observable firing sequence e firing sequence?
grazie
__________________
My Foto
"Sparerò a caso ragionando".(Anonimo)
Du gut d'oli fan i smach
quand'è l'esame?
che magari ti rispondo con più calma spulciando bene gli appunti!
Originally posted by shiffola
quand'è l'esame?
che magari ti rispondo con più calma spulciando bene gli appunti!
__________________
My Foto
"Sparerò a caso ragionando".(Anonimo)
Du gut d'oli fan i smach
copio dagli appunti (a tuo rischio e pericolo ):
INTER OBJ conccurence --> client||server||operatore (componenti autonome inter agenti)
INTRA OBj client || (sys||buffer) || operatore --> ho raggruppato una componente nel sistema (il buffer, nell'esempio, serviva per il cambiamento di stato del sys) --> client || sys' || operatore
vedi figura 10.20
a lato dello schema ho scritto: rete di petri associata alla and decomp.
fig 10.2
si aggiungono macrostati tra eventi (strettamente) sequenziali ed eventi alternativi tra loro.
- per rendere schema più leggibile
- per semplificare
- flat-statechart -> statechart gerarchici
OR SEQUENCE evento che incide su tutti gli altri
OR DEC ALTERNATIVE se lo stato interno ha altri stati bisognerà descriverli comunque!
fig 19.23
come avviene aggiornamento varabile?
- elemento intrinseco concorrenza
--- un altro attore (operatore) interviene sul sys (richiedendo interrupt)
Questo comportamento è modellato in UML con AND DECOMP
- sys si trova contemporaneamente in due stati
- figura 10.15
- vedi mio post sopra
NON STO A DIRE CHE GLI APPUNTI NON LI HO ANCORA SISTEMATI E RIVISTI COL LIBRO SOTTOMANO!!!!
ok grazie
__________________
My Foto
"Sparerò a caso ragionando".(Anonimo)
Du gut d'oli fan i smach
FIRING SEQUENCE tutte le sequenze di scatto presenti in un case graph
OSSERVABILI interazioni con gli attori esterni
- OFS servono per avere (e verificare) la consistenza del sys. anche se è una nozione debole
NON OSSERVABILI tutte le azioni interne --> non ci interessa come comunicano le componenti
ora vado a studiare un poco anche io, a più tardi
| All times are GMT. The time now is 23:44. | Show all 63 posts from this thread on one page |
Powered by: vBulletin Version 2.3.1
Copyright © Jelsoft Enterprises Limited 2000 - 2002.