Changes between Initial Version and Version 1 of Diario/SoujaK/2007


Ignore:
Timestamp:
Feb 8, 2009, 10:10:28 PM (16 years ago)
Author:
soujak
Comment:

Diario 2007

Legend:

Unmodified
Added
Removed
Modified
  • Diario/SoujaK/2007

    v1 v1  
     1= Diario di SoujaK =
     2= ''Anno 2007'' =
     3
     4== Giugno 2007 ==
     5
     6=== 4 Giugno ===
     7(2.00h)[[BR]]
     8Strumenti di lavoro su XT3: creazione del gruppo e dell'alias 'tirocinio07', inizializzazione dell'ambiente Trac e del repository Subversion.
     9
     10=== 5 Giugno ===
     11(1.00h)[[BR]]
     12Strumenti di lavoro su XT3: messa a punto dell'autenticazione sul server web.
     13
     14=== 11 Giugno ===
     15(0.40h)[[BR]]
     16Sincronizzazione del diario della settimana scorsa, inizializzazione della pagina wiki della Milestone di rilevamento del carico.
     17
     18__1400-1740__[[BR]]
     1900: l'articolo propone l'identificazione di una bandwidth potenziale ottenibile da un determinato AP a partire dalle condizioni di carico che un client è in grado di rilevare in esso.
     20Lo studio prende in considerazione uno scenario privo di disturbi ambientali, senza coordinamento centralizzato.
     21Assumendo che i frame beacon non abbiano priorità sugli altri, è possibile stimare il tempo medio di attesa di trasmissione osservando il ritardo dei frame beacon (si ricordi la presenza del "Beacon Interval" e del "Target Beacon Transmission Time").
     22Inoltre fornisce spunti perché una stazione possa inferire una probabilità di perdita di trasmissioni, sfruttando i numeri di sequenza ("Sequence number") dei frame che cattura e il "Retry Bit".
     23La veridicità delle conclusioni dipende dalla veridicità delle assunzioni poste e dalla generalità dell'hardware utilizzato per le sperimentazioni effettuate.
     24
     25__1800-1820__[[BR]]
     26__1900-1920__[[BR]]
     2701: La selezione ottimale dell'Access Point è strettamente legata a politiche di allocazione del traffico in grado di gestire in maniera ottimizzata le risorse disponibili. Il problema viene affrontato da un punto di vista piuttosto teorico, oltre che distante dai nostri scopi, rendendolo quasi per nulla interessante.
     28
     29__1920-2000__[[BR]]
     30__0910-0930__[[BR]]
     3102: 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
     33=== 12 Giugno ===
     34__1000-1020__ (0.33h)[[BR]]
     35Sincronizzazione del diario.
     36
     37__1030-1100__ (0.50h)[[BR]]
     38Punto della situazione assieme a gnappo.
     39
     40__1120-1155__ (0.58h)[[BR]]
     4103: In appendice è presente un'interessante calcolo dell'impatto degli errori di trasmissione sulle prestazioni, calcolando diligentemente i dettagli relativi ai backoff incrementali.
     42
     43__1210-1310__ (1.00h)[[BR]]
     4404: Lo studio effettua una stima dell'effettiva ''bandwitdth'' disponibile, in base al tempo che intercorre fra la richiesta di invio del frame e la notifica di avvenuta trasmissione.
     45In questo calcolo vengono a sommarsi i tempi di attesa per l'accesso al mezzo (rilevazione di mezzo disponibile e successiva contesa), la procedura RTS/CTS, l'effettiva trasmissione dei dati e del'ACK, IFS relativi.
     46Questa ''bandwidth'' e` fortemente influenzata dalla dimensione dei ''frame'' e viene quindi normalizzata rispetto ad un frame di riferimento per avere una misura da essa indipendente.
     47Lo studio proseguirebbe su politiche di ammissione di una STA in un BSS, formalizzando il concetto di proporzione del tempo del canale (CTP, ''Channel Time Proportion'') di un determinato flusso dati, ottenibile dal rapporto fra la ''bandwitdth'' direttamente richiesta dal flusso e la ''bandwitdth'' disponibile appena citata.
     48I concetti appena descritti appaiono come spunti piuttosto rilevanti ai nostri fini.
     49
     50__1450-1617__ (0.45h)[[BR]]
     51Ricerche ulteriori.
     52
     53__1650-1720__ (0.33h)[[BR]]
     5405: L'articolo propone una algoritmo di controllo della associazione (lato client) che si configura come erede degli algoritmi precedentemente proposti da altri studi.
     55
     56=== 13 Giugno ===
     57__0900-0910__ (0.16h)[[BR]]
     58Approfondimento di 04.
     59
     60__1000-1025__ (0.41h)[[BR]]
     61Sincronizzazione del diario.
     62
     63__1025-1140__ (1.25h)[[BR]]
     6405: Lo studio ha come fine l'ottimizzazione delle risorse, intese in senso globale e propone un algoritmo per la gestione delle associazioni basato sul rilevamento del carico degli AP.
     65Il concetto di carico totale di un AP viene definito come la somma dei carichi di ogni singolo client, i.e. il tempo che un AP impiega a fornire ad ognuno degli utenti una unità di traffico.
     66Questa definizione, in realtà scopiazzata da 06, viene successivamente arriccchita, definendola piuttosto come sommatoria degli inversi dei tassi di trasmissione di ogni client associato ad un determinato AP.
     67In pratica si calcola il tempo necessario affinché ognuna delle stazioni associate con l'AP in questione trasmettano una unità di dati, supponendo che esse abbiano sempre dati in attesa di invio.
     68Così facendo si definisce il concetto di tasso di trasmissione ottenibile (''attainable data rate''), parametro fondamentale per l'algoritmo di associazione che viene proposto.
     69
     70__1220-1330__[[BR]]
     71~~Amministrazione su argon.~~
     72
     73
     74__1500-1520__ (0.33h)[[BR]]
     75Punto della situazione con gnappo.
     76
     77__1520-1605__ (0.75h)[[BR]]
     7805: L'algoritmo per il controllo dell'associazione che viene proposto tiene conto della presenza di congestioni, dal momento che il massimo tasso trasmissivo ottenibile non può che essere influenzato da questa eventualità.
     79Propone inoltre che il client effettui rilevazioni sui carichi degli AP disponibili non solo nei momenti di necessità (non ancora associato), ma anche a intervalli regolari (già associato) per individuare alternative sempre migliori.
     80Questo tipo di approccio risulta quantomai interessante nella prospettiva di avere a disposizione, come nel nostro caso, una molteplicità di dispositivi 802.11 su ogni singola STA.
     81
     82__1605-1715__ (1.16h))[[BR]]
     8306: Lo studio si propone quantomeno come la fondazione teorica di una politica di allocazione delle risorse equa min-max (''min-max fairness'') e bilanciata che intende essere la più vicina all'ottimo (perché il problema sarebbe NP-hard).
     84Per equità max-min si intende una situazione nella quale non vi è modo per fornire ''bandwidth'' addizionale ad un client senza doverne togliere almeno altrettanta a qualche altro.
     85Lo studio formalizza in maniera rigorosa il concetto di carico di un AP.
     86
     87=== 14 Giugno ===
     88
     89__1110-1235__ (1.41h)[[BR]]
     9006: La definizione di equità max-min è stata approfondita in tutta la sua complessità che la definizione formale esprime, facendo emergere spunti utili non alla [milestone:"Rilevamento del carico" milestone attuale] ma a possibili politiche di bilanciamento del carico, eventualmente rilevanti per la scelta dell'AP a cui associarsi.
     91
     92__1300-1330__ (0.50h)[[BR]]
     9306: La definizione di carico che l'articolo propone è allineata al resto dalla letteratura informatica.
     94Informalmente il carico dell'AP ''a'' indotto da una STA ''s'' è l'inverso del ''bitrate'' effettivo che ''s'' rileva, normalizzato rispetto allo specifico peso della STA.
     95Il carico di ''a'' è poi il massimo fra le due sommatorie di tutti i carichi indotti da tutte le associazioni effettive (che, cioé, producono un ''bitrate'' non nullo), la prima sui ''bitrate'' dei collegamenti AP-STA, la seconda sui ''bitrate'' del collegamento AP-!ReteEsterna.
     96
     97__1330-1347__ (0.28h) [[BR]]
     98Aggiornamenti su Trac: scritta la descrizione della [milestone:"Rilevamento del carico" milestone] e gli appunti sul lavoro della mattinata.
     99
     100__1420-1511__ (0.88h)[[BR]]
     10106: Lo studio spende energie non indifferenti (considera infatti anche situazioni che tengano presente il carico su un insieme di AP) per dimostrare con rigore teoremi e proprietà che sono indispensabili alla dimostrazione dello stretto legame che intercorre fra una scelta di associazioni bilanciate min-max e una scelta di allocazione della ''bandwidth'' che sia equa max-min.
     102Quest'ultimo teorema, oltre che essere sprovvisto di una dimostrazione completa, è non soddisfatto nel caso di associazioni singole.
     103[[BR]]
     104L'articolo prosegue per strade che mi sono parse allontanarsi sempre più dai nostri interessi, ma tengo a sottolineare i risultati che gli autori hanno ottenuto durante una simulazione di confronto fra le più note politiche di gestione dell'associazione.
     105Lo schema proposto non solo supera di un 20% il ''throughput'' del metodo SSF (''Strongest Signal First''), intuitivamente lontano dall'ottimo, ma arriva al __triplo__ di quello di LLF (''Least Loaded First'')!
     106Terrei quindi presente la possibiltà di riprendere in mano il documento per comprendere meglio l'algoritmo di bilanciamento (che, spaventato dalla complessità, non ho analizzato) o per mettere in dubbio l'attendibilità dei risultati delle simulazioni.
     107
     108__1511-1519__ (0.13h)[[BR]]
     109Sincronizzazione del diario.
     110
     111__1519-1600__ (0.68h)[[BR]]
     112Ricerca e cernita di altri documenti: si aggiungono alla lista 07, 08, 09.[[BR]]
     113
     114__1620-1800__ (1.67h)[[BR]]
     11507: L'articolo riprende i concetti formali di 06 per elaborare una strategia ottimale per gestire le associazioni fra stazioni e i punti di accesso, astraendo completamente dalle possibili implementazioni e dai relativi problemi (reperimento delle informazioni, localizzazione del gestore ...).
     116[[BR]]
     11708: L'articolo propone un algoritmo dinamico di bilanciamento di carico che si fonda, a differenza di tutti gli altri studi finora analizzati, proprio sul valore di RSSI.
     118Il problema viene definito informalmente come l'individuazione di uno schema di associazioni tali che l'RSSI medio sia massimizzato e le variazioni nel RSSI medio di ogni AP e nel numero di STA associate ad ogni AP siano minimizzate.
     119Dal momento che si propongono cambiamenti al comportamento degli AP, questo studio resta interessante per la sua originalità nei parametri considerati nella gestione delle associazioni.
     120[[BR]]
     121Una riflessione che mi sorge spontanea è sul legame che intercorre fra l'RSSI di una STA presso un  AP e la banda effettivamente resa disponibile al medesimo AP. Credo che solo sviscerando questa relazione ci sarà possibile individuare dei parametri di valutazione che siano un buon compromesso fra effittività e non-invasività.
     122[[BR]]
     12309: Lo studio propone una strategia di bilanciamento del carico implementata a livello di AP, tramite frequenti comunicazioni fra di essi attraverso una dorsale Ethernet che si suppone li colleghi.
     124Al 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
     126=== 16 giugno ===
     127
     128__1250-1411__ (1.35h) [[BR]]
     129Revisione, formalizzazione e stesura dei pensieri di ieri.
     130Prescindendo dalle modalità con le quali questo parametro venga valutato nella effettiva scelta di associazione (sto pensando a politiche di bilanciamento del
     131carico in maniera equa), il carico del BSS rimane l'oggetto del[milestone:"Bilanciamento del carico" la milestone di cui mi occupo].
     132La definizione che più mi è parsa corretta e indicativa è quella contenuta in 05 e 06: il carico è inversamente proporzionale al ''datarate''.
     133Purtroppo però questa informazione non è direttamente disponibile a meno che non si prendano in considerazione BSS che aderiscano a 802.11e (peraltro non ancora analizzato né da me, né da [wiki:Diario/Gnappo gnappo]) o a meno che non si effettuino dei test effettivi di comunicazione, rinunciando molto probabilmente alla scalabilità che si intravede fra gli obiettivi della soluzione ricercata.
     134Ciò detto risulta evidente la necessità di andare a ricercare elementi che siano calcolabili da ogni STA grazie ad azioni di sniffing sui vari canali per poi andare a calcolare una stima del ''datarate'' (e quindi del carico).
     135L'adeguatezza di questi fattori e dei calcoli che conducono alla stima può essere verificata per via sperimentale con uno sforzo che rimane considerevole.
     136
     137Riporto quindi di seguito un elenco di tutte quelle pratiche che risultano
     138essere interessanti.
     139 * Misurazione del tempo di accodamento dei ''beacon'' da parte dell'AP (00).
     140 * Calcolo dell' ''error rate'' delle trasmissioni su un determinato canale (00).
     141 * Misurazione del ''throughput'' medio della STA associate all'AP che si sta analizzando.
     142 * ''Bit-rate'' nominale delle STA associate all'AP che si sta analizzando.
     143 * Misurazione del ''datarate'' effettivo tramite invii diretti (ed invasivi).
     144 * Reperimento di informazioni dai campi aggiuntivi di 802.11e.
     145
     146__1411-1512__ (1.01h)[[BR]]
     147Punto della situazione con gnappo: aggiornamenti, chiarimenti e sviluppi futuri.
     148
     149__1700-1800__ (1.00h) [[BR]]
     150Ricerca di ulteriore documentazione e suddivisione dei nuovi documenti.
     151
     152=== 19 Giugno ===
     153
     154__1230-1300__ (0.50h)[[BR]]
     155Individuazione e sistemazione errori nei permessi del portale Trac.
     156
     157__1300-1336__ (0.60h)[[BR]]
     158Punto della situazione e inizio lettura di 10.
     159
     160__2010-2030__ (0.33h)[[BR]]
     161Sincronizzazione del diario.
     162
     163=== 20 Giugno ===
     164
     16510: 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).
     166Partendo da un modello probabilistico che rappresenta la gestione dei periodi di ''backoff'' si procede per via analitica andando a ricavare il ''throughput'' massimo.
     167Dato l'alto grado difficoltà del documento non mi è chiaro se il fine del documento risiede nel modello stesso o se esso sia strumento per calcoli realmente utili.
     168A patto che le informazioni di partenza siano ricavabili o stimabili dall'ascolto sul canale, mi azzardo a dire che questo modello non sia così distante dai nostri obiettivi.
     169Una serie di simulazioni sperimentali confermano validità del modello proposto e mettono in luce come le prestazioni dipendano in misura tutt'altro che marginale dalle impostazioni della rete, in particolare dall'ampiezza iniziale della finestra di contesa (`CWmin`).
     170
     171In aggiunta a questo non mi sono ben definite nemmeno le informazioni iniziali da cui il ''throughput'' sia ricavabile.
     172
     173Lettura di 11 e 12: appunti cartacei.
     174
     175=== 21 Giugno ===
     176__0905-0925__ [[BR]]
     17711: 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).
     178La prima, chiamata ''Gross Load'' intende calcolare il numero medio di trasmissioni in una cella in un dato periodi di tempo; la seconda, chiamata ''Packet Loss'' stima invece le ''performance'' a partire dal carico di ogni pacchetto, ricavato dalle probabilità di perdite di trasmissioni.
     179[[BR]]
     18012: Lo studio mira ad esprimere il numero ''n'' di stazioni concorrenti presenti in una rete 802.11 in regime DCF come funzione della probabilità di collisione.
     181Il fine è quello di riuscire a stimare ''n'' per poter adeguare intelligentemente il parametro `RTS-Treshold` per massimizzare le prestazioni.
     182
     183__1002-1337__ [[BR]]
     184Punto della situazione e analisi sviluppi futuri assieme a gnappo: stesura di una lista delle informazioni elementari che potranno essere alla base delle metriche di valutazione legate al carico degli AP.
     185
     186__1500-1640__ [[BR]]
     187Meeting dell'intera squadra: condivisione delle conoscenze fra i due gruppi di lavoro e revitalizzazione degli obiettivi legati alla milestone:"Roaming".
     188
     189__1720-1735__ [[BR]]
     190Condivisione conoscenze con gnappo riguardo lo studio di Bianchi (10).
     191
     192__1929-2002__ [[BR]]
     193Rilettura di 02 con l'individuazione di alcune sezioni interessanti.
     194
     195=== 22 Giugno ===
     196
     197__1021-1055__ [[BR]]
     19802: Come [wiki:"Diario/SoujaK#a11Giugno2007" precedentemente] accennato il documento propone una serie di metriche per la valutazione della qualità degli AP: anzitutto, nonostante si palesi ancora una volta l'insufficienza del solo RSSI, il parametro rientra fra i parametri considerati a causa della sua grande rilevanza.
     199''In secundis''propone una metrica che trovo significativa: il ritardo di trasmissione aggregaato, cioé il tempo medio che intercorre fra l'accodamento di un pacchetto e la ricezione della conferma di trasmissione a livello MAC (si suppone che sia il ''driver'' a ricevere periodicamente questa informazione direttamente dal ''firmware'').
     200In questo modo questa misura del ritardo tiene in considerazione non solo il tasso trasmissivo nominale utilizzato per la trasmissione, ma anche i ritardi dovuti a collisioni ed errori.
     201
     202__1140-1248__[[BR]]
     203Sincronizzazione degli ultimi tre giorni di diario.
     204
     205__1250-1320__[[BR]]
     206Installazione locale di KDissert.
     207
     208=== 25 Giugno ===
     209__1023-1350__ [[BR]]
     210Punto della situazione con gnappo: confronto, chiarimento e decisione della
     211prima sostanziosa parte della soluzione.
     212
     213__1501-1610__ [[BR]]
     214Lavoro con gnappo: formalizzazione della soluzione della mattinata (e della
     215precedente settimana) e in generale delle idee che la riguardano.
     216
     217__1610-1813__ [[BR]]
     218Ancora con gnappo: sviluppi futuri riguardo la presenza della STA all'interno
     219dello scenario finora considerato.
     220
     221__1955-2020__ [[BR]]
     222Rilettura dei documenti {06, 07, 09} alla luce della distinzione fra gli obiettivi di individuazione del throughput ottenibile e di bilanciamento del carico.
     223Nell'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
     225=== 26 Giugno ===
     226__1005-1035__[[BR]]
     227Rilettura del [wiki:Diario/Gnappo diario di gnappo] e della seconda mezza dozzina dei miei documenti alla ricerca di nuovi spunti.
     228Sorge una domanda ancora non presa in considerazione: quanto sono le conclusioni sinora tratte dipendenti dalla presenza del solo DCF?[[BR]]
     229Viaggi mentali su una modalità lasca per innescare il cambio di BSS (secondo i parametri di valutazione in oggetto del presente studio) al fine di scongiurare un eterno e continuo ''handoff''.
     230
     231__1114-1126__[[BR]]
     232Aggiornamento e sincronizzazione del diario.
     233
     234__1126-1400__ __1600-1654__ [[BR]]
     235Con gnappo:
     236 * caricamento della [source:CaricoBSS/caricobss.kdi mappa mentale] che sta guidando le nostre attività;
     237 * ulteriori chiarimenti riguardo le modalità di considerazione della presenza della STA associanda;
     238 * abbozzo di metrica per la aggregazione del carico teorico ed effettivo all'interno della stima;
     239 * formalizzazione delle questioni aperte e del sottoinsieme da proporre a Ghini;
     240 * aggiornamento della [source:CaricoBSS/caricobss.kdi mappa mentale];
     241 * stesura del diario della giornata.
     242
     243=== 27 Giugno ===
     244
     245__1320-1510__ [[BR]]
     246Con gnappo: affinamento del modello teorico approfondendo le cause di calo prestazionale in termini di throughput rispetto ai valori nominali (ritrasmissioni e attese di backoff), individuandone successivamente fonti per la loro stima.
     247
     248__1820-2000__ [[BR]]
     249Incontro con il professor Ghini: chiarimento di alcuni dettagli riguardo lo scenario d'opera.
     250
     251=== 28 Giugno ===
     252__1120-1240__[[BR]]
     253Meeting 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.
     254
     255__1740-1811__ [[BR]]
     256Con gnappo: chiarimenti riguardo le prossime raffinazioni del modello teorico.
     257
     258__1958-2020__[[BR]]
     259Appunti nella mappa mentale sulle ultime parole scambiate con gnappo, per timore di dimenticare.
     260
     261=== 29 Giugno ===
     262__1430-1500__[[BR]]
     263Rilettura di (e riflessioni su) alcuni documenti, in particolare 06, 07, 09.
     264
     265__1620-1835__[[BR]]
     266Aggiornamento del diario.[[BR]]
     267Con gnappo: analisi del nodo ancora da sciogliere (determinazione accurata del throughput teorico delle STA già associate).
     268Lettura accurata delle parti ancora poco chiare di gnp02, qualche questione rimane insoluta.
     269Conseguente individuazione dei nuovi obiettivi a breve termine (#1, #2, #3).
     270Breve indagine riguardo il significato di RSSI e SNR (#2).[[BR]]
     271Apertura dei ticket e aggiornamento del diario.
     272
     273=== 30 Giugno ===
     274__1316-1340__[[BR]]
     275Rapida occhiata alla tesi di Benatti e Borsari (Ghn00).
     276
     277== Luglio 2007 ==
     278
     279=== 2 Luglio ===
     280__1830-1940__[[BR]]
     281Ghn00: 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.
     282Un primo particolare interessante, seppur marginalmente, è che gli autori, consci della grande portabilità a cui mira il progetto MEW (Ghn01), tengono in considerazione la possibilità di utilizzare dispositivi sprovvisti della modalità monitor, adottando in quel caso una politica differente.[[BR]]
     283Una altra questione sollevata dagli autori che vale la pena menzionare è l'instabilità di uno dei parametri da loro utlizzati, RXQ.
     284Si tratta dell'indice più importante utilizzato per le valutazioni eseguite con il supporto del ''monitor mode'' ed è il rapporto fra il numero dei frame catturati e il numero dei frame transitati sul canale (frame catturati + frame persi).
     285Questo valore, la cui accuratezza ci si aspetterebbe essere direttamente proporzionale rispetto al tempo di ascolto sul canale, risulta invece essere parecchio instabile per cause che mi sono ancora ignote.
     286Dal momento che un simile calcolo dei frame transitati è alla base del calcolo del ''throughput'' effettivo che intendiamo effetuare, mi occuperò quanto prima di ricercare le motivazioni di questa anomalia.
     287
     288__2144-2208__[[BR]]
     289Lettura della prima parte dell'articolo su MEW (Ghn01).
     290
     291=== 3 Luglio ===
     292__1130-1216__[[BR]]
     293Formalizzazione e digitalizzazione degli appunti cartacei presi negli ultimi giorni (con rilettura di alcuni passaggi chiave di Ghn00).
     294
     295__1216-1220__[[BR]]
     296Aggiunta di due macro in fondo alla presente.
     297
     298__1220-1255__[[BR]]
     299Aggiornamento riguardo i ticket in consegna:[[BR]]
     300#3: Gli ''wireless tools'' offrono tre informazioni legate alla qualità della connessione: qualità, livello del segnale, livello del rumore. Dalla differenza degli ultimi due è possibile ricavare il famoso SNR (''Signal to Noise Ratio''), mentre il primo esprime due valori (graficamente separati da una barra nel caso si interroghi `iwlist`): l'RSSI e il rumore di fondo (''noise floor'').[[BR]]
     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
     303=== 4 Luglio ===
     304__1530-1600__[[BR]]
     305con gnappo: punto della situazione intorno alla calcolabilità del ''bitrate'' della stazione associanda in maniera portabile e quantomeno accurata.
     306
     307__1630-1635__[[BR]]
     308Aggiornamento del diario.
     309
     310__1700-1720__[[BR]]
     311Con gnappo: altri chiarimenti per migliorare la padronanza degli obiettivi da raggiungere.
     312
     313__1720-1900__[[BR]]
     314Riflessioni ad alto livello[[BR]]
     315Anzitutto credo che la stima della ''bandwidth'' ottenibile che intendiamo effettuare non possa limitarsi al livello MAC proprio di 802.11 come si era esplicitato giorni fa. Il motivo è duplice: da un lato condurrebbe ad errori poiché nei calcoli che prospettiamo di fare si sta tenendo conto di fattori propri del protocollo, da un altro questo non sembra condurre molto lontano dal datarate nominale del collegamento. Questa considerazione conduce alla serie di fattori (in buona parte già affrontati assieme a gnappo in maniera meno organica) che intervengono nel generare il carico addizionale implicabile al protocollo. Creazione di una nuova mappa mentale contenente una parziale formalizzazione di tutti gli ''overhead'' dovuti allo strato MAC, sperabilemente utile alle successive indagini.
     316
     317__1853-1900__[[BR]]
     318Aggiornamento del diario.
     319
     320=== 5 Luglio ===
     321
     322__1300-1715__[[BR]]
     323Gnappo
     324
     325=== 6 Luglio ===
     326
     327__1150-1400__, __1630-1830__[[BR]]
     328Gnappo
     329
     330=== 7 Luglio ===
     331__1048-1345__[[BR]]
     332Gnappo
     333
     334=== 9 Luglio ===
     335__1130-1430__, __1620-1830__[[BR]]
     336Gnappo
     337
     338__2000-2015__[[BR]]
     339Approfondimenti e riflessioni.
     340
     341=== 10 Luglio ===
     342__1025-1035__[[BR]]
     343Approfondimenti e riflessioni.
     344
     345__1120-1400__[[BR]]
     346Gnappo
     347
     348__1735-1845__ [[BR]]
     349Gnappo
     350
     351=== 11 Luglio ===
     352
     353__1745-1900__[[BR]]
     354Gnappo
     355Revisione documentazione sul supporto al roaming (Roma e Zeratul)
     356
     357=== 12 Luglio ===
     358
     359__1130-1300__[[BR]]
     360Incontro con l'intero team.
     361
     362__1430-1640__[[BR]]
     363Gnappo
     364
     365=== 13 Luglio ===
     366__????-1645__[[BR]]
     367Gnappo
     368
     369=== 14 Luglio ===
     370__1058-1120__[[BR]]
     371Gnappo
     372
     373=== 16 Luglio ===
     374
     375__1258-????__
     376Con gnappo
     377
     378=== 17 Luglio ===
     379
     380__1235-1605__[[BR]]
     381Con gnappo
     382
     383__1645-1732__[[BR]]
     384Con gnappo: impostazione del documento e del pacchetto `algorithmic`o
     385
     386__1732-1900__[[BR]]
     387Con gnappo.
     388
     389=== 19 Luglio ===
     390__1120-1400__ __1440-????__[[BR]]
     391Con gnappo: affrettata conclusione dei lavori in vista della pausa estiva.
     392
     393=== 24 Luglio ===
     394__1322-1542__[[BR]]
     395Approfondimenti e chiarimenti sparsi nella mappa mentale, nell'ottica di produrre un html decente da inviare al Prof. Ghini.[[BR]]
     396Invio dell'ultima versione della mappa al deposito SVN.[[BR]]
     397Aggiornamento (finalmente!) del diario.
     398
     399== Ottobre 2007 ==
     400
     401=== 5 Ottobre ===
     402__1715-1945__[[BR]]
     403Incontro con il Prof. Ghini: punto della situazione e sviluppi futuri prima della conclusione.
     404
     405=== 9 Ottobre ===
     406__1445-1710__[[BR]]
     407Videoconferenza 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.
     408
     409__1710-1740__[[BR]]
     410Formattazione in LaTeX di un paio di formule.[[BR]]
     411Aggiornamento deposito SVN.[[BR]]
     412Aggiornamento Diario.[[BR]]
     413
     414=== 10 Ottobre ===
     415
     416__1500-1740__[[BR]]
     417Incontro con gnappo.[[BR]]
     418Considerazioni sulle questioni ancora aperte e sull'eventuale lavoro da svolgere prima della stesura della relazione: si investirà ancora un'oretta per definire meglio il modello matematico. Domande sulla simmetria fra ''datarate'' in trasmissione e ricezione. Aggiornamento del diario.
     419
     420__1740-1745__[[BR]]
     421Aggiornamento del deposito subversion.
     422
     423=== 11 Ottobre ===
     424__1130-1330__ __1345-1430__[[BR]]
     425Lavoro con gnappo.[[BR]]
     426Ulteriori chiarimenti sul concetto di carico:
     427 * rilevanza non solo per il calcolo del ''throughput'' ottenibile, ma anche (in qualche modo) per calcolare la latenza del canale, intesa come ritardo introdotto dalla presenza delle varie STA; filosofie sul significato di ''bandwidth'', di ''troughput'' e di latenza
     428 * formalizzazione precisa e definitiva del carico (pesato) della stazione s: `l_{s}={\frac{w_{s}}{r_{s}}`
     429 * analisi della possibilità di inserimento nel modello matematico di un coefficente di attività (da moltiplicare al carico pesato), in grado di descrivere il grado di partecipazione di ogni stazione (rimembranze di conclusioni fatte a Luglio).
     430
     431__1500-1530__[[BR]]
     432Trascrizione di qualche appunto nel diario e successivo aggiornamento.
     433
     434__1530-1550__[[BR]]
     435Aggiornamento del deposito subversion: [7] e [8].
     436
     437__1625-1850__[[BR]]
     438Con gnappo.[[BR]]
     439Analisi del modello matematico chiarendo il concetto di peso del carico: è la quantità di dati inviati in media da una determinata STA in un giro.
     440Proprio il concetto di "giro", inteso come tempo medio nel quale tutte le STA che hanno voglia di trasmettere ne hanno occasione, è difficilmente calcolabile.
     441Aumentare in questa maniera la complessità del modello rischia, in generale, di allontanarlo dagli obiettivi di stabilità ed affidabilità nel definire un comportamento "di massima" della rete che si sta analizzando.
     442Si è 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.
     443
     444=== 12 Ottobre ===
     445__1240-1347__ __1415-1530__ __1640-1710__ __1740-2010__[[BR]]
     446Con gnappo.[[BR]]
     447Lavori per la stesura documento di tirocinio: definiti i contenuti del primo terzo del documento.[[BR]]
     448Aggiornamento parziale del deposito subversion [9].
     449
     450=== 15 Ottobre ===
     451__1050-1315__
     452Con gnappo.[[BR]]
     453Lavori per la stesura documento di tirocinio: iniziata la sezione relativa al modello matematico.
     454
     455__1320-1330__[[BR]]
     456Aggiornamento del deposito subversion [10] e del diario.
     457
     458__1550-1737__[[BR]]
     459Con gnappo.[[BR]]
     460Lavori per la stesura documento di tirocinio: quasi conclusa la sezione relativa al modello matematico.
     461
     462__1748-1800__[[BR]]
     463Aggiornamento del deposito subversion [11] e aggiornamento del diario.
     464
     465=== 16 Ottobre ===
     466__1108-1305__[[BR]]
     467Lavoro con gnappo per la stesura della relazione:
     468 * paragrafi sui valori ricavabili dal modello matematico;
     469 * qualche refactoring nel modello matematico.
     470
     471__1340-1346__[[BR]]
     472Aggiornamento del diario (solo locale).
     473
     474__1545-1700__[[BR]]
     475Lavoro con gnappo per la stesura della relazione:
     476 * reperimento sorgente LaTeX smarrito;
     477 * paragrafi sui valori ricavabili dal modello matematico;
     478 * chiarimenti concettuali qua e là.
     479
     480__2125-2315__[[BR]]
     481Lavoro con gnappo per la stesura della relazione:
     482 * conclusa la sezione sul modello matematico;
     483 * iniziata la sezione sul simulatore (necessita di qualche riorganizzazione dei contenuti).
     484
     485__2320-2325__[[BR]]
     486Aggiornamento del deposito subversion [12] e del diario.
     487
     488=== 17 Ottobre ===
     489__1125-1340__[[BR]]
     490Lavoro con gnappo per la stesura della relazione:
     491 * migliorata e completata l'introduzione al modello matematico;
     492 * parziale organizzazione dei contenuti sulla simulazione.
     493
     494__1445-1755__[[BR]]
     495Lavoro con gnappo per la stesura della relazione:
     496 * chiarimenti sui problemi legati alla simulazione;
     497 * rilevazione della mancanza di un'importante assunzione sulla tipologia di rete considerata: single-hop;
     498 * ulteriori (quando finiranno?) considerazioni sul concetto di carico: l'AP non ne genera direttamente e le trasmissioni AP->STA producono carico per la STA; conseguentemente:
     499   * il modello matematico aggiungerà al carico della stazione il carico derivante dalle ricezioni (sotto assunzioni di saturazioni pari ad 1/numero stazioni);
     500   * la simulazione inserirò anche il traffico in download (AP->STA). Si terrà presente che l'AP ha gli stessi diritti delle altre STA nell'aggiudicarsi gli accessi e che ogni STA ha diritto ad almeno 1/n degli accessi in download (riapplicazione del concetto di giro, usando una coda delle trasmissione gia' effettuate dall'AP).
     501 * aggiornamento del diario.
     502
     503__1844-1930__[[BR]]
     504Formattazione documento LaTeX: algoritmo per la ripartizione degli accessi.
     505
     506=== 18 Ottobre ===
     507__0810-0835__[[BR]]
     508Formattazione documento LaTeX: algoritmo per la ripartizione degli accessi.
     509
     510__0925-1200__[[BR]]
     511Lavoro con gnappo:
     512 * aggiornamento del deposito svn [13];
     513 * ricerca del Prof. Ghini, spedizione email, accordi per appuntamento.
     514 * individuazione delle prossime attività;
     515 * ~~chiacchiere sulla conclusione del tirocinio e altro~~
     516
     517__1400-1451__[[BR]]
     518Formattazione documento LaTeX: algoritmo per la ripartizione degli accessi.
     519
     520__1500-1615__[[BR]]
     521Incontro assieme a gnappo col Prof. Ghini sulla possibilità di conclusione abbreviata dei lavori: esito negativo;
     522
     523__1635-1905__[[BR]]
     524Lavoro con gnappo:
     525 * aumento della motivazione di gnappo (3 minuti);
     526 * programmazione e valutazione carichi delle prossime attività;
     527 * adeguamento della definizione di carico per il modello matematico.
     528
     529=== 19 Ottobre ===
     530__0955-1340__[[BR]]
     531Lavoro con gnappo:
     532 * rilevazione della necessità di meglio definire il concetto di latenza: analisi del problema;
     533 * discussioni sulla gestione del progetto;
     534 * revisione del concetto di latenza definendo adeguatamente la "downlink latency" e la "uplink latency";
     535
     536__1600-1838__[[BR]]
     537Lavoro con gnappo:
     538 * ridefinizione della latenza;
     539 * revisione della formalizzazione del carico;
     540 * scelta di un formalismo adeguato per la presentazione del modello matematico.
     541
     542__1929-2005__[[BR]]
     543Iniziata la digitalizzazione degli appunti cartacei presi il 19 Ottobre, direttamente formattati con LaTeX.
     544
     545=== 21 Ottobre ===
     546__1655-1743__[[BR]]
     547Completata la digitalizzazione degli appunti cartacei presi il 19 Ottobre, direttamente formattati con LaTeX. Aggiunta una prova d'uso dell'ambiente `theorem`.[[BR]]
     548Aggiornamento del diario e del deposito subversion [14].
     549
     550=== 22 Ottobre ===
     551__1000-1145__ __1230-1345__[[BR]]
     552Lavoro con gnappo:
     553 * pianificazione attività della giornata;
     554 * inizio della stesura della sezione dedicata alla simulazione;
     555 * aggiornamento locale del diario.
     556
     557
     558__1545-1832__[[BR]]
     559Lavoro con gnappo sulla sezione dedicata alla simulazione:
     560 * aggiunta di necessari fondamenti teorici;
     561 * introduzione all'algoritmo (non conclusa).
     562Aggiornamento locale del diario.
     563
     564=== 23 Ottobre ===
     565__0955-1005__[[BR]]
     566Aggiornamento del diario e del deposito subversion [15].
     567
     568__1005-1400__[[BR]]
     569Lavoro con gnappo sulla sezione dedicata alla simulazione:
     570 * riorganizzazione dei contenuti necessari all'esposizione dell'algoritmo;
     571 * partizione concettuale dell'algoritmo;
     572 * revisione e formattazione LaTeX della prima fase dell'algoritmo (una disputa ha allungato i tempi);
     573
     574__1515-1700__[[BR]]
     575Lavoro con gnappo sulla sezione dedicata alla simulazione:
     576 * revisione e formattazione LaTeX della seconda fase dell'algoritmo;
     577 * revisione della terza fase dell'algoritmo.
     578
     579__1710-1825__[[BR]]
     580Aggiornamento locale del diario;[[BR]]
     581Lavoro sulla sezione dedicata alla simulazione per la formattazione della terza fase dell'algoritmo.
     582
     583__1925-2008__[[BR]]
     584Lavoro sulla sezione dedicata alla simulazione per la formattazione della terza fase dell'algoritmo.
     585
     586=== 24 Ottobre ===
     587__0950-1100__ __1150-1250__ __1430-1846__[[BR]]
     588Lavoro con gnappo sulla sezione dedicata alla simulazione: rilettura, correzione, formalizzazione e formattazione dell'algoritmo.
     589
     590=== 25 Ottobre ===
     591__1012-1025__[[BR]]
     592Aggiornamento del diario e del deposito subversion [16].
     593
     594__1030-1810__[[BR]]
     595Lavoro con gnappo sulla sezione dedicata alla simulazione:
     596 * rilettura e correzione definitive dell'algoritmo;
     597 * ulteriori ed definizioni e interessanti conclusioni teoriche relative al modello di rete necessario al simulatore;
     598 * aggiornamento locale del diario.
     599
     600=== 26 Ottobre ===
     601__0940-0950__[[BR]]
     602Aggiornamento del diario e del deposito subversion [17].
     603
     604__1030-1240__[[BR]]
     605Discussioni sulla gestione dei lavori futuri con gnappo, accenni alla futura organizzazione.
     606
     607=== 27 Ottobre ===
     608__1100-1322__[[BR]]
     609Con gnappo:
     610 * punto della situazione sull'avanzamento dei lavori;
     611 * discussione e scelta delle metodologie di lavoro: inizio parallelismo;
     612 * discussione e scelta e degli strumenti d'ausilio: uso di soli sorgenti TeX, meglio gestibili dai software di versionamento;
     613 * definizione prossime attività da svolgere;
     614 * decisione monte ore settimanale: circa 15.
     615
     616__1500-1737__[[BR]]
     617Aggiunta documento !ToDo al deposito subversion [18].
     618
     619Preconfigurazione di un profilo di unison per la sincronizzazione diretta SoujaK <-> gnappo.
     620
     621Esportazione della relazione da KDissert a LaTeX:
     622 * riformattazione di alcune sezioni;
     623 * riformattazione dei segmenti con simboli matematici;
     624 * inserimento tag `TODO` per le cose da fare;
     625 * commentata la sezione "Questioni aperte", che non sarà inclusa nella relazione;
     626 * inserimento algoritmo del simulatore.
     627
     628__1740-1800__[[BR]]
     629Con gnappo: condivisione reciproca sugli sviluppi dei lavori.
     630
     631Aggiornamento del diario e del deposito subversion [19].
     632
     633__1850-2000__[[BR]]
     634Revisione della sezione dedicata al modello teorico:
     635 * rilettura e riorganizzazione
     636 * copia formule appartenenti al vecchio documento;
     637 * formattazione introducendo definizioni.
     638
     639=== 30 Ottobre ===
     640__1415-1515__[[BR]]
     641Con gnappo:
     642 * punto della situazione;
     643 * chiacchiere con Bononi;
     644 * schedulazione attività.
     645
     646__1610-1655__[[BR]]
     647Aggiornamento deposito subversion [20].
     648
     649Riorganizzazione dei contenuti della porzione di relazione dedicata alla modellazione teorica:
     650 * anticipazione della sezione "Ascolto";
     651 * rinomina di "Modello di rete" in "Assunzioni";
     652 * rinomina di "Modello matematico" in "Modello teorico";
     653
     654__1655-1800__[[BR]]
     655Con gnappo: discussioni sulle modalità di riorganizzazione dei contenuti della porzione di relazione dedicata alla modellazione teorica, in particolare sulla possibilità di inserimento di un coefficiente d'attività delle stazioni.
     656
     657__1825-1830__[[BR]]
     658Aggiornamento del deposito subversion [21] e del diario.
     659
     660
     661=== 31 Ottobre ===
     662__1600-1740__[[BR]]
     663Incontro con il professor Ghini:
     664 * aggiornamento sullo stato dei lavori;
     665 * obiettivi futuri in ambito tesi di laurea.
     666
     667__1821-1854__[[BR]]
     668Con gnappo:
     669
     670 * aggiornamento locale del diario;
     671 * discussioni sull'organicità e chiarezza sia attuali che future.
     672
     673== Novembre 2007 ==
     674
     675=== 2 Novembre ===
     676__1043-1445__[[BR]]
     677Lavoro con gnappo:
     678 * individuazione delle relazioni che intercorrono tra i concetti principali presenti nello studio;
     679 * riflessioni sul carico: chiarimenti sulla sua relazione con il concetto di epoca e caratterizzazione del carico di una stazione
     680 * considerazioni sulla natura del coefficiente di attività: dipende sia dalla necessità trasmissiva della stazione, sia dalla presenza delle altre stazioni.
     681 * tentativi di soluzione al problema della determinazione del carico di un BSS senza l'utilizzo di tecniche ''round-robin''.
     682
     683__1640-1900__[[BR]]
     684Lavoro con gnappo per la stesura cartacea di un grafo di dipendenze dei concetti, utile per l'organizzazione dei contenuti.
     685
     686Aggiornamento del deposito subversion [22] [23].
     687
     688=== 5 Novembre ===
     689__1515-1815__[[BR]]
     690Lavoro con gnappo per la stesura di una nuova scaletta a partire dalle dipendenze chiarite il 2 Novembre.
     691
     692Aggiornamento del deposito subversion [24].
     693
     694=== 6 Novembre ===
     695__1030-1345__[[BR]]
     696Lavoro con gnappo per approfondire la scaletta.
     697
     698__1345-1400__[[BR]]
     699Aggiornamento del diario e della scaletta nel deposito subversion.
     700
     701=== 6 Novembre ===
     702__1030-1345__[[BR]]
     703Lavoro con gnappo per approfondire la scaletta.
     704
     705__1345-1400__[[BR]]
     706Aggiornamento del diario e della scaletta nel deposito subversion [25].
     707
     708__1525-1750__[[BR]]
     709Lavoro con gnappo per concludere l'approfondimento della scaletta.
     710
     711__1815-1903__[[BR]]
     712Aggiornamento della scaletta nel deposito subversion [26].
     713
     714Creazione 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].
     715
     716=== 8 Novembre ===
     717__1046-1415__[[BR]]
     718 * Pianificazione dei lavori della giornata con gnappo.
     719 * Migrazione contenuti nel nuovo documento.
     720 * Chiarimenti con gnappo sull'algoritmo e relative ottimizzazioni.
     721
     722__1521-1810__[[BR]]
     723 * Discussioni chiarificatorie sulla distribuzione delle trasmissioni AP -> STA.
     724 * Aggiornamento del deposito subversion [28].
     725
     726__1910-1934__[[BR]]
     727Migrazione contenuti nel nuovo documento (33%).
     728
     729=== 13 Novembre ===
     730__1110-1126__[[BR]]
     731Aggiornamento locale del diario.
     732
     733__1126-1338__[[BR]]
     734Con gnappo ancora sulla distribuzione deglle trasmissioni AP -> STA: sperimentazioni e conclusioni.
     735
     736__1530-1710__[[BR]]
     737 * Due chiacchiere con gnappo sulle modalità di realizzazione dell'algoritmo di inserimento della stazione associanda.
     738 * Migrazione contenuti nel nuovo documento (90%): restano definizioni, teoremi e formule appartenenti al modello.
     739
     740__1710-1725__[[BR]]
     741Pianificazione con gnappo delle attivita` del 14 Novembre.
     742
     743__1815-1945__[[BR]]
     744 * Aggiornamento locale del diario e del ToDo;
     745 * migrazione contenuti nel nuovo documento (100%) e inizio stesura sezione "Modello";
     746 * aggiornamento deposito subversion [29];
     747 * aggiornamento del diario.
     748
     749=== 14 Novembre ===
     750__1000-1040__ __1103-1443__[[BR]]
     751 * Stesura sezione "Modello" (57%);
     752 * qualche chiacchiera con gnappo;
     753 * aggiornamento del diario e del deposito subversion [30].
     754
     755__1612-1720__[[BR]]
     756 * Stesura sezione "Modello" (71%);
     757 * aggiornamento del diario e del deposito subversion [31].
     758
     759=== 16 Novembre ===
     760__0810-0839__ __0920-1320__ __1400-1800__[[BR]]
     761Qualche chiacchiera con gnappo sull'algoritmo di inserimento della stazione associanda.
     762Lavoro per la stesura della sezione "Modello" (87%):
     763 * chiarimento sull'equità dell'AP;
     764 * precisazioni nella ripartizione delle assunzioni all'interno del documento;
     765 * completamento delle definizioni di saturazione;
     766 * precisazioni e miglioramento della qualità della definizione di epoca;
     767 * definiti e formalizzati tre teoremi;
     768 * abbozzate due dimostrazioni dei tre teoremi.
     769
     770__1800-1809__[[BR]]
     771Aggiornamento del deposito subversion [32] e del diario.
     772
     773__1846-1900__[[BR]]
     774Lavoro per la stesura della sezione "Modello" (90%): abbozzata la prima parte della dimostrazione del primo (e più rognoso) dei tre teoremi.
     775
     776=== 17 Novembre ===
     777
     778__1302-1308__[[BR]]
     779Aggiornamento del diario e del deposito subversion [33].
     780
     781=== 19 Novembre ===
     782__0845-0910__[[BR]]
     783Lavoro per la stesura della sezione "Modello" (92%): abbozzata la seconda parte della dimostrazione del primo (e più rognoso) dei tre teoremi.
     784
     785__0934-0939__[[BR]]
     786Aggiornamento del diario e del deposito subversion [34].
     787
     788__1030-1843__[[BR]]
     789Stesura modello: interrogativi sulla nuova e più generale definizione di epoca e relative chiacchiere con gnappo.[[BR]]
     790Definita bozza di un nuovo teorema (diverrà il primo) in grado di collegare la tesi di equità del mezzo alla definizione di epoca.
     791
     792__1929-2005__[[BR]]
     793Scritta la bozza di dimostrazione del primo teorema.
     794
     795=== 21 Novembre ===
     796__1020-1053__[[BR]]
     797Aggiornamento locale del diario.[[BR]]
     798Lavoro per la stesura della sezione "Modello" (93%): miglioramento dell'enunciato del primo teorema.
     799
     800__1210-1217__[[BR]]
     801Aggiornamento del diario e del deposito subversion [35].
     802
     803=== 26 Novembre ===
     804__1545-1820--[[BR]]
     805Lavoro con gnappo:
     806 * formalizzata discorsivamente una nuova tesi di equità di accesso al mezzo;
     807 * iniziata la formalizzazione rigorosa.
     808
     809__ 1844-1909__[[BR]]
     810Lavoro per la stesura rigorosa della tesi di equità di accesso al mezzo.
     811
     812=== 28 Novembre ===
     813__1716-1821__[[BR]]
     814[36]