Prefazione. Introduzione
|
|
- Giacomo Giannini
- 8 anni fa
- Visualizzazioni
Transcript
1 Prefazione Introduzione XI XIII 1 Comportamento a stati finiti di un sistema embedded Richiami su automi a stati finiti riconoscitori di linguaggi Grammatiche Linguaggi non regolari Classificazione di Chomsky Macchine a stati finiti Implementazione di automi a stati finiti Implementazione di macchine a stati finiti Event-driven systems Sistemi in tempo reale Temporizzazione dell algoritmo di controllo Multitasking Scheduling statico Scheduling dinamico Test di scheduling basati sull utilizzo Interazione tra i task Protocolli priority ceiling Sistemi operativi real time Introduzione ai processori di utilizzo industriale MCU
2 VI Indice 3.2 MPU DSP PLC PC industriali Sviluppo host-target Le smartcard I concetti della Dependability Attributi della dependability Impedimenti alla dependability Classificazione dei guasti Errori Fallimenti Mezzi per ottenere dependability Valutazione quantitativa degli attributi di dependability Affidabilità MIL-HDBK 217F Safety Manutenibilità Disponibilità Valutazione dell affidabilità di un sistema Il metodo combinatorio Metodo enumerativo Modello di Markov Valutazione markoviana di altri attributi Safety Disponibilità Considerazioni conclusive Valutazione qualitativa degli attributi di safety Il concetto di rischio Failure Mode and Effect Analysis (FMEA) Hazard and Operability study (HAZOP) Fault Tree Analysis Analisi probabilistica di un Fault Tree Tecniche di rilevazione dei guasti Duplicazione e confronto Duplicazione complementata Test di accettazione Test diagnostici Rilevazione temporale dell errore Monitoraggio del processore Codici rilevatori di errore Codici di parità
3 VII 8.2 Checksum Codice m-su-n Duplicazione Codici ciclici Errori singoli Errori dispari Errori doppi Errori a burst Utilizzo dei codici ciclici Codici aritmetici Codici correttori di errore Overlapped parity Codici di Hamming Codici correttori aritmetici Codici CRC correttori Codici Reed Solomon Gruppi e Campi di Galois Il campo esteso GF(2 m ) L operazione di somma nel campo esteso GF(2 m ) I polinomi primitivi Il campo esteso GF(2 3 ) La codifica Reed-Solomon La codifica sistematica tramite shift register La decodifica Applicazioni dei codici Reed Solomon Tolleranza ai guasti Error detection and recovery Duplicazione Riconfigurabile Fault Masking N-Modular Redundancy Meccanismi di votazione NMR Riconfigurabile Shadow box Algoritmi distribuiti Memoria stabile Checkpointing in ambito distribuito Two-Phase Commit Protocol Paradosso dei generali bizantini Consenso Distribuito tra processi asincroni L algoritmo di Chandra e Toueg Primitive di comunicazione Primitive del consenso Byzantine Agreement
4 VIII Indice 11.7 Interactive Consistency Algoritmi di Sincronizzazione di Clock in ambito distribuito Algoritmi probabilistici Algoritmi di consistenza interattiva Algoritmi a convergenza: algoritmi a media Algoritmi a convergenza: algoritmi non a media I guasti software Il caso dell Ariane Diversità Recovery block N-Version Programming Esempi di uso della diversità in sistemi avionici Programmazione Difensiva Affidabilità del software Standard di codifica Sottoinsiemi di linguaggi SafeAda MISRA C Javacard Validazione dei compilatori Verifica del codice Definizioni relative all attività di testing Test di unità Testing funzionale Test strutturale e criteri di copertura Test statistico Conduzione del test di unità Object-Oriented Testing Test di integrazione Test di sistema Test di accettazione Test di regressione Analisi mutazionale Strumenti di supporto al testing Analisi statica Interpretazione astratta Metodi Formali Verifica formale del codice sorgente I metodi asserzionali: il metodo B Le logiche classiche Logica modale Logica temporale LTL
5 IX CTL L algoritmo di Model Checking Model Checking simbolico Binary Decision Diagrams Rappresentazione dello spazio degli stati con BDD Algoritmo di Symbolic Model Checking Utilizzo del model checking simbolico Model Driven Development La certificazione del software Certificazione di processo e di prodotto Principali normative sulla safety dei sistemi safety-critical Settore militare Settore avionico/spaziale Settore ferroviario Ciclo di vita del software Safety Integrity level Esempi di tecniche richieste dalle normative per il software Bibliografia 271
Registro dell insegnamento
UNIVERSITÀ DEGLI STUDI DI FIRENZE Registro dell insegnamento Anno accademico 2010 / 2011 Facoltà: INGEGNERIA Insegnamento: INFORMATICA INDUSTRIALE Settore insegnamento: ING-INF/05 Corsi di studio 1) INGEGNERIA
DettagliRegistro dell'insegnamento
Registro dell'insegnamento Anno accademico 2016/2017 Prof. ALESSANDRO FANTECHI Settore inquadramento ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI Scuola Ingegneria Dipartimento Ingegneria dell'informazione
DettagliRegistro dell'insegnamento
Registro dell'insegnamento Anno accademico 2016/2017 Prof. ALESSANDRO FANTECHI Settore inquadramento ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI Scuola Ingegneria Dipartimento Ingegneria dell'informazione
DettagliIndice I INTRODUZIONE E RICHIAMI 1
vii Indice I INTRODUZIONE E RICHIAMI 1 1 Introduzione 3 1.1 La dependability.......................... 4 1.1.1 Le Minacce: guasti, errori e fallimenti.......... 5 1.1.2 Gli attributi della dependability.............
DettagliPARTE PRIMA 1 1 Complessità dei sistemi 2. 2 Elementi di statistica e di teoria della probabilità 13
Indice Prefazione Presentazione XI XII PARTE PRIMA 1 1 Complessità dei sistemi 2 2 Elementi di statistica e di teoria della probabilità 13 3 Elementi di teoria della affidabilità, manutenibilità e disponibilità
DettagliTECNICO SUPERIORE PER L AUTOMAZIONE INDUSTRIALE
ISTRUZIONE E FORMAZIONE TECNICA SUPERIORE SETTORE INDUSTRIA E ARTIGIANATO TECNICO SUPERIORE PER L AUTOMAZIONE INDUSTRIALE STANDARD MINIMI DELLE COMPETENZE TECNICO PROFESSIONALI DESCRIZIONE DELLA FIGURA
DettagliRegistro dell'insegnamento
Registro dell'insegnamento Anno accademico 2018/2019 Prof. ALESSANDRO FANTECHI Settore inquadramento ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI REGISTRO Scuola Ingegneria NON CHIUSO Dipartimento
DettagliFONDAMENTI di INFORMATICA L. Mezzalira
FONDAMENTI di INFORMATICA L. Mezzalira Possibili domande 1 --- Caratteristiche delle macchine tipiche dell informatica Componenti hardware del modello funzionale di sistema informatico Componenti software
DettagliL integrità delle informazioni quale elemento fondante della sicurezza nell evoluzione degli apparati di segnalamento
L integrità delle informazioni quale elemento fondante della sicurezza nell evoluzione degli apparati di Alessandro FANTECHI DINFO Dipartimento di Ingegneria dell'informazione L evoluzione tecnologica
DettagliTECNICO 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
DettagliLezioni frontali e/o multimediali. Lezioni frontali e/o
Istituto Istruzione Superiore di baronissi ind. tecnico PROGRAMMAZIONE DIDATTICA DI Tecnologie e Progettazione di Sistemi Informatici e di Telecomunicazioni Articolazione: Informatica Anno scolastico 2012-2013
DettagliDISCIPLINA TECNOLOGIE E PROGETTAZIONE DI SISTEMI INFORMATICI E DI TELECOMUNICAZIONI
DISCIPLINA TECNOLOGIE E PROGETTAZIONE DI SISTEMI INFORMATICI E DI TELECOMUNICAZIONI INDIRIZZO DI INFORMATICA E TELECOMUNICAZIONI ARTICOLAZIONE TELECOMUNICAZIONI Utilizzare consapevolmente gli strumenti
Dettagli3 Capitolo primo Informatica e calcolatori
I n d i c e 3 Capitolo primo Informatica e calcolatori 7 Capitolo secondo La rappresentazione delle informazioni 11 2.1 La codifica dei caratteri 2.1.1 Il codice ASCII, p. 11-2.1.2 Codifiche universali,
DettagliCollaudo e qualità del software Il testing nel ciclo di vita del software
Il testing nel ciclo di vita del software Relatore Ercole Colonese Roma, Il test nel ciclo di vita del software Temi trattati nel libro Il test nello sviluppo del software Strategia e pianificazione dei
DettagliEsercizi di Metodi e Modelli per l Ingegneria del Software
Esercizi di Metodi e Modelli per l Ingegneria del Software May 26, 2010 NOTA: Quanto segue sono esempi di esercizi che non devono essere considerati esaustivi: altri esercizi sono ovviamente possibili
DettagliSistemi elettronici per la sicurezza dei veicoli: presente e futuro. Il ruolo della norma ISO 26262 per la Sicurezza Funzionale
La Sicurezza Funzionale del Software Prof. Riccardo Sisto Ordinario di Sistemi di Elaborazione delle Informazioni Dipartimento di Automatica e Informatica Sicurezza Funzionale del Vari Aspetti Sicurezza
DettagliUniversità degli studi di Roma Tor Vergata Ingegneria Medica Informatica I Programma del Corso
Obiettivi formativi Introdurre i principi del funzionamento di un elaboratore e della programmazione. Presentare gli approcci elementari alla soluzione di problemi (algoritmi)e al progetto di strutture
DettagliIndice generale VIII
Indice generale Indice dei box di approfondimento X Prefazione XII Ringraziamenti dell Editore XIV Guida alla lettura XV Capitolo 1 Introduzione 1 1 1 Trattamento dell informazione e strumenti per il trattamento
DettagliMETODI PER LA QUANTIFICAZIONE DEL RISCHIO: Alberi di Evento e Alberi di Guasto
Corso di Laurea in Ingegneria Aerospaziale METODI PER LA QUANTIFICAZIONE DEL RISCHIO: Docente: Page 1 Quantificazione del Rischio Fase Fase 1. 1. Fase Fase 2. 2. Fase Fase 3. 3. Definizione Definizione
DettagliSISTEMI 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
DettagliGli strumenti di simulazione per lo sviluppo di sistemi elettronici automotive
18 aprile 2012 Gli strumenti di simulazione per lo sviluppo di sistemi elettronici automotive Andrea Delmastro R&D Manager La normativa ISO 26262 Road vehicles Functional Safety Soddisfare esigenze per
DettagliApproccio alla nuova normativa macchine con Easy Safe Calculator
Approccio alla nuova normativa macchine con Easy Safe Calculator SAVE, Verona 21 ottobre 2009 Pierluca Bruna Product Manager Safety & Atex CEI CT 44 Schneider Electric La Direttiva Macchine Il riferimento
DettagliISTITUTO TECNICO ECONOMICO MOSSOTTI
CLASSE III INDIRIZZO S.I.A. UdA n. 1 Titolo: conoscenze di base Conoscenza delle caratteristiche dell informatica e degli strumenti utilizzati Informatica e sistemi di elaborazione Conoscenza delle caratteristiche
DettagliPIANO DI LAVORO DEI DOCENTI
Pag. 1 di 6 Docente: Materia insegnamento: SISTEMI ELETTRONICI AUTOMATICI Dipartimento: ELETTRONICA Classe Anno scolastico: 1 Livello di partenza (test di ingresso, livelli rilevati) Sono richieste conoscenze
DettagliRiassunto 24 Parole chiave 24 Commenti e curiosità 25 Esercizi 27 Appendice
cap 0 Romane - def_layout 1 12/06/12 07.51 Pagina V Prefazione xiii Capitolo 1 Nozioni introduttive 1 1.1 Introduzione 1 1.2 Cenni storici sullo sviluppo della Statistica 2 1.3 La Statistica nelle scienze
DettagliGiornata di studio e dibattito del Settore Trasporto Ferroviario. Progetto Linee guida: affidabilità e analisi RAM
Giornata di studio e dibattito del Settore Trasporto Ferroviario Progetto Linee guida: affidabilità e analisi RAM Le linee Guida nel panorama della standardizzazione Europea e Internazionale Ing. Gianosvaldo
DettagliBase di dati e sistemi informativi
Base di dati e sistemi informativi Una base di dati è un insieme organizzato di dati opportunamente strutturato per lo svolgimento di determinate attività La base di dati è un elemento fondamentale per
DettagliLiceo Tecnologico. Indirizzo Informatico e Comunicazione. Indicazioni nazionali per Piani di Studi Personalizzati
Indirizzo Informatico e Comunicazione Indicazioni nazionali per Piani di Studi Personalizzati Indirizzo Informatico e Comunicazione Discipline con attività di laboratorio 3 4 5 Fisica 132 Gestione di progetto
DettagliSicurezza Funzionale Macchinari
Sicurezza Funzionale Macchinari Uno degli aspetti fondamentali della sicurezza dei macchinari è l affidabilità delle parti di comando legate alla sicurezza, ovvero la Sicurezza Funzionale, definita come
DettagliIl software di base comprende l insieme dei programmi predisposti per un uso efficace ed efficiente del computer.
I Sistemi Operativi Il Software di Base Il software di base comprende l insieme dei programmi predisposti per un uso efficace ed efficiente del computer. Il sistema operativo è il gestore di tutte le risorse
DettagliATEX 94/9/CE. Decreto legislativo n 81/2008. esplosive ATEX 94/9/CE & ATEX 99/92/CE
ATEX 99/92/CE Decreto legislativo n 81/2008 Titolo XI - Protezione da atmosfere esplosive ATEX 94/9/CE & ATEX 99/92/CE Utilizzatori AREE PERICOLOSE ATEX 1999/92/CE Dlgs. 81/2008 titolo XI (già Dlgs. 233/2003)
DettagliISTITUTO PROFESSIONALE PER L'INDUSTRIA E L ARTIGIANATO ALESSANDRO VOLTA GUSPINI. PROGRAMMA DIDATTICO con riferimento al programma ministeriale
ISTITUTO PROFESSIONALE PER L'INDUSTRIA E L ARTIGIANATO ALESSANDRO VOLTA GUSPINI ANNO SCOLASTICO 2013-2014 PROGRAMMA DIDATTICO con riferimento al programma ministeriale MATERIA ELETTROTECNICA ED ELETTRONICA
DettagliSistemi Web Tolleranti ai Guasti
Sistemi Web Tolleranti ai Guasti Candidato: Paolo Romano Relatore: Prof. Salvatore Tucci Correlatore: Prof. Bruno Ciciani Sommario Il problema: garantire semantica exactly once alle transazioni Web. Sistema
DettagliCollaudo e qualità del software Quali test eseguire
Collaudo e qualità del software Relatore Ercole Colonese Roma, Tipologie di test Temi trattati nel libro Modello a V Livelli di testing Tipi di test Test funzionali Test delle funzionalità Test di gestione
DettagliLa Laurea Magistrale in Informatica 2014-15
Università degli studi di Udine La Laurea Magistrale in Informatica 2014-15 Consiglio del Corso di Studi (CCS) in Materie Informatiche Aprile 2014 E-mail: tutoratoinformatica@uniud.it Il piano di studi
DettagliVerifica del codice con Interpretazione Astratta
Verifica del codice con Interpretazione Astratta Daniele Grasso grasso@dsi.unifi.it grasso.dan@gmail.com Università di Firenze, D.S.I., Firenze, Italy December 15, 2009 D.Grasso (Università di Firenze)
DettagliParte I Processi, organizzazione e sistemi informativi di Demand Planning
Indice Introduzione... 1 Parte I Processi, organizzazione e sistemi informativi di Demand Planning 1 Demand Planning e Supply Chain Management... 13 1.1 IntroduzionealDemandPlanning... 13 1.1.1 DefinizionediDemandPlanning...
DettagliStimare il WCET Metodo classico e applicazione di un algoritmo genetico
Stimare il WCET Metodo classico e applicazione di un algoritmo genetico Sommario Introduzione Definizione di WCET Importanza del WCET Panoramica dei classici metodi per calcolare il WCET [1] Utilizzo di
DettagliMetodologie statistiche in manutenzione
M in in > Statistica di base per la > FMECA per la alla generali Sviluppare una sensibilità al valore aggiunto derivante da un applicazione di metodi e tecniche statistiche in Fornire conoscenze specifiche
DettagliProgrammi discipline a.a. 2009-2010 IIN. Corso di Studio. Ing. Informatica. martedì 27 marzo 2012 Pagina 554 di 891
Programmi discipline a.a. 2009-2010 Corso di Studio IIN Ing. Informatica martedì 27 marzo 2012 Pagina 554 di 891 0065206 BASI DI DATI ING-INF/05 Corso di Studio: IIN Crediti: 6 Tipo: A Note: Docente: PALA
Dettagli2.1 La logistica integrata ed il sistema CIM 10
Indice Prefazione alla 2 edizione Prefazione alla 1 edizione CAPITOLO 1 - GENERALITÀ 1.1 Definizione della funzione logistica 2 1.1.1 Integrazione ed automazione logistica 2 1.1.2 Flessibilità come risposta
DettagliIndice. Prefazione all edizione italiana
Indice Prefazione all edizione italiana XV Capitolo 1 Il software e l ingegneria del software 1 1.1 L evoluzione del ruolo del software 3 1.2 Il software 5 1.3 La natura mutevole del software 8 1.4 Il
DettagliStandard Formativi Minimi dei percorsi di Istruzione e Formazione Professionale della Regione Lombardia
Allegato 3 Standard Formativi Minimi dei percorsi di Istruzione e Formazione Professionale della Regione Lombardia Obiettivi Specifici di Apprendimento delle competenze tecnico professionali O.S.A. tecnico
DettagliStrumento per l iniezione di guasti software nel sistema operativo GNU/Linux
Tesi di laurea Strumento per l iniezione di guasti software nel sistema operativo GNU/Linux Anno Accademico 2009/2010 Relatore Ch.mo prof. Marcello Cinque Correlatore Ch.mo ing. Roberto Natella Candidato
DettagliIndice. Introduzione. Capitolo 1
Indice Introduzione XI Capitolo 1 Pagine dei fornitori: applicazione dei fogli di stile CSS in XML 1 1.1 Introduzione a HTML e XHTML 1 1.2 Controllo della presentazione: fogli di stile CSS 8 1.3 Approfondimento
DettagliLa Società nasce nel 2001 dall unione d intenti dei soci della NOVA IGI srl e della CDA srl, due aziende con esperienza ventennale l una nel campo
www.agiplus.it La Società nasce nel 2001 dall unione d intenti dei soci della NOVA IGI srl e della CDA srl, due aziende con esperienza ventennale l una nel campo della carpenteria e dell automazione e
DettagliLe tecniche di ridondanza
Le tecniche di ridondanza Fulvio Corno, Maurizio Rebaudengo, Matteo Sonza Reorda Politecnico di Torino Dipartimento di Automatica e Informatica Introduzione Introducendo ridondanza nel sistema se ne accrescono
DettagliPROFILO PROFESSIONALE DESCRITTIVO COMPETENZE TECNICO/PROFESSIONALI DI RIFERIMENTO
PROFILO PROFESSIONALE TECNICO DI AUTOMAZIONE TERZA VERSIONE SETTEMBRE 2010 DESCRITTIVO Il Tecnico dell automazione industriale è una figura professionale in grado di approntare il funzionamento, ed intervenire
DettagliIn legenda sono riportate le fasi R, P, C/T e I/SA come specificato nella norma ISO/IEC 12207.
Durante le attività di sviluppo del software applicativo è spesso utilizzato un ciclo di vita incrementale il cui schema di processo è sintetizzato nella figura seguente. In legenda sono riportate le fasi
DettagliSommario. Capitolo 1 Impiego della statistica per la gestione dell azienda 1. Capitolo 2 Disponibilità e produzione delle informazioni statistiche 19
Prefazione XI Capitolo 1 Impiego della statistica per la gestione dell azienda 1 1.1 Premessa 1 1.2 Il ruolo della statistica a supporto del processo decisionale del manager 3 1.3 L impiego della statistica
DettagliCoordinamento e sincronizzazione
Coordinamento e sincronizzazione Tempo locale e globale Nei sistemi distribuiti non esiste un orologio fisico globale Algoritmi di sincronizzazione e di coordinamento Applicazioni: correttezza di sequenze
DettagliSistemi e schedulazione in tempo reale
Sistemi e schedulazione in tempo reale 1 Sistemi in tempo reale Sistemi di calcolo in cui la correttezza del funzionamento dipende criticamente dal tempo in cui i risultati sono prodotti. Possibili campi
DettagliPROGRAMMAZIONE MODULARE DI INFORMATICA CLASSE QUINTA - INDIRIZZO MERCURIO SEZIONE TECNICO
PROGRAMMAZIONE MODULARE DI INFORMATICA CLASSE QUINTA - INDIRIZZO MERCURIO SEZIONE TECNICO Modulo 1: IL LINGUAGGIO HTML Formato degli oggetti utilizzati nel Web Elementi del linguaggio HTML: tag, e attributi
DettagliIl sistema operativo TinyOS
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Domenico Cotroneo candidato Giovanni Chierchia Matr. 534 / 804 ::. Obiettivi del lavoro di tesi Studio del sistema operativo TinyOS Studio
DettagliPROTOTIPAZIONE DI UN TRADUTTORE DA SORGENTE PLC AD ASSEMBLY DI UNA MACCHINA VIRTUALE
PROTOTIPAZIONE DI UN TRADUTTORE DA SORGENTE PLC AD ASSEMBLY DI UNA MACCHINA VIRTUALE Relatore: prof. Michele Moro Laureando: Marco Beggio Corso di laurea in Ingegneria Informatica Anno Accademico 2006-2007
DettagliCorso di Progettazione di Impianti e della Sicurezza Industriale: Fault Tree Analysis (FTA) I/E e Safety Instrumented System (SIS)
Corso di Progettazione di Impianti e della Sicurezza Industriale: Fault Tree Analysis (FTA) I/E e Safety Instrumented System (SIS) Negli impianti a rischio di incidente rilevante, al fine di prevenire
DettagliINFORMATICA 1 L. Mezzalira
INFORMATICA 1 L. Mezzalira Possibili domande 1 --- Caratteristiche delle macchine tipiche dell informatica Componenti hardware del modello funzionale di sistema informatico Componenti software del modello
DettagliCorso di Sistemi di Elaborazione A.A. 2008/2009
Università di Ferrara Facoltà di Ingegneria Docente: Ing. Massimiliano Ruggeri Mail: m.ruggeri@imamoter.cnr.it mruggeri@ing.unife.it Tel. 0532/735631 Corso di Sistemi di Elaborazione A.A. 2008/2009 Durata:
DettagliUniversità degli Studi di Napoli Federico II Facoltà di Ingegneria. Corso di. Sistemi Distribuiti. Prof. Stefano Russo. Field Failure Data Analysis
Università degli Studi di Napoli Federico II Facoltà di Ingegneria Corso di Sistemi Distribuiti Prof. Stefano Russo Domenico Cotroneo Failure Data Analysis (FDA) (1/2) I mezzi per la dependability possono
DettagliLa tecnica proporzionale
La tecnica proporzionale Regolatori di pressione La tecnica proporzionale Regolatori di pressione La tecnica proporzionale La tecnica proporzionale Controllo direzione e flusso La tecnica proporzionale
DettagliSpecializzazione Elettronica ed Elettrotecnica Articolazione Automazione. Elettronica ed Elettrotecnica - Classe 3^
Specializzazione Elettronica ed Elettrotecnica Articolazione Automazione Elettronica ed Elettrotecnica - Classe 3^ Elettrotecnica Tipologie di segnali Unità di misura delle grandezze elettriche Simbologia
DettagliAREA PROFESSIONALE DI RIFERIMENTO 9. TECNICO PER L AUTOMAZIONE INDUSTRIALE. Nomenclatura delle Unità Professioni (NUP/ISTAT):
AREA PROFESSIONALE DI RIFERIMENTO Denominazione della figura 9. TECNICO PER L AUTOMAZIONE INDUSTRIALE Referenziazioni della figura Nomenclatura delle Unità Professioni (NUP/ISTAT): 6. Artigiani, operai
DettagliCALCOLATORI ELETTRONICI 29 giugno 2011
CALCOLATORI ELETTRONICI 29 giugno 2011 NOME: COGNOME: MATR: Scrivere chiaramente in caratteri maiuscoli a stampa 1. Si implementi per mezzo di una PLA la funzione combinatoria (a 3 ingressi e due uscite)
DettagliPresentazione. Risorse Web. Metodi Statistici 1
I-XVI Romane_ 27-10-2004 14:25 Pagina VII Prefazione Risorse Web XI XIII XVII Metodi Statistici 1 Capitolo 1 Tecniche Statistiche 3 1.1 Probabilità, Variabili Casuali e Statistica 3 1.1.1 Introduzione
DettagliPROGRAMMAZIONE DIDATTICA MODULI RELATIVI ALLE COMPETENZE STCW TRASPORTI E LOGISTICA CONDUZIONE DEL MEZZO CONDUZIONE APPARATI MARITTIMI
PROGRAMMAZIONE DIDATTICA MODULI RELATIVI ALLE COMPETENZE STCW ISTITUTO : ISTITUTO SUPERIORE DI RIPOSTO INDIRIZZO: ARTICOLAZIONE: OPZIONE: TRASPORTI E LOGISTICA CONDUZIONE DEL MEZZO CONDUZIONE APPARATI
DettagliMinistero dell istruzione, dell università e della ricerca. Liceo Tecnologico. Indirizzo Informatico, Grafico e Comunicazione
Ministero dell istruzione, dell università e della ricerca Liceo Tecnologico Indirizzo Informatico, Grafico e Comunicazione Percorso Informatico e Comunicazione Indicazioni nazionali per i Piani di Studio
DettagliI Metodi statistici utili nel miglioramento della qualità 27
Prefazione xiii 1 Il miglioramento della qualità nel moderno ambiente produttivo 1 1.1 Significato dei termini qualità e miglioramento della qualità 1 1.1.1 Le componenti della qualità 2 1.1.2 Terminologia
DettagliSoftware Embedded Integration Testing. Ing. Matteo Maglio Milano, 17 Febbraio 2011
Software Embedded Integration Testing Ing. Matteo Maglio Milano, 17 Febbraio 2011 Chi siamo Skytechnology è una società di ingegneria che opera nell area dei sistemi embedded aiutando i propri Clienti
DettagliFirenze 28.11.2013. A. Colzani - L. Rota. 01/12/2013 Servizio Acquisti
Valutazione dei Rischi per la modifica e l installazione di un nuovo azionamento elettrico per le porte di salita in conformità alla EN 14752. Esempio di applicazione su automotrici ALN668 circolanti su
DettagliIstituto Universitario Navale Facoltà di Ingegneria Corso di Laurea in Ingegneria delle Telecomunicazioni
Istituto Universitario Navale Facoltà di Ingegneria Corso di Laurea in Ingegneria delle Telecomunicazioni Fondamenti di Informatica Modulo 1 Programma dell'a.a. 2003/2004 Luigi Romano Dipartimento di Informatica
DettagliSommario IX. Indice analitico 331
Sommario Prefazione X CAPITOLO 1 Introduzione ai sistemi informativi 1 1.1 Il prodotto del secolo 1 1.2 Prodotti e servizi divenuti indispensabili 2 1.3 Orientarsi nelle definizioni 4 1.4 Informatica e
Dettagli1. Introduzione. 2. Il Progetto
1. Introduzione Con l espressione trasporto pubblico locale intelligente si intende l uso di tecnologie a supporto della mobilità e degli spostamenti di persone. Grazie allo sviluppo di dispositivi e strumenti
DettagliArticolazione Elettronica. Specializzazione Elettronica ed Elettrotecnica Articolazione Elettronica. Elettronica ed Elettrotecnica - Classe 3^
Articolazione Elettronica Specializzazione Elettronica ed Elettrotecnica Articolazione Elettronica Elettronica ed Elettrotecnica - Classe 3^ Elettrotecnica Tipologie di Segnali Unità di misura delle grandezze
DettagliIndice. Prefazione alla seconda edizione italiana XVII. Introduzione. Parte 1 Introduzione all UML e all UP 1
00PrPag 19-07-2006 15:22 Pagina V Prefazione alla seconda edizione italiana Introduzione XV XVII Parte 1 Introduzione all UML e all UP 1 Capitolo 1 UML 3 1.1 Contenuto del capitolo 3 1.2 Cos è l UML? 3
DettagliUna metodologia per la definizione dei livelli di criticità dei componenti di un sistema software complesso
tesi di laurea Anno Accademico 2006/2007 relatore Ch.mo Prof. Massimo Ficco correlatore Ing. Roberto Pietrantuono candidato Antonio Pecchia Matr. 885/108 Sistemi safety-critical Sistemi complessi i cui
DettagliMetodologie statistiche in manutenzione
M in in > Statistica di base per la > FMECA per la alla generali Sviluppare una sensibilità al valore aggiunto derivante da un applicazione di metodi e tecniche statistiche in Fornire conoscenze specifiche
DettagliIl Processo di Omologazione in ambito di segnalamento ferroviario a tecnologia innovativa
Roma, 10 novembre 2008 Il Processo di Omologazione in ambito di segnalamento ferroviario a tecnologia innovativa Ing. Gabriele Ridolfi RFI Direzione Tecnica Mail: g.ridolfi@rfi.it Processo Omologativo:
DettagliLiceo Tecnologico. Indirizzo Elettrico Elettronico. Indicazioni nazionali per Piani di Studi Personalizzati
Indicazioni nazionali per Piani di Studi Personalizzati Obiettivi Specifici d Apprendimento Discipline con attività di laboratorio 3 4 5 Fisica 99 Gestione di progetto 132 99 *Tecnologie informatiche e
DettagliPROGRAMMAZIONE DIDATTICA ANNUALE. SETTORE TECNOLOGICO Indirizzo: Elettrotecnica ed Elettronica
ISTITUTO TECNICO INDUSTRIALE STATALE Basilio Focaccia via Monticelli (loc. Fuorni) - Salerno PROGRAMMAZIONE DIDATTICA ANNUALE SETTORE TECNOLOGICO Indirizzo: Elettrotecnica ed Elettronica Anno scolastico:
DettagliSECONDO BIENNIO ISTITUTO TECNICO
SETTORE DOCUMENTI PER LA DISCUSSIONE ISTITUTO TECNICO INDIRIZZO ARTICOLAZIONE ELETTROTECNICA TECNOLOGICO ELETTRONICA ED ELETTROTECNICA ESITI DI APPRENDIMENTO (competenze, abilità, conoscenze) Regolamento,
DettagliBASI DI DATI per la gestione dell informazione. Angelo Chianese Vincenzo Moscato Antonio Picariello Lucio Sansone
BASI DI DATI per la gestione dell informazione Angelo Chianese Vincenzo Moscato Antonio Picariello Lucio Sansone Libro di Testo 22 Chianese, Moscato, Picariello e Sansone BASI DI DATI per la Gestione dell
Dettagli6.A.1 Logistica interna ed esterna
6.A.1 Logistica interna ed esterna Il corso si propone di fornire un quadro chiaro di inquadramento della logistica e delle sue principali funzioni in azienda. Si vogliono altresì fornire gli strumenti
DettagliDispensa di Informatica I.1
IL COMPUTER: CONCETTI GENERALI Il Computer (o elaboratore) è un insieme di dispositivi di diversa natura in grado di acquisire dall'esterno dati e algoritmi e produrre in uscita i risultati dell'elaborazione.
DettagliRedazione e Presentazione di Progetti Informatici
Redazione e Presentazione di Progetti Informatici Corso di Laurea in Informatica Massimo Ruffolo E-mail: ruffolo@icar.cnr.it Web: http://www.icar.cnr.it/ruffolo Istituto di CAlcolo e Reti ad alte prestazioni
DettagliPROGRAMMAZIONE DI T.T.I.M. CLASSE IV. Opzione Manutentore Impianti Elettrici e Domotici
PROGRAMMAZIONE DI T.T.I.M. (TECNOLOGIE E TECNICHE DELL'INSTALLAZIONE E DELLA MANUTENZIONE ) CLASSE IV Opzione Manutentore Impianti Elettrici e Domotici 1 0 SICUREZZA Normativa fondamentale sulla sicurezza
Dettagli19.4. La riserva di elasticità
INTRODUZIONE ALLA FINANZA 1.OBIETTIVI AZIENDALI E COMPITI DELLA FINANZA, di M. Dallocchio e A. Salvi 1.1. Creazione di valore come idea-guida 1.2. Creazione di valori per l impresa o per gli azionisti?
DettagliMetodi 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,
DettagliHardware & Software Development
Hardware & Software Development MISSION Realizzare prodotti ad alta innovazione tecnologica e fornire servizi con elevati standard qualitativi 3 AZIENDA ATTIVITÀ Prodotti 4 6 8 10 5 AZIENDA ISER Tech
DettagliManuale di sviluppo organizzativo per la gestione del personale
ISBN 88-14-18203-5 Roberto Poetto - Manuale di sviluppo organizzativo per la gestione del personale Associazione per gli Studi Internazionali e Comparati sul Diritto del lavoro e sulle Relazioni industriali
DettagliMinistero dell istruzione, dell università e della ricerca. Liceo Tecnologico. Indirizzo Elettrico Elettronico
Ministero dell istruzione, dell università e della ricerca Liceo Tecnologico Indicazioni nazionali per i Piani di Studio Personalizzati Obiettivi Specifici di Apprendimento Allegato_C8-LT-02-Elettrico
DettagliREPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA
REPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA SETTORE ECONOMICO PROFESSIONALE 1 SETTORE MECCANICA;PRODUZIONE E MANUTENZIONE DI MACCHINE;IMPIANTISTICA Processo Lavorazioni aeronautiche
DettagliIndice. Capitolo 1: Introduzione 1 1.1 Premessa 2 1.2 Scopi 3 1.3 Organizzazione del lavoro 4
dei capitoli Capitolo 1: Introduzione 1 1.1 Premessa 2 1.2 Scopi 3 1.3 Organizzazione del lavoro 4 Capitolo 2: Analisi sperimentale 6 2.1 Metodi di analisi sperimentale 7 2.2 Monitoraggio strutturale 9
DettagliLa valutazione economico-tecnica del software contabile
La valutazione economico-tecnica del software contabile fino a qualche tempo fa... hardware assorbe la maggiore quota dell investimento software predisposto internamente obiettivi nella valutazione degli
DettagliIl nuovo sistema di Telecontrollo, Gestione e
Il nuovo sistema di Telecontrollo, Gestione e Diagnostica per gli impianti di trasformazione e distribuzione dell energia elettrica alle linee di trazione ferroviaria di RFI Sergio Cosmi Rete Ferroviaria
DettagliMODULO PREREQUISITI OBIETTIVI CONTENUTI ORE
1 POTENZA ED ENERGIA Conoscenze di fisica del primo biennio biennio Lettura di schemi elettrici di potenza e di comando per impianti industriali Uso di internet per ricerca materiali e cataloghi. Concetto
DettagliInformatica: Evoluzione dei Linguaggi di Specifica e Programmazione. Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione Ugo Montanari Dipartimento di Informatica, Università di Pisa 0 Roadmap Perchè i linguaggi? Che cosa sono i linguaggi? Esempio: i numeri
DettagliSistemi Elettronici Sicuri. Rilevamento degli errori nei sistemi di elaborazione digitali...
Sistemi Elettronici Sicuri Rilevamento degli errori nei sistemi di elaborazione digitali v. 1.4c... Massimo Manara - Luca Uberti Foppa... Università degli Studi di Milano Indice generale Concetti generali
DettagliSistemi di Automazione Industriale
Introduzione ai PLC Sistemi di Automazione Industriale Ridurre e/o eliminare il ruolo dell operatore umano Ogni sistema di automazione prevede: Sistema Controllato; è un generatore di eventi non prevedibili
DettagliProgrammazione modulare 2012-2013
Programmazione modulare 2012-2013 Indirizzo: Informatica Abacus Disciplina: SISTEMI DI ELABORAZIONE E TRASMISSIONE DELLE INFORMAZIONI Classe: A e B Docenti: Buscemi Letizia Ore settimanali previste: 5
DettagliMachines 2010. :Nuova legge in Europa. :Nuove norme. Quasi-macchine. MTTFd. Documenti DC SIL PL. B10d CCF
Machines 2010 :Nuova legge in Europa :Nuove norme Quasi-macchine MTTFd B10d CCF Documenti DC SIL PL : Nuovi obblighi per progettisti, utilizzatori, costruttori, importatori di macchine: - Nuova Direttiva
Dettagli