Indice I INTRODUZIONE E RICHIAMI 1
|
|
- Rosalinda Grandi
- 8 anni fa
- Visualizzazioni
Transcript
1 vii Indice I INTRODUZIONE E RICHIAMI 1 1 Introduzione La dependability Le Minacce: guasti, errori e fallimenti Gli attributi della dependability I mezzi per ottenere la dependability Richiami di ProbabilitàeMetrologia Richiami di Probabilità Algebra degli eventi Probabilità, Probabilità CondizionaleedIndipendenza di Eventi Reliability per Sistemi in Serie e in Parallelo Teorema delle probabilitàtotalieformuladibayes Prove di Bernoulli Variabili Casuali Discrete Esempi di distribuzioni discrete Variabili Casuali Continue La distribuzione Esponenziale Minimo di due esponenziali indipendenti Competizione tra due esponenziali indipendenti Reliability, Failure Rate, Cumulative Failure Rate e Conditional Reliability Esempi di distribuzioni continue Expectation Richiami di Metrologia Fondamenti di teoria della misurazione Caratteristiche di una misurazione Incertezza di misura Compatibilità deirisultati
2 viii INDICE Indicazioni conclusive e approfondimenti II MODELLI 57 3 Metodi Combinatori Introduzione Modelli combinatori Componenti in Serie e in Parallelo Caso generico: k su n Metodi booleani Approcci di base per la valutazione Teorema di espansione di Shannon Formalismi grafici Reliability Block Diagrams Reliability Graphs Fault Trees Fault Tree Analysis (FTA) Elementi di un fault tree Costruzione del fault tree Generazione dei Minimal Cut Set Analisi quantitativa di un fault tree Caso di studio Descrizione del sistema Fault Tree del sistema RBD e RG del sistema Analisi quantitativa del sistema Catene di Markov: fondamenti Introduzione ai Processi Stocastici e di Markov Catene di Markov a tempo discreto Vettore di probabilità dioccupazionedeglistatiema- trice di probabilità ditransizione Tempo di permanenza in uno stato Comportamento transiente Esempio: andamento titolo Grafo associato alla catena Classificazione degli stati Stati accessibili, comunicanti ed assorbenti Stati transitori, ricorrenti, ricorrenti positivi e ricorrenti nulli
3 ix Stati periodici e aperiodici Comportamento a regime Esempio: andamento titolo (continua) Analisi di catene con stati assorbenti Esempio: la camminata aleatoria con barriera riflettente Catene di Markov a tempo continuo Comportamento transiente Grafo associato alla catena Uniformizzazione di catene di Markov Stati assorbenti, istantanei, stabili Esempio Calcolo del MTTF in catene con stati assorbenti Esempio Stati accessibili, ricorrenti e transitori Comportamento a regime Metodi per il calcolo di π Metodi diretti Metodi iterativi stazionari Esempio: sistema con tre server in parallelo Reti di Petri ed Estensioni Introduzione Caratteristiche dei formalismi di modellazione Reti di Petri di tipo Place/Transition Definizione Firing di una transizione Proprietà ecomportamento Potenza di modellazione Reti di Petri con priorità Analisi delle reti di Petri Transizioni temporizzate Stochastic Petri Nets Definizione Conflitto Concorrenza Tasso di transizione dipendente dalla marcatura SPN e processo stocastico sottostante Misure di interesse Performance, dependability e performability Variabili di performance e struttura di guadagno Definizione delle variabili di performance
4 x INDICE Esempio di variabile di performance Generalized Stochastic Petri Nets Definizione Conflitto GSPN e processo stocastico sottostante Estensioni SAN Definizione Cambiamento di marcatura SAN stabilizzanti e ben specificate SAN e processo stocastico sottostante Möbius Caratteristiche Principali di Möbius Il framework di Möbius DEEM Sistemi a Fasi Multiple Caratteristiche Principali di DEEM III METODI SPERIMENTALI Monitoring di sistemi Fondamenti del monitoring di sistemi Problematiche nel monitoring di sistemi Gestione dei Dati La Metodologia di Analisi OLAP Struttura di un repository OLAP OLAP per il monitoring Principali categorie per il monitoring di sistemi Automatic Failure Reporting per Componenti Software Sistemi di Intrusion Detection ed Intrusion Prevention Network Monitoring e QoS Monitoring Telemetria di Sistemi Embedded Monitoring di Large-Scale Enterprise Software RunTime Verification Un caso di studio: Monitoriamo un Clock software Il Reliable and Self-Aware Clock Pianificazione dell attività monitoraggio Instrumentazione del codice Definizione della struttura del repository Parsing dei file di log
5 xi Analisi OLAP Fault Injection e Robustness Testing Introduzione Fault Injection: Concetti di base Definizioni Obiettivi Modelli di guasto e tecniche di iniezione Applicazioni della Fault Injection Interazione con metodi modellistici Analisi dei modi di fallimento e valutazione del rischio Selezione di componenti e Dependability Benchmarking Metodologie di Fault Injection Una metodologia per l iniezione di guasti hardware Una metodologia per l iniezione di guasti software Robustness Testing Approccio generale Robustness Testing di sistemi operativi Robustness Testing di web services Bibliografia 271
Presentazione. 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
DettagliPrefazione. Introduzione
Prefazione Introduzione XI XIII 1 Comportamento a stati finiti di un sistema embedded 3 1.1 Richiami su automi a stati finiti riconoscitori di linguaggi... 4 1.2 Grammatiche............................
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à
DettagliIndice. 1 Introduzione 7 1.1 Introduzione... 7 1.2 Cos è un impianto informatico enterprise... 8
Indice 1 Introduzione 7 1.1 Introduzione............................. 7 1.2 Cos è un impianto informatico enterprise............. 8 2 Affidabilità 11 2.1 Introduzione............................. 12 2.1.1
DettagliAutomazione Industriale 1
Simona Sacone - DIST Automazione Industriale 1 Docente: Simona SACONE Dipartimento di Informatica, Sistemistica e Telematica (DIST) Università di Genova Tel. 010-353-6551; 329-2104394 Email: simona@dist.unige.it
DettagliIndice. Nota degli autori. 1 Capitolo 1 Introduzione alla ricerca operativa
XI Nota degli autori 1 Capitolo 1 Introduzione alla ricerca operativa 1 1.1 Premessa 1 1.2 Problemi di ottimizzazione 6 1.3 Primi approcci ai modelli di ottimizzazione 13 1.4 Uso del risolutore della Microsoft
DettagliProcessi stocastici. variabile casuale: funzione da uno spazio campione S a valori nello spazio E R X(t) : S E. spazio degli stati del processo
Processi stocastici Processo stocastico: famiglia di variabili casuali {X(t) t T} definite su uno spazio di probabilità indiciate dal parametro t (tempo) X(t) variabile casuale: funzione da uno spazio
DettagliAnalisi della dependability di un middleware per la
tesi di laurea Analisi della dependability di un middleware per la distribuzione ib i dei dati conforme allo standard d OMG Anno Accademico 2005-2006 relatori Ch.mo prof. Stefano Russo Ch.mo prof. Domenico
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
DettagliRingraziamenti dell editore. Introduzione. Parte I MODELLISTICA 1
romane.pdf 24-07-2008 18:14:24-7 - ( ) Prefazione Ringraziamenti dell editore Introduzione XIII XVI XVII Parte I MODELLISTICA 1 1 Modelli di trasferimento di risorse 3 1.1 Variabili di stato e variabili
DettagliIndice Prefazione xiii 1 Probabilità
Prefazione xiii 1 Probabilità 1 1.1 Origini del Calcolo delle Probabilità e della Statistica 1 1.2 Eventi, stato di conoscenza, probabilità 4 1.3 Calcolo Combinatorio 11 1.3.1 Disposizioni di n elementi
DettagliProgrammazione Disciplinare: Calcolo Classe: Quarte - Quinte
Istituto Tecnico Tecnologico Basilio Focaccia Salerno Programmazione Disciplinare: Calcolo Classe: Quarte - Quinte Anno scolastico 01-01 I Docenti della Disciplina Salerno, settembre 01 Anno scolastico
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
DettagliLo sviluppo dei ricavi
Lo sviluppo dei ricavi Programma di potenziamento e propulsione commerciale della rete: - diagnostico della rete di vendita - progetto di potenziamento commerciale Collaborazione tra la rete bancaria e
DettagliUniversità Cà Foscari di Venezia
1 Università Cà Foscari di Venezia DIPARTIMENTO DI SCIENZE AMBIENTALI, INFORMATICA E STATISTICA Corso di Laurea Magistrale in Informatica Simulazione di reti di Petri stocastiche in forma prodotto: applicazione
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
DettagliPROFILI UML PER LA DESCRIZIONE DI INFRASTRUTTURE CRITICHE E LA MODELLAZIONE DELLE INTERDIPENDENZE. Definizione di infrastrutture critiche
tesi di laurea PROFILI UML PER LA DESCRIZIONE DI INFRASTRUTTURE CRITICHE E LA MODELLAZIONE DELLE INTERDIPENDENZE Anno Accademico 2009-2010 relatore Ch.mo prof. Valeria Vittorini correlatore Ch.mo prof.
DettagliPrefazione. Parte prima - La funzione finanziaria nel management delle imprese 1
Indice Prefazione Autori XI XV Parte prima - La funzione finanziaria nel management delle imprese 1 Capitolo 1 Compiti ed evoluzione della funzione finanziaria 3 1.1 Compiti e finalità della funzione finanziaria
DettagliAffidabilità nel tempo tasso di guasto. h( t) =! dt N dt N ( ) ( ) = =! N N
Affidabilità nel tempo tasso di guasto 1 N=numero componenti N s (t)=numero componenti sopravvissuti al tempo t N f (t)=numero componenti rotti al tempo t N ( ) ( ) s t N f t R( t) = = 1! N N dr( t) 1
DettagliMetodi Statistici di Controllo della Qualità Prof. Paolo Cozzucoli
Programma dell insegnamento di Metodi Statistici di Controllo della Qualità Prof. Paolo Cozzucoli Corso di Laurea in Metodi Quantitativi per l Economia e la Gestione delle Aziende A.A. 2007-08 Disciplina
DettagliINDICE PREFAZIONE VII
INDICE PREFAZIONE VII CAPITOLO 1. LA STATISTICA E I CONCETTI FONDAMENTALI 1 1.1. Un po di storia 3 1.2. Fenomeno collettivo, popolazione, unità statistica 4 1.3. Caratteri e modalità 6 1.4. Classificazione
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
DettagliValutazione sperimentale di tecniche di testing per software in relazione ai tipi di guasti
tesi di laurea Valutazione sperimentale di tecniche di testing per software Anno Accademico 2008/2009 relatore Ch.mo prof. Stefano Russo correlatore Ing. Roberto Pietrantuono candidato Giuseppe Scafuti
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...
DettagliOFFERTA FORMATIVA SU: RAMS, FMEA, FMECA, HAZOP, FTA, ETA, RBD, MARKOV
OFFERTA FORMATIVA SU: RAMS, FMEA, FMECA, HAZOP, FTA, ETA, RBD, MARKOV NIER Ingegneria S.p.A. da diversi anni offre attività di formazione specialistica di alto livello per ingegneri e manager. NIER Ingegneria,
DettagliPrefazione all edizione originale. Prefazione all edizione italiana
Indice Prefazione all edizione originale Prefazione all edizione italiana xiii xv 1 Il miglioramento della qualità nel moderno ambiente produttivo 1 1.1 Significato dei termini qualità e miglioramento
DettagliAutomazione 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
DettagliDISTRIBUZIONI DI PROBABILITÀ
Metodi statistici e probabilistici per l ingegneria Corso di Laurea in Ingegneria Civile A.A. 2009-10 Facoltà di Ingegneria, Università di Padova Docente: Dott. L. Corain 1 LE PRINCIPALI DISTRIBUZIONI
Dettaglimetodi matematici per l ingegneria prove scritte d esame 1 Indice
metodi matematici per l ingegneria prove scritte d esame Indice. Novembre 4 - Prova in itinere. Luglio 5.. Febbraio 6 4 4. Giugno 6. 5 5. Luglio 6 6 . Novembre 4 - Prova in itinere Esercizio. Una scatola
DettagliPIANO DI LAVORO EFFETTIVAMENTE SVOLTO IN RELAZIONE ALLA PROGRAMMAZIONE DISCIPLINARE
Istituto di Istruzione Secondaria Superiore ETTORE MAJORANA 24068 SERIATE (BG) Via Partigiani 1 -Tel. 035-297612 - Fax 035-301672 e-mail: majorana@ettoremajorana.gov.it - sito internet: www.ettoremajorana.gov.it
DettagliMetodi Computazionali
Metodi Computazionali Elisabetta Fersini fersini@disco.unimib.it A.A. 2009/2010 Catene di Markov Applicazioni: Fisica dinamica dei sistemi Web simulazione del comportamento utente Biologia evoluzione delle
DettagliIndice. Prefazione. Capitolo 1 Introduzione 1. Capitolo 2 Livello applicazione 30
Prefazione XI Capitolo 1 Introduzione 1 1.1 Internet: una panoramica 2 1.1.1 Le reti 2 1.1.2 Commutazione (switching) 4 1.1.3 Internet 6 1.1.4 L accesso a Internet 6 1.1.5 Capacità e prestazioni delle
DettagliIndice. pag. 15. Prefazione. Introduzione» 17
Indice Prefazione 15 Introduzione 17 1. Pianificazione della qualità 1.1. Il concetto di 6 sigma 1.1.1. Le aree e le fasi del sei sigma 1.2. I processi produttivi e la variabilità 1.2.1. Cause comuni 1.2.2.
DettagliRealizzazione di un Tool per l iniezione automatica di difetti all interno di codice Javascript
tesi di laurea di difetti all interno di codice Javascript Anno Accademico 2009/2010 relatore Ch.mo prof. Porfirio Tramontana correlatore Ch.mo ing. Domenico Amalfitano candidato Vincenzo Riccio Matr.
DettagliProgetto I-MULE www.progetto-imule.it
Progetto I-MULE www.progetto-imule.it Motivazioni e finalità! criticità dei sistemi di smistamento e instradamento dei bagagli mediante nastri trasportatori in ambito aeroportuale! costosi, ingombranti,
Dettagli1 Le equazioni di Maxwell e le relazioni costitutive 1 1.1 Introduzione... 1 1.2 Richiami sugli operatori differenziali...... 4 1.2.1 Il gradiente di uno scalare... 4 1.2.2 La divergenza di un vettore...
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
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
DettagliCapitolo 1. Profilo finanziario degli investimenti 1
Indice Prefazione Introduzione XIII XV Capitolo 1. Profilo finanziario degli investimenti 1 1.1 Definizione e tipologie di investimento 1 1.1.1 Caratteristiche degli investimenti produttivi 3 1.1.2 Caratteristiche
DettagliValutazione delle Prestazioni Dipartimento di Informatica Università di Torino. Matteo Sereno
Valutazione delle Prestazioni Dipartimento di Informatica Università di Torino Matteo Sereno Workshop Qualita' del Servizio nei Sistemi Geograficamente Distribuiti 9-10 Giugno 2004 Roma 1 Outline Breve
DettagliPrelazione. Lista delle Figure. Lista delle Tabelle
Indice Prelazione Indice Lista delle Figure Lista delle Tabelle VI IX XV XVI 1 Nozioni Introduttive 1 1.1 Inferenza Statistica 1 1.2 Campionamento 5 1.3 Statistica e Probabilità 7 1.4 Alcuni Problemi e
DettagliCORSO WET 462 Amministrazione di database SQL Server 2012
CORSO WET 462 Amministrazione di database SQL Server 2012 Struttura e durata del corso Scheda informativa Il corso ha la durata di 24 ore ed è distribuito nell arco di un mese: 6 incontri da 4 ore ciascuno.
DettagliBarriere assorbenti nelle catene di Markov e una loro applicazione al web
Università Roma Tre Facoltà di Scienze M.F.N Corso di Laurea in Matematica a.a. 2001/2002 Barriere assorbenti nelle catene di Markov e una loro applicazione al web Giulio Simeone 1 Sommario Descrizione
DettagliINGEGNERIA DEL SOFTWARE. Prof. Paolo Salvaneschi
Università di Bergamo Facoltà di Ingegneria Corso di Laurea in Ingegneria Informatica INGEGNERIA DEL SOFTWARE Prof. Paolo Salvaneschi 1 Obiettivi Scopi del corso: - Fornire gli elementi di base della disciplina,
DettagliCalcolo delle Probabilità A.A. 2013/2014 Corso di Studi in Statistica per l Analisi dei dati Università degli Studi di Palermo
Calcolo delle Probabilità A.A. 2013/2014 Corso di Studi in Statistica per l Analisi dei dati Università degli Studi di Palermo docente Giuseppe Sanfilippo http://www.unipa.it/sanfilippo giuseppe.sanfilippo@unipa.it
DettagliCiclo di vita dimensionale
aprile 2012 1 Il ciclo di vita dimensionale Business Dimensional Lifecycle, chiamato anche Kimball Lifecycle descrive il framework complessivo che lega le diverse attività dello sviluppo di un sistema
DettagliTesi di Laurea Specialistica EMULAZIONE DI EFFETTI WAN NELLA VALUTAZIONE DELLE PRESTAZIONI DI SERVER WEB. Candidato Emiliano Zeppa.
Tesi di Laurea Specialistica EMULAZIONE DI EFFETTI WAN NELLA VALUTAZIONE DELLE PRESTAZIONI DI SERVER WEB Candidato Emiliano Zeppa Relatore Chiar.mo Prof. Salvatore Tucci Correlatore Dr. Valeria Cardellini
DettagliIndice. Notazioni generali
Indice Notazioni generali XIII 1 Derivati e arbitraggi 1 1.1 Opzioni 1 1.1.1 Finalità 3 1.1.2 Problemi 4 1.1.3 Leggi di capitalizzazione 4 1.1.4 Arbitraggi e formula di Put-Call Parity 5 1.2 Prezzo neutrale
DettagliUniversità degli Studi di Parma Facoltà di Scienze MM. FF. NN. Corso di Laurea in Informatica. Ingegneria del Software.
Università degli Studi di Parma Facoltà di Scienze MM. FF. NN. Corso di Laurea in Informatica Ingegneria del Software La fase di Test Giulio Destri Ing. del Software: Test - 1 Scopo del modulo Definire
Dettagli13.9.2. Metodologia di controllo dei costi per centro di costo. 13.9.3. Un esempio di budget in un azienda di servizi alberghieri
1. L IMPRENDITORE E IL GOVERNO DELLA GESTIONE 1.1. L impresa e l ambiente in cui opera pag. 3 1.2. L impatto dei fattori esterni pag. 5 1.3. Il controllo dei fattori aziendali pag. 8 2. IL SISTEMA DI PIANIFICAZIONE
DettagliINDICE 22-02-2005 15:25 Pagina V. Indice
INDICE 22-02-2005 15:25 Pagina V Indice Gli autori XIII XVII Capitolo 1 I sistemi informativi aziendali 1 1.1 INTRODUZIONE 1 1.2 IL MODELLO INFORMATICO 3 1.2.1. Il modello applicativo 3 Lo strato di presentazione
DettagliParte 4. Progettazione di una simulazione
Parte 4 Progettazione di una simulazione Fasi di uno studio di simulazione l approccio a cascata Problema Analisi e validazione Progettazione e test Sistema Modello concettuale Programma di simulazione
DettagliL IMPRENDITORE E IL GOVERNO DELLA GESTIONE
1. L IMPRENDITORE E IL GOVERNO DELLA GESTIONE 1.1. L impresa e l ambiente in cui opera pag. 3 1.2. L impatto dei fattori esterni pag. 5 1.3. Il controllo dei fattori aziendali pag. 8 2. IL SISTEMA DI PIANIFICAZIONE
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
DettagliStrategie per il miglioramento dei log applicativi basate su Software Fault Injection
tesi di laurea Anno Accademico 2010/2011 relatore Ch.mo prof. Marcello Cinque correlatore Ing. Roberto Natella candidato Daniele Esposito Matr. 534/003280 Introduzione Software Fault: difetti presenti
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
DettagliUNIVERSITÀ DEGLI STUDI DI MILANO-BICOCCA A. A. 2008-2009 FACOLTÀ DI ECONOMIA. Programma del modulo di STATISTICA I (6 crediti)
UNIVERSITÀ DEGLI STUDI DI MILANO-BICOCCA A. A. 2008-2009 FACOLTÀ DI ECONOMIA Programma del modulo di STATISTICA I (6 crediti) ECOCOM (lettere A-Lh): ECOCOM (lettere Li-Z): ECOBAN: ECOAMM (Lettere A-Lh):
DettagliPROGRAMMA SVOLTO A. SC. 2014 2015 classe III W. Conoscenze, abilità e competenze. Conoscere:
Ministero dell Istruzione, dell Università e della Ricerca Ufficio Scolastico Regionale per la Sardegna ISTITUTO DI ISTRUZIONE SUPERIORE BUCCARI MARCONI Indirizzi: Trasporti Marittimi / Apparati ed Impianti
DettagliGestione della Sicurezza Informatica
Gestione della Sicurezza Informatica La sicurezza informatica è composta da un organizzativinsieme di misure di tipo: tecnologico o normativo La politica di sicurezza si concretizza nella stesura di un
DettagliIl Cruscotto delle performance sviluppato nell ambito del Progetto Elistat
Il Cruscotto delle performance sviluppato nell ambito del Progetto Elistat 1 Elistat e la Riforma Brunetta Il principale obiettivo del progetto Elistat è stato quello di definire un sistema integrato di
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
DettagliISTITUTO ISTRUZIONE SUPERIORE "L. EINAUDI" ALBA ANNO SCOLASTICO 2015/2016
ISTITUTO ISTRUZIONE SUPERIORE "L. EINAUDI" ALBA ANNO SCOLASTICO 2015/2016 CLASSE 3 I Discip lina: Elettrotecnica ed Elettronica PROGETTAZIONE DIDATTICA ANNUALE Elaborata e sottoscritta dai docenti: cognome
DettagliSCELTA DEL TEST DA ESEGUIRE
SCELTA DEL TEST DA ESEGUIRE Tenete il passo dei cicli di rilascio sempre più veloci. Scoprite l automazione con il tocco umano. ESECUZIONE DI UN TEST 26032015 Test funzionali Con Borland, tutti i membri
DettagliCENNI DI METODI STATISTICI
Corso di Laurea in Ingegneria Aerospaziale CENNI DI METODI STATISTICI Docente: Page 1 Page 2 Page 3 Due eventi si dicono indipendenti quando il verificarsi di uno non influisce sulla probabilità di accadimento
DettagliIng. Simone Giovannetti
Università degli Studi di Firenze Dipartimento di Elettronica e Telecomunicazioni Ing. Simone Giovannetti Firenze, 29 Maggio 2012 1 Incertezza di Misura (1/3) La necessità di misurare nasce dall esigenza
DettagliLSF. lab solution LOG SYSTEM FRAMEWORK. Pagina 1 di 14
LOG SYSTEM FRAMEWORK Pagina 1 di 14 Introduzione Il logging è una componente importante del ciclo di sviluppo del codice. Log System Framework fornisce precise informazioni circa il contesto di esecuzione
DettagliWealth Risk Management: il controllo del rischio e la tutela dell investitore
Wealth Risk Management: il controllo del rischio e la tutela dell investitore Workshop Milano,12 giugno 2012 Agenda Tendenze del mercato Wealth Risk Management Framework di riferimento Leve del cambiamento
DettagliIL BENCHMARKING POSIZIONAMENTO DELL AZIENDA NELLO SPAZIO
IL BENCHMARKING POSIZIONAMENTO DELL AZIENDA NELLO SPAZIO IL BENCHMARKING: DEFINIZIONE PROCESSO CONTINUO DI MISURAZIONE DEI PRODOTTI- SERVIZI-PROCESSI ATTRAVERSO IL CONFRONTO CON I MIGLIORI CONCORRENTI
DettagliUno strumento per il deployment automatico di performance test su piattaforme per la distribuzione di dati
tesi di laurea Anno Accademico 2006/2007 relatore Ch.mo prof. Domenico Controneo correlatore Ing. Christiancarmine Esposito candidato Antonella Niola Matr. 534/158 .:: Contesto ::. www.cosmiclab.it Il
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
DettagliIngegneria del Software
Ingegneria del Software Testing - Tecniche di Collaudo del Software Collaudabilità Un attributo di qualità del software E il grado di semplicità con cui il software può essere collaudato Si compone di
DettagliLe catene di Markov come metodologia utilizzata dai motori di ricerca per classificare le pagine web su internet.
Università degli Studi di Palermo Facoltà di Economia Dipartimento di Scienze Statistiche e Matematiche S. Vianelli Dottorato di Ricerca in Statistica e Finanza Quantitativa - XXI Ciclo Sergio Salvino
Dettaglipenetration test (ipotesi di sviluppo)
penetration test (ipotesi di sviluppo) 1 Oggetto... 3 2 Premesse... 3 3 Attività svolte durante l analisi... 3 3.1 Ricerca delle vulnerabilità nei sistemi... 4 3.2 Ricerca delle vulnerabilità nelle applicazioni
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
DettagliBLU.Energy Tecnologia & Servizi gestiti
BLU.Energy Tecnologia & Servizi gestiti Il vantaggio competitivo derivante da una scelta tecnologicamente avanzata Tecnologia e Servizi gestiti Sommario ü Obiettivi del documento ü Caratteristiche tecniche
DettagliTecniche di Bridge Management nella manutenzione di infrastrutture autostradali
Tecniche di Bridge Management nella manutenzione di infrastrutture autostradali Le attività di Bridge Management di Sineco Sineco esegue attività di Bridge Management per conto di 5 concessionarie autostradali
DettagliUn architettura per la gestione dei log di applicazioni distribuite
tesi di laurea Anno Accademico: 2007/2008 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Antonio Strano candidato Renato Riccio Matr. 534/2116 Contesto applicativo e problematiche Applicazioni
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
DettagliParte 1 La strategia di espansione internazionale
Prefazione alla seconda edizione Autori Ringraziamenti dell Editore XIII XVI XVIII Parte 1 La strategia di espansione internazionale Capitolo 1 L internazionalizzazione delle imprese: scenari e tendenze
Dettagli3.1 ESERCIZI DI RIEPILOGO
3 3.1 ESERCIZI DI RIEPILOGO Esercizio 3.1.1 Dato un sistema M/M/2 con frequenza media di arrivo pari a λ e velocità di servizio pari a µ, con λ < 2µ Scrivere le equazioni di Kolmogorov relative al processo
DettagliCiclo economico e qualità del credito retail: applicazione e risultati di un modello di Stress Testing
Ciclo economico e qualità del credito retail: applicazione e risultati di un modello di Stress Testing Silvia Ghielmetti CRIF Decision Solutions, Direttore Francesco Diurni CRIF Decision Solutions IX Convention
DettagliIndice. Introduzione PARTE PRIMA L ARCHITETTURA DEI DATABASE 1
Indice Introduzione XI PARTE PRIMA L ARCHITETTURA DEI DATABASE 1 Capitolo 1 Introduzione all architettura di Oracle 3 1.1 I database e le istanze 3 1.2 Installazione del software 9 1.3 Creazione di un
DettagliValutazione delle prestazioni e Sistemi Distribuiti Dipartimento di Informatica Universita del Piemonte Orientale
Valutazione delle prestazioni e Sistemi Distribuiti Dipartimento di Informatica Universita del Piemonte Orientale Cosimo Anglano cosimo.anglano@mfn.unipmn.it Roma, 9-10 Giugno 2004 Composizione del gruppo
DettagliUn approccio innovativo alla tecnica di robustness testing del sistema operativo Linux
tesi di laurea Un approccio innovativo alla tecnica di robustness testing del sistema Anno Accademico 2009/2010 relatore Ch.mo prof. Domenico Cotroneo correlatori Ing. Domenico Di Leo Ing. Roberto Natella
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,
DettagliBusiness Process Management
Business Process Management Comprendere, gestire, organizzare e migliorare i processi di business Caso di studio a cura della dott. Danzi Francesca e della prof. Cecilia Rossignoli 1 Business process Un
DettagliMonitoraggio e performance: il ruolo del DBA manager e gli strumenti a supporto
Denis Monari Monitoraggio e performance: il ruolo del DBA manager e gli strumenti a supporto Cinisello Balsamo, 26 novembre 2013 AGENDA Performance, servizi e risorse Tre scenari a crescente complessità
DettagliPROGETTAZIONE DI SISTEMI QUALITÀ E AFFIDABILITÀ DEL PRODOTTO
PROGETTAZIONE DI SISTEMI QUALITÀ E AFFIDABILITÀ DEL PRODOTTO 1 Direttore Antonio CASTELLANI Sistemista Spazio e Difesa Comitato scientifico Sergio DI VEROLI Telebit S.r.l. Elsayed Ali ELSAYED The State
DettagliCentro Studi ANMCO Fondazione per il Tuo cuore HCF onlus
AGENDA Corso di formazione su metodologia, strategie e tecniche della Ricerca clinica Firenze Centro Studi ANMCO Fondazione per il Tuo cuore HCF onlus Modulo 1 Ottobre 2015 Metodologia della Ricerca clinica
DettagliMetodi statistici per i mercati finanziari (10 CFU - 60 ore)
Metodi statistici per i mercati finanziari (10 CFU - 60 ore) Luigi Grossi luigi.grossi@univr.it http://www.economia.univr.it/fol/main?ent=persona&id=3862 Programma del corso 1. Prezzi, rendimenti e numeri
DettagliImplementazione parallela di algoritmi genetici per la stima di HMM
Università degli Studi di Trieste Implementazione parallela di algoritmi genetici per la stima di HMM Relatore Enzo Mumolo Candidato Nicola Timeus 14 marzo 2014 Motivazioni Pattern recognition mediante
DettagliISTITUTO TECNICO INDUSTRIALE STATALE "G. MARCONI" Via Milano n. 51-56025 PONTEDERA (PI) DIPARTIMENTO: Discipline Informatiche
PROGRAMMAZIONE COORDINATA TEMPORALMENTE Monte ore annuo 99 Libro di Testo Barbero, Vaschetto - Corso di Informatica - terzo anno Ed. Pearson SETTEMBRE OTTOBRE Modulo 0 : CODIFICA INFORMAZIONI Rappresentazione
DettagliITI M. FARADAY Programmazione modulare a.s. 2014-2015
Indirizzo: INFORMATICA E TELECOMUNICAZIONI Disciplina: Informatica Docente:Maria Teresa Niro Classe: Quinta B Ore settimanali previste: 6 (3 ore Teoria - 3 ore Laboratorio) ITI M. FARADAY Programmazione
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
DettagliTeoria ed esercitazioni di Automazione Industriale
POLITECNICO DI TORINO Dipartimento di Automatica e Informatica Fabio Balduzzi Teoria ed esercitazioni di Automazione Industriale Diploma Universitario a Distanza in Ingegneria Logistica e della Produzione
DettagliAFFIDABILITA DEI SISTEMI
AFFIDABILITA DEI SISTEMI STOCASTICI (complessi) Esercizio: Si assuma che i collegamenti tra una centrale elettrica e una città siano costituite da tre linee collegate in serie i cui tempi di funzionamento
DettagliA.A. 2014-2015. Obiettivi formativi del CI di Metodologia epidemiologica OBIETTIVO GENERALE
A.A. 2014-2015 Obiettivi formativi del CI di Metodologia epidemiologica OBIETTIVO GENERALE Utilizzare gli strumenti epidemiologici e statistici appropriati per ridurre l'area dell'incertezza nella rilevazione
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
DettagliSeminari Eucip, Esercizio e Supporto di Sistemi Informativi
Seminari Eucip, Esercizio di Sistemi Informativi Service Delivery and Support Dipartimento di Informtica e Sistemistica Università di Roma La Sapienza ITIL.1 Relazioni con il.2 Pianificazione.3 Gestione
DettagliQuality gate. Sono eventi programmati regolarmente e condotti seguendo una procedura standard
Quality gate Nei punti chiave del processo di sviluppo del software, viene integrato un insieme di quality gate per monitorare la qualità del prodotto intermedio prima che quest ultimo possa passare al
Dettagli