Come anticipato a qualcuno sul forum, è mia intenzione rinnovare radicalmente MoioSMS. La prossima versione di MoioSMS, la numero 3, si baserà su una piattaforma del tutto diversa e, nelle speranze di chi scrive, occorrerà meno tempo per mantenerla aggiornata – una condizione essenziale perchè un progetto come questo, che è fatto nel tempo libero, possa sopravvivere. Cercherò anche, come sempre, di rendere il programma più semplice e funzionale per l’utente.

Questo articolo spiega le ragioni della mia decisione ed ha un taglio decisamente tecnico – spero che gli altri sviluppatori dicano la loro nei commenti.

Motivazioni del cambiamento

La ragione di una così drastica decisione è dovuta a più fattori, il principale è che ritengo Python una piattaforma non più soddisfacente per le esigenze di questo progetto. Nonostante sia perfetto per l’uso in Linux, ambiente dove il progetto è nato, non è così semplice mantenere una buona compatibilità anche con gli altri Sistemi Operativi (ad esempio, lo stato di manutenzione ed aggiornamento di py2exe e py2app lascia parecchio a desiderare).

Un punto dolente sono le librerie grafiche che anni fa scelsi per l’interfaccia utente, le famose WxWidgets, che nel tempo hanno mostrato una lunga serie di limiti, errori non risolti, carenze di documentazione e poca uniformità tra Windows, Mac e Linux.

Altro punto debole è il sistema di decodifica delle immagini CAPTCHA, più che macchinoso, inefficiente e dipendente da una serie di altri programmi. D’altra parte, Python non dispone a mio parere di un’implementazione sufficientemente buona delle reti neurali, gli oggetti matematici che si usano a questo scopo, quindi non è facile passare ad algoritmi migliori. Il fatto di usare programmi esterni, inoltre, ha dato origine a una serie di grattacapi su come rendere il programma autocontenuto, il che ha sollevato nuovi problemi con firewall ed antivirus in Windows.

I problemi di Python non si fermano qui: un’esigenza da troppo tempo trascurata è quella di ristrutturare l’applicazione in modo da funzionare su più thread di esecuzione, per evitare di bloccare l’interfaccia durante l’invio dei messaggi. Anche qui, il supporto di Python alla programmazione concorrente è rudimentale, soprattutto in ottica di indipendenza dalla piattaforma (questo è cambiato recentemente con librerie come Twisted, che però usa processi anzichè thread, una soluzione a mio parere sub-ottimale).

Nuove idee

Ho passato parecchio tempo prima di trovare, capire e scegliere la tecnologia giusta per superare questi problemi. La scelta è infine ricaduta sul linguaggio Scala, che fa uso della piattaforma Java. I vantaggi che mette a disposizione sono notevoli:

• permette di scrivere codice compatto, similmente a Python e a differenza di Java, pur restando un linguaggio tipato staticamente, il che aiuta lo sviluppatore a trovare difetti nel codice prima della sua pubblicazione;
• ha integrata una libreria per il multitheading basata sul modello ad attori, che ritengo essere decisamente buono (l’ho usato, tra le altre cose, nella mia tesi di secondo livello in quanto fornito direttamente in Qt come estensione del meccanismo signals&slots);
• essendo basato sulla piattaforma Java:
  • è meglio predisposto, rispetto a Python, per lo sviluppo su più piattaforme (vedi il concetto WORA: anche se non è vero in termini assoluti lo è in buona parte). Non ho dubbi, ad esempio, sul fatto che si possano realizzare interfacce più portabili in Swing piuttosto che WxWidgets per esperienze passate;
  • permette di accedere a un numero esorbitante di librerie, anche di alta qualità, già esistenti per Java, in particolare l’ottima libreria Encog per le reti neurali;
  • permette di ottenere eseguibili (Jar) più compatti rispetto agli exe/app attuali ed effettivamente eseguibili con un doppio click su tutte le piattaforme – al patto al più di installare un JRE su Windows qualora non sia già presente, cosa comunque facilmente aggirabile. Inoltre con poca fatica si possono ottenere Jar completamente autocontenuti, integrando la libreria per l’accesso http, la libreria per le reti neurali, i dati statici necessari e così via.

