EMERGENCE OF SELF ORGANIZATION AND SEARCH FOR OPTIMAL ENTERPRISE STRUCTURE: AI EVOLUTIONARY METHODS APPLIED TO AGENT BASED PROCESS SIMULATION

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "EMERGENCE OF SELF ORGANIZATION AND SEARCH FOR OPTIMAL ENTERPRISE STRUCTURE: AI EVOLUTIONARY METHODS APPLIED TO AGENT BASED PROCESS SIMULATION"

Transcript

1 EMERGENCE OF SELF ORGANIZATION AND SEARCH FOR OPTIMAL ENTERPRISE STRUCTURE: AI EVOLUTIONARY METHODS APPLIED TO AGENT BASED PROCESS SIMULATION Department of Computer Science University of Turin - Italy

2 Struttura del Seminario Introduzione: modelli informatici per la simulazione di sistemi sociali complessi. Come e perchè. Tre esempi molto diversi tra loro di modellazione di sistemi complessi: HeatBugs, SUM e jes Modellazione di impresa: due paradigmi Metodologia ibrida (ABPS): una proposta

3 Parte 1: INTRODUZIONE

4 Perchè simulare sistemi sociali? L idea non è creare un modello matematico con le conclusioni implicite nelle premesse Simulazione intesa come esperimento: ciò che interessa non sono (solo) i risultati finali, ma soprattutto il modo in cui il sistema funziona

5 Un modello di un sistema sociale complesso si ottiene stabilendono regole generali per l ambiente e regole di comportamento per gli agenti coinvolti L interazione tra le parti non è definita staticamente, ma si crea autonomamente sulla base delle regole definite per i singoli agenti e per l ambiente

6 Si assiste spesso all emergenza di comportamento complesso, cioè non derivabile semplicemente come somma delle parti in gioco e non definibile a priori dal programmatore, bensì come risultato dell interazione spontanea tra le parti

7 Si tratta del corrispettivo degli esperimenti condotti in laboratorio per scienze quali la chimica e la fisica: ovviamente l'economia, la sociologia o altre scienze sociali non possono essere sperimentate in laboratorio, dunque l idea è quella di far ricorso al modello simulato (società artificiali)

8 LA SIMULAZIONE AL COMPUTER PUO ESSERE CONSIDERATA COME UNA TERZA VIA PER RAPPRESENTARE MODELLI SOCIALI (Ostrom, 1998) Alternativa ad altri due sistemi simbolici: 1.Linguaggio naturale (altamente descrittivo, difficilmente computabile) 2.Formalizzazione matematica (altamente computabile, non sempre sufficientemente descrittiva)

9 La simulazione al computer può essere utilizzata per riprodurre sistemi dal punto di vista quantitativo e qualitativo. In particolare è valida per modellare processi e, sebbene le relazioni non lineari possano generare problemi metodologichi, esse possono comunque essere rappresentate in un programma

10 Sciami di Agenti Una tecnica molto utile per riprodurre sistemi complessi che ha origine diretta nel paradigma di programmazione ad oggetti Una moltitudine di agenti, generalmente semplici, che interagiscono tra loro e con l ambiente in cui operano

11 Parte 2: ESEMPI

12 Tre Esempi 1) HeatBugs (www.swarm.org/examplesheatbugs.html) 2) SUM (http://web.econ.unito.it/terna/sum) 3) jes (http://web.econ.unito.it/terna/jes)

13 HeatBugs (Swarm) E una dimostrazione di come regole semplici e locali possano generare l emergenza di un comportamento globale complesso. Tutti gli agenti in gioco hanno uguali proprietà: 1) Generano una limitata quantità di calore 2) Possiedono una funzione di felicità 3) Più sono al caldo, più sono felici 4) Possono muoversi liberamente per cercare maggior calore

14 HeatBugs (2) L ambiente in cui gli agenti agiscono ha a sua volta alcune proprietà: 1) Consente mobilità degli agenti su celle 2) Gestisce la diffusione calore prodotto (che aumenta quando più agenti sono in celle contigue) 3) Gestisce l evaporazione del calore in funzione al tempo trascorso

15 HeatBugs (3) calore calore calore calore calore calore più calore AGENTE più calore calore AGENTE calore più calore AGENTE più calore calore calore calore calore calore calore

16 HeatBugs (4) Gli agenti (verdi) si muovono al fine di cercare zone con maggior calore (rosse):

17 HeatBugs (5) La simulazione può essere intesa come la risoluzione sperimentale ad un problema di ottimizzazione: ogni agente cerca di massimizzare la propria felicità

18 HeatBugs (6) In brevissimo tempo l infelicità media del sistema raggiunge un minimo locale Emergenza di comportamento complesso: si osserva la formazione di stormi di agenti che si muovono all unisono, al fine di rimanere all interno della zona calda da essi generata

19 SUM (Pietro Terna) SUM = Surprising (Un)realistic Market Si intende creare un modello di un mercato di borsa Non si vuole simulare il mercato di borsa reale, ma crearne uno virtuale, con tutte le proprietà di quello vero

20 SUM (2) Gli agenti impiegati sono no minded, cioè agiscono sulla base di semplici regole e non vi è apprendimento La struttura dell ambiente in cui operano è costruita con precisione e dovizia di regole

21 SUM (3) Gli agenti inviano i loro ordini (di acquisto o vendita) al book, con i relativi prezzi limite Il book esegue immediatamente gli ordini se trova una controparte adatta all'interno del proprio log Altrimenti registra separatamente gli ordini di acquisto o vendita, al fine di accoppiarli con altri ordini futuri

22 SUM (4) Gli agenti: Conoscono solamente l'ultimo prezzo eseguito Scelgono a caso, in modo bilanciato, se vendere o acquistare Fissano il loro limite di prezzo moltiplicando l'ultimo prezzo eseguito per un coefficiente casuale

23 SUM (5) Già con queste semplicissime regole si assiste alla formazione di bolle e crash, e la struttura globale del mercato è sorprendentemente realistica. Questo può significare che sono le regole del mercato la causa principale per la creazione di un determinato trend, qualunque sia il comportamento degli agenti coinvolti

24 SUM (6) Un esempio grafico del trend autonomamente generato dagli agenti operanti nel mercato artificiale:

25 SUM (7) SUM è attualmente molto più evoluto rispetto a quanto detto qui; vi è stata l introduzione di agenti in grado di imitare il comportamento di altri, utilizzare tecniche evolute (quali stop-loss) e altre caratteristiche

26 jes (Pietro Terna) jes: Java Enterprise Simulator Software basato su Swarm per la modellazione e simulazione di due realtà: imprese reali ed imprese virtuali Imprese reali: quelle esistenti (rappresentazione del comportamento ed ottimizzazione) Imprese virtuali: quelle concettuali (come hanno origine e come interagiscono con il contesto sociale circostante)

27 jes (2) Agenti utilizzati nella simulazione: Ordini da produrre Unità produttive Nodi di decisione (basati su regole) Avatar di utenti umani

