.dsy:it. (http://www.dsy.it/forum/)
- Progettazione del software (http://www.dsy.it/forum/forumdisplay.php?forumid=237)
-- analisi P-invarianti (http://www.dsy.it/forum/showthread.php?threadid=32876)

analisi P-invarianti

Scusate qualcuno mi può spiegare nell'esempio dell'analisi dei P-invarianti (lettori e scrittori con un unica risorsa), dato il sistema hC=0
-h0+h1-h2=0
+h0-h1+h2=0
-4h2-h3+h4=0
+4h2+h3-h4=0
come trova i valori
h1=11000
h2=00011
h3=01104
?

grazie

Anch'io non capivo... Poi guardando le videolezioni ho scoperto che è il risultato di un calcolo che ha fatto fare ad un programma apposta!

riporto la spiegazione del prof sull'altro forum:

il dubbio e' sulle matrici non sui P invarianti Very Happy

comunque e' opportuno... perche' se e' vero che non vi chiedo di risolvere il sistema lineare... posso invece chiedervi di impostarlo (cioe' dirmi cosa dovete dare in input al risolutore)

veniamo al dubbio:

il vettore h e' un vettore riga 1 (riga) x |p| (colonne)
la matrice di incidenza C e' una matrice |p| x |t|

quindi moltiplicando h C ottengo un "vettore" 1 x |t|
o meglio essendo gli elementi di questo vettore delle espressioni (h e' un vettore di incognite)
ottengo |t| espressioni in |p| incognite...

nel caso specifico facendo il prodotto riga per colonna e chiamando x0 ... xn le incognite dentro al vettore h

-x0 + x1 - x2 = 0
x0 - x1 + x2 = 0
-4 x2 - x3 + x4 = 0
4 x2 + x3 - x4 = 0

chiaramente in questo caso non sono tutte linearmente indipendenti essendo la seconda e la quarta uguali alla prima e alla terza dopo una moltiplicazione per -1 quindi il mio sistema e' in realta' composto solo dalla prima e dalla terza

-x0 + x1 - x2 = 0
-4 x2 - x3 + x4 = 0


se do questo in pasto a un risolutore (o se ci provo anche forse manualmente Very Happy)
riesco a trovare tutte le soluzioni del sistema sono rappresentate dalle combinazioni lineari delle tre basi date nel lucido.