Cosa resta da fare

Le motivazioni che ho esposto non piovono dal cielo, in quanto prima di sbilanciarmi ho già preparato una versione (molto) preliminare di MoioSMS che riesce a mandare messaggi da Vodafone con un algoritmo apposito di decodifica dei CAPTCHA che arriva a un quasi-incredibile 92% di accuratezza. Nel prossimo periodo scriverò qui sul sito alcuni articoli che spiegheranno come il sistema funziona.

Nel frattempo punto a rilasciare una prima versione utilizzabile di MoioSMS 3. Per evitare di aspettare altri anni dapprincipio non ci saranno molti dei siti inizialmente supportati e molte funzionalità dovranno essere aggiunte in seguito, ma fin da subito dovrebbero vedersi i frutti della nuova architettura:

• un eseguibile autocontenuto, compatto e comune a tutte le piattaforme, con molti meno problemi di dipendenze;
• la spedizione degli SMS in un thread separato;
• decodifica dei CAPTCHA (inizialmente, di Vodafone) estremamente più veloce ma soprattutto
• un tempo di risposta ai problemi degli utenti inferiore.

Agli altri sviluppatori

Innanzitutto, grazie per tutto quello che avete fatto in questi mesi. Temo che qualcuno di voi non sarà contento di leggere queste righe – l’abbandono di Python sarà un divorzio doloroso, e forse non strettamente necessario, ma spero che condividiate le mie ragioni e che continuiate ad operare nella comunità di MoioSMS. E’ mia intenzione coinvolgervi maggiormente rispetto al passato, ovviamente se siete disponibili, iniziando da una discussione sulle idee in questo articolo.

A presto!

E’ più facile da vedere che da spiegare, quindi buona visione!

• Video di laurea su Vimeo per la visione diretta;
• Video di laurea in versione mp4 per il download (68 MB).

Da ieri questo sito ha cambiato provider da Aruba.it ad Unbit.it.

Come sempre in questi casi è prevedibile qualche sobbalzo o qualche piccolo malfunzionamento: per il momento l’esperienza è ottima ma se riscontrate errori o problemi del sito fatemi sapere all’indirizzo silvio at moioli punto net.

Mi sono finalmente laureato il 23 Dicembre con una tesi che abbina informatica e… motoveicoli.

Pubblico qui i collegamenti al video di laurea, per tutti gli amici che avessero curiosità al lavoro che ho sviluppato assieme al collega Cristian Gatti, che colgo l’occasione per ringraziare.

• Video di laurea su Vimeo, per la visione diretta;
• Video di laurea in formato m4v per il download (100 MB).

Raccolgo in questo articolo il materiale che ho a disposizione per i corsi del quinto anno di Ingegneria Informatica.

Spero sia utile ai compagni di corso e agli studenti in generale (è da tenere presente che parte del materiale è specifico agli insegnamenti dell’Università degli Studi di Bergamo).

Linguaggi e Compilatori

La relazione del corso, ossia la parte teorica della relazione complessiva del progetto.

• Relazione di Linguaggi e Compilatori (PDF).

Informatica teorica

I miei appunti del corso; raccomando anche la lettura del libro consigliato.

• Appunti di Informatica Teorica (PDF).

Il restante materiale sarà aggiunto in questa pagina prossimamente.

Come ogni transizione tecnologica è molto probabile che ci sia qualche problemino residuo – se ce ne fossero avvisatemi via mail!

Buona navigazione

Raccolgo in questo articolo il materiale che ho a disposizione per i corsi del quarto anno di Ingegneria Informatica, o meglio il primo anno del curriculum “Sistemi Informativi” della laurea specialistica.

Spero sia utile ai compagni di corso e agli studenti in generale (è da tenere presente che parte del materiale è specifico agli insegnamenti dell’Università degli Studi di Bergamo).

Teoria dell’Informazione e della Trasmissione