28 Rappresentazione: jes (3) Unità produttive, imprese e distretti industriali 3 1 1,3,

29 jes (4) Ricette: un potente formalismo per rappresentare gli ordini ed il loro stato di completamento # Recipes ; recipea s 1 p s 1 3 s 1 ; recipeb s 3 \ 3 2 s 1 3 s 3 \ 2 e 10 ;

30 jes (5) Struttura decentralizzata: gli ordini contengono tutte le informazioni per la loro produzione Gli ordini possono essere generati a caso oppure obbedire a particolari sequenze (nel caso si desiderino simulare imprese reali) Vi è capacità di contabilità

31 jes (6) Con jes è possibile simulare diverse situazioni all interno di imprese (introduzione di nuovi macchinari, gestione magazzini, outsourcing...) Si può simulare l emergenza di innovazione (nuovi # all interno delle ricette)

32 jes (7) jes è attualmente in una fase molto avanzata del proprio sviluppo ed è stato applicato con successo a realtà aziendali esistenti. Quanto detto qui è solamente un introduzione alla sua struttura formale di base.

33 Parte 3: ABPS

34 Due Metodologie Simulative E' possibile identificare due metodologie diverse per la simulazione di impresa. Entrambe permettono la creazione di un modello computazionale, partendo da punti di vista molto diversi tra loro

35 Simulazione di Impresa Sia la Simulazione di Processo, sia quella basata su Multi-Agenti sono metodologie efficaci per creare modelli di imprese e sistemi complessi, ma hanno alcune pecche Process Simulation Il sistema che si intende simulare può essere diviso in parti elementari Utile come supporto alle decisioni e per analisi what-if I modelli che ne risultano sono piuttosto statici (no emergenza di comportamento complesso) Agent Based Simulation Deriva dalla teoria del Caos Adatta a sistemi in cui la somma delle parti non determina necessariamente il comportamento aggregato I modelli risultanti sono dinamici (emergenza di comportamento complesso)

36 Simulazione di processo Solitamente utilizzata per sistemi le cui singole parti possono essere rappresentate con modelli logico-matematici (es. Fluidodinamica, Meccanica, Aeronautica, ecc.) Le singole parti sono rappresentate da blocchi con proprietà locali, attraverso le quali vi è un flusso e si produce un insieme di output dato un insieme di input Una simulazione di processo può essere dunque vista come una funzione da Rn in Rm con e n 1 m 1

37 Agent Based Process Simulation: Metodologia pensata per situazioni in cui nessuna delle tecniche precedentemente esaminate non possono essere applicate con risultati soddisfacenti 1) Molti sistemi di un impresa possono essere descritti attraverso la simulazione basata su processo. L interazione tra questi sistemi, tuttavia, è spesso molto complessa e generalmente richiede una partecipazione umana (e comunque non strettamente deterministica) 2) In un singolo macchinario molto complesso, non tutte le parti sono strettamente deterministiche o stocastiche, nel senso che esse potrebbero essere condizionate da qualche influenza imprevista proveniente dall ambiente 3) L organizzazione di un impresa può essere simulata attraverso l uso del paradigma multi-agente. Tuttavia, questo non permette di scendere nel dettaglio dei macchinari utilizzati o delle strutture meccaniche

38 Esempi Un macchinario in cui una o più parti possono essere influenzate dall'ambiente (danneggiate dall'umidità, dal fuoco, oppure migliorate dalla presenza di altri macchinari, lubrificanti o altro) In un impresa, alcuni macchinari possono essere controllati da uomini, che dunque possono ammalarsi o fare sciopero

39 AGENTE COME PARTE DI UN MACCHINARIO

40 INPUT a OUTPUT OUTPUT a a + delta ENVIRONMENT p p p AGENT p p p

41 AGENTI COME CONNESSIONE TRA PROCESSI

42 Unit 1a AGENTS Unit 1b PROCESS BASED Unit 2a Unit 3a Unit 4a Unit 2b Unit 3b Unit 4b PROCESS BASED Unit 5a Unit 5b

43 VARI PARADIGMI AD AGENTI 1) Simbolico: agenti strutturati, la cui struttura è definita secondo strutture derivate dalla Logica. Questo formalismo è adatto a situazioni in cui vi è un singolo agente che interagisce con l ambiente, oppure pochi agenti con struttura ben definita 2) Sub-simbolico: agenti con struttura molto semplice. Un contesto multi-agente di questo tipo permette l emergenza di comportamento complesso e auto organizzazione. Il comportamento intelligente è spesso frutto dell interazione tra agenti ed ambiente e tra molti comportamenti semplici 3) Architetture Ibride: a basso livello troviamo agenti reattivi, mentre ai livelli più alti agiscono agenti più complessi e strutturati. In questo modo è possibile combinare capacità reattive e pianificazione

44 AGENTI SIMBOLICI RAPPRESENTANO I PROCESSI

45 Formalizzazione Poiché i processi possono solitamente essere modellati come flussi deterministici o stocastici, la mia proposta consiste nell'utilizzare logica proposizionale o modale per descrivere la loro struttura Per modellare un processo semplice, la logica proposizionale è sufficiente, poiché permette di creare tavole di verità per i singoli sub-processi e dunque per l'intero processo da essi composto Un sub-processo produce output_1 quando la formula è True oppure Output_2 quando è False; uno dei due output può essere "void"

46 A B C 2 A and B 1 C and E 2 D 1 1 F E 1 N 1 D or N F 2 F 2

47 AGENTI SUB-SIMBOLICI DI TIPO MINDED RAPPRESENTANO IL FATTORE UMANO

48 Metodi Evolutivi Gli Algoritmi Genetici sono la trasposizione computabile della teoria evolutiva di Darwin, spesso definita sopravvivenza del più adatto I Classifier System derivano dagli AG, nel senso che usano stringhe di caratteri per codificare regole per condizioni e azioni conseguenti

49 Applicazione ad ABPS Le tecnologie evolutive possono essere incorporate in sciami di agenti subsimbolici, tra essi interagenti, per massimizzare localmente alcune funzioni Per esempio agenti basati su AG potrebbero eseguire azioni macchinari modellati con logica proposizionale per ottenere il miglior set-up

50 G L O B A L I N P U T Local Output (to maximize) A & B C & E D v N F GLOBAL OUTPUT

51 Conclusioni La simulazione nel campo delle scienze complesse permette di osservare il sistema come se lo si studiasse in laboratorio Le applicazioni al campo aziendale esistono e sono efficaci, e sono basate generalmente su processi o su sciami di agenti (solitamente no-minded) Per le situazioni che non possono essere simulate con nessuno dei due approcci esistenti, si propone l uso di ABPS Grazie ai metodi evolutivi applicati ad essa, è possibile ricercare la struttura ottimale dell impresa o parti della stessa

Indice. Prefazione di Mario Rasetti Presentazione di Pietro Terna Ringraziamenti

