Pisa University Press

Questo libro ha l'obiettivo di studiare l'architettura degli elaboratori secondo un approccio integrato e strutturato. Ogni argomento viene trattato sviluppando metodologie le più formali possibile e modelli di costo, e, al tempo stesso, facendo riferimento alle tecnologie disponibili e a quelle previste nel breve-medio termine, eventualmente discutendo possibili evoluzioni nel lungo termine. Il testo è suddiviso in quattro parti: Fondamenti e strutturazione firmware, Macchina Assembler e processi, Architettura Base di Elaboratori General-Purpose, Architetture parallele. Oltre che utilizzabile da professionisti e ricercatori, il testo contiene materiale per più corsi sull'architettura dei sistemi di elaborazione, e può essere utilizzato in modo del tutto modulare selezionando facilmente specifici capitoli o parti di essi. La trattazione fa ampio uso di esempi ed esercizi svolti. Le propedeuticità necessarie sono quelle di una preparazione di base a livello universitario nei settori della matematica, della programmazione e degli algoritmi. Rispetto alla prima edizione sono sviluppati a fondo i temi delle gerarchie di memoria, architetture ILP scalari e superscalari, in-order vs out-of-order, VLIW, multithreading, multicore, cache coherence.

Questo libro è indirizzato prevalentemente agli studenti di Fondamenti di Meccanica teorica e Applicata e di Meccanica Applicata alle Macchine, e può essere adottato in vari Corsi di Laurea. E stato scritto con l'intenzione di fornire gli elementi di base in una panoramica abbastanza ampia dei vari argomenti oggetto della Meccanica. Particolare importanza è data alla comprensione del fenomeno fisico e al tempo stesso sono fornite formule ed equazioni fondamentali relative ai vari argomenti, chiariti anche mediante alcuni esercizi significativi. Allo scopo di dare anche un taglio applicativo ali opera, sono subito introdotti concetti fondamentali legati a macchine e meccanismi e al collegamento fra i loro elementi. Aspetti connessi al movimento sono quindi trattati in un capitolo sulla cinematica, mentre quelli legali agli accoppiamenti fra corpi, con i connessi problemi di attrito e usura, sono approfonditi nei successivi capitoli riguardatiti la meccanica dei contatti in assenza e in presenza di lubrificante. Elementi essenziali di componenti per la trasmissione del moto, in particolare fra alberi rotanti, sono poi trattati in un capitolo specifico seguito dai due capitoli finali sulla dinamica delle macchine e dei sistemi vibranti.

Dalla introduzione: "Si può senz'altro affermare che la teoria dei gruppi è entrata a far parte di quel corredo matematico più

Il manuale di Geotecnica è stato progettato e scritto per gli allievi dei corsi di studio dell'area di Ingegneria Civile e di Scienze della Terra. Tuttavia il manuale è anche concepito come strumento per l'esercizio dell'attività professionale. Il primo Tomo riguarda alcuni concetti fondamentali, l'idraulica dei terreni, i modelli di comportamento, i metodi di analisi e le indagini. Il secondo Tomo riguarda invece la progettazione geotecnica delle opere di sostegno, rilevati, scavi e opere di fondazione ed è corredato da una serie di esercitazioni progettuali. Il primo Tomo è quindi concepito per gli allievi delle Lauree (triennali) mentre il secondo Tomo è fondamentalmente concepito per gli allievi delle Lauree Magistrali.

In questo secondo volume del testo "Architettura dei Calcolatori", dal titolo specifico "Struttura hardware del Processore PC,

Il volume presenta alcuni rilevanti problemi decisionali di ottimizzazione a risorse limitate che sorgono nell'analisi di sist

Con l'introduzione dei nuovi ordinamenti, l'insegnamento dell'Algebra di base nei corsi di laurea in matematica è stato in alcuni casi suddiviso in due moduli semestrali. La materia rimane però essenzialmente unitaria, ed il secondo modulo, anche quando è formalmente separato dal primo, non può prescindere da esso, ma anzi lo arricchisce e lo completa. Questo volume ricalca il contenuto dei corsi classici dell'Algebra di base che si sono tenuti negli ultimi anni all'Università di Pisa, sviluppando in particolare la teoria dei gruppi, la teoria degli anelli, la teoria dei campi e delle estensioni algebriche e la teoria di Galois. Inoltre sono stati inseriti due capitoli, uno relativo ai fondamenti del calcolo combinatorio ed uno allo studio delle cardinalità, per dare un quadro di riferimento più completo. Rispetto ad altre, la presente trattazione si contraddistingue forse per due aspetti: il primo, l'introduzione iniziale di un approccio concreto all'algebra astratta, partendo cioè dagli esempi di più immediata comprensione, come l'aritmetica modulare ed i polinomi, per addolcire la difficoltà del percorso degli studenti verso l'astrazione; il secondo, il particolare rilievo che si cerca di dare, dopo le enunciazioni teoriche, all'uso ed alle applicazioni dei risultati dimostrati, in virtù della convinzione che non si conosce la matematica finché non la si sa "usare".