Per TIT metto a disposizione un po’ di appunti sparsi per vari argomenti. Purtroppo non sono completi (il tempo a disposizione era scarso) ma non dovrebbero esserci grossi errori.

• Definizioni e teoremi sulla codifica di sorgente e di canale (PDF, prima parte del corso, senza dimostrazioni);
• Definizioni e teoremi sull’algebra dei campi (PDF, seconda parte del corso, senza dimostrazioni);
• Dimostrazione della condizione per il calcolo della Trasformata di Fourier discreta (PDF, seconda parte del corso, senza dimostrazioni);
• Appunti di teoria della trasmissione (PDF, treza parte del corso, senza dimostrazioni);

Informatica III: progettini

Pubblico i progettini obbligatori ed il progettino facoltativo. Il prof. Gargantini li ha anche usati nelle edizioni del corso degli anni seguenti.

• Progettino di C++ (zip, relazione e sorgenti);
• Progettino di Cyclone (zip, relazione e sorgenti);
• Progettino di JML (zip, relazione e sorgenti);
• Progettino di KeY-Hoare (zip, relazione e sorgenti);

Identificazione dei Modelli e Analisi dei dati

Qui ho un po’ di appunti sparsi. Non coprono tutto il programma, ma dovrebbero essere corretti.

• Appunti sui vari metodi di identificazione dei sistemi (PDF);
• Appunti sul Filtro di Kalman (PDF);
• Definizioni e dimostrazioni della prima parte del corso (PDF);
• Rappresentazioni dei sitemi e metodi per passare da una rappresentazione all’altra (PDF).

Modelli Stocastici: appunti e dimostrazioni

Scrivere questo documento è stata veramente una fatica. Qui c’è praticamente tutto quello che ho capito dal corso, ho cercato di ordinarlo e sistemarlo in modo che fosse comprensibile. A quanto pare funziona, visto che in parecchi ormai l’hanno usato per passare l’esame.

• Appunti di Modelli Stocastici (PDF).

Intelligenza Artificiale: un riassunto

Dato il gran numero di argomenti trattati nel corso ho scritto questo riassunto per punti come aiuto allo studio. Non è particolarmente esaustivo ma dovrebbe toccare tutti i punti importanti.

• Appunti di Intelligenza Artificiale (PDF).

Gestione Aziendale: mappa mentale

Infine pubblico una mappa mentale degli argomenti del corso di Gestione Aziendale. Mi perdonino i colleghi gestionali le eventuali imprecisioni!

• Mappa di Gestione Aziendale (zip, richiede FreeMind per la consultazione).

Raccolgo in questo articolo il materiale che ho a disposizione per i corsi del terzo anno di Ingegneria Informatica.

Spero sia utile ai compagni di corso e agli studenti in generale (è da tenere presente che parte del materiale è specifico agli insegnamenti dell’Università degli Studi di Bergamo).

Elettronica per sistemi digitali e telecomunicazioni: la relazione di laboratorio

La mia relazione, un pachiderma da 45 pagine. Direi che dentro dovrebbe esserci tutto quel che c’è da sapere sulla parte “pratica” del corso.

• Relazione di Elettronica (PDF, 2 Mb).

Sistemi di controllo di gestione: la mappa mentale dei contenuti

Dare un ordine alla massa di nozioni tra lezioni, diapositive, letture e interventi dei professionisti è stata un po’ un’impresa. Credo che questa mappa mentale riesca in qualche misura a ridurre l’entropia della materia…

• Mappa mentale di Sistemi di controllo di gestione (zip, richiede FreeMind per la consultazione);

Raccolgo in questo articolo il materiale che ho a disposizione per i corsi del secondo anno di Ingegneria Informatica.

Spero sia utile ai compagni di corso e agli studenti in generale (è da tenere presente che parte del materiale è specifico agli insegnamenti dell’Università degli Studi di Bergamo).

Automatica I: formulario della trasformazione di Laplace

Il titolo dice tutto, io lo trovo comodo.