Indice. Prefazione di Mario Rasetti Presentazione di Pietro Terna Ringraziamenti xxii-196_de_toni_utet 12-05-2009 14:08 Pagina V XI XV XIX Prefazione di Mario Rasetti Presentazione di Pietro Terna Ringraziamenti 3 PROLOGO La vita come emersione dal basso 7 Struttura del libro e percorsi

Dettagli

I Modelli della Ricerca Operativa

I Modelli della Ricerca Operativa Capitolo 1 I Modelli della Ricerca Operativa 1.1 L approccio modellistico Il termine modello è di solito usato per indicare una costruzione artificiale realizzata per evidenziare proprietà specifiche di

Dettagli

DAL PROBLEMA AL PROGRAMMA

DAL PROBLEMA AL PROGRAMMA DAL PROBLEMA AL PROGRAMMA Scopo del modulo Conoscere alcuni concetti fondamentali dell informatica:algoritmo, l automa, linguaggio formale Essere in grado di cogliere l intreccio tra alcuni risultati della

Dettagli

Il giardino nella macchina: la vita artificiale. 2003 Mauro Annunziato

Il giardino nella macchina: la vita artificiale. 2003 Mauro Annunziato Il giardino nella macchina: la vita artificiale 2003 Mauro Annunziato La fondazione della vita artificiale Chris Langton ( 89) Artificial Life (Alife) : programmi che autonomamente si evolvono all interno

Dettagli

Dott.ssa Lorella Gabriele PhD in Psicologia della Programmazione e Intelligenza Artificiale Dipartimento di Fisica Università della Calabria

Dott.ssa Lorella Gabriele PhD in Psicologia della Programmazione e Intelligenza Artificiale Dipartimento di Fisica Università della Calabria Dott.ssa Lorella Gabriele PhD in Psicologia della Programmazione e Intelligenza Artificiale Dipartimento di Fisica Università della Calabria La robotica è una scienza che si occupa di studiare e sviluppare

Dettagli

INFORMATICA GENERALE. Prof Alberto Postiglione Dipartim. Scienze della Comunicazione Univ. Salerno. Università degli Studi di Salerno

