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.

SuperOptimize is a tool I wrote to automatically shrink, optimize and obfuscate SuperWaba programs.

SuperOptimize is not maintained anymore, if you think you still need it, please contact me.

What is SuperOptimize?

SuperOptimize is a package to shrink, obfuscate and optimize your Java code for SuperWaba. The resulting files will be smaller, obfuscated, and heavily optimized.
Unlike the standard tools that come with the SuperWaba SDK, SuperOptimize uses the most advanced OpenSource tools available for the best results: the Soot framework for optimizations and ProGuard for shrinking and obfuscating.

Why optimize?

Soot is the key component for the optimization of your programs. It uses four intermediate code representations for analyzing and transforming Java bytecode. The result is usually slightly bigger, but more efficient code.

Why shrink?

Shinking means removing all the classes and methods that are never used in your programs. This might sound strange, but it happens more than often. Of course shrinking means producing smaller files that take less time to load and consume less memory.

Why obfuscate?

In the SuperWaba VM, like almost every Java VM, packages, methods, attributes and classes are looked up by name. That means, searching strings at run time. This is not particularly good for performance, especially with long strings beginning with the same characters (and that happens quite often, too).
Obfuscating is the process in which classes, methods, attributes and packages are renamed into very short strings like “A” or “bc” that take less to be searched by the VM. This also produces smaller binaries that consume less memory and take less time to load.
Obfuscating your .class files makes it also more difficult for others to understand your program by disassembling it. It’s far from making reverse-engineering difficult though, so don’t rely on it very much from a security point of view.

Get it!

• SuperOptimize, all platforms (5 Mb download)

You may download SuperOptimize and use it for free, since it is released under the GPL. SuperOptimize uses the SuperWaba GPL library, so it can’t be used for commercial purposes. If you need a non-GPL’d version, please email me.

How to use it

First of all, JDK 1.2.2 is needed. That particular version produces the best code for SuperWaba, and it’s the only one tested with SuperOptimize. So download it from Sun’s site. Install it in a location you like.
Apache Ant is also needed. If you use the Eclipse platform (highly recommended), you’ll already have it installed. In that case, create a new project and import all the files in the distribution package. If you aren’t using Eclipse you can just launch SuperOptimize running Ant with no arguments from the command line.
Before running Ant though, you’ll have to open the build.xml file, and adjust the lines:
<!– Path for the JDK 1.2 –>
<property name=”java12home” value=”/opt/jdk1.2.2″/>
<!– Name of the main class –>
<property name=”mainClass” value=”superwaba.samples.app.swcalc.SWCalc”/>
<!– Name of the program –>
<property name=”programName” value=”SWCalc”/>
with the appropriate values, and copy your source files in the src/ folder.
Then just run Ant (either from the command line or from the Eclipse menu) and SuperOptimize will compile, optimize, shrink and obfuscate the code, producing the executable file with its pdb.

Results

I used SuperOptimize for only one project that really needed optimization. Results were quite surprising:

• file size went from over 500 kb to less than 150 kb and
• execution time of the main task was reduced about 40%.

I think these are extreme results, but I’m sure it could help you anyway, whatever project you have. I’ll post here your results if you send me an email.

Problems? Comments? Suggestions?

If you have any question, please email me at the address: silvio at moioli dot net