• Formulario di Automatica (PDF)

Fisica tecnica: definizioni, dimostrazioni e formulario

Quasi tutto quel che c’è da sapere per superare l’esame! Il formato è quello delle mappe mentali per le definizioni, mentre il resto è nei consueti PDF da stampare.

• Definizioni di Fisica tecnica (zip, richiede FreeMind per la consultazione);
• Dimostrazioni di Fisica tecnica (PDF);
• Formulario di Fisica tecnica (PDF).

Ingegneria del software: il riassunto… Riassunto.

La mole delle slide è veramente immensa, per questo alla fine della preparazione ho buttato giù questo riassunto. Quindici pagine, partendo da milletrecento diapositive! Più compresso di così, non credo si possa fare.

• Riassunto di Ingegneria del software (PDF).

Statistica: formulario e programmi per la HP49

Oltre al classico formulario, è disponibile un pacchetto di programmi che ho sviluppato per la calcolatrice grafica HP49. Basta copiare il file su una scheda SD ed accedervi dalla calcolatrice nel modo usuale: le routine sono pensate per l’uso con RPN e i nomi richiamano da vicino le controparti Matlab.

• Formulario di Statistica (PDF);
• Programmi per la HP49;

Strumentazione e misure elettroniche: descrizione dei circuiti basati su operazionali

Visto che sono tanti da ricordare, ho scritto questo “catalogo” per facilitare la memorizzazione.

• Catalogo dei circuiti di Strumentazione e misure elettroniche (PDF);

Raccolgo in questo articolo il materiale che ho a disposizione per i corsi del primo anno di Ingegneria Informatica.

Spero sia utile ai compagni di corso e agli studenti in generale (è da tenere presente che parte del materiale è specifico agli insegnamenti dell’Università degli Studi di Bergamo).

Informatica I: un progetto C++

Lo pubblico essenzialmente per dare una mano ai compagni di corso che non sono riusciti a superare l’esame, poichè è stato valutato con il massimo punteggio dal professor Psaila all’Università degli Studi di Bergamo.
Non sono particolarmente fiero del codice, che è stato scritto con molte limitazioni sul linguaggio a mio parere (imposte dalle regole del corso), ma la progettazione dovrebbe essere buona.
Ringrazio Davide Gottini per la collaborazione ed il permesso di pubblicare il tutto.

• Progetto di Informatica I (zip, 1.4 MB, completo di documentazione, sorgente ed eseguibili Linux e Windows).

Calcolatori elettronici: la relazione di laboratorio

Ecco la mia relazione, fatta sull’esercizio numero 10. All’interno c’è anche il listato del codice assembler in esame.

• Relazione di Calcolatori elettronici (PDF).

Economia ed organizzazione aziendale: mappa mentale dei concetti

Questa è una mappa mentale delle parti discrosive del corso (grosso modo le prime lezioni).

• Mappa mentale di Economia ed organizzazione aziendale (zip, richiede FreeMind per essere consultata).
  

Elettrotecnica: un programma per risolvere le reti in continua

Come si usa?

• Scarica il Java Runtime Environment 5 dal sito di Sun (è gratuito);
• Scarica MoioContinua da questo sito;
• Lancia il programma con un semplice doppio click. Se non funziona, clicca con il pulsante destro, seleziona Apri con… e dalla lista scegli Java (TM) 2 Standard Edition Platform binary;
• Immetti i dati del tuo circuito e le equazioni di Kirchoff secondo le convenzioni del prof. Baggini (un resistore al massimo su ogni lato, ogni lato un numero e così via);
• Il programma calcolerà automaticamente la soluzione.

Perchè dovrei usarlo?

1. Risolvere i circuiti totalmente a mano è abbastanza monotono.
2. Usare (ugh) Excel con i metodi sistematici richiede la scrittura di parecchie equazioni.
3. Usare (ugh) Excel con i principi di Kirchoff così come sono richiede di riportare un sistema 2l*2l, troppo grande per i miei gusti;
4. Usare un programma per il disegno dei circuiti, che però non è gratis.