INFORMATICA GENERALE. Prof Alberto Postiglione Dipartim. Scienze della Comunicazione Univ. Salerno. Università degli Studi di Salerno INFORMATICA GENERALE Prof. Alberto Postiglione Dipartimento Scienze della Comunicazione Università degli Studi di Salerno : Introduzione alla Programmazione Bibliografia 14 apr 2010 Dia 2 Curtin, (vecchie

Dettagli

BOZZA DEL 06/09/2011

BOZZA DEL 06/09/2011 ARTICOLAZIONE: INFORMATICA Disciplina: COMPLEMENTI DI MATEMATICA (C4) Il docente di Complementi di matematica concorre a far conseguire allo studente, al termine del percorso quinquennale, i seguenti risultati

Dettagli

Elementi di Informatica e Programmazione

Elementi di Informatica e Programmazione Elementi di Informatica e Programmazione Il concetto di Algoritmo e di Calcolatore Corsi di Laurea in: Ingegneria Civile Ingegneria per l Ambiente e il Territorio Università degli Studi di Brescia Cos

Dettagli

L informatica nella scuola: mezzo o fine?

L informatica nella scuola: mezzo o fine? L informatica nella scuola: mezzo o fine? Il paradigma della ricerca in didattica; L introduzione del computer nell insegnamento delle matematiche. 1 La comunicazione delle matematiche ed il computer come

Dettagli

DIPARTIMENTO DI STUDI UMANISTICI

DIPARTIMENTO DI STUDI UMANISTICI DIPARTIMENTO DI STUDI UMANISTICI Corso di Laurea Interdipartimentale in Scienze della Formazione Primaria( Ind.Primaria) A.A 2013/2014 REPORT SULL ELABORAZIONE DI UN AGENTE ARITIFICIALE TEORIA E METODOLOGIA

Dettagli

Descrizione di un algoritmo

Descrizione di un algoritmo Descrizione di un algoritmo Un algoritmo descrive due tipi fondamentali di oper: calcoli ottenibili tramite le oper primitive su tipi di dato (valutazione di espressioni) che consistono nella modifica

Dettagli

Introduzione alla Simulazione Numerica

Introduzione alla Simulazione Numerica Introduzione alla Simulazione Numerica Daniele Vigo D.E.I.S. - Università di Bologna dvigo@deis.unibo.it rev. 1.0 - Novembre 2001 Simulazione numerica Tecnica che permette di eseguire esperimenti su un

Dettagli

Tecniche di Simulazione: Introduzione. N. Del Buono:

Tecniche di Simulazione: Introduzione. N. Del Buono: Tecniche di Simulazione: Introduzione N. Del Buono: 2 Che cosa è la simulazione La SIMULAZIONE dovrebbe essere considerata una forma di COGNIZIONE (COGNIZIONE qualunque azione o processo per acquisire

Dettagli

I Problemi e la loro Soluzione. Il Concetto Intuitivo di Calcolatore. Risoluzione di un Problema. Esempio

I Problemi e la loro Soluzione. Il Concetto Intuitivo di Calcolatore. Risoluzione di un Problema. Esempio Il Concetto Intuitivo di Calcolatore Fondamenti di Informatica A Ingegneria Gestionale Università degli Studi di Brescia Docente: Prof. Alfonso Gerevini I Problemi e la loro Soluzione Problema: classe

Dettagli

Computazione Naturale AA. 2011-2012

Computazione Naturale AA. 2011-2012 Computazione Naturale AA. 2011-2012 Prof. Mario Pavone CdL Magistrale in Informatica Dip. Matematica ed Informatica mpavone@dmi.unict.it http://www.dmi.unict.it/mpavone/ INDICE Obiettivi formativi Cos

Dettagli

SISTEMI E RETI 4(2) 4(2) 4(2) caratteristiche funzionali

SISTEMI E RETI 4(2) 4(2) 4(2) caratteristiche funzionali CL AS SE INFORMATICA 6(3) 6(4) - 6(4) SISTEMI E RETI 4(2) 4(2) 4(2) TECNOLOGIE E PROGETTAZIONE DI SISTEMI INFORMATICI E DI TELECOMUNICAZIONI COMPETENZE 3 Essere in grado di sviluppare semplici applicazioni

Dettagli

TECNOLOGIE INFORMATICHE DELLA COMUNICAZIONE ORE SETTIMANALI 2 TIPO DI PROVA PER GIUDIZIO SOSPESO PROVA DI LABORATORIO

TECNOLOGIE INFORMATICHE DELLA COMUNICAZIONE ORE SETTIMANALI 2 TIPO DI PROVA PER GIUDIZIO SOSPESO PROVA DI LABORATORIO CLASSE DISCIPLINA MODULO Conoscenze Abilità e competenze Argomento 1 Concetti di base Argomento 2 Sistema di elaborazione Significato dei termini informazione, elaborazione, comunicazione, interfaccia,

Dettagli

Gruppo 4: Gelmi Martina, Morelato Francesca, Parisi Elisa. La mia scuola ha un sito Web

Gruppo 4: Gelmi Martina, Morelato Francesca, Parisi Elisa. La mia scuola ha un sito Web Gruppo 4: Gelmi Martina, Morelato Francesca, Parisi Elisa La mia scuola ha un sito Web Presentazione del corso Contenuti e obiettivi del corso Imparare a lavorare con le metodologie dell ingegneria del

Dettagli

Page 1. Evoluzione. Intelligenza Artificiale. Algoritmi Genetici. Evoluzione. Evoluzione: nomenclatura. Corrispondenze natura-calcolo

Page 1. Evoluzione. Intelligenza Artificiale. Algoritmi Genetici. Evoluzione. Evoluzione: nomenclatura. Corrispondenze natura-calcolo Evoluzione In ogni popolazione si verificano delle mutazioni. Intelligenza Artificiale In un ambiente che varia, le mutazioni possono generare individui che meglio si adattano alle nuove condizioni. Questi

Dettagli

La Gestione della Complessità

La Gestione della Complessità La Gestione della Complessità Only variety can destroy variety (Ross. W. Ashby) Prof. Claudio Saita 1 La struttura del modello cognitivo proposto, conosciuto più comunemente in letteratura come la legge

Dettagli

TECNICHE DI SIMULAZIONE

TECNICHE DI SIMULAZIONE TECNICHE DI SIMULAZIONE INTRODUZIONE Francesca Mazzia Dipartimento di Matematica Università di Bari a.a. 2004/2005 TECNICHE DI SIMULAZIONE p. 1 Introduzione alla simulazione Una simulazione è l imitazione

Dettagli

Alla ricerca dell algoritmo. Scoprire e formalizzare algoritmi.

Alla ricerca dell algoritmo. Scoprire e formalizzare algoritmi. PROGETTO SeT Il ciclo dell informazione Alla ricerca dell algoritmo. Scoprire e formalizzare algoritmi. Scuola media Istituto comprensivo di Fagagna (Udine) Insegnanti referenti: Guerra Annalja, Gianquinto

Dettagli

RICERCA OPERATIVA. Questi due tipi di costi contribuiscono a determinare il costo totale di produzione così definito:

RICERCA OPERATIVA. Questi due tipi di costi contribuiscono a determinare il costo totale di produzione così definito: RICERCA OPERATIVA Prerequisiti Rappresentazione retta Rappresentazione parabola Equazioni e disequazioni Ricerca Operativa Studio dei metodi e delle strategie al fine di operare scelte e prendere decisioni

Dettagli

Breve introduzione al Calcolo Evoluzionistico

Breve introduzione al Calcolo Evoluzionistico Breve introduzione al Calcolo Evoluzionistico Stefano Cagnoni Dipartimento di Ingegneria dell Informazione, Università di Parma cagnoni@ce.unipr.it 1 Introduzione Il mondo fisico ed i fenomeni naturali

Dettagli

Sommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi.

Sommario. Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. Algoritmi 1 Sommario Definizione di informatica. Definizione di un calcolatore come esecutore. Gli algoritmi. 2 Informatica Nome Informatica=informazione+automatica. Definizione Scienza che si occupa dell

Dettagli

Intelligenza Artificiale. Introduzione al calcolo evolutivo

Intelligenza Artificiale. Introduzione al calcolo evolutivo Intelligenza Artificiale Introduzione al calcolo evolutivo Marco Piastra Calcolo evolutivo - 1 Calcolo evolutivo ed IA Universe Borg Vogons Earth etc Biotop Society Stones & Seas etc Art Science Politics

Dettagli

TECNICO SUPERIORE PER L INFORMATICA INDUSTRIALE

TECNICO SUPERIORE PER L INFORMATICA INDUSTRIALE ISTRUZIONE E FORMAZIONE TECNICA SUPERIORE SETTORE INDUSTRIA E ARTIGIANATO TECNICO SUPERIORE PER L INFORMATICA INDUSTRIALE STANDARD MINIMI DELLE COMPETENZE TECNICO PROFESSIONALI DESCRIZIONE DELLA FIGURA

Dettagli

Introduzione all informatica (cosa è, di cosa si occupa) 9/2/2015 Informatica applicata alla comunicazione multimediale Cristina Bosco

Introduzione all informatica (cosa è, di cosa si occupa) 9/2/2015 Informatica applicata alla comunicazione multimediale Cristina Bosco Introduzione all informatica (cosa è, di cosa si occupa) 9/2/2015 Informatica applicata alla comunicazione multimediale Cristina Bosco Indice - Di cosa si occupa l informatica? - Cosa sono gli algoritmi?

Dettagli

VERSO LA SMART SPECIALIZATION TRE LEVE MOLTO IMPORTANTI PER UNA NUOVA COMPETITIVITÀ

VERSO LA SMART SPECIALIZATION TRE LEVE MOLTO IMPORTANTI PER UNA NUOVA COMPETITIVITÀ COMPETITIVITA 2.0? VERSO LA SMART SPECIALIZATION TRE LEVE MOLTO IMPORTANTI PER UNA NUOVA COMPETITIVITÀ F.Boccia/B.IT sas 1 SOMMARIO PROGETTAZIONE ASSISTITA DA CAE/SIMULAZIONE/SUPERCALCOLO LOGISTICA INTELLIGENTE

Dettagli

Luigi Piroddi piroddi@elet.polimi.it

Luigi Piroddi piroddi@elet.polimi.it Automazione industriale dispense del corso 2. Introduzione al controllo logico Luigi Piroddi piroddi@elet.polimi.it Modello CIM Un moderno sistema di produzione è conforme al modello CIM (Computer Integrated

Dettagli

Automi. Sono così esempi di automi una lavatrice, un distributore automatico di bibite, un interruttore, una calcolatrice tascabile,...

Automi. Sono così esempi di automi una lavatrice, un distributore automatico di bibite, un interruttore, una calcolatrice tascabile,... Automi Con il termine automa 1 s intende un qualunque dispositivo o un suo modello, un qualunque oggetto, che esegue da se stesso un particolare compito, sulla base degli stimoli od ordini ricevuti detti

Dettagli

1 Introduzione al corso 3 1.1 Architettura del sistema di controllo... 6

1 Introduzione al corso 3 1.1 Architettura del sistema di controllo... 6 Indice 1 Introduzione al corso 3 1.1 Architettura del sistema di controllo................ 6 2 Elementi di modellistica 8 2.1 Modelli nel dominio del tempo................... 8 2.2 La trasformata di Laplace......................

Dettagli

Storia dell informatica

Storia dell informatica Storia dell informatica INFORMATICA INFORMATICA INTRODUZIONE PERCHE' I COMPUTER? LIMITI DELLE CAPACITA' ELABORATIVE UMANE. VELOCITA' LIMITATA 2. PESANTI LIMITI ALLA COMPLESSITA DEI PROBLEMI AFFRONTABILI

Dettagli

Appunti di Sistemi Elettronici

Appunti di Sistemi Elettronici Prof.ssa Maria Rosa Malizia 1 LA PROGRAMMAZIONE La programmazione costituisce una parte fondamentale dell informatica. Infatti solo attraverso di essa si apprende la logica che ci permette di comunicare

Dettagli

Tipologie di macchine di Turing

Tipologie di macchine di Turing Tipologie di macchine di Turing - Macchina di Turing standard - Macchina di Turing con un nastro illimitato in una sola direzione - Macchina di Turing multinastro - Macchina di Turing non deterministica

Dettagli

I metodi formali nel processo di sviluppo del software

I metodi formali nel processo di sviluppo del software I metodi formali nel processo di sviluppo del software I metodi formali consentono di creare una specifica più completa, uniforme e non ambigua di quelle prodotte usando i metodi convenzionali ed orientati

Dettagli

ALGORITMI e PROGRAMMI Programmazione: Lavoro che si fa per costruire sequenze di istruzioni (operazioni) adatte a svolgere un dato calcolo

ALGORITMI e PROGRAMMI Programmazione: Lavoro che si fa per costruire sequenze di istruzioni (operazioni) adatte a svolgere un dato calcolo ALGORITMI e PROGRAMMI Programmazione: Lavoro che si fa per costruire sequenze di istruzioni (operazioni) adatte a svolgere un dato calcolo INPUT: dati iniziali INPUT: x,y,z AZIONI esempio: Somma x ed y

Dettagli

Hardware, software e periferiche. Facoltà di Lettere e Filosofia anno accademico 2008/2009 secondo semestre

Hardware, software e periferiche. Facoltà di Lettere e Filosofia anno accademico 2008/2009 secondo semestre Hardware, software e periferiche Facoltà di Lettere e Filosofia anno accademico 2008/2009 secondo semestre Riepilogo - Concetti di base dell informatica L'informatica è quel settore scientifico disciplinare

Dettagli

Linguaggi e Paradigmi di Programmazione

Linguaggi e Paradigmi di Programmazione Linguaggi e Paradigmi di Programmazione Cos è un linguaggio Definizione 1 Un linguaggio è un insieme di parole e di metodi di combinazione delle parole usati e compresi da una comunità di persone. È una

Dettagli

Software. Algoritmo. Algoritmo INFORMATICA PER LE DISCIPLINE UMANISTICHE 2 (13042)

Software. Algoritmo. Algoritmo INFORMATICA PER LE DISCIPLINE UMANISTICHE 2 (13042) INFORMATICA PER LE DISCIPLINE UMANISTICHE 2 (13042) Gli elaboratori utilizzano memoria per Dati da elaborare Istruzioni eseguite dall elaboratore software differenti risoluzione problemi differenti Algoritmo

Dettagli

Intelligenza Artificiale (lucidi lezione introduttiva)

Intelligenza Artificiale (lucidi lezione introduttiva) Intelligenza Artificiale (lucidi lezione introduttiva) Prof. Alfonso Gerevini Dipartimento di Elettronica per l Automazione Facoltà di Ingegneria Università degli Studi di Brescia 1 Che cosa è l Intelligenza

Dettagli

Cenni di logica & algebra booleana

Cenni di logica & algebra booleana Cenni di algebra booleana e dei sistemi di numerazione Dr. Carlo Sansotta - 25 2 Parte Cenni di logica & algebra booleana 3 introduzione L elaboratore elettronico funziona secondo una logica a 2 stati:

Dettagli

Un framework per simulazione massiva distribuita basata su Agenti D-MASON: Architettura. Carmine Spagnuolo

Un framework per simulazione massiva distribuita basata su Agenti D-MASON: Architettura. Carmine Spagnuolo Un framework per simulazione massiva distribuita basata su Agenti D-MASON: Architettura Carmine Spagnuolo 1 Simulazione Multi-Agente Una simulazione multi-agente è un sistema in cui entità (agenti) intelligenti

Dettagli

Le parole dell informatica: modello di calcolo, complessità e trattabilità

Le parole dell informatica: modello di calcolo, complessità e trattabilità Le parole dell informatica: modello di calcolo, complessità e trattabilità Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine Ciclo di seminari su un Vocabolario

Dettagli

INDIRIZZO Informatica e Telecomunicazioni

INDIRIZZO Informatica e Telecomunicazioni ISTRUZIONE TECNICA INDIRIZZO Informatica e Telecomunicazioni L indirizzo Informatica e Telecomunicazioni ha lo scopo di far acquisire allo studente, al termine del percorso quinquennale, specifiche competenze

Dettagli

Software e Algoritmi. Lezione n. 3

Software e Algoritmi. Lezione n. 3 Software e Algoritmi Lezione n. 3 Software definizione informatica Istruzioni che eseguite da un computer svolgono una funzione prestabilita con prestazioni prestabilite - (programma di alto livello ed

Dettagli

Scienze della Comunicazione Università di Salerno. UD 3.2a: Introduzione alla Programmazione

Scienze della Comunicazione Università di Salerno. UD 3.2a: Introduzione alla Programmazione UD 3.2a: Introduzione alla Programmazione Bibliografia Curtin, (vecchie edizioni) 12.1 Curtin (IV edizione): 11.1 Questi lucidi Il concetto di programma memorizzato Gli elettrodomestici di uso quotidiano

Dettagli

Ottimizzazione e modelli ad agenti

Ottimizzazione e modelli ad agenti e modelli ad Dipartimento di Economia Ca Foscari - Venezia Vittorio Veneto, 24 Maggio 2011 Metodi moderni per l ottimizzazione. 1 Esempi e definizione del problema. 2 Grandi problemi, grandi idee... 3

Dettagli

Linguaggi di programmazione

Linguaggi di programmazione Linguaggi di programmazione Programmazione L attività con cui si predispone l elaboratore ad eseguire un particolare insieme di azioni su particolari dati, allo scopo di risolvere un problema Dati Input

Dettagli

Università di Bergamo Facoltà di Ingegneria. Intelligenza Artificiale. Paolo Salvaneschi A1_1 V1.1. Introduzione

Università di Bergamo Facoltà di Ingegneria. Intelligenza Artificiale. Paolo Salvaneschi A1_1 V1.1. Introduzione Università di Bergamo Facoltà di Ingegneria Intelligenza Artificiale Paolo Salvaneschi A1_1 V1.1 Introduzione Il contenuto del documento è liberamente utilizzabile dagli studenti, per studio personale

Dettagli

L interesse nella macchina di Turing

L interesse nella macchina di Turing Aniello Murano Macchina di Turing universale e problema della fermata 6 Lezione n. Parole chiave: Universal Turing machine Corso di Laurea: Informatica Codice: Email Docente: murano@ na.infn.it A.A. 2008-2009

Dettagli

Corso di Informatica

Corso di Informatica Corso di Informatica Modulo T2 A2 Elaborazione grafica in 2D 1 Prerequisiti Utilizzo elementare di applicazioni grafiche Conoscenza elementare di dispositivi grafici Elementi di numerazione binaria 2 1

Dettagli

SECONDO BIENNIO ISTITUTO TECNICO

SECONDO BIENNIO ISTITUTO TECNICO SETTORE DOCUMENTI PER LA DISCUSSIONE ISTITUTO TECNICO INDIRIZZO ARTICOLAZIONE ELETTROTECNICA TECNOLOGICO ELETTRONICA ED ELETTROTECNICA ESITI DI APPRENDIMENTO (competenze, abilità, conoscenze) Regolamento,

Dettagli

Automazione Industriale (scheduling+mms) scheduling+mms. adacher@dia.uniroma3.it

Automazione Industriale (scheduling+mms) scheduling+mms. adacher@dia.uniroma3.it Automazione Industriale (scheduling+mms) scheduling+mms adacher@dia.uniroma3.it Introduzione Sistemi e Modelli Lo studio e l analisi di sistemi tramite una rappresentazione astratta o una sua formalizzazione

Dettagli

Software. Definizione, tipologie, progettazione

Software. Definizione, tipologie, progettazione Software Definizione, tipologie, progettazione Definizione di software Dopo l hardware analizziamo l altra componente fondamentale di un sistema di elaborazione. La macchina come insieme di componenti

Dettagli

Progettazione del Software A.A.2008/09

Progettazione del Software A.A.2008/09 Laurea in Ing. Informatica ed Ing. dell Informazione Sede di latina Progettazione del Software A.A.2008/09 Domenico Lembo* Dipartimento di Informatica e Sistemistica A. Ruberti SAPIENZA Università di Roma

Dettagli

Fasi di creazione di un programma

Fasi di creazione di un programma Fasi di creazione di un programma 1. Studio Preliminare 2. Analisi del Sistema 6. Manutenzione e Test 3. Progettazione 5. Implementazione 4. Sviluppo 41 Sviluppo di programmi Per la costruzione di un programma

Dettagli

Grounding transfer di simboli con reti neurali

Grounding transfer di simboli con reti neurali Grounding transfer di simboli con reti neurali A. Greco, T. Riga, A. Cangelosi Università di Genova Università di Plymouth Paper presentato al Congresso dell'associazione Italiana di Scienze Cognitive

Dettagli

Nell ambito dei vari corsi caratterizzanti l indirizzo saranno promosse attività di gruppo e seminariali.

Nell ambito dei vari corsi caratterizzanti l indirizzo saranno promosse attività di gruppo e seminariali. Indirizzi Laurea Magistrale in Matematica INDIRIZZO di LOGICA MATEMATICA L indirizzo logico si propone un duplice obiettivo: 1) la formazione di un laureato in grado di affrontare problemi di natura combinatoriale,

Dettagli

PIANIFICAZIONE AUTOMATICA DEGLI INTERVENTI DI ASSISTENZA TECNICA. 2 Dicembre 2010

PIANIFICAZIONE AUTOMATICA DEGLI INTERVENTI DI ASSISTENZA TECNICA. 2 Dicembre 2010 DI ASSISTENZA TECNICA 2 Dicembre 2010 La Pianificazione come strumento di ottimizzazione delle attività di assistenza tecnica Origine dell idea progettuale... deriva dall interesse, manifestato dai Clienti

Dettagli

Strumenti di pianificazione e. teleriscaldamento urbano

Strumenti di pianificazione e. teleriscaldamento urbano Strumenti di pianificazione e gestione ottima delle reti di teleriscaldamento urbano Daniele Vigo Università di Bologna Dip. di Elettronica, Informatica e Sistemistica daniele.vigo@unibo.it Sommario Introduzione

Dettagli

Varianti Macchine di Turing

Varianti Macchine di Turing Varianti Macchine di Turing Esistono definizioni alternative di macchina di Turing. Chiamate Varianti. Tra queste vedremo: MdT a più nastri e MdT non deterministiche. Mostriamo: tutte le varianti ragionevoli

Dettagli

Metodi formali per la verifica dell affidabilità di sistemi software (e hardware) (Peled, Software Reliability Methods, cap. 1) Importanza della

Metodi formali per la verifica dell affidabilità di sistemi software (e hardware) (Peled, Software Reliability Methods, cap. 1) Importanza della Metodi formali per la verifica dell affidabilità di sistemi software (e hardware) (Peled, Software Reliability Methods, cap. 1) Importanza della verifica di sistemi (safety-critical, commercially critical,

Dettagli

SCUOLA PRIMARIA I.C. di CRESPELLANO PROGRAMMAZIONE ANNUALE DI TECNOLOGIA E INFORMATICA

SCUOLA PRIMARIA I.C. di CRESPELLANO PROGRAMMAZIONE ANNUALE DI TECNOLOGIA E INFORMATICA TRAGUARDI DELLE AL TERMINE della CLASSE I L alunno esplora e interpreta il mondo fatto dall uomo, individua le funzioni di un artefatto e di una semplice macchina, usa oggetti e strumenti coerentemente

Dettagli

Cos è l Ingegneria del Software?

Cos è l Ingegneria del Software? Cos è l Ingegneria del Software? Corpus di metodologie e tecniche per la produzione di sistemi software. L ingegneria del software è la disciplina tecnologica e gestionale che riguarda la produzione sistematica

Dettagli

Gestione dell Informazione Aziendale prof. Stefano Pedrini. Sistemi integrati ERP Addendum 2 Giorgio Cocci, Alberto Gelmi, Stefano Martinelli

Gestione dell Informazione Aziendale prof. Stefano Pedrini. Sistemi integrati ERP Addendum 2 Giorgio Cocci, Alberto Gelmi, Stefano Martinelli UNIVERSITÀ DEGLI STUDI DI BERGAMO Gestione dell Informazione Aziendale prof. Stefano Pedrini Sistemi integrati ERP Addendum 2 Giorgio Cocci, Alberto Gelmi, Stefano Martinelli I sistemi informativi Il processo

Dettagli

la "macchina" universale di Turing

la macchina universale di Turing la "macchina" universale di Turing Nel 1854, il matematico britannico George Boole (1815-1864), elaborò una matematica algebrica che da lui prese il nome. Nell'algebra booleana le procedure di calcolo

Dettagli

*Organizzazione, auto organizzazione, sistema ed Azienda. Coaching & Training Bologna

*Organizzazione, auto organizzazione, sistema ed Azienda. Coaching & Training Bologna *Organizzazione, auto organizzazione, sistema ed Azienda Fin dagli inizi di questo secolo è noto che qualunque sistema fisico può manifestare comportamenti imprevedibilmente complicati e caotici, sfuggendo

Dettagli

PROGRAMMAZIONE ANUALE DEL DIPARTIMENTO DI INFORMATICA E TELECOMUNICAZIONI ISTITUTO TECNICO a.s. 2015-16

PROGRAMMAZIONE ANUALE DEL DIPARTIMENTO DI INFORMATICA E TELECOMUNICAZIONI ISTITUTO TECNICO a.s. 2015-16 PROGRAMMAZIONE ANUALE DEL DIPARTIMENTO DI INFORMATICA E TELECOMUNICAZIONI ISTITUTO TECNICO a.s. 2015-16 SECONDO BIENNIO Disciplina: INFORMATICA La disciplina Informatica concorre a far conseguire allo

Dettagli

un nastro di carta prolungabile a piacere e suddiviso in celle vuote o contenenti al più un unico carattere;

un nastro di carta prolungabile a piacere e suddiviso in celle vuote o contenenti al più un unico carattere; Algoritmi 3 3.5 Capacità di calcolo Il matematico inglese Alan Turing (1912-1954) descrisse nel 1936 un tipo di automi, oggi detti macchine di Turing, e fornì una della prime definizioni rigorose di esecuzione

Dettagli

Carpire il segreto della vita con l informatica Giosuè Lo Bosco Dipartimento di Matematica e Informatica, Università di Palermo, ITALY.

Carpire il segreto della vita con l informatica Giosuè Lo Bosco Dipartimento di Matematica e Informatica, Università di Palermo, ITALY. Carpire il segreto della vita con l informatica Giosuè Lo Bosco Dipartimento di Matematica e Informatica, Università di Palermo, ITALY. Lezioni Lincee Palermo, 26 Febbraio 2015 Alla base della vita degli

Dettagli

PowerSchedo. Un sistema di supporto alla decisione nel settore dell'oil&gas. For further information: www.mbigroup.it

PowerSchedo. Un sistema di supporto alla decisione nel settore dell'oil&gas. For further information: www.mbigroup.it PowerSchedo Un sistema di supporto alla decisione nel settore dell'oil&gas For further information: Introduzione PowerSchedO è uno strumento software di supporto alle decisioni per problemi nel settore

Dettagli

Agent and Object Technology Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Fondamenti di Informatica

Agent and Object Technology Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Fondamenti di Informatica Agent and Object Technology Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma Fondamenti di Informatica Linguaggi di Programmazione Michele Tomaiuolo Linguaggi macchina I

Dettagli

Automi Cellulari ed emergenza: una ricerca con studenti universitari

Automi Cellulari ed emergenza: una ricerca con studenti universitari Automi Cellulari ed emergenza: una ricerca con studenti universitari G. Faraco Dipartimento di Matematica, Università della Calabria, Cubo 30/B, 87036 Rende (CS), Italia. E-mail: gefa@mat.unical.it R.

Dettagli

PROCESSI AUTO-ETERO VALUTATIVI E APPRENDIMENTO

PROCESSI AUTO-ETERO VALUTATIVI E APPRENDIMENTO PROCESSI AUTO-ETERO VALUTATIVI E APPRENDIMENTO Intendiamo parlare della valutazione come di un processo interazionale tra un soggetto valutante ed un soggetto valutato. Trattandosi di un processo dinamico

Dettagli

I Sistemi di numerazione e la rappresentazione dei dati

I Sistemi di numerazione e la rappresentazione dei dati I Sistemi di numerazione e la rappresentazione dei dati LA RAPPRESENTAZIONE DELLE INFORMAZIONI (1) Per utilizzare un computer è necessario rappresentare in qualche modo le informazioni da elaborare e il

Dettagli

Informatica Documentale

Informatica Documentale Informatica Documentale Ivan Scagnetto (scagnett@dimi.uniud.it) Stanza 3, Nodo Sud Dipartimento di Matematica e Informatica Via delle Scienze, n. 206 33100 Udine Tel. 0432 558451 Ricevimento: giovedì,

Dettagli

PIANIFICAZIONE E REALIZZAZIONE DI UN SISTEMA INFORMATIVO 147 6/001.0

PIANIFICAZIONE E REALIZZAZIONE DI UN SISTEMA INFORMATIVO 147 6/001.0 PIANIFICAZIONE E REALIZZAZIONE DI UN SISTEMA INFORMATIVO 147 6/001.0 PIANIFICAZIONE E REALIZZAZIONE DI UN SISTEMA INFORMATIVO ELEMENTI FONDAMENTALI PER LO SVILUPPO DI SISTEMI INFORMATIVI ELABORAZIONE DI

Dettagli

Il giardino nella macchina

Il giardino nella macchina Idee per una rilettura Il giardino nella macchina La nuova scienza della vita artificiale Claus Emmeche Bollati Boringhieri, 1996 È possibile la vita artificiale? In che modo gli strumenti offerti dalla

Dettagli

UN PROGETTO INNOVATIVO PER LA SCUOLA PRIMARIA. SPOSTARE L ATTENZIONE DALL INSEGNAMENTO ALL APPRENDIMENTO, CENTRALITÀ DEL FARE (Problem Based Learning)

UN PROGETTO INNOVATIVO PER LA SCUOLA PRIMARIA. SPOSTARE L ATTENZIONE DALL INSEGNAMENTO ALL APPRENDIMENTO, CENTRALITÀ DEL FARE (Problem Based Learning) INFORMATICA: UN PROGETTO INNOVATIVO PER LA SCUOLA PRIMARIA SPOSTARE L ATTENZIONE DALL INSEGNAMENTO ALL APPRENDIMENTO, CENTRALITÀ DEL FARE (Problem Based Learning) E dunque utilizzare metodologie e strumenti

Dettagli

Ingegneria del Software Requisiti e Specifiche

Ingegneria del Software Requisiti e Specifiche Ingegneria del Software Requisiti e Specifiche Obiettivi. Affrontare i primi passi della produzione del software: la definizione dei requisiti ed il progetto architetturale che porta alla definizione delle

Dettagli

Corso di Esercitazioni di Programmazione

Corso di Esercitazioni di Programmazione Corso di Esercitazioni di Programmazione Introduzione Dott.ssa Sabina Rossi Informazioni Pagina web del corso: News Orari Mailing list Lezioni Esercitazioni Date esami Risultati esami.. http://www.dsi.unive.it/~prog1

Dettagli

EVOLUZIONE DEI LINGUAGGI DI ALTO LIVELLO

EVOLUZIONE DEI LINGUAGGI DI ALTO LIVELLO EVOLUZIONE DEI LINGUAGGI DI ALTO LIVELLO Linguaggi di programmazione classificati in base alle loro caratteristiche fondamentali. Linguaggio macchina, binario e fortemente legato all architettura. Linguaggi

Dettagli

1. FINALITA DELLA DISCIPLINA

1. FINALITA DELLA DISCIPLINA Ministero dell Istruzione dell Università e della Ricerca LICEO SCIENTIFICO STATALE Donato Bramante Via Trieste, 70-20013 MAGENTA (MI) - MIUR: MIPS25000Q Tel.: +39 02 97290563/4/5 Fax: 02 97220275 Sito:

Dettagli

Logica e geometria con il linguaggio Logo

Logica e geometria con il linguaggio Logo Logica e geometria con il linguaggio Logo Classe: III, IV e V primaria Argomento: geometria e logica Autori: Guido Gottardi e Alberto Battaini Introduzione: senza la pretesa di redigere un trattato sul

Dettagli

L INNOVAZIONE SCIENTIFICO-TECNOLOGICA NEI PROCESSI PRODUTTIVI

L INNOVAZIONE SCIENTIFICO-TECNOLOGICA NEI PROCESSI PRODUTTIVI L INNOVAZIONE SCIENTIFICO-TECNOLOGICA NEI PROCESSI PRODUTTIVI Scienza ed industria hanno oggi costituito legami molto forti di collaborazione che hanno portato innovazione tecnologica sia a livello organizzativo-amministrativo

Dettagli

BASI DI DATI I Lezione n 2 25/09/2009

BASI DI DATI I Lezione n 2 25/09/2009 BASI DI DATI I Lezione n 2 25/09/2009 Fumarola Roberta, Galeano Antonio Andrea Linguaggio di modellazione Insieme di simboli e regole atto a descrivere la struttura e le funzionalità di un Database prima

Dettagli

Il sapere tende oggi a caratterizzarsi non più come un insieme di contenuti ma come un insieme di metodi e di strategie per risolvere problemi.

Il sapere tende oggi a caratterizzarsi non più come un insieme di contenuti ma come un insieme di metodi e di strategie per risolvere problemi. E. Calabrese: Fondamenti di Informatica Problemi-1 Il sapere tende oggi a caratterizzarsi non più come un insieme di contenuti ma come un insieme di metodi e di strategie per risolvere problemi. L'informatica

Dettagli

Nozione di algoritmo. Gabriella Trucco

Nozione di algoritmo. Gabriella Trucco Nozione di algoritmo Gabriella Trucco Programmazione Attività con cui si predispone l'elaboratore ad eseguire un particolare insieme di azioni su particolari informazioni (dati), allo scopo di risolvere

Dettagli

Parte I. Prima Parte

Parte I. Prima Parte Parte I Prima Parte Capitolo 1 Introduzione generale 1.1 Il problema dell assegnazione Corsi-Borsisti Il problema dell assegnazione delle borse dei corsi ai vari studenti può essere riassunto nei punti

Dettagli

CIM A CIM B. Computer-Integrated Manufacturing (CIM)

CIM A CIM B. Computer-Integrated Manufacturing (CIM) Computer-Integrated Manufacturing (CIM) Il Computer Integrated Manufacturing (CIM) è un metodo di produzione nel quale l'intero processo produttivo è controllato da un computer. Tipicamente, è composto

Dettagli

AZIONE DI SISTEMA G. Partner responsabile Università de Corse

AZIONE DI SISTEMA G. Partner responsabile Università de Corse N componente 5 N azione 3.2 Titolo prodotto : prototipi software di simulazione del comportamento idrologico del bacino versante del sud est della Corsica tenendo conto le ottimizzazioni AZIONE DI SISTEMA

Dettagli

Agente Artificiale Intelligente (razionale)

Agente Artificiale Intelligente (razionale) Agente Artificiale Intelligente (razionale) Percezioni attraverso sensori AMBIENTE AGENTE Azioni attraverso attuatori (bracci meccanici, ruote, ecc.) Quando un Agente Artificiale è Razionale? Quando fa

Dettagli

PIANO DI LAVORO (a.s. 2014/2015) Prof.Andrea Luppichini Prof. Marco Fiorentinini DISCIPLINA Informatica

PIANO DI LAVORO (a.s. 2014/2015) Prof.Andrea Luppichini Prof. Marco Fiorentinini DISCIPLINA Informatica Istituto Tecnico Commerciale Statale e per Geometri E. Fermi Pontedera (Pi) Via Firenze, 51 - Tel. 0587/213400 - Fax 0587/52742 http://www.itcgfermi.it E-mail: mail@itcgfermi.it PIANO DI LAVORO (a.s. 2014/2015)

Dettagli

Linguaggi per COMUNICARE. Il linguaggio è un sistema codificato di segni che consente la comunicazione, intesa come scambio di informazioni

Linguaggi per COMUNICARE. Il linguaggio è un sistema codificato di segni che consente la comunicazione, intesa come scambio di informazioni Linguaggi per COMUNICARE Il linguaggio è un sistema codificato di segni che consente la comunicazione, intesa come scambio di informazioni Sintassi e semantica dei linguaggi Un informazione può : Essere

Dettagli

3. Programmazione strutturata (testo di riferimento: Bellini-Guidi)

3. Programmazione strutturata (testo di riferimento: Bellini-Guidi) Corso di Fondamenti di Informatica Corso di Laurea in Ingegneria Meccanica (A-K) 3. (testo di riferimento: Bellini-Guidi) Ing. Agnese Pinto 1 di 28 Linguaggi di programmazione Un programma è un algoritmo

Dettagli

Parlare al cittadino e comunicare attraverso Internet: comunicazione e raccolta dati.

Parlare al cittadino e comunicare attraverso Internet: comunicazione e raccolta dati. Parlare al cittadino e comunicare attraverso Internet: comunicazione e raccolta dati. Marzo 2002 - Paolo Sensini 00 XX 1 Tipologie servizi (1) Servizi vetrina Esempio tipo Struttura Pregi e difetti Servizi

Dettagli

Introduzione alla Progettazione per Componenti

Introduzione alla Progettazione per Componenti Introduzione alla Progettazione per Componenti Alessandro Martinelli 6 ottobre 2014 Obiettivo del Corso Il Progetto Software Reale Il Componente Software La Programmazione Ad Oggetti Fondamenti di Informatica

Dettagli

Istituti Tecnici - Settore tecnologico Indirizzo Informatica e telecomunicazioni Articolazione Informatica

Istituti Tecnici - Settore tecnologico Indirizzo Informatica e telecomunicazioni Articolazione Informatica Linee guida Secondo ciclo di istruzione Istituti Tecnici - Settore tecnologico Indirizzo Informatica e telecomunicazioni Quadro orario generale 1 biennio 2 biennio 5 anno 1^ 2^ 3^ 4^ 5^ Sistemi e reti**

Dettagli

Programmazione per Bioinformatica Il Calcolatore e la Programmazione. Dr Damiano Macedonio Università di Verona

Programmazione per Bioinformatica Il Calcolatore e la Programmazione. Dr Damiano Macedonio Università di Verona Programmazione per Bioinformatica Il Calcolatore e la Programmazione Dr Damiano Macedonio Università di Verona Architettura del calcolatore La prima decomposizione di un calcolatore è relativa a due macrocomponenti:

Dettagli