Changes between Version 65 and Version 66 of Diario/SoujaK
- Timestamp:
- Nov 4, 2008, 4:05:05 PM (16 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Diario/SoujaK
v65 v66 4 4 == Giugno 2007 == 5 5 6 === 4 Giugno 2007===6 === 4 Giugno === 7 7 (2.00h)[[BR]] 8 8 Strumenti di lavoro su XT3: creazione del gruppo e dell'alias 'tirocinio07', inizializzazione dell'ambiente Trac e del repository Subversion. 9 9 10 === 5 Giugno 2007===10 === 5 Giugno === 11 11 (1.00h)[[BR]] 12 12 Strumenti di lavoro su XT3: messa a punto dell'autenticazione sul server web. 13 13 14 === 11 Giugno 2007===14 === 11 Giugno === 15 15 (0.40h)[[BR]] 16 16 Sincronizzazione del diario della settimana scorsa, inizializzazione della pagina wiki della Milestone di rilevamento del carico. … … 31 31 02: L'articolo propone parametri concreti per la valutazione della bontà degli AP, che prevede essere calcolati direttamente dal loro ''firmware''(testato con IPW 2915) e periodicamente comunicati alle STA tramite i ''frame beacon''. Nonostante la forte dipendenza da modifiche ai ''firmware'' presumo che i calcoli dei parametri, di davvero grande rilevanza, effettuati dagli AP possano essere eseguiti anche lato ''client''. 32 32 33 === 12 Giugno 2007===33 === 12 Giugno === 34 34 __1000-1020__ (0.33h)[[BR]] 35 35 Sincronizzazione del diario. … … 54 54 05: L'articolo propone una algoritmo di controllo della associazione (lato client) che si configura come erede degli algoritmi precedentemente proposti da altri studi. 55 55 56 === 13 Giugno 2007===56 === 13 Giugno === 57 57 __0900-0910__ (0.16h)[[BR]] 58 58 Approfondimento di 04. … … 85 85 Lo studio formalizza in maniera rigorosa il concetto di carico di un AP. 86 86 87 === 14 Giugno 2007===87 === 14 Giugno === 88 88 89 89 __1110-1235__ (1.41h)[[BR]] … … 124 124 Al di là della specificità delle ipotesi, ciò che colgo come interessante è il fatto che anche qui si sia scelto come metrica del carico degli AP il ''throughput'' (invece del numero di utenti, G. Bianchi, I. Tinnirello, "Kalman Filter Estimation of the Number of Cometing Terminals in an IEEE 802.11 Network", o della quantità di traffico, G. Bianchi, I. Tinnirello, "Improving Load Balancing mechanisms in Wireless Packet Networks"). 125 125 126 === 16 giugno 2007===126 === 16 giugno === 127 127 128 128 __1250-1411__ (1.35h) [[BR]] … … 150 150 Ricerca di ulteriore documentazione e suddivisione dei nuovi documenti. 151 151 152 === 19 Giugno 2007===152 === 19 Giugno === 153 153 154 154 __1230-1300__ (0.50h)[[BR]] … … 161 161 Sincronizzazione del diario. 162 162 163 === 20 Giugno 2007===163 === 20 Giugno === 164 164 165 165 10: Si propone un modello matematico semplice ma accurato (e per questo così utilizzato) che permette di calcolare il ''throghput'' in una rete 802.11 saturata (nella quale, cioé le code di invio di ogni STA siano sempre non vuote). … … 173 173 Lettura di 11 e 12: appunti cartacei. 174 174 175 === 21 Giugno 2007===175 === 21 Giugno === 176 176 __0905-0925__ [[BR]] 177 177 11: L'articolo propone 2 nuove metriche per la valutazione del carico a fini di bilanciamento di generiche reti wireless a pacchetti che siano gestite da coordinatori centrali quali bluetooth, UMTS o l'amato IEEE 802.11 (nella sua variante con PCF). … … 193 193 Rilettura di 02 con l'individuazione di alcune sezioni interessanti. 194 194 195 === 22 Giugno 2007===195 === 22 Giugno === 196 196 197 197 __1021-1055__ [[BR]] … … 206 206 Installazione locale di KDissert. 207 207 208 === 25 Giugno 2007===208 === 25 Giugno === 209 209 __1023-1350__ [[BR]] 210 210 Punto della situazione con gnappo: confronto, chiarimento e decisione della … … 223 223 Nell'eventualità di una milestone dedicata a politiche di bilanciamento, mi pare che tutte le considerazioni finora fatte per definire una stima della bandwidth ottenibile siano riutilizzabili, dal momento che passano per una stima del carico dei BSS. 224 224 225 === 26 Giugno 2007===225 === 26 Giugno === 226 226 __1005-1035__[[BR]] 227 227 Rilettura del [wiki:Diario/Gnappo diario di gnappo] e della seconda mezza dozzina dei miei documenti alla ricerca di nuovi spunti. … … 241 241 * stesura del diario della giornata. 242 242 243 === 27 Giugno 2007===243 === 27 Giugno === 244 244 245 245 __1320-1510__ [[BR]] … … 249 249 Incontro con il professor Ghini: chiarimento di alcuni dettagli riguardo lo scenario d'opera. 250 250 251 === 28 Giugno 2007===251 === 28 Giugno === 252 252 __1120-1240__[[BR]] 253 253 Meeting squadra: condivisione delle conoscenze (in particolar modo riguardanti la milestone:"Rilevamento del carico"), consigli e suggerimenti utili al proseguimento della milestone:Roaming, chiarimenti riguardo gli sviluppi futuri dell'intero tirocinio e i relativi tempi. … … 259 259 Appunti nella mappa mentale sulle ultime parole scambiate con gnappo, per timore di dimenticare. 260 260 261 === 29 Giugno 2007===261 === 29 Giugno === 262 262 __1430-1500__[[BR]] 263 263 Rilettura di (e riflessioni su) alcuni documenti, in particolare 06, 07, 09. … … 271 271 Apertura dei ticket e aggiornamento del diario. 272 272 273 === 30 Giugno 2007===273 === 30 Giugno === 274 274 __1316-1340__[[BR]] 275 275 Rapida occhiata alla tesi di Benatti e Borsari (Ghn00). … … 277 277 == Luglio 2007 == 278 278 279 === 2 Luglio 2007===279 === 2 Luglio === 280 280 __1830-1940__[[BR]] 281 281 Ghn00: la sezione riguardante le politiche di valutazione della qualità dei BSS mette in luce un approccio quantomai approssimativo e pragmatico al calcolo del punteggio di qualità, apparentemente senza alcuna base teorica. … … 289 289 Lettura della prima parte dell'articolo su MEW (Ghn01). 290 290 291 === 3 Luglio 2007===291 === 3 Luglio === 292 292 __1130-1216__[[BR]] 293 293 Formalizzazione e digitalizzazione degli appunti cartacei presi negli ultimi giorni (con rilettura di alcuni passaggi chiave di Ghn00). … … 301 301 #2: Mentre il significato di RSN mi appare piuttosto chiaro, RSSI rimane piuttosto fumoso. Quest'ultimo viene inoltre segnalato dal driver del dispositivo con valori in scale diverse a seconda del produttore (così riporta [http://en.wikipedia.org/wiki/RSSI wikipedia:RSSI] ma anche Ghn00). 302 302 303 === 4 Luglio 2007===303 === 4 Luglio === 304 304 __1530-1600__[[BR]] 305 305 con gnappo: punto della situazione intorno alla calcolabilità del ''bitrate'' della stazione associanda in maniera portabile e quantomeno accurata. … … 317 317 __1853-1900__[[BR]] 318 318 Aggiornamento del diario. 319 === 5 Luglio 2007 === 319 320 === 5 Luglio === 320 321 321 322 __1300-1715__[[BR]] 322 323 Gnappo 323 324 324 === 6 Luglio 2007===325 === 6 Luglio === 325 326 326 327 __1150-1400__, __1630-1830__[[BR]] 327 328 Gnappo 328 329 329 === 7 Luglio 2007===330 === 7 Luglio === 330 331 __1048-1345__[[BR]] 331 332 Gnappo 332 333 333 === 9 Luglio 2007===334 === 9 Luglio === 334 335 __1130-1430__, __1620-1830__[[BR]] 335 336 Gnappo … … 338 339 Approfondimenti e riflessioni. 339 340 340 === 10 Luglio 2007===341 === 10 Luglio === 341 342 __1025-1035__[[BR]] 342 343 Approfondimenti e riflessioni. … … 348 349 Gnappo 349 350 350 === 11 Luglio 2007===351 === 11 Luglio === 351 352 352 353 __1745-1900__[[BR]] … … 354 355 Revisione documentazione sul supporto al roaming (Roma e Zeratul) 355 356 356 === 12 Luglio 2007===357 === 12 Luglio === 357 358 358 359 __1130-1300__[[BR]] … … 362 363 Gnappo 363 364 364 === 13 Luglio 2007===365 === 13 Luglio === 365 366 __????-1645__[[BR]] 366 367 Gnappo 367 368 368 === 14 Luglio 2007===369 === 14 Luglio === 369 370 __1058-1120__[[BR]] 370 371 Gnappo 371 372 372 === 16 Luglio 2007===373 === 16 Luglio === 373 374 374 375 __1258-????__ 375 376 Con gnappo 376 377 377 === 17 Luglio 2007===378 === 17 Luglio === 378 379 379 380 __1235-1605__[[BR]] … … 386 387 Con gnappo. 387 388 388 === 19 Luglio 2007===389 === 19 Luglio === 389 390 __1120-1400__ __1440-????__[[BR]] 390 391 Con gnappo: affrettata conclusione dei lavori in vista della pausa estiva. 391 392 392 === 24 Luglio 2007===393 === 24 Luglio === 393 394 __1322-1542__[[BR]] 394 395 Approfondimenti e chiarimenti sparsi nella mappa mentale, nell'ottica di produrre un html decente da inviare al Prof. Ghini.[[BR]] … … 398 399 == Ottobre 2007 == 399 400 400 === 5 Ottobre 2007===401 === 5 Ottobre === 401 402 __1715-1945__[[BR]] 402 403 Incontro con il Prof. Ghini: punto della situazione e sviluppi futuri prima della conclusione. 403 404 404 === 9 Ottobre 2007===405 === 9 Ottobre === 405 406 __1445-1710__[[BR]] 406 407 Videoconferenza con gnappo (video e audio su SIP, desktop su VNC). Ripresa dei lavori: riletture della documentazione prodotta in precedenza, riflessioni, considerazioni sul livello di compiutezza del lavoro, accordi sugli incontri successivi. … … 411 412 Aggiornamento Diario.[[BR]] 412 413 413 === 10 Ottobre 2007===414 === 10 Ottobre === 414 415 415 416 __1500-1740__[[BR]] … … 420 421 Aggiornamento del deposito subversion. 421 422 422 === 11 Ottobre 2007===423 === 11 Ottobre === 423 424 __1130-1330__ __1345-1430__[[BR]] 424 425 Lavoro con gnappo.[[BR]] … … 441 442 Si è sottolineato anche la versatilità del modello, in grado, grazie all'eventuale presenza di parametri configurabili, di descrivere situazioni diverse dalla realtà: definire casi limite o prevedere l'andamento di certe variabili in gioco. 442 443 443 === 12 Ottobre 2007===444 === 12 Ottobre === 444 445 __1240-1347__ __1415-1530__ __1640-1710__ __1740-2010__[[BR]] 445 446 Con gnappo.[[BR]] … … 447 448 Aggiornamento parziale del deposito subversion [9]. 448 449 449 === 15 Ottobre 2007===450 === 15 Ottobre === 450 451 __1050-1315__ 451 452 Con gnappo.[[BR]] … … 462 463 Aggiornamento del deposito subversion [11] e aggiornamento del diario. 463 464 464 === 16 Ottobre 2007===465 === 16 Ottobre === 465 466 __1108-1305__[[BR]] 466 467 Lavoro con gnappo per la stesura della relazione: … … 485 486 Aggiornamento del deposito subversion [12] e del diario. 486 487 487 === 17 Ottobre 2007===488 === 17 Ottobre === 488 489 __1125-1340__[[BR]] 489 490 Lavoro con gnappo per la stesura della relazione: … … 503 504 Formattazione documento LaTeX: algoritmo per la ripartizione degli accessi. 504 505 505 === 18 Ottobre 2007===506 === 18 Ottobre === 506 507 __0810-0835__[[BR]] 507 508 Formattazione documento LaTeX: algoritmo per la ripartizione degli accessi. … … 526 527 * adeguamento della definizione di carico per il modello matematico. 527 528 528 === 19 Ottobre 2007===529 === 19 Ottobre === 529 530 __0955-1340__[[BR]] 530 531 Lavoro con gnappo: … … 542 543 Iniziata la digitalizzazione degli appunti cartacei presi il 19 Ottobre, direttamente formattati con LaTeX. 543 544 544 === 21 Ottobre 2007===545 === 21 Ottobre === 545 546 __1655-1743__[[BR]] 546 547 Completata la digitalizzazione degli appunti cartacei presi il 19 Ottobre, direttamente formattati con LaTeX. Aggiunta una prova d'uso dell'ambiente `theorem`.[[BR]] 547 548 Aggiornamento del diario e del deposito subversion [14]. 548 549 549 === 22 Ottobre 2007===550 === 22 Ottobre === 550 551 __1000-1145__ __1230-1345__[[BR]] 551 552 Lavoro con gnappo: … … 560 561 Aggiornamento locale del diario. 561 562 562 === 23 Ottobre 2007===563 === 23 Ottobre === 563 564 __0955-1005__[[BR]] 564 565 Aggiornamento del diario e del deposito subversion [15]. … … 582 583 Lavoro sulla sezione dedicata alla simulazione per la formattazione della terza fase dell'algoritmo. 583 584 584 === 24 Ottobre 2007===585 === 24 Ottobre === 585 586 __0950-1100__ __1150-1250__ __1430-1846__[[BR]] 586 587 Lavoro con gnappo sulla sezione dedicata alla simulazione: rilettura, correzione, formalizzazione e formattazione dell'algoritmo. 587 588 588 === 25 Ottobre 2007===589 === 25 Ottobre === 589 590 __1012-1025__[[BR]] 590 591 Aggiornamento del diario e del deposito subversion [16]. … … 596 597 * aggiornamento locale del diario. 597 598 598 === 26 Ottobre 2007===599 === 26 Ottobre === 599 600 __0940-0950__[[BR]] 600 601 Aggiornamento del diario e del deposito subversion [17]. … … 603 604 Discussioni sulla gestione dei lavori futuri con gnappo, accenni alla futura organizzazione. 604 605 605 === 27 Ottobre 2007===606 === 27 Ottobre === 606 607 __1100-1322__[[BR]] 607 608 Con gnappo: … … 635 636 * formattazione introducendo definizioni. 636 637 637 === 30 Ottobre 2007===638 === 30 Ottobre === 638 639 __1415-1515__[[BR]] 639 640 Con gnappo: … … 657 658 658 659 659 === 31 Ottobre 2007===660 === 31 Ottobre === 660 661 __1600-1740__[[BR]] 661 662 Incontro con il professor Ghini: … … 683 684 Aggiornamento del deposito subversion [22] [23]. 684 685 685 === 5 Novembre 2007===686 === 5 Novembre === 686 687 __1515-1815__[[BR]] 687 688 Lavoro con gnappo per la stesura di una nuova scaletta a partire dalle dipendenze chiarite il 2 Novembre. … … 689 690 Aggiornamento del deposito subversion [24]. 690 691 691 === 6 Novembre 2007===692 === 6 Novembre === 692 693 __1030-1345__[[BR]] 693 694 Lavoro con gnappo per approfondire la scaletta. … … 696 697 Aggiornamento del diario e della scaletta nel deposito subversion. 697 698 698 === 6 Novembre 2007===699 === 6 Novembre === 699 700 __1030-1345__[[BR]] 700 701 Lavoro con gnappo per approfondire la scaletta. … … 711 712 Creazione nuovo documento LaTeX (source:CaricoBSS/sorgenti/PoliticheSelezioneAP.tex) pronto per ospitare i nuovi contenuti. Aggiornamento della lista di cose da fare, del diario e del deposito subversion [27]. 712 713 713 === 8 Novembre 2007===714 === 8 Novembre === 714 715 __1046-1415__[[BR]] 715 716 * Pianificazione dei lavori della giornata con gnappo. … … 724 725 Migrazione contenuti nel nuovo documento (33%). 725 726 726 === 13 Novembre 2007===727 === 13 Novembre === 727 728 __1110-1126__[[BR]] 728 729 Aggiornamento locale del diario. … … 744 745 * aggiornamento del diario. 745 746 746 === 14 Novembre 2007===747 === 14 Novembre === 747 748 __1000-1040__ __1103-1443__[[BR]] 748 749 * Stesura sezione "Modello" (39%); … … 750 751 * aggiornamento del diario e del deposito subversion [30]. 751 752 752 === 14 Novembre 2007===753 === 14 Novembre === 753 754 __1000-1040__ __1103-1443__[[BR]] 754 755 * Stesura sezione "Modello" (57%); … … 760 761 * aggiornamento del diario e del deposito subversion [31]. 761 762 762 === 16 Novembre 2007===763 === 16 Novembre === 763 764 __0810-0839__ __0920-1320__ __1400-1800__[[BR]] 764 765 Qualche chiacchiera con gnappo sull'algoritmo di inserimento della stazione associanda. … … 777 778 Lavoro per la stesura della sezione "Modello" (90%): abbozzata la prima parte della dimostrazione del primo (e più rognoso) dei tre teoremi. 778 779 779 === 17 Novembre 2007===780 === 17 Novembre === 780 781 __1302-1308__[[BR]] 781 782 Aggiornamento del diario e del deposito subversion [33]. 782 783 783 === 19 Novembre 2007===784 === 19 Novembre === 784 785 __0845-0910__[[BR]] 785 786 Lavoro per la stesura della sezione "Modello" (92%): abbozzata la seconda parte della dimostrazione del primo (e più rognoso) dei tre teoremi. … … 795 796 Scritta la bozza di dimostrazione del primo teorema. 796 797 797 === 21 Novembre 2007===798 === 21 Novembre === 798 799 __1020-1053__[[BR]] 799 800 Aggiornamento locale del diario.[[BR]] … … 803 804 Aggiornamento del diario e del deposito subversion [35]. 804 805 805 === 26 Novembre 2007===806 === 26 Novembre === 806 807 __1545-1820--[[BR]] 807 808 Lavoro con gnappo: … … 816 817 [36] 817 818 819 == Gennaio 2008 == 820 === 4 Gennaio === 821 __1800-1930__[[BR]] 822 Lavori sul ticket #6: [41] 823 824 === 6 Gennaio === 825 __1600-1930__[[BR]] 826 Lavori sul ticket #6: [42] 827 828 === 7 Gennaio === 829 __1140-1300__[[BR]] 830 Videoconferenza con Gnappo. 831 832 __1525-1825__[[BR]] 833 Ideazione algoritmo di analisi del flusso per l'individuazione delle epoche. 834 Progettazione struttura dati per la memorizzazione delle informazioni sulle epoche di un flusso. 835 836 === 8 Gennaio === 837 838 __1350-1445__[[BR]] 839 Considerazioni su un possibile algoritmo di inserimento della stazione associanda in grado di sfruttare la struttura dati creata dall'algoritmo di analisi. 840 841 __1550-1800__[[BR]] 842 Con gnappo: 843 * Condivisione di conoscenze riguardo all'algoritmo di inserimento della stazione associanda. 844 * Considerazioni sulla possibilità di ripescare trasmissioni successive al tempo d'analisi e precedenti al tempo di simulazione. Il ripescaggio appare come una necessità, in linea con la tesi di equità, ma solo assumendo indipendenza fra le trasmissioni. L'eventualità degli errori compiuti nel riarrangiamento temporale fa pensare alla possibilità di limitare il ripescaggio (non anticipare una trasmissione prima dell'ultima trasmissione a lei diretta). La complessità di gestione della struttura dati durante i ripescaggi è ancora tutta da analizzare. 845 846 === 9 Gennaio === 847 __1415-1440__[[BR]] 848 Aggiornamento del diario. 849 850 __1500-1620__[[BR]] 851 Esposizione non rigorosa dell'algoritmo di individuazione delle epoche di un flusso. 852 853 __1650-1810__[[BR]] 854 Revisione teorema di saturazione della stazione e del flusso. Ampliamento della tesi di equità del flusso (rinominabile). 855 856 __1845-1927__ __1944-[[BR]] 857 Videoconferenza con gnappo: 858 * Condivisione progressi dei lavori di SoujaK della giornata. 859 * Considerazioni sulla modellazione delle trasmissioni AP -> STA. 860 861 === 10 Gennaio === 862 Aggiornamento del modello teorico, al fine di renderlo capace di descrivere anche le assunzioni riguardanti le politiche di ripartizione delle trasmissioni dell'AP. 863 818 864 ---- 819 865 820 == Aprile e Maggio 2008 ==866 == Aprile, Maggio e Giugno 2008 == 821 867 822 868 === Obiettivi === … … 890 936 Il concetto di frequenza di diritto è ben utilizzato dalla versione semplificata, ma la versione completa non e` in grado di normalizzarlo rispetto alla variabilita` nella durata degli accessi. 891 937 892 Nel caso in cui d sia costante fra le stazioni (quando i loro accessi hanno durata uguale fra loro) è facile calcolare la frequenza d'accesso di diritto come una suddivisione in parti uguali fra le stazioni della frequenza massima possibile. Quando i d variano per calcolare la frequenza di diritto e` necessario ... 938 Nel caso in cui d sia costante fra le stazioni (quando i loro accessi hanno durata uguale fra loro) è facile calcolare la frequenza d'accesso di diritto come una suddivisione in parti uguali fra le stazioni della frequenza 939 massima possibile. Quando i d variano per calcolare la frequenza di diritto e` necessario ... 940 941 == Luglio 2008 == 942 943 === 13 Luglio === 944 945 Il concetto di equità precedentemente perseguito resta fondamento della prosecuzione degli studi: esso si esprime in una tendenza alla parità nel tasso d'accesso di stazioni con identiche esigenze trasmissive. Il più grande errore commesso era appunto il tentativo di imporre equità locale, quando essa è tutt'altro che presente. Nel simulare la presenza della stazione associanda il tasso d'accesso diventa coerentemente il metro con cui misurare i diritti delle stazioni associate. 946 Gli algoritmi elaborati a questo fine a metà di Maggio non erano però in grado di simulare una ripartizione degli accessi in grado di non ignorare le diversità delle stazioni nella durata degli accessi (cfr v1 e v2). 947 948 L'idea di fondo non è nuova: si tratta di una rivisitazione di un algoritmo ripartitore che comincia ad assegnare accessi dalle stazioni meno esigenti, passando via via alle più "golose". Questa volta non si ripartiscono accessi di una misteriosa epoca, ma si concedono tassi d'accesso via via più altri, fino alla saturazione del tempo del canale. 949 950 951 === 14 Luglio === 952 953 ==== Algoritmo di ripartizione degli accessi - v4 ==== 954 955 {{{ 956 1 a'_s <= 0 // inizializzazione per ogni s in S 957 2 finché (S nequal \empty) // insieme delle STA insoddifatte non vuoto 958 3 d <= \sum^S d_s // durata trasmissione di ognuna 959 4 a_{MAX} <= 1/d // concessione massima attuale 960 5 s_{cur} <= s \in S | min(a_{MAX} - a'_s) // STA meno insoddisfatta 961 6 a_{cur} <= min (a_MAX, a_{s_{cur}} - a'_{s_{cur}}) // concessione attuale 962 7 perogni (s \in S) 963 8 a'_{s} += a_{cur} // soddisfacimento per tutti 964 9 S <= S/s_{cur} // eliminazione STA di tara 965 }}} 966 967 === 15 Luglio === 968 969 Nell'algoritmo v4 l'aggiornamento della concessione massima del periodo in analisi in ogni giro avviene implicitamente, mediante la rimozione (r7) della stazione meno soddisfatta sulla quale si è tarata la concessione del periodo (r6). Questo aggiornamento è errato e va modificato, eventualmente considerando il numero di stazioni o normalizzando rispetto alla durata degli accessi delle stazioni servite. 970 971 === 16 Luglio === 972 973 Riprogettato da capo l'algoritmo, tentando di sistemare il problema di aggiornamento del numero di accessi ancora disponibili. 974 975 ==== Algoritmo di ripartizione degli accessi - v5 ==== 976 977 {{{ 978 1 a_M <= 1/(\sum^S_i d_i) // tasso d'accesso inizialmente disponibile 979 2 s <= i \in S : min(a_i-a'_s) // STA meno insoddisfatta 980 3 SE (a_M > a_s - a'_s) // s e` soddisfacibile 981 4 a'_S += a_s - a'_s // assegno ad ogni STA cio` che mancava a s 982 5 d <= (1 - \sum^S_i d_i * (a_s - a'_s) ) // <------------ 983 6 SE (d>0) // tassi d'accesso ancora incrementabili 984 7 a_M <= 1/d // aggiornamento tasso d'accesso disponibile 985 8 GOTO 2 // cicla 986 9 ALTRIMENTI // s e` insoddisfacibile 987 10 a'_S += a_M // assegno ad ogi STA il tasso d'accesso disponibile 988 }}} 989 990 === 21 Luglio === 991 992 Digitalizzazione della versione 5 dell'algoritmo. 993 994 La forma spaghettosa con l'uso del GOTO è frutto di una riprogettazione da zero ancora non raffinata. È stato chiarito nel flusso di esecuzione il diverso comportamento a seconda della condizione in riga 3 cambiando, in questo modo, la condizione di chiusura del flusso (r9). Se la stazione meno soddisfatta non è soddisfacibile non lo è nessun'altra e la ripartizione non puo` che concludersi immediatamente concedendo ad ogni stazione il medesimo tasso d'accesso. 995 La riga 5 è da rivedere. 996 997 Al termine dell'esecuzione dell'algoritmo di ripartizione degli accessi devono verificarsi alcune condizioni che possono essere utilizzate come parziale prova di correttezza. 998 {{{ 999 1. \sum^S_i p'_i = 1 (p'_i = a'_i * d_i) 1000 }}} 1001 Il tasso di occupazione del mezzo, dato dalla somma di tutti i tassi di 1002 partecipazione delle stazioni deve raggiungere il massimo, vale a dire uno, 1003 il valore di saturazione. 1004 {{{ 1005 2. \forall i \in S: a_s > a'_s 1006 }}} 1007 Ogni stazione ottiene un tasso d'accesso minore o uguale a quello ottenuto 1008 in assenza della stazione associanda simulata. 1009 {{{ 1010 3. \forall i,j \in S: a_i >= a_j => a'_i >= a'_j 1011 }}} 1012 Prese a caso due stazioni distinte se la prima aveva trasmesso più della 1013 seconda, dopo l'entrata della stazione associanda la seconda non trasmette 1014 piu` della prima. In effetti l'entrata di una nuova stazione si crede che 1015 tenda a ridurre la partecipazione delle stazioni che partecipano 1016 maggiormente, coerentemente con la tendenza all'equità. 893 1017 894 1018 == Ottobre 2008 ==