La storia al femminile della Facoltà di Agraria di Pisa: questo l'obiettivo del volume. Partendo dal dato di fatto che dalla sua nascita fino a tempi assai recenti il sapere agricolo è rimasto prevalentemente patrimonio maschile, e in parte lo è tuttora, sono state individuate le prime iscritte e poi le prime laureate in questa disciplina. Per ciascuna di loro si è cercato di delineare un breve profilo per capire come sono arrivate agli studi agrari e quale è stato il loro iter lavorativo. È stata poi presa in esame la presenza femminile fra gli studenti della Facoltà di Agraria dagli anni seguenti al periodo bellico, fino ad arrivare ad oggi. In un'ottica di genere è stata anche valutata la presenza femminile nel corpo docente. Ne emerge una facoltà declinata al maschile, dove le poche studentesse che si sono affacciate a questa realtà si sono rivelate donne di un certo spessore, capaci, coraggiose, determinate: delle vere "pioniere". Le tesi delle prime nove laureate sono state commentate da "donne dell'accademia di oggi" che ne hanno dato non solo una lettura critica dal punto di vista dello spessore scientifico, ma hanno anche cercato di cogliere gli aspetti e le difficoltà peculiari degli studi descritti nelle tesi in quanto svolti da donne in un ambiente prettamente maschile. Il volume è corredato da un'appendice fotografica con le immagini di tutte le studentesse, iscritte e laureate alla Facoltà di agraria nel periodo considerato (1870-1945).

In questo primo volume del testo "Architettura dei Calcolatori", dal titolo specifico "Struttura software del processore PC, Assembler e corrispondenza fra C++ e Assembler", viene anzitutto presentato il cosiddetto Processore PC (schematizzazione dei processori con architettura x86-32), con riferimento sia alle istruzioni della Arithmetic and Logic Unit per numeri naturali e interi, sia a quelle della Floating Point Unit per numeri reali. Viene quindi illustrato il linguaggio Assembler con riferimento al sistema operativo Unix e all'ambiente di programmazione GNU/GCC. La parte preponderante del testo è dedicata a illustrare le modalità con le quali si realizzano in Assembler i principali costrutti linguistici del linguaggio C++ (che si suppone noto), con particolare riferimento alle funzioni/operatori globali e alle funzioni/operatori membro di classi. Alcuni dei più significativi programmi che compaiono nel presente volume sono disponibili al sito internet: ing.unipi.it/LibroCalcolatori. Essi possono essere scaricati, evitando in tal modo una loro riscrittura, che spesso introduce insidiosi errori di battitura.

In questo terzo volume del testo "Architettura dei Calcolatori", dal titolo specifico "Aspetti Architetturali Avanzati e Nucleo di Sistema Operativo". viene utilizzato il processore PC (illustrato nei primi due volumi del testo), anzitutto per trattare tematiche avanzate (memoria virtuale, protezione, multiprogrammazione) con riferimento ai Personal Computer. Viene quindi descritto un nucleo di sistema operativo (con processi, primitive di nucleo e primitive di I/O), che consente di trattare gli aspetti di interfaccia tra hardware e software, verificando sperimentalmente le funzionalità dei costrutti software basilari, e di gestire le più importanti interfacce presenti nei Personal Computer. Il nucleo descritto nel testo è stato effettivamente realizzato, utilizzando come strumenti di programmazione i linguaggi Assembler e C++ dell'ambiente GNU/GCC, e può essere eseguito utilizzando l'emulatore QEMU. Esso è disponibile al sito internet: ing.unipi.it/LibrooCalcolatori.

Il testo intende costituire un supporto didattico per l'apprendimento dell'Elettrotecnica

L'inevitabile settorializzazione degli studi giuridici fa sì che spesso la descrizione delle attività che un soggetto può real

