Improving the Reliability of Decision-Support Systems for Nuclear Emergency Management Using Software Diversity Methods
|
|
|
- Whitney Dorsey
- 10 years ago
- Views:
Transcription
1 Improving the Reliability of Decision-Support Systems for Nuclear Emergency Management Using Software Diversity Methods Tudor B. Ionescu, Eckart Laurien, Walter Scheuermann Institute of Nuclear Technology and Energy Systems Stuttgart, Germany 16th International Conference on Harmonisation within Atmospheric Dispersion Modelling for Regulatory Purposes 8-11 September 2014, Varna, Bulgaria
2 Taking Counter-Measures in Nuclear Emergencies Resources are limited Time is critical Emission data is scarce... (unknown factors) Responsibility of BW government: 100 km (ca km 2, 100Ks of people) Can decision-makers trust the results of a simulationbased DSNE system in emergency situations? Fukushima: SPEEDI system was not used effectively Source: Japanese Diet s Report on Fukushima
3 Motivation NASA-STD B standard for safety-critical software, paragraph a: As soon as the software processes data or analyzes trends that lead directly to safety decisions it must be considered safety critical DSNE systems are safety-critical From a Software Engineering point of view Complexity is the main cause of software faults Model refinements introduce more complexity into the simulation codes (Example: from 2D to 3D) Codes contain an unknown number of software faults How to improving the reliability of dispersion codes? How to increasing the trustworthiness of dispersion simulation results?
4 Software Reliability Engineering (SRE) Single version software reliability methods Fault prevention Coding standards, software metrics Fault removal Unit and integration testing Initial verification of codes Fault prevention & removal Multi-version software reliability methods Error detection and confinement Acceptance tests Recovery Blocks Continuous verification of codes Continuous Verification
5 a.) Recovery Blocks and b.) N-Version Programming Rationale: software build differently is more likely to fail differently. Adjudicator (or voter)
6 From Models to Simulation Codes Gaussian Plume Model Lagrange Particle Model Puff Models Simulation code C 1 Simulation code C 2 Simulation code C 3 Input data and parameters: [P, d P ] Results C 1 [R 1, d R ] Results C 2 [R 2, d R ] Results C 3 [R 3, d R ]
![2 Simulation code C 3 Input data and parameters: [P, d P ]](/docs-images/43/1072918/images/page_6.jpg "Results C 1 [R 1, d R ] Results C 2 [R 2, d R ] Results C 3 [R")
7 Disperison codes and N-Version Programming Example: RODOS (Real-time Online Decision Support System for nuclear emergency management) ATSTEP (Karlsruhe Institute of Technology) Puff model with time-integrated elongated puffs DIPCOT (National Centre for Scientific Research Demokritos, Greece) Lagrange particle model RIMPUFF (Risø DTU National Laboratory, Denmark) Puff model Prerequisites for N-Version programming: Developed by completely independent teams Attempt to solve the transport equation numerically (same software requirements)
8 Comparing Dispersion Simulation Results Problem: How to compare individual results? Inherent model differences Continuous mathematical space Idea: Compare taxonomies of results instead of individual results Discrete mathematical space RIMPUFF DIPCOT
9 Reference Input Case Ensemble 24 input cases with varying parameters Wind speed (1 8 m/s) and direction (0 360 ) Diffusion (A-F) and release category (F1 F8) KKP-2 Diffusion category Wind direction Release category Wind speed
10 A Voter for Dispersion Simulation Results The transport equation is a deterministic model (monotonicity, distance preservation) C k : [P, d p ] [R k, d R ] Isometric map (distance preserving function) Taxonomies of results will be identical if and only if codes correctly implement models
![] [R k, d R ] Isometric map (distance preserving function) Taxonomies](/docs-images/43/1072918/images/page_10.jpg "of results will be identical if and only if codes correctly implement")
11 A Metric for Dispersion Simulation Results Dispersion simulation results = distributions of continuous variables in a finite space Residual sum of squares: j Observed values (Results of C 1 ) j Estimated values (Results of C 2 ) i i r 1 (t) r 2 (t) Generalized RSS: d R (r 1,r 2 ) = 0 < p 1 p < 0.5 concentration of emitted substance is dominant p 0.5 wind speed and direction are dominant
12 Building and Comparing Taxonomies of Results 1. Run simulations on reference input case ensemble using different simulation codes (e.g., ATSTEP, DIPCOT, RIMPUFF) 2. Compute distance matrix using GRSS on dispersion simulation results 3. Hierarchical clustering (centroid method) taxonomies of results 4. Compute the topological distance between taxonomic trees: RF(T 1,T 2 ) max RF(N) = 2N-6 max RF(24) = 42 (Lagrange model) T 1 T 2 (Puff model) 24x24 distance matrix computed using the GRSS metric for the gamma submersion dose results from RIMPUFF
13 A Taxonomy-Based Voter for Dispersion Simulation Results Simulation code ATSTEP_v1(v2) Simulation code DIPCOT_v1(v2) Simulation code RIMPUFF_v1(v2) Input data and parameters: A270B180 A270B180 A270B180 A270B180 Strict Consensus
14 A Taxonomy-Based Voter for Dispersion Simulation Results Simulation code ATSTEP_v1(v2) Simulation code DIPCOT_v1(v2) Simulation code RIMPUFF_v1(v2) Input data and parameters: A270B180 A270B180 A270B180 A270B180 Majority Consensus
15 A Taxonomy-Based Voter for Dispersion Simulation Results Simulation code ATSTEP_v1(v2) Simulation code DIPCOT_v1(v2) Simulation code RIMPUFF_v1(v2) Input data and parameters: A270B180 A270B180 A270B180 A270B180 Disagreement
16 An Acceptance Test for Dispersion Simulation Results Source: Leitfaden für den Fachberater Strahlenschutz der Katastrophenschutzleitung bei kerntechnischen Notfällen Gausian boundary condition 7/10 4/10 2/10 1/10 Maximum dispersion factor
17 An Acceptance Test for Dispersion Simulation Results Weibull distribution: Acceptance test: Check if empirical distribution (from results) fits the hypothetical distribution by means of a goodness of fit test (Kolmogorov-Smirnov).
18 Experimental Validation of the Approach Two versions of the RODOS system RODOS_v1 (ATSTEP_v1, DIPCOT_v1, RIMPUFF_v1) Bug fixing and improvements brought to the system RODOS_v2 (ATSTEP_v2, DIPCOT_v2, RIMPUFF_v2) Reference input case ensemble (24 cases) Extended input case ensemble with rotating wind (24 cases)
19 Results: Kolmogorov-Smirnov Test RODOS_v2 Improves over RODOS_v1 in 4 out of 6 cases RIMPUFF handles wind rotation better than constant wind direction
20 Results: Taxonomy-Based Voter RODOS_v2 No cases of disagreement More cases of strict and majority consensus
21 Results: Taxonomy Voter & Acceptance Test RODOS_v2 No cases of disagreement Many more cases of consensus
22 Conclusion The acceptance test and the taxonomy-based voter are sensitive to the improvements brought to the RODOS system Fully automated software metrics for the continuous verification of dispersion simulation codes Complementary to visual inspection and other means of verification Can be used for Model/code inter-comparisons based on many input cases Ensemble-based dispersion modelling systems Source code available
23 Visualization of Kolmogorov-Smirnov Test Results Generated in R (statistical computing) Quantile-quantile plot
24 Workflow for a dispersion forecasting system supporting functionally redundant simulation codes and continuous verification of results.
25 Monotonicity of Time-Integrated Doses
Operational Use of Atmospheric Dispersion Models for Emergency Response in Denmark Assessing Consequences of the Fukushima Daiichi Accident
Operational Use of Atmospheric Dispersion Models for Emergency Response in Denmark Assessing Consequences of the Fukushima Daiichi Accident Steen Cordt Hoe 1, Jens Havskov Sørensen 2, Ulrik Smith Korsholm
Management and Interpretation of Real-time Data Collected by US EPA s Environmental Air Radiation Monitoring Network (RadNet)
Management and Interpretation of Real-time Data Collected by US EPA s Environmental Air Radiation Monitoring Network (RadNet) National Environmental Monitoring Conference Big Data: Environmental Measurement
Overset Grids Technology in STAR-CCM+: Methodology and Applications
Overset Grids Technology in STAR-CCM+: Methodology and Applications Eberhard Schreck, Milovan Perić and Deryl Snyder [email protected] [email protected] [email protected]
What is Modeling and Simulation and Software Engineering?
What is Modeling and Simulation and Software Engineering? V. Sundararajan Scientific and Engineering Computing Group Centre for Development of Advanced Computing Pune 411 007 [email protected] Definitions
Graduate Certificate Program in Energy Conversion & Transport Offered by the Department of Mechanical and Aerospace Engineering
Graduate Certificate Program in Energy Conversion & Transport Offered by the Department of Mechanical and Aerospace Engineering Intended Audience: Main Campus Students Distance (online students) Both Purpose:
Application of Numerical Weather Prediction Models for Drought Monitoring. Gregor Gregorič Jožef Roškar Environmental Agency of Slovenia
Application of Numerical Weather Prediction Models for Drought Monitoring Gregor Gregorič Jožef Roškar Environmental Agency of Slovenia Contents 1. Introduction 2. Numerical Weather Prediction Models -
Univariate Regression
Univariate Regression Correlation and Regression The regression line summarizes the linear relationship between 2 variables Correlation coefficient, r, measures strength of relationship: the closer r is
Clustering UE 141 Spring 2013
Clustering UE 141 Spring 013 Jing Gao SUNY Buffalo 1 Definition of Clustering Finding groups of obects such that the obects in a group will be similar (or related) to one another and different from (or
Fast Multipole Method for particle interactions: an open source parallel library component
Fast Multipole Method for particle interactions: an open source parallel library component F. A. Cruz 1,M.G.Knepley 2,andL.A.Barba 1 1 Department of Mathematics, University of Bristol, University Walk,
亞 太 風 險 管 理 與 安 全 研 討 會
2005 亞 太 風 險 管 理 與 安 全 研 討 會 Asia-Pacific Conference on Risk Management and Safety Zonal Network Platform (ZNP): Applications of a state-of-the-art deterministic CFD based scientific computing tool for
EXPERIMENTAL ERROR AND DATA ANALYSIS
EXPERIMENTAL ERROR AND DATA ANALYSIS 1. INTRODUCTION: Laboratory experiments involve taking measurements of physical quantities. No measurement of any physical quantity is ever perfectly accurate, except
Interactive simulation of an ash cloud of the volcano Grímsvötn
Interactive simulation of an ash cloud of the volcano Grímsvötn 1 MATHEMATICAL BACKGROUND Simulating flows in the atmosphere, being part of CFD, is on of the research areas considered in the working group
Basel II: Operational Risk Implementation based on Risk Framework
Systems Ltd General Kiselov 31 BG-9002 Varna Tel. +359 52 612 367 Fax +359 52 612 371 email [email protected] WEB: www.eurorisksystems.com Basel II: Operational Risk Implementation based on Risk
KEANSBURG SCHOOL DISTRICT KEANSBURG HIGH SCHOOL Mathematics Department. HSPA 10 Curriculum. September 2007
KEANSBURG HIGH SCHOOL Mathematics Department HSPA 10 Curriculum September 2007 Written by: Karen Egan Mathematics Supervisor: Ann Gagliardi 7 days Sample and Display Data (Chapter 1 pp. 4-47) Surveys and
Electric Energy Systems
Electric Energy Systems Electric Energy Systems seeks to explore methods at the frontier of understanding of the future electric power and energy systems worldwide. The track will focus on the electric
Data Mining Cluster Analysis: Basic Concepts and Algorithms. Lecture Notes for Chapter 8. Introduction to Data Mining
Data Mining Cluster Analysis: Basic Concepts and Algorithms Lecture Notes for Chapter 8 Introduction to Data Mining by Tan, Steinbach, Kumar Tan,Steinbach, Kumar Introduction to Data Mining 4/8/2004 Hierarchical
Alessandro Birolini. ineerin. Theory and Practice. Fifth edition. With 140 Figures, 60 Tables, 120 Examples, and 50 Problems.
Alessandro Birolini Re ia i it En ineerin Theory and Practice Fifth edition With 140 Figures, 60 Tables, 120 Examples, and 50 Problems ~ Springer Contents 1 Basic Concepts, Quality and Reliability Assurance
Design of High Availability Systems & Software
HighAv - Version: 2 21 June 2016 Design of High Availability Systems & Software Design of High Availability Systems & Software HighAv - Version: 2 2 days Course Description: This course examines the high-level
Masters of Science Program in Environmental and Renewable Energy Engineering
Masters of Science Program in Environmental and Renewable Energy Engineering Courses Description ERE 721 Applied Mathematics for Engineers, 3 Crs. Vector differential operators, computing multiple integrals
MetFetch: Automated Meteorological Data Retrieval for Fast-Running Emergency Response Codes
MetFetch: Automated Meteorological Data Retrieval for Fast-Running Emergency Response Codes 18 th Annual George Mason University Conference on Atmospheric Transport and Dispersion Modeling June 25, 2014
Chapter Test B. Chapter: Measurements and Calculations
Assessment Chapter Test B Chapter: Measurements and Calculations PART I In the space provided, write the letter of the term or phrase that best completes each statement or best answers each question. 1.
ME6130 An introduction to CFD 1-1
ME6130 An introduction to CFD 1-1 What is CFD? Computational fluid dynamics (CFD) is the science of predicting fluid flow, heat and mass transfer, chemical reactions, and related phenomena by solving numerically
AN INTRODUCTION TO NUMERICAL METHODS AND ANALYSIS
AN INTRODUCTION TO NUMERICAL METHODS AND ANALYSIS Revised Edition James Epperson Mathematical Reviews BICENTENNIAL 0, 1 8 0 7 z ewiley wu 2007 r71 BICENTENNIAL WILEY-INTERSCIENCE A John Wiley & Sons, Inc.,
Master of Science in Computer Science
Master of Science in Computer Science Background/Rationale The MSCS program aims to provide both breadth and depth of knowledge in the concepts and techniques related to the theory, design, implementation,
Response of SCK CEN to the Fukushima Nuclear Accident in the Context of the Protection of Belgian Citizens
MELODI Workshop, 8-10 October 2013, Brussels Response of to the Fukushima Nuclear Accident in the Context of the Protection of Belgian Citizens Johan Camps Crisis Management and Decision support unit Belgian
OPTIMIZATION OF VENTILATION SYSTEMS IN OFFICE ENVIRONMENT, PART II: RESULTS AND DISCUSSIONS
OPTIMIZATION OF VENTILATION SYSTEMS IN OFFICE ENVIRONMENT, PART II: RESULTS AND DISCUSSIONS Liang Zhou, and Fariborz Haghighat Department of Building, Civil and Environmental Engineering Concordia University,
The impact of window size on AMV
The impact of window size on AMV E. H. Sohn 1 and R. Borde 2 KMA 1 and EUMETSAT 2 Abstract Target size determination is subjective not only for tracking the vector but also AMV results. Smaller target
MATHEMATICAL METHODS OF STATISTICS
MATHEMATICAL METHODS OF STATISTICS By HARALD CRAMER TROFESSOK IN THE UNIVERSITY OF STOCKHOLM Princeton PRINCETON UNIVERSITY PRESS 1946 TABLE OF CONTENTS. First Part. MATHEMATICAL INTRODUCTION. CHAPTERS
VIII.1 Hydrogen Behavior and Quantitative Risk Assessment
VIII.1 Hydrogen Behavior and Quantitative Risk Assessment Katrina Groth (Primary Contact), Ethan Hecht, Chris LaFleur, Alice Muna, John Reynolds (SAIC) Sandia National Laboratories (SNL) P.O. Box 5800
Doctor of Philosophy in Computer Science
Doctor of Philosophy in Computer Science Background/Rationale The program aims to develop computer scientists who are armed with methods, tools and techniques from both theoretical and systems aspects
Calculating the Probability of Returning a Loan with Binary Probability Models
Calculating the Probability of Returning a Loan with Binary Probability Models Associate Professor PhD Julian VASILEV (e-mail: [email protected]) Varna University of Economics, Bulgaria ABSTRACT The
How To Identify Noisy Variables In A Cluster
Identification of noisy variables for nonmetric and symbolic data in cluster analysis Marek Walesiak and Andrzej Dudek Wroclaw University of Economics, Department of Econometrics and Computer Science,
The Scientific Data Mining Process
Chapter 4 The Scientific Data Mining Process When I use a word, Humpty Dumpty said, in rather a scornful tone, it means just what I choose it to mean neither more nor less. Lewis Carroll [87, p. 214] In
4.12 Improving wind profiler data recovery in non-uniform precipitation using a modified consensus algorithm
4.12 Improving wind profiler data recovery in non-uniform precipitation using a modified consensus algorithm Raisa Lehtinen 1, Daniel Gottas 2, Jim Jordan 3, Allen White 2 1 Vaisala Inc, Boulder, Colorado,
Monitoring of Complex Industrial Processes based on Self-Organizing Maps and Watershed Transformations
Monitoring of Complex Industrial Processes based on Self-Organizing Maps and Watershed Transformations Christian W. Frey 2012 Monitoring of Complex Industrial Processes based on Self-Organizing Maps and
Condition and Reliability Prediction Models using the Weibull Probability Distribution
Condition and Reliability Prediction Models using the Weibull Probability Distribution M.N. Grussing 1, D.R. Uzarski 2 and L.R. Marrano 3 1 Engineer Research and Development Center - Construction Engineering
Guidance for Industry
Guidance for Industry Q2B Validation of Analytical Procedures: Methodology November 1996 ICH Guidance for Industry Q2B Validation of Analytical Procedures: Methodology Additional copies are available from:
Iterative Solvers for Linear Systems
9th SimLab Course on Parallel Numerical Simulation, 4.10 8.10.2010 Iterative Solvers for Linear Systems Bernhard Gatzhammer Chair of Scientific Computing in Computer Science Technische Universität München
Online Appendix to Social Network Formation and Strategic Interaction in Large Networks
Online Appendix to Social Network Formation and Strategic Interaction in Large Networks Euncheol Shin Recent Version: http://people.hss.caltech.edu/~eshin/pdf/dsnf-oa.pdf October 3, 25 Abstract In this
CHOOSING A COLLEGE. Teacher s Guide Getting Started. Nathan N. Alexander Charlotte, NC
Teacher s Guide Getting Started Nathan N. Alexander Charlotte, NC Purpose In this two-day lesson, students determine their best-matched college. They use decision-making strategies based on their preferences
EM Clustering Approach for Multi-Dimensional Analysis of Big Data Set
EM Clustering Approach for Multi-Dimensional Analysis of Big Data Set Amhmed A. Bhih School of Electrical and Electronic Engineering Princy Johnson School of Electrical and Electronic Engineering Martin
Introduction to General and Generalized Linear Models
Introduction to General and Generalized Linear Models General Linear Models - part I Henrik Madsen Poul Thyregod Informatics and Mathematical Modelling Technical University of Denmark DK-2800 Kgs. Lyngby
To define concepts such as distance, displacement, speed, velocity, and acceleration.
Chapter 7 Kinematics of a particle Overview In kinematics we are concerned with describing a particle s motion without analysing what causes or changes that motion (forces). In this chapter we look at
Data Mining Clustering (2) Sheets are based on the those provided by Tan, Steinbach, and Kumar. Introduction to Data Mining
Data Mining Clustering (2) Toon Calders Sheets are based on the those provided by Tan, Steinbach, and Kumar. Introduction to Data Mining Outline Partitional Clustering Distance-based K-means, K-medoids,
- particle with kinetic energy E strikes a barrier with height U 0 > E and width L. - classically the particle cannot overcome the barrier
Tunnel Effect: - particle with kinetic energy E strikes a barrier with height U 0 > E and width L - classically the particle cannot overcome the barrier - quantum mechanically the particle can penetrated
Load Balancing on a Non-dedicated Heterogeneous Network of Workstations
Load Balancing on a Non-dedicated Heterogeneous Network of Workstations Dr. Maurice Eggen Nathan Franklin Department of Computer Science Trinity University San Antonio, Texas 78212 Dr. Roger Eggen Department
HPC Deployment of OpenFOAM in an Industrial Setting
HPC Deployment of OpenFOAM in an Industrial Setting Hrvoje Jasak [email protected] Wikki Ltd, United Kingdom PRACE Seminar: Industrial Usage of HPC Stockholm, Sweden, 28-29 March 2011 HPC Deployment
National Radiation Air Monitoring Network National Environmental Monitoring Conference San Antonio -- August 6, 2013
National Radiation Air Monitoring Network National Environmental Monitoring Conference San Antonio -- August 6, 2013 Dan Askren & Scott Telofski National Analytical Radiation Environmental Laboratory Montgomery,
Geography 4203 / 5203. GIS Modeling. Class (Block) 9: Variogram & Kriging
Geography 4203 / 5203 GIS Modeling Class (Block) 9: Variogram & Kriging Some Updates Today class + one proposal presentation Feb 22 Proposal Presentations Feb 25 Readings discussion (Interpolation) Last
EAMS for Future Grids
EAMS for Future Grids Presenter: Nguyen Khanh-Loc Senior Consultant DNV GL Clean Technology Centre Singapore 1 SAFER, SMARTER, GREENER Objectives What is EAMS? Why EAMS? How EAMS helps? 2 DNV GL - Organized
Using multiple models: Bagging, Boosting, Ensembles, Forests
Using multiple models: Bagging, Boosting, Ensembles, Forests Bagging Combining predictions from multiple models Different models obtained from bootstrap samples of training data Average predictions or
Detecting Network Anomalies. Anant Shah
Detecting Network Anomalies using Traffic Modeling Anant Shah Anomaly Detection Anomalies are deviations from established behavior In most cases anomalies are indications of problems The science of extracting
QUANTITATIVE RISK ASSESSMENT FOR ACCIDENTS AT WORK IN THE CHEMICAL INDUSTRY AND THE SEVESO II DIRECTIVE
QUANTITATIVE RISK ASSESSMENT FOR ACCIDENTS AT WORK IN THE CHEMICAL INDUSTRY AND THE SEVESO II DIRECTIVE I. A. PAPAZOGLOU System Reliability and Industrial Safety Laboratory National Center for Scientific
Course Syllabus For Operations Management. Management Information Systems
For Operations Management and Management Information Systems Department School Year First Year First Year First Year Second year Second year Second year Third year Third year Third year Third year Third
Fusion Pro QbD-aligned DOE Software
Fusion Pro QbD-aligned DOE Software Statistical Experimental Design Analysis & Modeling Robustness Simulation Numerical & Graphical Optimization 2D, 3D, & 4D Visualization Graphics 100% aligned with Quality
Long Term Operation R&D to Investigate the Technical Basis for Life Extension and License Renewal Decisions
Long Term Operation R&D to Investigate the Technical Basis for Life Extension and License Renewal Decisions John Gaertner Technical Executive Electric Power Research Institute Charlotte, North Carolina,
Managing Linear Assets with Ventyx Ellipse
A Ventyx Whitepaper: Managing Linear Assets with Ventyx Ellipse Discover How Ventyx solutions Uniquely Meet the Requirements for Linear Asset Management Copyright 2012 Ventyx, An ABB Company. All rights
The Wind Integration National Dataset (WIND) toolkit
The Wind Integration National Dataset (WIND) toolkit EWEA Wind Power Forecasting Workshop, Rotterdam December 3, 2013 Caroline Draxl NREL/PR-5000-60977 NREL is a national laboratory of the U.S. Department
Chapter ML:XI (continued)
Chapter ML:XI (continued) XI. Cluster Analysis Data Mining Overview Cluster Analysis Basics Hierarchical Cluster Analysis Iterative Cluster Analysis Density-Based Cluster Analysis Cluster Evaluation Constrained
Assessment Plan for Learning Outcomes for BA/BS in Physics
Department of Physics and Astronomy Goals and Learning Outcomes 1. Students know basic physics principles [BS, BA, MS] 1.1 Students can demonstrate an understanding of Newton s laws 1.2 Students can demonstrate
DEPARTMENT OF PETROLEUM ENGINEERING Graduate Program (Version 2002)
DEPARTMENT OF PETROLEUM ENGINEERING Graduate Program (Version 2002) COURSE DESCRIPTION PETE 512 Advanced Drilling Engineering I (3-0-3) This course provides the student with a thorough understanding of
Statistical Distributions in Astronomy
Data Mining In Modern Astronomy Sky Surveys: Statistical Distributions in Astronomy Ching-Wa Yip [email protected]; Bloomberg 518 From Data to Information We don t just want data. We want information from
SYSTEMS, CONTROL AND MECHATRONICS
2015 Master s programme SYSTEMS, CONTROL AND MECHATRONICS INTRODUCTION Technical, be they small consumer or medical devices or large production processes, increasingly employ electronics and computers
RODOS: Decision Support System for Off-Site Emergency Management in Europe
BY0000337 RODOS: Decision Support System for Off-Site Emergency Management in Europe Ehrhardt, J., Shershakov, V.", Zheleznyak, M. 2>, Mikhalevich, A. 3 ' Forschungszentrum Karlsruhe, Institut fur Neutronenphysik
AN INTRODUCTION TO PHARSIGHT DRUG MODEL EXPLORER (DMX ) WEB SERVER
AN INTRODUCTION TO PHARSIGHT DRUG MODEL EXPLORER (DMX ) WEB SERVER Software to Visualize and Communicate Model- Based Product Profiles in Clinical Development White Paper July 2007 Pharsight Corporation
Service-oriented architectures (SOAs) support
C o v e r f e a t u r e On Testing and Evaluating Service-Oriented Software WT Tsai, Xinyu Zhou, and Yinong Chen, Arizona State University Xiaoying Bai, Tsinghua University, China As service-oriented architecture
O.F.Wind Wind Site Assessment Simulation in complex terrain based on OpenFOAM. Darmstadt, 27.06.2012
O.F.Wind Wind Site Assessment Simulation in complex terrain based on OpenFOAM Darmstadt, 27.06.2012 Michael Ehlen IB Fischer CFD+engineering GmbH Lipowskystr. 12 81373 München Tel. 089/74118743 Fax 089/74118749
ATTACHMENT 8: Quality Assurance Hydrogeologic Characterization of the Eastern Turlock Subbasin
ATTACHMENT 8: Quality Assurance Hydrogeologic Characterization of the Eastern Turlock Subbasin Quality assurance and quality control (QA/QC) policies and procedures will ensure that the technical services
CS 207 - Data Science and Visualization Spring 2016
CS 207 - Data Science and Visualization Spring 2016 Professor: Sorelle Friedler [email protected] An introduction to techniques for the automated and human-assisted analysis of data sets. These
Overview... 2. Accounting for Business (MCD1010)... 3. Introductory Mathematics for Business (MCD1550)... 4. Introductory Economics (MCD1690)...
Unit Guide Diploma of Business Contents Overview... 2 Accounting for Business (MCD1010)... 3 Introductory Mathematics for Business (MCD1550)... 4 Introductory Economics (MCD1690)... 5 Introduction to Management
Supporting document to NORSOK Standard C-004, Edition 2, May 2013, Section 5.4 Hot air flow
1 of 9 Supporting document to NORSOK Standard C-004, Edition 2, May 2013, Section 5.4 Hot air flow A method utilizing Computational Fluid Dynamics (CFD) codes for determination of acceptable risk level
A Building Life-Cycle Information System For Tracking Building Performance Metrics
LBNL-43136 LC-401 Proceedings of the 8 th International Conference on Durability of Building Materials and Components, May 30 - June 3, 1999, Vancouver, BC A Building Life-Cycle Information System For
Software Verification: Infinite-State Model Checking and Static Program
Software Verification: Infinite-State Model Checking and Static Program Analysis Dagstuhl Seminar 06081 February 19 24, 2006 Parosh Abdulla 1, Ahmed Bouajjani 2, and Markus Müller-Olm 3 1 Uppsala Universitet,
Quality Risk Management
PS/INF 1/2010 * * Quality Risk Management Quality Risk Management Implementation of ICH Q9 in the pharmaceutical field an example of methodology from PIC/S Document > Authors: L. Viornery (AFSSAPS) Ph.
Strategic Online Advertising: Modeling Internet User Behavior with
2 Strategic Online Advertising: Modeling Internet User Behavior with Patrick Johnston, Nicholas Kristoff, Heather McGinness, Phuong Vu, Nathaniel Wong, Jason Wright with William T. Scherer and Matthew
Is log ratio a good value for measuring return in stock investments
Is log ratio a good value for measuring return in stock investments Alfred Ultsch Databionics Research Group, University of Marburg, Germany, Contact: [email protected] Measuring the rate
Prerequisite: High School Chemistry.
ACT 101 Financial Accounting The course will provide the student with a fundamental understanding of accounting as a means for decision making by integrating preparation of financial information and written
WoPeD - An Educational Tool for Workflow Nets
WoPeD - An Educational Tool for Workflow Nets Thomas Freytag, Cooperative State University (DHBW) Karlsruhe, Germany [email protected] Martin Sänger, 1&1 Internet AG, Karlsruhe, Germany [email protected]
Audit Analytics. --An innovative course at Rutgers. Qi Liu. Roman Chinchila
Audit Analytics --An innovative course at Rutgers Qi Liu Roman Chinchila A new certificate in Analytic Auditing Tentative courses: Audit Analytics Special Topics in Audit Analytics Forensic Accounting
GRADES 7, 8, AND 9 BIG IDEAS
Table 1: Strand A: BIG IDEAS: MATH: NUMBER Introduce perfect squares, square roots, and all applications Introduce rational numbers (positive and negative) Introduce the meaning of negative exponents for
NUMERICAL ANALYSIS OF THE EFFECTS OF WIND ON BUILDING STRUCTURES
Vol. XX 2012 No. 4 28 34 J. ŠIMIČEK O. HUBOVÁ NUMERICAL ANALYSIS OF THE EFFECTS OF WIND ON BUILDING STRUCTURES Jozef ŠIMIČEK email: [email protected] Research field: Statics and Dynamics Fluids mechanics
Numerical Algorithms Group
Title: Summary: Using the Component Approach to Craft Customized Data Mining Solutions One definition of data mining is the non-trivial extraction of implicit, previously unknown and potentially useful
ALL GROUND-WATER HYDROLOGY WORK IS MODELING. A Model is a representation of a system.
ALL GROUND-WATER HYDROLOGY WORK IS MODELING A Model is a representation of a system. Modeling begins when one formulates a concept of a hydrologic system, continues with application of, for example, Darcy's
Chapter 4: Vector Autoregressive Models
Chapter 4: Vector Autoregressive Models 1 Contents: Lehrstuhl für Department Empirische of Wirtschaftsforschung Empirical Research and und Econometrics Ökonometrie IV.1 Vector Autoregressive Models (VAR)...