LABORATORIO DI INFORMATICA Lezione 7
|
|
- Giuseppe Bartolini
- 7 anni fa
- Visualizzazioni
Transcript
1 Laurea in Scienze dell Educazione a.a LABORATORIO DI INFORMATICA Lezione La nostra immaginazione è tesa al massimo; non, come nelle storie fantastiche, per immaginare cose che in realtà non esistono, ma proprio per comprendere ciò che davvero esiste. (Richard Phillips Feynman citato all'inizio di Wheeler, Taylor, "Fisica dello spazio-tempo ) Giorgio Poletti giorgio.poletti@unife.it Le tipologie principali Macchine a stati finiti (State Machine - SM) Grafo Marcato (Marked Graph - MG) Scelta libera (Free choice - FC) Scelta libera estesa (Extended free choice - EFC) Scelta asimmetrica (Asymmetric choice - AC)
2 Una P-rete è SM se Macchine a stati finiti (State Machine - SM) Un solo arco entrante e un solo arco uscente per ogni transizione Nessuna concorrenza Nessun conflitto Esempi di configurazione Grafo Marcato (Marked Graph - MG) Una P-rete 0 è MG 000 se Un solo arco entrante e un solo arco uscente per ogni posto Possibili concorrenze Nessun conflitto Esempio di configurazione Marked Graph duale State Machine Il principio di dualità afferma che se un uguaglianza e' corretta, e' corretta ed uguale anche l'uguaglianza ottenuta sostituendo da tutte e due le parti con 0 e 0 con. 2
3 Scelta libera (Free Choice - FC) Una P-rete 0 è FC 000 se ogni arco è Possibili concorrenze Possibili conflitti Conflitti e concorrenze mai contemporaneamente L unico che esce da un posto O L unico che entra in una transizione Esempio di configurazione Scelta libera estesa (Extended Free Choice - EFC) Una rete EFC è Una rete di Petri (P-rete) che può Essere trasformata in una rete FC 3
4 Scelta asimmetrica (Asymmetric Choice - AC) Una P-rete 0 AC 000 se posti hanno transizioni in output in comune Le transizioni in uscita di un posto contengono quelle dell altro Esempio di configurazione di (P-rete AC) Concorrenze Confusione (Confusion) Esempio di confusione Conflitti Reti di Petri (classiche) Non includono Il concetto di tempo Reti Temporizzate (estensione) descrivono non descrivono si estendono attraverso Reti di Petri Temporizzate Struttura logica di un sistema Evoluzione temporale di un sistema Transizione = Evento Transizione = Attività del Sistema Posto = Attività del Sistema Istantaneo Tmin Tmax (Tempo di scatto se non si disabilita) Scatto Tempo non nullo (attività durata) Tutti i gettoni vengono rimossi dai posti di Input Transizione in scatto per tutta la durata Fine in scatto, gettoni nei posti di Output Posto Durata (Tempo necessario per l attività) 4
5 Un esempio di matrice dinamica Il gioco Life Automa cellulare Gioco Life John Conway Scopo: dimostrare che comportamenti simili alla vita possano emergere da regole semplici e interazioni a molti corpi. Teoria della complessità (sistema complesso è un sistema in cui gli elementi subiscono continue modifiche singolarmente prevedibili, ma del quale non è possibile, o è molto difficile, prevedere uno stato futuro) Un esempio di matrice dinamica Il gioco Life Regole di Life Ogni cella è un automa a due stati, accesa o spenta, viva o morta, e risente dello stato di ogni cella del proprio intorno (nel nostro caso quello di Moore) in modo tale che: Se una cella ospita un automa vivo, questo continuerà a vivere anche nella generazione successiva solo se 2 o 3 delle otto celle ospitano automi vivi; Se una cella vuota ha tre automi adiacenti vivi, allora ospiterà un nuovo automa; Se un automa ha meno di 2 automi adiacenti vivi o più di 3 vivi, esso morirà per inedia o sovrappopolazione. 5
6 Un esempio di matrice dinamica Il gioco Life Regole di Life Ogni cella è un automa a due stati, accesa o spenta, viva o morta, e risente dello stato di ogni cella del proprio intorno (nel nostro caso quello di Moore) in modo tale che: Se una cella ospita un automa vivo, questo continuerà a vivere anche nella generazione successiva solo se 2 o 3 delle otto celle ospitano automi vivi; Se una cella vuota ha tre automi adiacenti vivi, allora ospiterà un nuovo automa; Se un automa ha meno di 2 automi adiacenti vivi o più di 3 vivi, esso morirà per inedia o sovrappopolazione. T: Osservazione 00 Realtà, 000 il mondo Un sempio: struttura del pensiero Aspetti fantasmatici T5: Formazione parte visuale Immaginazione letteraria T2: Trasformazione Aspetti onirici Cultura Esperienza T3: Trasmissione Mondo figurativo T6: Verbalizzazione Pensiero T4: Astrazione, Interiorizzazione 6
7 Mamma T: Raccomandazione Un esempio: La trama di Cappucetto Rosso casa della Nonna con le focacce Lupo a casa della Nonna Nonna malata Lupo che russa Cacciatore nel bosco con le focacce T2: Incontro a frutti di bosco T3: Raccolta Lupo Lupo informato T4: Corre con cestino di frutti di bosco e le focacce a casa della nonna terrorizzato Lupo travestito A casa della nonna T5: Mangia T5: Dialogo Lupo smascherato T6: Mangia Lupo che dorme Lupo morto T6: Accorrere Cacciatore a casa della nonna Cacciatore con coltello T6: Uccisione T7: Squartamento Insieme di posti SIFONI Alcune definizioni avanzate evoluzione della rete tende a perde gettoni duale Persi tutti non è più in grado di acquistarne TRAPPOLE Insieme di posti Preso almeno un gettone non è più in grado di svuotare (smarcare) contemporaneamente tutti i posti evoluzione della rete tende ad acquisire gettoni 7
8 Reti di Petri Ordinarie Reti di Petri di Alto Livello Reti di Alto Livello I token sono indistiguibili (non hanno informazioni allegate) I token sono associati a informazioni (ad esempio reti colorate) Le transizioni sono associate a condizioni logiche che ne influenzano lo scatto 8
Laboratorio di Informatica
Laboratorio di Informatica Metodologie, Tecnologie e Strumenti per l automatizzazione dell informazione Corso di Laurea «Scienze dell Educazione» AA 2010-2011 Prof. Giorgio Poletti giorgio.poletti@unife.it
Dettagli«Sciente e Tecnologie dei Beni Culturali»
6 Informatica CdS in «Sciente e Tecnologie dei Beni Culturali» AA 2014-2015 Mini-sito dell insegnamento: http://www.unife.it/scienze/beni.culturali/insegnamenti/informatica Prof. Giorgio Poletti giorgio.poletti@unife.it
DettagliInformatica e Interazione Uomo-Macchina
Informatica e Interazione Uomo-Macchina Società dell Informazione e WEB 2.0 SUPPORTO DI 3 CREDITI AL SETTORE INF/01 «LINGUE E LETTERATURE STRANIERE» «Il caso è la somma delle nostre ignoranze.» (Pierre
DettagliEsercitazione 5: the game of life
Esercitazione 5: the game of life Termine consegna lavori: Da Mercoledì 28 novembre ore 00:01 A Martedì 4 dicembre ore 23:59 I lavori dovranno essere salvati all'interno di una cartella che dovrà contenere
DettagliAppunti sulle Reti di Petri
Appunti sulle Reti di Petri Marco Liverani 13 maggio 2004 1 Introduzione Le Reti di Petri, proposte nel 1962 da Carl Adam Petri, sono uno strumento per la modellizzazione di processi ed in particolare
DettagliModellazione dei processi produttivi 98
Modellazione dei processi produttivi Sistemi DES Reti di Petri Equazione di stato Grafo di stato Strutture fondamentali Proprietà Analisi matriciale P-invarianti T-invarianti Sifoni Trappole Macchine a
DettagliAnalisi matriciale delle reti di Petri (P/T)
Analisi matriciale delle reti di Petri (P/T) Sifoni e trappole Classi di reti di Petri 1 - richiami preliminari sulle proprietà strutturali - Abbiamo visto che alcune caratteristiche dei sistemi dinamici
DettagliIndice generale. Prefazione
Prefazione vii 1 Classificazione dei sistemi e dei modelli 1 1.1 Introduzione 1 1.2 Principi di base della teoria dei sistemi e del controllo 2 1.2.1 I concetti di sistema e di modello 3 1.2.2 Il concetto
DettagliUniversità di Bergamo Facoltà di Ingegneria INGEGNERIA DEL SOFTWARE. Paolo Salvaneschi A4_3 V2.1. Progettazione. Metodi e Linguaggi
Università di Bergamo Facoltà di Ingegneria INGEGNERIA DEL SOFTWARE Paolo Salvaneschi A4_3 V2.1 Progettazione Metodi e Linguaggi Il contenuto del documento è liberamente utilizzabile dagli studenti, per
DettagliReti Sequenziali. Reti Sequenziali. Corso di Architetture degli Elaboratori
Reti Sequenziali Reti Sequenziali Corso di Architetture degli Elaboratori Caratteristiche 1 Caratteristiche delle reti sequenziali Reti combinatorie: il valore in uscita è funzione (con il ritardo indotto
DettagliRETI DI PETRI RETI DI PETRI
Corso di Laurea Triennale in INGEGNERIA INDUSTRIALE Anno Accademico 2013/14 Prof. Davide GIGLIO 1 INDICE GENERALITÀ SULLE Struttura e marking di una rete di Petri Regola di firing ( Token Game ) Capacità
DettagliLuigi Piroddi
Automazione industriale dispense del corso 12. Metodi top-down, bottom-up e ibridi Luigi Piroddi piroddi@elet.polimi.it Introduzione Esistono varie tecniche sistematiche di modellizzazione che consentono
DettagliCostruzione di espressioni regolari 4
ostruzione di espressioni regolari 4 Indicando con d uno dei possibili digits {,, 2,,9} --possiamo esprimere il sotto linguaggio dei digits come d = ( + + 2 +.. + 9) Quale linguaggio produce l espressione:
DettagliFSM: Macchine a Stati Finiti
FSM: Macchine a Stati Finiti Introduzione Automi di Mealy Automi di Moore Esempi Sommario Introduzione Automi di Mealy Automi di Moore Esempi Sommario Introduzione Metodo per descrivere macchine di tipo
DettagliSintesi Sequenziale Sincrona Sintesi Comportamentale di reti Sequenziali Sincrone
Sintesi Sequenziale Sincrona Sintesi Comportamentale di reti Sequenziali Sincrone Il problema dell assegnamento degli stati versione del 9/1/03 Sintesi: Assegnamento degli stati La riduzione del numero
DettagliAnalisi matriciale delle reti di Petri (P/T) - sifoni e trappole -
Analisi matriciale delle reti di Petri (P/T) - sifoni e trappole - - richiami preliminari sulle proprietà strutturali - Abbiamo visto che alcune caratteristiche dei sistemi dinamici (DES compresi) non
DettagliLABORATORIO DI INFORMATICA
Laurea in Scienze dell Educazione a.a. 2009-200 LORTORIO DI INFORMTIC Lezione 2 00 000 00 0 000 000 0 Tutto dovrebbe essere reso il più semplice possibile, ma non più semplice. (lbert Einstein) Giorgio
DettagliStudio degli effetti della fibrillazione atriale sull emodinamica cerebrale mediante l uso delle reti complesse
Politecnico di Torino Corso di Laurea Magistrale in Ingegneria Biomedica Tesi di Laurea Magistrale a.a. 2015/2016 Studio degli effetti della fibrillazione atriale sull emodinamica cerebrale mediante l
DettagliAutomazione Industriale
Automazione Industriale Stefano Cherubin 23 settembre 2013 Sommario Reti di Petri ed analisi delle reti di Petri. Riassunto teorico e domande frequenti (Vero o Falso e Perché). Indice 1 Introduzione alle
DettagliReti logiche: introduzione
Corso di Calcolatori Elettronici I Reti logiche: introduzione ing. Alessandro Cilardo Corso di Laurea in Ingegneria Biomedica Circuiti e porte logiche Esempio di rete di commutazione: Circuiti e porte
DettagliConway's Game of Life. Valerio Perticone
Conway's Game of Life Valerio Perticone 4 Giugno 2014 1 a Martin Gardner (21/10/1924-22/05/2010) 2 Sommario Conway's Game of Life! Figure di Life in Golly! Computazione con Life 3 Conway's Game of Life
DettagliModellazione di Workflow mediante le Reti di Petri. Prof. Giancarlo Fortino
Modellazione di Workflow mediante le Reti di Petri Prof. Giancarlo Fortino g.fortino@unical.it Introduzione Il successo di un sistema di workflow si basa sulla qualità dei flussi di lavoro che lo compongono.
DettagliModellazione dei processi produttivi
Sistemi DES Reti di Petri Equazione di stato Grafo di stato Strutture fondamentali Proprietà Analisi matriciale P-invarianti T-invarianti Sifoni Trappole Macchine a stati finiti Esempio di processo manifatturiero
DettagliConway s Game of Life. Valerio Perticone
Conway s Game of Life Valerio Perticone a Martin Gardner (21/10/1924 22/05/2010) Scaletta Il Gioco della vita Figure di Life (in Golly) Computazione con Life Conway s Game of Life È un automa cellulare
DettagliSintesi di Reti Sequenziali Sincrone
Sintesi di Reti Sequenziali Sincrone Maurizio Palesi Maurizio Palesi 1 Macchina Sequenziale Una macchina sequenziale è definita dalla quintupla (I,U,S,δ,λ ) dove: I è l insieme finito dei simboli d ingresso
DettagliSimulazione di sistemi non lineari Implementazione di Automi Ibridi con Stateflow
Simulazione di sistemi non lineari Implementazione di Automi Ibridi con Stateflow Gianmaria De Tommasi 1 1 Università degli Studi di Napoli Federico II detommas@unina.it Ottobre 2012 Corsi AnsaldoBreda
DettagliAlgoritmi e Principi dell Informatica
Algoritmi e Principi dell Informatica Appello del 27 Settembre 2012 Chi deve sostenere l esame integrato (API) deve svolgere tutti gli esercizi in 3 ore. Chi deve sostenere solo il modulo di Informatica
DettagliIL METODO DEL SIMPLESSO
IL METODO DEL SIMPLESSO Il metodo del Simplesso 1 si applica nella risoluzione di un problema di Programmazione Lineare 2 (funzione e vincoli lineari) quando le variabili di azione o iniziali sono almeno
DettagliSOMMARIO. DIAGRAMMI DI ATTIVITÀ INGEGNERIA DEL SOFTWARE Università degli Studi di Padova. Introduzione. Concetti base.
SOMMARIO Introduzione Concetti base INGEGNERIA DEL SOFTWARE Università degli Studi di Padova Dipartimento di Matematica Corso di Laurea in Informatica, A.A. 2014 2015 rcardin@math.unipd.it 2 SOMMARIO Introduzione
DettagliAnalisi interazione domanda/offerta: modelli di assegnazione
Corso di Laurea Ingegneria Civile - AA 1112 Corso di: Fondamenti di Trasporti Lezione: Analisi interazione domanda/offerta: modelli di assegnazione Giuseppe Inturri Università di Catania Dipartimento di
DettagliReti di Petri: analisi, modellistica e controllo
Reti di Petri: analisi, modellistica e controllo 2-3/2/24 Alessandro De Luca Reti di Petri Sono un formalismo grafico/matematico per la modellazione di sistemi dinamici a eventi discreti introdotte nel
DettagliReti di Petri: analisi, modellistica e controllo
Reti di Petri: analisi, modellistica e controllo /2/25 Alessandro De Luca Reti di Petri Sono un formalismo grafico/matematico per la modellazione di sistemi dinamici a eventi discreti introdotte nel 962
DettagliUNIVERSITÀ DEGLI STUDI ROMA TRE Corso di Studi in Ingegneria Informatica Ricerca Operativa 1 Seconda prova intermedia 17 giugno 2013
A UNIVERSITÀ DEGLI STUDI ROMA TRE Corso di Studi in Ingegneria Informatica Ricerca Operativa Seconda prova intermedia 7 giugno 0 Nome: Cognome: Matricola: Orale /06/0 ore aula N Orale 0/07/0 ore aula N
DettagliMacchine sequenziali. Automa a Stati Finiti (ASF)
Corso di Calcolatori Elettronici I Macchine sequenziali Prof. Roberto Canonico Università degli Studi di Napoli Federico II Dipartimento di Ingegneria Elettrica e delle Tecnologie dell Informazione Corso
DettagliRETI E AZIENDE IN RETE
RETI E AZIENDE IN RETE GESTIRE LE RETI RETI TECNOLOGICHE RETI SOCIALI RELAZIONALI RETI ECONOMICHE DI IMPRESE RETE Cos è? (definizione) Che tipi di reti esistono? (tipologie/classificazioni) Come funzionano?
DettagliSintesi di Reti sequenziali Sincrone
Sintesi di Reti sequenziali Sincrone alcolatori ElettroniciIngegneria Telematica Sintesi di Reti Sequenziali Sincrone na macchina sequenziale è definita dalla quintupla δ, λ) dove: I è l insieme finito
DettagliParole note, nuovi significati: linguaggio, determinismo e infinito
Parole note, nuovi significati: linguaggio, determinismo e infinito Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine Ciclo di seminari su un Vocabolario Filosofico
Dettagliuniversità DEGLI STUDI DI NAPOLI FEDERICO II
università DEGLI STUDI DI NAPOLI FEDERICO II Facoltà di Ingegneria Registro delle Lezioni dell insegnamento di: Introduzione ai Circuiti Corso di Laurea in Ingegneria dell'automazione Corso di Laurea in
DettagliI circuiti digitali: dalle funzioni logiche ai circuiti (le SOP)
I circuiti digitali: dalle funzioni logiche ai circuiti (le SOP) Prof. Alberto Borghese Dipartimento di Informatica borghese@di.unimi.it Università degli Studi di Milano Riferimento al testo: Sezione C.3;
DettagliProva d esame di Reti Logiche T 10 Giugno 2016
Prova d esame di Reti Logiche T 10 Giugno 2016 COGNOME:.. NOME:.. MATRICOLA: Si ricorda il divieto di utilizzare qualsiasi dispositivo elettronico (computer, tablet, smartphone,..) eccetto la calcolatrice,
DettagliProgettazione Digitale: Modellazione dei ritardi e mapping tecnologico
Progettazione Digitale: Modellazione dei ritardi e mapping tecnologico Prof. Antonino Mazzeo A cura di: Ph.D., Ing. Alessandra De Benedictis, alessandra.debenedictis@unina.it Testi di riferimento: Franco
DettagliEconomia Industriale
Università del Piemonte Orientale Amedeo Avogadro Facoltà di Economia A.A. 2005/2006 Economia Industriale Dott. Massimiliano Piacenza Lezione 2 L impresa come rapporto principale-agente (cenni, Cabral
DettagliFlip-flop, registri, la macchina a stati finiti
Architettura degli Elaboratori e delle Reti Lezione 9 Flip-flop, registri, la macchina a stati finiti Proff. A. Borghese, F. Pedersini Dipartimento di Scienze dell nformazione Università degli Studi di
DettagliLE RETI DI PETRI COME STRUMENTO DI MODELLAZIONE INTRODUZIONE CONCETTI BASE. L. Nigro Ingegneria del Software per Sistemi in Tempo Reale
LE RETI DI PETRI COME STRUMENTO DI MODELLAZIONE Le reti di Petri si caratterizzano per essere uno strumento rigoroso e matematico di specificazione di sistemi concorrenti e distribuiti in presenza di aspetti
Dettagli«Sciente e Tecnologie dei Beni Culturali»
1 Informatica CdS in «Sciente e Tecnologie dei Beni Culturali» AA 2014-2015 Mini-sito dell insegnamento: http://www.unife.it/scienze/beni.culturali/insegnamenti/informatica Prof. Giorgio Poletti giorgio.poletti@unife.it
DettagliLinguaggi Regolari e Linguaggi Liberi
Linguaggi Regolari e Linguaggi Liberi Linguaggi regolari Potere espressivo degli automi Costruzione di una grammatica equivalente a un automa Grammatiche regolari Potere espressivo delle grammatiche 1
DettagliAutomi a stati finiti
1. Automi a stati finiti: introduzione Automi a stati finiti Supponiamo di avere un sistema che si può trovare in uno stato appartenente ad un insieme finito di stati possibili. Ex: Immaginiamo un incrocio
DettagliUn esempio di applicazione della programmazione lineare intera all ingegneria del software: stima del worst-case execution time di un programma
Un esempio di applicazione della programmazione lineare intera all ingegneria del software: stima del worst-case execution time di un programma Corso di Ricerca Operativa per il Corso di Laurea Magistrale
Dettagli1. Automi a stati finiti: introduzione
1. Automi a stati finiti: introduzione Supponiamo di avere un sistema che si può trovare in uno stato appartenente ad un insieme finito di stati possibili. Ex: Immaginiamo un incrocio tra due strade regolate
DettagliAppunti del corso di Informatica 1 (IN110 Fondamenti) 3 Modelli di calcolo
Università Roma Tre Dipartimento di Matematica e Fisica Corso di Laurea in Matematica Appunti del corso di Informatica 1 (IN110 Fondamenti) 3 Modelli di calcolo Marco Liverani (liverani@mat.uniroma3.it)
Dettaglia.a Codice corso: 21012
Esercizio 1 Scrivere un programma che riceve in ingresso il contenuto di una matrice quadrata di interi con N 2 elementi. Il programma calcola e visualizza i massimi locali della matrice. Il massimo locale
DettagliLe reti di Petri P/T (Posti/Transizioni)
Le reti di Petri P/T (Posti/Transizioni) Rete di Petri P/T (Posti/Transizioni) - rappresentazione grafica - Elementi costitutivi Esempio Posto Transizione Arco Peso (1 se omesso) w P1 P T1 P3 Marca (o
DettagliReti sequenziali. Nord
Reti sequenziali Nord Ovest Est Semaforo a due stati verde/rosso Sud Vogliamo definire un circuito di controllo per produrre due segnali NS ed EO in modo che: Se NS è on allora il semaforo è verde nella
DettagliFondamenti di informatica II 1. Sintesi di reti logiche sequenziali
Titolo lezione Fondamenti di informatica II 1 Sintesi di reti logiche sequenziali Reti combinatorie e sequenziali Fondamenti di informatica II 2 Due sono le tipologie di reti logiche che studiamo Reti
DettagliCalcolatori Elettronici
Calcolatori Elettronici Lezione 2 Reti Logiche: Sintesi Emiliano Casalicchio emiliano.casalicchio@uniroma2.it Argomenti della lezione q Reti combinatorie Sintesi, Mappe Karnaugh Esercizi 2 Sintesi di reti
DettagliIl sintagma come elemento costitutivo della frase
Argomento La frase Il sintagma come elemento costitutivo della frase Attività Caccia alla frase Destinatari: primaria - classe terza Obiettivo di riflessione: individuare la posizione dei sintagmi in una
DettagliMINIMIZZAZIONE DEI COSTI
Ist. di economia, Corso di Laurea in Ing. Gestionale, I canale (A-L), A.A. 2014-2015. Prof. R. Sestini SCHEMA DELLE LEZIONI DELLA SESTA SETTIMANA MINIMIZZAZIONE DEI COSTI Si consideri ora che, se l impresa
DettagliLuigi Piroddi piroddi@elet.polimi.it
Automazione industriale dispense del corso 10. Reti di Petri: analisi strutturale Luigi Piroddi piroddi@elet.polimi.it Analisi strutturale Un alternativa all analisi esaustiva basata sul grafo di raggiungibilità,
DettagliSistemi ad Eventi Discreti Dinamici o DEDS (Discrete Event Dynamic System) Ing.Francesco M. Raimondi Lezioni del corso di
AUTOMAZIONE INDUSTRIALE Le Reti di Petri Ing.Francesco M. Raimondi www.unipa.it/fmraimondi Lezioni del corso di Automazione Industriale Dipartimento di Ingegneria dell Automazione e dei Sistemi Classificazione
DettagliLogica Formale. Introduzione. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Logica Formale [1]
Intelligenza Artificiale I Logica Formale Introduzione Marco Piastra Logica Formale 1] Sistemicità del linguaggio naturale Capacità di astrazione della descrizione simbolica: molti fenomeni linguistici
DettagliReti Neurali in Generale
istemi di Elaborazione dell Informazione 76 Reti Neurali in Generale Le Reti Neurali Artificiali sono studiate sotto molti punti di vista. In particolare, contributi alla ricerca in questo campo provengono
DettagliCircuiti Sequenziali & Somma FP
Circuiti Sequenziali & Somma FP Circuiti Sequenziali : Esercizio 1 Esercizio 1: progettare una rete sequenziale per il controllo di un motore elettrico. La rete riceve in input i segnali relativi a due
DettagliALGEBRA E GEOMETRIA Esercizi Corso di Laurea in Chimica - anno acc. 2015/2016 docente: Elena Polastri,
ALGEBRA E GEOMETRIA Esercizi Corso di Laurea in Chimica - anno acc. 05/06 docente: Elena Polastri, plslne@unife.it Esercizi 3: SPAZI VETTORIALI e MATRICI Combinazioni lineari di vettori.. Scrivere il vettore
DettagliModulo Simulazione Parte 1. Simulazione ad Eventi Discreti: Concetti Base. Organizzazione del modulo
Modulo Simulazione Parte 1 Simulazione ad Eventi Discreti: Concetti Base Ing. R.G. Garroppo Organizzazione del modulo Simulazione ad eventi discreti: concetti base Testo: J. Banks, J.S. Carson, B.L. Nelson
DettagliSoluzione degli esercizi del Capitolo 8
Sistemi di automazione industriale - C. Bonivento, L. Gentili, A. Paoli Soluzione degli esercizi del Capitolo 8 Soluzione dell Esercizio E8. La rete di Petri corrispondente alle matrici I, O e marcatura
DettagliLinguaggi Regolari e Linguaggi Liberi
Linguaggi Regolari e Linguaggi Liberi Potenza espressiva degli automi Potenza espressiva delle grammatiche 9/11/2004 Programmazione - Luca Tesei 1 Linguaggi Regolari Tutti i linguaggi che possono essere
DettagliDIFFUSIONE APPLICAZIONI INFORMATICHE
def (ACM) L informatica è lo studio sistematico degli algoritmi che descrivono e trasformano l informazione: la loro teoria, analisi, progetto, efficienza, realizzazione e applicazione. dati DIFFUSIONE
DettagliGrammatiche. Grammatiche libere da contesto Grammatiche regolari Potenza delle grammatiche libere e regolari Struttura di frase: Alberi di derivazione
Grammatiche Grammatiche libere da contesto Grammatiche regolari Potenza delle grammatiche libere e regolari Struttura di frase: Alberi di derivazione Esempio dei numeri interi Si consideri il linguaggio
DettagliModelli comunicativi e micro-macro link
Modelli comunicativi e micro-macro link Le nuove tecnologie modificano i profili attuali della comunicazione e del sociale È necessario integrarle nelle teorie comunicative Nell analisi dei rapporti fra
DettagliModelli e Metodi per la Simulazione (MMS)
Modelli e Metodi per la Simulazione (MMS) adacher@dia.uniroma3.it Programma La simulazione ad eventi discreti, è una metodologia fondamentale per la valutazione delle prestazioni di sistemi complessi (di
DettagliCalcolo e Quanti Una Brevissima Introduzione alla Computazione Quantistica
Calcolo e Quanti Una Brevissima Introduzione alla Computazione Quantistica Ugo Dal Lago Collegio Superiore, Dicembre 202 Parte I Sistemi Classici e Probabilistici Preliminari Insiemi: A, B, C,...; Prodotto
DettagliIntroduzione. Sintesi Sequenziale Sincrona. Modello del circuito sequenziale. Progetto e strumenti. Il modello di un circuito sincrono può essere
Sintesi Sequenziale Sincrona Sintesi Comportamentale di reti Sequenziali Sincrone di Macchine Senza Processo di Ottimizzate a Livello Comportamentale Sintesi comportamentale e architettura generale Diagramma
DettagliREGISTRI D'ESAME CODICE ESAME CORSO DI LAUREA NOME DEL CORSO LAUREA CFU
REGISTRI D'ESAME Con "" si intende la Triennale del Nuovo Ordinamento (Legge 270) Con "" si intende la Specialistica di due anni del Nuovo Ordinamento (Legge 270) CODICE ESAME CORSO DI LAUREA NOME DEL
DettagliModulo di Statistica e Tecnologia (Dott. Giorgio Poletti
Laurea in Scienze dell Educazione Insegnamento di Pedagogia Sperimentale (Prof. Paolo Frignani) Modulo di Statistica e Tecnologia (Dott. Giorgio Poletti giorgio.poletti@unife.it) VARIABILI INDIPENDENTI
Dettaglimin 4x 1 +x 2 +x 3 2x 1 +x 2 +2x 3 = 4 3x 1 +3x 2 +x 3 = 3 x 1 +x 2 3x 3 = 5 Innanzitutto scriviamo il problema in forma standard: x 1 x 2 +3x 3 = 5
IL METODO DEL SIMPLESSO 65 Esercizio 7.4.4 Risolvere utilizzando il metodo del simplesso il seguente problema di PL: min 4 + + + + = 4 + + = + = 5 Innanzitutto scriviamo il problema in forma standard:
DettagliLogica Formale. Introduzione. Marco Piastra. Intelligenza Artificiale I. Intelligenza Artificiale I - A.A Logica Formale [1]
Intelligenza Artificiale I Logica Formale Introduzione Marco Piastra Intelligenza Artificiale I - A.A. 2010- Logica Formale 1] Sistemicità del linguaggio naturale Capacità di astrazione della descrizione
DettagliGeografia economica. Prof. Isabella Mozzoni Lezione 1
Geografia economica Prof. Isabella Mozzoni Lezione 1 Geografia economica Epistemologia composita: Geografia + economia Disciplina nomotetica? G.E. affonda le sue origini nell economia convenzionale Geografia
DettagliPSICOLOGIA DI GRUPPO (a cura della Dr.ssa Catia Terra)
C E F O PSICOLOGIA DI GRUPPO (a cura della Dr.ssa Catia Terra) Una Comunità è un insieme di individui che condividono lo stesso ambiente fisico formando un GRUPPO riconoscibile, unito da vincoli organizzativi,
DettagliEsercitazioni di Reti Logiche. Lezione 5
Esercitazioni di Reti Logiche Lezione 5 Circuiti Sequenziali Zeynep KIZILTAN zeynep@cs.unibo.it Argomenti Circuiti sequenziali Flip-flop D, JK Analisi dei circuiti sequenziali Progettazione dei circuiti
DettagliMinimizzazione di Reti Logiche Combinatorie Multi-livello. livello
Minimizzazione di Reti Logiche Combinatorie Multi-livello livello Maurizio Palesi Maurizio Palesi 1 Introduzione I circuiti logici combinatori sono molto spesso realizzati come reti multi-livello di porte
DettagliA proposito di informatica
A proposito di informatica Sguardo d insieme sulla disciplina: una mappa delle materie e delle loro relazioni Università degli Studi di Milano Dipartimento di Informatica Bootstrap Day - 26 settembre 2016
DettagliConnessione alla rete WiFi della Casa di Cura S. Giorgio
Pagina 1 di 7 Questo documento spiega come attivare la connessione WiFi messa a disposizione dalla Casa di Cura S. Giorgio per gli Ospiti ed i Degenti. La procedura, anche se descritta solo per il cellulare,
DettagliIntroduzione. Il routing permette la comunicazione tra due nodi differenti anche se non sono collegati direttamente
Routing Introduzione Il livello 3 della pila ethernet ha il compito di muovere i pacchetti dalla sorgente attraversando più sistemi Il livello di network deve quindi: Scegliere di volta in volta il cammino
DettagliReti Logiche 1. Prof. B. Buttarazzi A.A. 2009/2010 ASF
Reti Logiche 1 Prof. B. Buttarazzi A.A. 2009/2010 ASF Sommario Introduzione alle reti sequnziali La definizione di ASF ASF di Mealy e Moore Diagrammi di stato e Tabelle di flusso Automi equivalenti Minimizzazione
DettagliEsercizio 1 (12 punti) Minimizzare il numero di stati dell automa qui rappresentato. Disegnare l automa minimo.
Compito A Esercizio (2 punti) Minimizzare il numero di stati dell automa qui rappresentato. Disegnare l automa minimo. S / S 2 / S 3 / S 4 / S 5 / Esercizio 2 (5 punti) Progettare un circuito il cui output
DettagliCorso di Laurea Specialistica in Ingegneria Informatica. Corso di Ingegneria del Software A. A Introduzione ad UML E.
Corso di Laurea Specialistica in Ingegneria Informatica Corso di Ingegneria del Software A. A. 2008 - Introduzione ad UML E. TINELLI UML È un linguaggio (e notazione) universale per rappresentare qualunque
DettagliControlli Automatici e Teoria dei Sistemi Esempi di sistemi dinamici
Controlli Automatici e Teoria dei Sistemi Esempi di sistemi dinamici Prof. Roberto Guidorzi Dipartimento di Elettronica, Informatica e Sistemistica Università di Bologna Viale del Risorgimento 2, 40136
DettagliI LIVELLI DELLA CONOSCENZA. Francesco Maria Olivieri
I LIVELLI DELLA CONOSCENZA Francesco Maria Olivieri Indice 1. APPROCCIO SISTEMICO ----------------------------------------------------------------------- 3 2. SISTEMI CHIUSI VS SISTEMI APERTI -----------------------------------------------------
DettagliAlgebra di Boole. Tavole di verità. Fondamenti di Informatica Algebra di Boole. Si basa su tre operazioni logiche: AND (*) OR (+) NOT (!
Fondamenti di Informatica Algebra di Boole Prof.ssa Enrica Gentile Informatica e Comunicazione Digitale a.a. 2-22 Algebra di Boole Si basa su tre operazioni logiche: AND (*) OR () NOT (!) Gli operandi
DettagliTERMODINAMICA. Studia le trasformazioni dei sistemi in relazione agli scambi di calore e lavoro. GENERALITÀ SUI SISTEMI TERMODINAMICI
TERMODINAMICA Termodinamica: scienza che studia le proprietà e il comportamento dei sistemi, la loro evoluzione e interazione con l'ambiente esterno che li circonda. Studia le trasformazioni dei sistemi
DettagliCorso di Formazione in tiflodidattica
Corso di Formazione in tiflodidattica SEDE OPERATIVA di Cosenza Dal 18/03/2016 al 07/05/2016 56 ore complessive 1. Attivazione del corso Visto lo Statuto Nazionale dell'istituto per la Ricerca, la Formazione
DettagliDocente: Collino Elena
Docente: Collino Elena I.I.S. SELLA - A.ALTO - LAGRANGE Sede Lagrange PROGRAMMAZIONE DIDATTICA Polis 1 socio-sanitario serale MATERIA: SCIENZE UMANE E SOCIALI Libri di testo consigliati: Elisabetta Clemente,
Dettagli2.3.4 Pianificazione di progetti
.. Pianificazione di progetti Un progetto è costituito da un insieme di attività i, con i =,..., m, ciascuna di durata d i. stima Tra alcune coppie di attività esistono relazioni di precedenza del tipo
DettagliEsercizio sugli automi di Moore
Esercizio sugli automi di Moore 1. Sintesi di un automa di Moore: Gestione di un sistema di inscatolamento. Si vuole costruire una rete sequenziale che controlli un sistema di inscatolamento. Braccio1
DettagliA-1403. Descrizione: ruota effetti opzionale con supporto/ optional effects wheel with support/ iprofile FLEX MODIFICHE. Codice assemblato:
Dettagli
AUTOMI A PILA. M.P. Schutzenberger
UTOMI PIL Introdotti da. G. Oettinger in utomatic Syntactic nalysis and the pushdown store Proc. Symp. pplied Math., 1961 e da M.P. Schutzenberger in Context free languages and pushdown automata Information
DettagliClaudio Arbib Università di L Aquila. Ricerca Operativa. Reti di flusso
Claudio Arbib Università di L Aquila Ricerca Operativa Reti di flusso Sommario Definizioni di base Flusso di un campo vettoriale Divergenza Integrale di Gauss-Greene Flusso in una rete Sorgenti, pozzi
DettagliCapitolo 5: Macchine di Turing e calcolabilitá secondo Turing
Capitolo 5: Macchine di Turing e calcolabilitá secondo Turing 1 Macchina di Turing (MDT ) Un dispositivo che accede a un nastro (potenzialmente) illimitato diviso in celle contenenti ciascuna un simbolo
DettagliLezione. La dimensione spazio-temporale della Globalizzazione
Lezione La dimensione spazio-temporale della Paragrafo primo. Dall analisi del sistema-mondo alla Global History Le dimensione spazio-temporale della Obiettivo della lezione. ANALIZZEREMO GLI STRUMENTI
DettagliLinguaggi formali e compilazione
Linguaggi formali e compilazione Corso di Laurea in Informatica A.A. 2015/2016 Linguaggi formali e compilazione sul corso Sito web: http://algogroup.unimore.it/people/mauro/dida/2015-2016 / Ricevimento:
Dettagli