Questo libro presenta una nuova introduzione ai principi della meccanica quantistica e alle sue applicazioni più semplici. La meccanica quantistica governa il mondo microscopico e, di conseguenza, è alla base della fisica contemporanea, dalla fisica delle particelle elementari alla fisica atomica, nucleare, molecolare e alla fisica di materia condensata, dall'astrofisica alla cosmologia. Ma è anche alla base di campi quali la biofisica, la genetica, le neuroscienze, la micro- o la nano-tecnologia, il quantum computing, la crittografia quantistica: la sua presenza permea il nostro mondo quotidiano, dal lettore CD ai transistors. Le leggi eleganti della meccanica quantistica, con i loro aspetti sottili e le loro conseguenze, sono introdotte e illustrate in modo elementare, con molti esempi e problemi, risolti analiticamente o numericamente. Questo libro presenta diverse novità rispetto ai libri tradizionali sull'argomento, sia nell'approccio didattico sia nella scelta degli argomenti trattati. Nel CD che accompagna il testo, si trovano numerosi problemi risolti, presentati come notebook di Mathematica, che il lettore può leggere, eseguire, modificare, generalizzare e applicare ad altri problemi ancora, a suo piacere. Questo primo volume è appropriato per studenti del terzo anno del nuovo corso triennale in fisica.

La continua ricerca di metodologie di progettazione, tecniche costruttive e materiali, sta offrendo, in Architettura e Ingegneria, risultati tali da incidere nella concezione progettuale e nella sua verifica costruttiva. Il fenomeno è indagato proponendo come chiave d'interpretazione, tecnica e critica, l'individuazione di "nuovi parametri": unità biunivoche contemporaneamente progettuali e costruttive. Documentate da casi di studio, le tesi esposte sono orientate a dimostrare che: non esistono solo parametri che generano forme "per stupire": ce ne sono anche altri tipi, meno appariscenti, ma che offrono vantaggi e benefici concreti, per la pratica e la conoscenza condivise; per valutare l'innovazione, un criterio valido può essere la riduzione della distanza fra progetto e costruzione, necessaria per avere edifici migliori per la vita dell'uomo; esistono metodologie e tecniche parametriche, distanti da finalità estetizzanti, che muovono, invece, dall'affermazione della centralità dell'elemento costruttivo; la vera innovazione e la vera tradizione non sono mai in contrasto, la prima nasce e s'incardina nella seconda, attualizzandola: come nel recupero del metodo olistico dell'ideazione e costruzione di un'opera, che alcuni nuovi parametri evidenziano. Il testo offre criteri di metodo e di merito, per una corretta conoscenza e un'efficace valutazione di alcuni nuovi parametri e del loro contributo a vantaggio di tutti.

Il volume presenta i risultati emersi dal progetto di ricerca relativo al Piceno meridionale - ed in particolare a Firmum Picenum ed al suo territorio diretto da M. Pasquinucci e da S. Menchelli. Le sistematiche ricognizioni topografico-archeologiche effettuate nell'ager Firmanus hanno permesso di individuare 780 unità topografiche databili dalla preistoria all'alto Medioevo, indizio di attività antropiche varie (caccia, pesca, allevamento) e di presenze stabili (villae, fattorie, fornaci, necropoli, porti/approdi, etc). Avvalendosi di questa inedita banca dati ed utilizzando tutte le tipologie di fonti disponibili vengono studiati con approccio multidisciplinare gli aspetti geomorfologici e le peculiarità topografiche in modo da delineare in prospettiva diacronica il sovrapporsi dei paesaggi antichi, cogliendo la complessità degli eventi umani e del loro interagire in questo territorio.

In occasione del centenario della morte di Antonio Pacinotti (1841-1912) la Fondazione Galileo Galilei pubblica il volume che accompagna le iniziative svoltesi a Pisa pei celebrale una della personalità più prestigiose dell'Ateneo pisano e in particolare la mostra "Antonio Pacinotti, cento anni dalla morte (1912-2012). Seguendo le orme del grande scienziato". Il volume, partendo da un intervento sulla ricerca e didattica condotta da Pacinotti, prosegue con un tratteggio della vita personale, familiare e professionale del giovane Antonio seguendo un carteggio ritrovato nella villa di Caloria presso Pistoia; si chiude infine con un contributo sul fondo archivistico e bibliotecario donato dalla famiglia all'Ateneo.