RT 24 - Architecture, Modeling & Simulation, and Software Design

Size: px
Start display at page:

Download "RT 24 - Architecture, Modeling & Simulation, and Software Design"

Transcription

1 RT 24 - Architecture, Modeling & Simulation, and Software Design Dennis Barnabe, Department of Defense Michael zur Muehlen & Anne Carrigy, Stevens Institute of Technology Drew Hamilton, Auburn University Russell Peak, Georgia Tech 1

2 Context The client is producing software-intensive, distributed systems in short development cycles (90 day increment spins) The DoD JCIDS process requires the documentation of systems in the form of certain DODAF products Occasionally this documentation is created after the fact and not as a basis for Modeling & Simulation or software development (notion: coding is faster than architecting) Effort spent on architecture development is essentially wasted, since architecture products are not used for value-added delivery, and architecture models and code evolve separate from each other 2

3 Req. Mgmt. Environment Development Environment 5 1 Architecture Environment 6 2 Coding Environment Simulation Environment Execution Environment 7 Runtime Environment 3

4 Challenge Investigate the integration of Architecture models in the Modeling & Simulation and Software Design and Development Process Develop a methodology that: Identifies those architecture products that are relevant for the design of softwareintensive systems Provides guidance as to the sequence in which these models should be created Provides guidance as to the methods that should be used when creating these models Provides guidance as to the use of the recommended methods Evaluate the methodology against tool capabilities available to the client Particular focus on tool extensions (UPDM, SysML, SoaML, BPMN) Leverage best of breed architecture methodologies Provide tooling to support the methodology 4

5 DoDAF 2.0 Modeling Language captures Information used to describe matches DoDAF View DoDAF 2 MetaModel Elements captures/ represents 5

6 How Good is a Language? Language Quality improved by Ontological Clarity improved by Ontological Completeness reduced by reduced by reduced by reduced by Construct Overload Construct Redundancy Construct Excess Construct Deficit 6

7 Benchmarking a Language ML redundancy Key deficit BWW ML Set of constructs described in the BWW model Set of constructs comprising the Modelling Language overload Construct described in the BWW model Modelling language construct BWW Baseline Ontology excess Modeling Language! 7

8 Mapping Options Modeling Language (i.e. Type) to DoDAF View Coarse-grained Good for initial assessment Modeling Language Construct to DoDAF 2.0 MetaModel Entry Fine-grained May help in tailoring language 8

9 DM2 Concepts 9

10 Example: DoDAF

11 Example: BPMN BPMN MetaModel DoDAF 2.0 MetaModel 11

12 Mapping SysML to DoDAF 2.0 DoDAF V2.0 Models OV-1 OV-2 OV-3 OV-4 OV-5a SysML s Requirement State Machine Use Case Block Definition Internal Block Parametric Package OV-5b Activity OV-6c Sequence 12

13 Mapping SysML to DoDAF 2.0 DoDAF V2.0 Models SV-3 SV-2 SV-1 SV-4 SV-5a SV-5b SV-6 SysML s Requirement Activity Sequence State Machine Use Case Block Definition Internal Block Parametric Package 13

14 Understanding JCIDS 14

15 DoDAF 2.0 Product Initial (ICD) Development (CDD) Production (CPD) OV-1 (Concept of Operations) X X X AV-1 (Project Overview) X X AV-2 (Integrated Dictionary) X X OV-2 (Operational Resource Flow Description) X X OV-3 (Operational Resource Flow Matrix) X X OV-4 (Organizational Relationship Chart) X X OV-5a (Operational Activity Decomposition Tree) X X OV-5b (Operational Activity Model) X X OV-6c (Event-Trace Description) X X SV-2 (Systems Resource Flow Description) X X SV-4 (Systems Functionality Description) X X SV-5a (Operational Activity to Systems Function Matrix) X X SV-5b (Operational Activity to Systems Matrix) X X SV-6 (Systems Resource Flow Matrix) X X StdV-1 (Standards Profile) X X StdV-2 (Standards Forecast) X X DIV-2 (Conceptual Data Model) DIV-3 (Conceptual Data Model) X X 15

16 DoDAF 2.0 Product Initial (ICD) Development (CDD) Production (CPD) OV-1 (Concept of Operations) X X X AV-1 (Project Overview) X X AV-2 (Integrated Dictionary) X X OV-2 (Operational Resource Flow Description) X X OV-3 (Operational Resource Flow Matrix) X X OV-4 (Organizational Relationship Chart) X X OV-5a (Operational Activity Decomposition Tree) X X OV-5b (Operational Activity Model) X X OV-6c (Event-Trace Description) X X SV-2 (Systems Resource Flow Description) X X SV-4 (Systems Functionality Description) X X SV-5a (Operational Activity to Systems Function Matrix) X X SV-5b (Operational Activity to Systems Matrix) X X SV-6 (Systems Resource Flow Matrix) X X StdV-1 (Standards Profile) X X StdV-2 (Standards Forecast) X X DIV-2 (Conceptual Data Model) DIV-3 (Conceptual Data Model) Need Org Structure X X 15

17 DoDAF 2.0 Product Initial (ICD) Development (CDD) Production (CPD) OV-1 (Concept of Operations) X X X AV-1 (Project Overview) X X AV-2 (Integrated Dictionary) X X OV-2 (Operational Resource Flow Description) X X OV-3 (Operational Resource Flow Matrix) X X OV-4 (Organizational Relationship Chart) X X OV-5a (Operational Activity Decomposition Tree) X X OV-5b (Operational Activity Model) X X OV-6c (Event-Trace Description) X X SV-2 (Systems Resource Flow Description) X X SV-4 (Systems Functionality Description) X X SV-5a (Operational Activity to Systems Function Matrix) X X SV-5b (Operational Activity to Systems Matrix) X X SV-6 (Systems Resource Flow Matrix) X X StdV-1 (Standards Profile) X X StdV-2 (Standards Forecast) X X DIV-2 (Conceptual Data Model) DIV-3 (Conceptual Data Model) Need Org Structure All based on Activities X X 15

18 DoDAF 2.0 Product Initial (ICD) Development (CDD) Production (CPD) OV-1 (Concept of Operations) X X X AV-1 (Project Overview) X X AV-2 (Integrated Dictionary) X X OV-2 (Operational Resource Flow Description) X X OV-3 (Operational Resource Flow Matrix) X X OV-4 (Organizational Relationship Chart) X X OV-5a (Operational Activity Decomposition Tree) X X OV-5b (Operational Activity Model) X X OV-6c (Event-Trace Description) X X SV-2 (Systems Resource Flow Description) X X SV-4 (Systems Functionality Description) X X SV-5a (Operational Activity to Systems Function Matrix) X X SV-5b (Operational Activity to Systems Matrix) X X SV-6 (Systems Resource Flow Matrix) X X StdV-1 (Standards Profile) X X StdV-2 (Standards Forecast) X X DIV-2 (Conceptual Data Model) DIV-3 (Conceptual Data Model) Need Org Structure All based on Activities All derived from OV2 - OV4 X X 15

19 DoDAF 2.0 Product Initial (ICD) Development (CDD) Production (CPD) OV-1 (Concept of Operations) X X X AV-1 (Project Overview) X X AV-2 (Integrated Dictionary) X X OV-2 (Operational Resource Flow Description) X X OV-3 (Operational Resource Flow Matrix) X X OV-4 (Organizational Relationship Chart) X X OV-5a (Operational Activity Decomposition Tree) X X OV-5b (Operational Activity Model) X X OV-6c (Event-Trace Description) X X SV-2 (Systems Resource Flow Description) X X SV-4 (Systems Functionality Description) X X SV-5a (Operational Activity to Systems Function Matrix) X X SV-5b (Operational Activity to Systems Matrix) X X SV-6 (Systems Resource Flow Matrix) X X StdV-1 (Standards Profile) X X StdV-2 (Standards Forecast) X X DIV-2 (Conceptual Data Model) DIV-3 (Conceptual Data Model) Need Org Structure All based on Activities All derived from OV2 - OV4 Useful, but not required X X 15

20 Dependencies (DoDAF 2.0 Spec) NOTE 1: Developed iteratively as the Architecture Description is developed. NOTE 2: The AV-2 presents all the metadata used in an architecture. An AV-2 shows elements from the DoDAF Meta-model that have been described in the Architectural Description and new elements (i.e., not in the DM2) that have been introduced by the Architectural Description. parallel relationship completion order Viewpoint may/may not be required NOT a JCIDS Requirement SvcV- 10c SvcV- 10b SV- 10c SV- 10b DIV- 3 SvcV- 6 CVx SV- 6 SvcV- 4 SvcV- 9 DIV- 1 SV- 9 PV- 1 OV- 4 DIV- 2 StdV- 2 OV- 6c SV- 4 SvcV- 8 AV- 2 OV- 3 OV- 2 SV- 8 SvcV- 2 NOTE 2 NOTE 1 AV- 1 OV- 1 OV- 6a OV- 6b OV- 5b CV- 6 OV- 5a SV- 5a SV- 5b SV- 1 SV- 2 SvcV- 1 StdV- 1 SV- 3 16

21 Modeling & Simulation 17

22 Modeling & Simulation Simulation Model Shared Conecepts Implement 18

23 Core Description realized through Activity/ Process/ Function performed by Resource (Person/ System) input/output Resource (Data) 19

24 Big Picture Objective captured in Core Description used for Review influences aligns with Design captured in sets criteria for Implementation results in used for Detailed Model used for Simulation 20

Seamless Model Driven Development and Tool Support for Embedded Software-Intensive Systems

Seamless Model Driven Development and Tool Support for Embedded Software-Intensive Systems Seamless Model Driven Development and Tool Support for Embedded Software-Intensive Systems Computer Journal Lecture - 22nd June 2009 Manfred Broy Technische Universität München Institut für Informatik

More information

Analytical Modeling of Parallel Programs (Chapter 5) Alexandre David

Analytical Modeling of Parallel Programs (Chapter 5) Alexandre David Analytical Modeling of Parallel Programs (Chapter 5) Alexandre David 1.2.05 1 Topic Overview Sources of overhead in parallel programs. Performance metrics for parallel systems. Effect of granularity on

More information

Lecture 05: High-Level Design with SysML. An Introduction to SysML. Where are we? What is a model? The Unified Modeling Language (UML)

Lecture 05: High-Level Design with SysML. An Introduction to SysML. Where are we? What is a model? The Unified Modeling Language (UML) Where are we? Systeme hoher Sicherheit und Qualität Universität Bremen, WS 2017/2018 Lecture 05: High-Level Design with SysML Christoph Lüth, Dieter Hutter, Jan Peleska 01: Concepts of Quality 02: Legal

More information

A People Strategy for Organizations

A People Strategy for Organizations Workforce Development Planning: A People Strategy for Organizations Michael Green, Training Sales Manager Tamara Adamson, Training Consultant Agenda Change Workforce Development Plan Breakout Session Case

More information

Power System Transient Stability Simulation

Power System Transient Stability Simulation Power System Transient Stability Simulation Ashley Cliff Mentors: Srdjan Simunovic Aleksandar Dimitrovski Kwai Wong Goal Overall Goal: Determine how to stabilize the system before it collapses by running

More information

Forecasting Data Streams: Next Generation Flow Field Forecasting

Forecasting Data Streams: Next Generation Flow Field Forecasting Forecasting Data Streams: Next Generation Flow Field Forecasting Kyle Caudle South Dakota School of Mines & Technology (SDSMT) kyle.caudle@sdsmt.edu Joint work with Michael Frey (Bucknell University) and

More information

Model-based instrument review for the Euclid mission for NISP- and VIS CDR

Model-based instrument review for the Euclid mission for NISP- and VIS CDR Model-based instrument review for the Euclid mission for NISP- and VIS CDR Harold Metselaar 1, Jose Lorenzo Alvarez 1, Michael Kretzenbacher 1 1 ESA / ESTEC, Keplerlaan 1, 2201 AZ Noordwijk; ABSTRACT Euclid

More information

Workforce Development Enables Your Adoption Strategy

Workforce Development Enables Your Adoption Strategy Workforce Development Enables Your Adoption Strategy Michael Green Organizational Adoption Consultant Matthew Karl Training Consultant Agenda Adopt, Embrace, Utilize Components of Change Management Workforce

More information

TRAITS to put you on the map

TRAITS to put you on the map TRAITS to put you on the map Know what s where See the big picture Connect the dots Get it right Use where to say WOW Look around Spread the word Make it yours Finding your way Location is associated with

More information

Software Testing Lecture 7 Property Based Testing. Justin Pearson

Software Testing Lecture 7 Property Based Testing. Justin Pearson Software Testing Lecture 7 Property Based Testing Justin Pearson 2017 1 / 13 When are there enough unit tests? Lets look at a really simple example. import u n i t t e s t def add ( x, y ) : return x+y

More information

FE670 Algorithmic Trading Strategies. Stevens Institute of Technology

FE670 Algorithmic Trading Strategies. Stevens Institute of Technology FE670 Algorithmic Trading Strategies Lecture 3. Factor Models and Their Estimation Steve Yang Stevens Institute of Technology 09/12/2012 Outline 1 The Notion of Factors 2 Factor Analysis via Maximum Likelihood

More information

Parallel PIPS-SBB Multi-level parallelism for 2-stage SMIPS. Lluís-Miquel Munguia, Geoffrey M. Oxberry, Deepak Rajan, Yuji Shinano

Parallel PIPS-SBB Multi-level parallelism for 2-stage SMIPS. Lluís-Miquel Munguia, Geoffrey M. Oxberry, Deepak Rajan, Yuji Shinano Parallel PIPS-SBB Multi-level parallelism for 2-stage SMIPS Lluís-Miquel Munguia, Geoffrey M. Oxberry, Deepak Rajan, Yuji Shinano ... Our contribution PIPS-PSBB*: Multi-level parallelism for Stochastic

More information

Change Management within SysML Requirements Models

Change Management within SysML Requirements Models Change Management within SysML Requirements Models David ten Hove Master's thesis University of Twente Faculty of Electrical Engineering, Mathematics and Computer Science Department of Computer Science

More information

Basic Dublin Core Semantics

Basic Dublin Core Semantics Basic Dublin Core Semantics DC 2006 Tutorial 1, 3 October 2006 Marty Kurth Head of Metadata Services Cornell University Library Getting started Let s introduce ourselves Let s discuss our expectations

More information

I N F O R M A T I O N A N D C O M M U N I C A T I O N S T E C H N O L O G Y C O U N C I L ( I C T C )

I N F O R M A T I O N A N D C O M M U N I C A T I O N S T E C H N O L O G Y C O U N C I L ( I C T C ) AUTONOMOUS VEHICLES AND THE FUTURE OF WORK IN CANADA GO R E S E A R C H B Y : I N F O R M A T I O N A N D C O M M U N I C A T I O N S T E C H N O L O G Y C O U N C I L ( I C T C ) F U N D I N G P R O V

More information

Designing and Evaluating Generic Ontologies

Designing and Evaluating Generic Ontologies Designing and Evaluating Generic Ontologies Michael Grüninger Department of Industrial Engineering University of Toronto gruninger@ie.utoronto.ca August 28, 2007 1 Introduction One of the many uses of

More information

Performance Metrics for Computer Systems. CASS 2018 Lavanya Ramapantulu

Performance Metrics for Computer Systems. CASS 2018 Lavanya Ramapantulu Performance Metrics for Computer Systems CASS 2018 Lavanya Ramapantulu Eight Great Ideas in Computer Architecture Design for Moore s Law Use abstraction to simplify design Make the common case fast Performance

More information

Definition and verification of functional safety concepts for the definition of safe logical architectures

Definition and verification of functional safety concepts for the definition of safe logical architectures Definition and verification of functional safety concepts for the definition of safe logical architectures Pierre Mauborgne, Éric Bonjour, Christophe Perrard, Samuel Deniaud, Éric Levrat, Jean-Pierre Micaëlli,

More information

Algorithm Theory - Exercise Class

Algorithm Theory - Exercise Class Algorithm Theory - Exercise Class Exercise Lesson 3 Albert-Ludwigs-Universität Freiburg Philipp Schneider Algorithms and Complexity - Professor Dr. Fabian Kuhn Organizational Matters English Tutorial in

More information

MOD Ontology. Ian Bailey, Model Futures Michael Warner, MOD ICAD

MOD Ontology. Ian Bailey, Model Futures Michael Warner, MOD ICAD MOD Ontology Ian Bailey, Model Futures (ian@modelfutures.com) Michael Warner, MOD ICAD MOD Ontology Team Introduction Michael Warner, Bose Lawanson, MOD Ian Bailey, Model Futures Chris Partridge, 42 Objects

More information

High Performance Parallel Tucker Decomposition of Sparse Tensors

High Performance Parallel Tucker Decomposition of Sparse Tensors High Performance Parallel Tucker Decomposition of Sparse Tensors Oguz Kaya INRIA and LIP, ENS Lyon, France SIAM PP 16, April 14, 2016, Paris, France Joint work with: Bora Uçar, CNRS and LIP, ENS Lyon,

More information

CS 347 Parallel and Distributed Data Processing

CS 347 Parallel and Distributed Data Processing CS 347 Parallel and Distributed Data Processing Spring 2016 Notes 3: Query Processing Query Processing Decomposition Localization Optimization CS 347 Notes 3 2 Decomposition Same as in centralized system

More information

DGIWG 200. Defence Geospatial Information Framework (DGIF) Overview

DGIWG 200. Defence Geospatial Information Framework (DGIF) Overview DGIWG 200 Defence Geospatial Information Framework (DGIF) Overview Document type: Standard Document date: 28 November 2017 Edition: 2.0.0 Responsible Party: Audience: Abstract: Copyright: Defence Geospatial

More information

Roadmap to interoperability of geoinformation

Roadmap to interoperability of geoinformation Roadmap to interoperability of geoinformation and services in Europe Paul Smits, Alessandro Annoni European Commission Joint Research Centre Institute for Environment and Sustainability paul.smits@jrc.it

More information

Pattern-Oriented Analysis and Design (POAD) Theory

Pattern-Oriented Analysis and Design (POAD) Theory Pattern-Oriented Analysis and Design (POAD) Theory Jerry Overton Computer Sciences Corporation, CSC joverton@csc.com Abstract Pattern-Oriented Analysis and Design (POAD) is the practice of building complex

More information

Theory of Computer Science

Theory of Computer Science Theory of Computer Science E1. Complexity Theory: Motivation and Introduction Malte Helmert University of Basel May 18, 2016 Overview: Course contents of this course: logic How can knowledge be represented?

More information

SAFETY GUIDED DESIGN OF CREW RETURN VEHICLE IN CONCEPT DESIGN PHASE USING STAMP/STPA

SAFETY GUIDED DESIGN OF CREW RETURN VEHICLE IN CONCEPT DESIGN PHASE USING STAMP/STPA SAFETY GUIDED DESIGN OF CREW RETURN VEHICLE IN CONCEPT DESIGN PHASE USING STAMP/STPA Haruka Nakao (1), Masa Katahira (2), Yuko Miyamoto (2), Nancy Leveson (3), (1) Japan Manned Space Systems Corporation,

More information

Theory of Computer Science. Theory of Computer Science. E1.1 Motivation. E1.2 How to Measure Runtime? E1.3 Decision Problems. E1.

Theory of Computer Science. Theory of Computer Science. E1.1 Motivation. E1.2 How to Measure Runtime? E1.3 Decision Problems. E1. Theory of Computer Science May 18, 2016 E1. Complexity Theory: Motivation and Introduction Theory of Computer Science E1. Complexity Theory: Motivation and Introduction Malte Helmert University of Basel

More information

Integrating Finite Element Analysis with Systems Engineering Models

Integrating Finite Element Analysis with Systems Engineering Models Integrating Finite Element Analysis with Systems Engineering Models KONEKSYS Jerome Szarazi, Axel Reichwein July 26, 2016 This work was performed under the following financial assistance award NIST Grant

More information

Time in Distributed Systems: Clocks and Ordering of Events

Time in Distributed Systems: Clocks and Ordering of Events Time in Distributed Systems: Clocks and Ordering of Events Clocks in Distributed Systems Needed to Order two or more events happening at same or different nodes (Ex: Consistent ordering of updates at different

More information

Welcome to MCS 572. content and organization expectations of the course. definition and classification

Welcome to MCS 572. content and organization expectations of the course. definition and classification Welcome to MCS 572 1 About the Course content and organization expectations of the course 2 Supercomputing definition and classification 3 Measuring Performance speedup and efficiency Amdahl s Law Gustafson

More information

Air Force Integration of Weather In Mission Planning/Execution

Air Force Integration of Weather In Mission Planning/Execution Headquarters U.S. Air Force I n t e g r i t y - S e r v i c e - E x c e l l e n c e Air Force Integration of Weather In Mission Planning/Execution Friends and Partners in Aviation Meeting 13 July 2006

More information

A New Kind of Language for Complex Engineering Systems:

A New Kind of Language for Complex Engineering Systems: NKS 2004 A New Kind of Language for Complex Engineering Systems: Case Study: NASA s Apollo Program Benjamin Koo Edward F. Crawley Engineering Systems Division Department of Aeronautical and Astronautical

More information

LECTURE 1: LINES IN R 3

LECTURE 1: LINES IN R 3 LECTURE 1: LINES IN R 3 DAGAN KARP ABSTRACT. In this first lecture, we ll review some necessary material and notation from linear algebra, and begin to explore geometry in R 3. In particular, we ll study

More information

What do metamodels really look like?

What do metamodels really look like? What do metamodels really look like? James R. Williams, Athanasios Zolotas, Nicholas Matragkas, Louis M. Rose, Dimitios S. Kolovos, Richard F. Paige, and Fiona A. C. Polack Department of Computer Science

More information

Lecture 6 September 21, 2016

Lecture 6 September 21, 2016 ICS 643: Advanced Parallel Algorithms Fall 2016 Lecture 6 September 21, 2016 Prof. Nodari Sitchinava Scribe: Tiffany Eulalio 1 Overview In the last lecture, we wrote a non-recursive summation program and

More information

Resampling techniques for statistical modeling

Resampling techniques for statistical modeling Resampling techniques for statistical modeling Gianluca Bontempi Département d Informatique Boulevard de Triomphe - CP 212 http://www.ulb.ac.be/di Resampling techniques p.1/33 Beyond the empirical error

More information

Building a 4-D Weather Data Cube for the NextGen Initial Operating Capability (IOC)

Building a 4-D Weather Data Cube for the NextGen Initial Operating Capability (IOC) Building a 4-D Weather Data Cube for the NextGen Initial Operating Capability (IOC) Friends/Partners in Aviation Weather Vision Forum July 15, 2008 Bruce Lambert - DoD Tom Ryan FAA Jason Tuell NWS 1 Overview

More information

An Axiomatic Analysis Approach for Large-Scale Disaster-Tolerant Systems Modeling

An Axiomatic Analysis Approach for Large-Scale Disaster-Tolerant Systems Modeling An Axiomatic Analysis Approach for Large-Scale Disaster-Tolerant Systems Modeling Theodore W. Manikas, Laura L. Spenner, Paul D. Krier, Mitchell A. Thornton, Sukumaran Nair, and Stephen A. Szygenda Department

More information

Collaborative NLP-aided ontology modelling

Collaborative NLP-aided ontology modelling Collaborative NLP-aided ontology modelling Chiara Ghidini ghidini@fbk.eu Marco Rospocher rospocher@fbk.eu International Winter School on Language and Data/Knowledge Technologies TrentoRISE Trento, 24 th

More information

CRISP: Capture-Recapture Interactive Simulation Package

CRISP: Capture-Recapture Interactive Simulation Package CRISP: Capture-Recapture Interactive Simulation Package George Volichenko Carnegie Mellon University Pittsburgh, PA gvoliche@andrew.cmu.edu December 17, 2012 Contents 1 Executive Summary 1 2 Introduction

More information

PHIL12A Section answers, 14 February 2011

PHIL12A Section answers, 14 February 2011 PHIL12A Section answers, 14 February 2011 Julian Jonker 1 How much do you know? 1. You should understand why a truth table is constructed the way it is: why are the truth values listed in the order they

More information

Raven Facing the Problem of assembling Multiple Models to Speed up the Uncertainty Quantification and Probabilistic Risk Assessment Analyses

Raven Facing the Problem of assembling Multiple Models to Speed up the Uncertainty Quantification and Probabilistic Risk Assessment Analyses 13 th International Conference on Probabilistic Safety Assessment and Management PSAM 13) Raven Facing the Problem of assembling Multiple Models to Speed up the Uncertainty Quantification and Probabilistic

More information

Analytical Modeling of Parallel Systems

Analytical Modeling of Parallel Systems Analytical Modeling of Parallel Systems Chieh-Sen (Jason) Huang Department of Applied Mathematics National Sun Yat-sen University Thank Ananth Grama, Anshul Gupta, George Karypis, and Vipin Kumar for providing

More information

AS/NZS ISO :2015

AS/NZS ISO :2015 (ISO 19115-1:2014, IDT) Australian/New Zealand Standard Geographic information Metadata Part 1: Fundamentals Superseding AS/NZS ISO 19115:2005 AS/NZS ISO 19115.1:2015 This joint Australian/New Zealand

More information

An Introduction to GLIF

An Introduction to GLIF An Introduction to GLIF Mor Peleg, Ph.D. Post-doctoral Fellow, SMI, Stanford Medical School, Stanford University, Stanford, CA Aziz A. Boxwala, M.B.B.S, Ph.D. Research Scientist and Instructor DSG, Harvard

More information

International Journal of Scientific Research and Reviews

International Journal of Scientific Research and Reviews Research article Available online www.ijsrr.org ISSN: 2279 0543 International Journal of Scientific Research and Reviews Prediction of Compressive Strength of Concrete using Artificial Neural Network ABSTRACT

More information

Aviation Weather. Segment Three - Concept of Operations and Requirements. Federal Aviation Administration

Aviation Weather. Segment Three - Concept of Operations and Requirements. Federal Aviation Administration Aviation Weather Segment Three - Concept of Operations and Requirements Presented to: Panel: Friends/Partners in Aviation Weather Vision Forum Richard Heuwinkel, Kevin Johnston, Leo Prusak, and Joe Sherry

More information

Machine Learning to Automatically Detect Human Development from Satellite Imagery

Machine Learning to Automatically Detect Human Development from Satellite Imagery Technical Disclosure Commons Defensive Publications Series April 24, 2017 Machine Learning to Automatically Detect Human Development from Satellite Imagery Matthew Manolides Follow this and additional

More information

Final Overview. Introduction to ML. Marek Petrik 4/25/2017

Final Overview. Introduction to ML. Marek Petrik 4/25/2017 Final Overview Introduction to ML Marek Petrik 4/25/2017 This Course: Introduction to Machine Learning Build a foundation for practice and research in ML Basic machine learning concepts: max likelihood,

More information

Choosing Variables with a Genetic Algorithm for Econometric models based on Neural Networks learning and adaptation.

Choosing Variables with a Genetic Algorithm for Econometric models based on Neural Networks learning and adaptation. Choosing Variables with a Genetic Algorithm for Econometric models based on Neural Networks learning and adaptation. Daniel Ramírez A., Israel Truijillo E. LINDA LAB, Computer Department, UNAM Facultad

More information

Geotechnology for Agriculture: A view from regulations and free software.

Geotechnology for Agriculture: A view from regulations and free software. Geotechnology for Agriculture: A view from regulations and free software. 11 de noviembre del 2015 C O N T E N T S Agriculture, two aspects: data and software Common problems with data and information

More information

ECE 407 Computer Aided Design for Electronic Systems. Simulation. Instructor: Maria K. Michael. Overview

ECE 407 Computer Aided Design for Electronic Systems. Simulation. Instructor: Maria K. Michael. Overview 407 Computer Aided Design for Electronic Systems Simulation Instructor: Maria K. Michael Overview What is simulation? Design verification Modeling Levels Modeling circuits for simulation True-value simulation

More information

Let us first give some intuitive idea about a state of a system and state transitions before describing finite automata.

Let us first give some intuitive idea about a state of a system and state transitions before describing finite automata. Finite Automata Automata (singular: automation) are a particularly simple, but useful, model of computation. They were initially proposed as a simple model for the behavior of neurons. The concept of a

More information

Reference: 4880(DOP.ADA)1136 Subject: Survey on the integration of geographic information systems into postal address development

Reference: 4880(DOP.ADA)1136 Subject: Survey on the integration of geographic information systems into postal address development International Bureau Weltpoststrasse 4 P.O. Box 312 3000 BERNE 15 SWITZERLAND To: Union member countries Regulators Designated operators T +41 31 350 31 11 F +41 31 350 31 10 www.upu.int For information

More information

Towards a traceability framework for model transformations in Kermeta

Towards a traceability framework for model transformations in Kermeta Towards a traceability framework for model transformations in Kermeta Jean-Rémy Falleri, Marianne Huchard, and Clémentine Nebut LIRMM, CNRS and Université de Montpellier 2, 161, rue Ada, 34392 Montpellier

More information

Object Modeling Approach! Object Modeling Approach!

Object Modeling Approach! Object Modeling Approach! Object Modeling Approach! 1 Object Modeling Approach! Start with a problem statement! High-level requirements! Define object model! Identify objects and classes! Prepare data dictionary! Identify associations

More information

Performance of WRF using UPC

Performance of WRF using UPC Performance of WRF using UPC Hee-Sik Kim and Jong-Gwan Do * Cray Korea ABSTRACT: The Weather Research and Forecasting (WRF) model is a next-generation mesoscale numerical weather prediction system. We

More information

Efficiencies in Data Acquisition and Transformation

Efficiencies in Data Acquisition and Transformation Efficiencies in Data Acquisition and Transformation Andrew LEYZACK Canada Key words: Hydrography, IHO S-57, Nautical Chart SUMMARY For many hydrographic offices, the introduction of electronic nautical

More information

ASCE/SEI Tornado Wind Speed Estimation (TWSE) Standard: Background and Introduction. Marc Levitan, NIST James LaDue, NWS

ASCE/SEI Tornado Wind Speed Estimation (TWSE) Standard: Background and Introduction. Marc Levitan, NIST James LaDue, NWS ASCE/SEI Tornado Wind Speed Estimation (TWSE) Standard: Background and Introduction Marc Levitan, NIST James LaDue, NWS ASCE/SEI/AMS Tornado Wind Speed Estimation (TWSE) Standard: Background and Introduction

More information

Problem. Problem Given a dictionary and a word. Which page (if any) contains the given word? 3 / 26

Problem. Problem Given a dictionary and a word. Which page (if any) contains the given word? 3 / 26 Binary Search Introduction Problem Problem Given a dictionary and a word. Which page (if any) contains the given word? 3 / 26 Strategy 1: Random Search Randomly select a page until the page containing

More information

EDA045F: Program Analysis LECTURE 10: TYPES 1. Christoph Reichenbach

EDA045F: Program Analysis LECTURE 10: TYPES 1. Christoph Reichenbach EDA045F: Program Analysis LECTURE 10: TYPES 1 Christoph Reichenbach In the last lecture... Performance Counters Challenges in Dynamic Performance Analysis Taint Analysis Binary Instrumentation 2 / 44 Types

More information

The Role of Mapping, GPS, and GIS in Trail Design and Construction

The Role of Mapping, GPS, and GIS in Trail Design and Construction The Role of Mapping, GPS, and GIS in Trail Design and Construction How do we normally think about MAPS and TRAILS? Idea of map as final product Trail maps Kiosk / trailhead maps Survey plat Map as Product

More information

Iterative Learning Control for Tailor Rolled Blanks Zhengyang Lu DCT

Iterative Learning Control for Tailor Rolled Blanks Zhengyang Lu DCT Iterative Learning Control for Tailor Rolled Blans Zhengyang Lu DCT 2007.066 Master Internship Report Supervisors: Prof. Maarten Steinbuch (TU/e) Camile Hol (Corus) Eindhoven University of Technology Department

More information

31 Dec '01 07 Jan '02 14 Jan '02 21 Jan '02 28 Jan '02 M T W T F S S M T W T F S S M T W T F S S M T W T F S S M T W T F S S

31 Dec '01 07 Jan '02 14 Jan '02 21 Jan '02 28 Jan '02 M T W T F S S M T W T F S S M T W T F S S M T W T F S S M T W T F S S ID Task Name Duration 0 7 Month Project Plan Template 158.5 days 1 1 Preproduction 81.5 days 2 1.1 Project Clarification 12.5 days 3 1.1.1 Clarify/Audit Commercial (inc. Marketing) requirements/objectives

More information

Introduction Neural Networks - Architecture Network Training Small Example - ZIP Codes Summary. Neural Networks - I. Henrik I Christensen

Introduction Neural Networks - Architecture Network Training Small Example - ZIP Codes Summary. Neural Networks - I. Henrik I Christensen Neural Networks - I Henrik I Christensen Robotics & Intelligent Machines @ GT Georgia Institute of Technology, Atlanta, GA 30332-0280 hic@cc.gatech.edu Henrik I Christensen (RIM@GT) Neural Networks 1 /

More information

Introduction to statistical modeling

Introduction to statistical modeling Introduction to statistical modeling Illustrated with XLSTAT Jean Paul Maalouf webinar@xlstat.com linkedin.com/in/jean-paul-maalouf November 30, 2016 www.xlstat.com 1 PLAN XLSTAT: who are we? Statistics:

More information

Parameter Estimation. Industrial AI Lab.

Parameter Estimation. Industrial AI Lab. Parameter Estimation Industrial AI Lab. Generative Model X Y w y = ω T x + ε ε~n(0, σ 2 ) σ 2 2 Maximum Likelihood Estimation (MLE) Estimate parameters θ ω, σ 2 given a generative model Given observed

More information

3D MODELLING OF CONTAMINATED SITES MIDWEST AIR AND WASTE MANAGEMENT CONFERENCE FEBRUARY 24, 2016

3D MODELLING OF CONTAMINATED SITES MIDWEST AIR AND WASTE MANAGEMENT CONFERENCE FEBRUARY 24, 2016 3D MODELLING OF CONTAMINATED SITES MIDWEST AIR AND WASTE MANAGEMENT CONFERENCE FEBRUARY 24, 2016 1 3D MODELLING FOR CONTAMINATED SITES KERRY STONESTREET Ramboll Environ will present concepts to consider

More information

BIM Week October 2013 Munich, GERMANY

BIM Week October 2013 Munich, GERMANY BIM Week October 2013 Munich, GERMANY Paul Scarponcini, PE, PhD Bentley Systems, Inc. COBie (for Buildings) Based on MVD of Building IFCs no geometry extended constraints, attributes, relationships Uses

More information

STA 414/2104: Machine Learning

STA 414/2104: Machine Learning STA 414/2104: Machine Learning Russ Salakhutdinov Department of Computer Science! Department of Statistics! rsalakhu@cs.toronto.edu! http://www.cs.toronto.edu/~rsalakhu/ Lecture 9 Sequential Data So far

More information

N-gram Language Modeling

N-gram Language Modeling N-gram Language Modeling Outline: Statistical Language Model (LM) Intro General N-gram models Basic (non-parametric) n-grams Class LMs Mixtures Part I: Statistical Language Model (LM) Intro What is a statistical

More information

Table of Contents. Preface...viii. Acknowledgment... xiv. Section 1 Basics

Table of Contents. Preface...viii. Acknowledgment... xiv. Section 1 Basics Table of Contents Preface...viii Acknowledgment... xiv Section 1 Basics Chapter 1 Reverse Engineering and MDA: An Introduction... 1 Introduction... 1 Reverse Engineering in the Last 20 Years... 4 Reverse

More information

Mark Miller NOAA NextGen Weather Program Manager July 21, 2010

Mark Miller NOAA NextGen Weather Program Manager July 21, 2010 Mark Miller NOAA NextGen Weather Program Manager July 21, 2010 1 Progress toward an initial operating capability and beyond! Current Status FY10 Capability Evaluation Aligning with NWS Future Service Plans

More information

An Algorithm for Unconstrained Quadratically Penalized Convex Optimization (post conference version)

An Algorithm for Unconstrained Quadratically Penalized Convex Optimization (post conference version) 7/28/ 10 UseR! The R User Conference 2010 An Algorithm for Unconstrained Quadratically Penalized Convex Optimization (post conference version) Steven P. Ellis New York State Psychiatric Institute at Columbia

More information

CS 700: Quantitative Methods & Experimental Design in Computer Science

CS 700: Quantitative Methods & Experimental Design in Computer Science CS 700: Quantitative Methods & Experimental Design in Computer Science Sanjeev Setia Dept of Computer Science George Mason University Logistics Grade: 35% project, 25% Homework assignments 20% midterm,

More information

Cyber Security Games with Asymmetric Information

Cyber Security Games with Asymmetric Information Cyber Security Games with Asymmetric Information Jeff S. Shamma Georgia Institute of Technology Joint work with Georgios Kotsalis & Malachi Jones ARO MURI Annual Review November 15, 2012 Research Thrust:

More information

QALGO workshop, Riga. 1 / 26. Quantum algorithms for linear algebra.

QALGO workshop, Riga. 1 / 26. Quantum algorithms for linear algebra. QALGO workshop, Riga. 1 / 26 Quantum algorithms for linear algebra., Center for Quantum Technologies and Nanyang Technological University, Singapore. September 22, 2015 QALGO workshop, Riga. 2 / 26 Overview

More information

Research Evolution Planning (REP) In-Flight Icing and Terminal Impacts of Winter Weather

Research Evolution Planning (REP) In-Flight Icing and Terminal Impacts of Winter Weather Research Evolution Planning (REP) In-Flight Icing and Terminal Impacts of Winter Weather John McCarthy, Aviation Weather Associates, Inc. Thomas MacPhail, FAA REP Fall FPAW LAS Vegas The REP Purpose: Provide

More information

Integrated Electricity Demand and Price Forecasting

Integrated Electricity Demand and Price Forecasting Integrated Electricity Demand and Price Forecasting Create and Evaluate Forecasting Models The many interrelated factors which influence demand for electricity cannot be directly modeled by closed-form

More information

Using R for Iterative and Incremental Processing

Using R for Iterative and Incremental Processing Using R for Iterative and Incremental Processing Shivaram Venkataraman, Indrajit Roy, Alvin AuYoung, Robert Schreiber UC Berkeley and HP Labs UC BERKELEY Big Data, Complex Algorithms PageRank (Dominant

More information

Complementary Use of Airborne Wx Radar & Datalink Graphical Wx

Complementary Use of Airborne Wx Radar & Datalink Graphical Wx Complementary Use of Airborne Wx Radar & Datalink Graphical Wx What if to What next? Cheri Haynes XCELAR Friends/Partners in Aviation Weather Forum October 31, 2012 What if to What next? Today there are

More information

INCREMENTAL SAMPLING METHODOLOGY

INCREMENTAL SAMPLING METHODOLOGY INCREMENTAL SAMPLING METHODOLOGY 1. INTRODUCTION Incremental sampling methodology (ISM) is a structured composite sampling and processing protocol having specific elements designed to reduce data variability

More information

The Alignment of Formal, Structured and Unstructured Process Descriptions. Josep Carmona

The Alignment of Formal, Structured and Unstructured Process Descriptions. Josep Carmona The Alignment of Formal, Structured and Unstructured Process Descriptions Josep Carmona Thomas Chatain Luis delicado Farbod Taymouri Boudewijn van Dongen Han van der Aa Lluís Padró Josep Sànchez-Ferreres

More information

Ontology for Weather Observation System Yuki ONOZUKA, Keio University, Japan

Ontology for Weather Observation System Yuki ONOZUKA, Keio University, Japan 2 nd Asia-Pacific Conference «Complex Systems Design & Management» February 24-26, 2016 Singapore University of Technology & Design 1 Ontology for Weather Observation System Yuki ONOZUKA, Keio University,

More information

Parallel Numerical Algorithms

Parallel Numerical Algorithms Parallel Numerical Algorithms Chapter 13 Prof. Michael T. Heath Department of Computer Science University of Illinois at Urbana-Champaign CS 554 / CSE 512 Michael T. Heath Parallel Numerical Algorithms

More information

MANAGING INFORMATION. On the Complexity of Requirements Flow-down. An Integrate white paper

MANAGING INFORMATION. On the Complexity of Requirements Flow-down. An Integrate white paper MANAGING INFORMATION On the Complexity of Requirements Flow-down An Integrate white paper On the Complexity of Requirements Flow-down Structures An Integrate white paper On the Complexity of Requirements

More information

System Design: Architectures and Archetypes. Stephen J. Mellor Project Technology, Inc.

System Design: Architectures and Archetypes. Stephen J. Mellor Project Technology, Inc. System Design: Architectures and Archetypes Stephen J. Mellor Project Technology, Inc. http://www.projtech.com Properties Executable UML models Separation of application from architecture Translation according

More information

UNCLASSIFIED Exhibit R-2, RDT&E Budget Item Justification Date: February 2008

UNCLASSIFIED Exhibit R-2, RDT&E Budget Item Justification Date: February 2008 Exhibit R-2, RDT&E Budget Item Justification : February 2008 APPROPRIATION/BUDGET ACTIVITY R-1 ITEM NOMENCLATURE: Joint/Allied Coalition Information Sharing/PE 0301144K ($ in millions) FY 2007 FY 2008

More information

The Notion of the Concept Instance : Problems in Modeling Concept Change in SKOS

The Notion of the Concept Instance : Problems in Modeling Concept Change in SKOS DRAFT DISCUSSION PAPER NSF/NSDL Metadata Registry Project September 23, 2006 For DC-Registry Discussions at DC-2006 in Manzanillo, Mexico The tion of the : Problems in Modeling in SKOS Joseph Tennis

More information

This Unit may form part of a National Qualification Group Award or may be offered on a freestanding

This Unit may form part of a National Qualification Group Award or may be offered on a freestanding National Unit Specification: general information CODE F5H7 11 SUMMARY This Unit introduces candidates to the three basic electrical circuit element devices of resistance, capacitance and inductance. The

More information

How does ArcGIS Server integrate into an Enterprise Environment? Willy Lynch Mining Industry Specialist ESRI, Denver, Colorado USA

How does ArcGIS Server integrate into an Enterprise Environment? Willy Lynch Mining Industry Specialist ESRI, Denver, Colorado USA How does ArcGIS Server integrate into an Enterprise Environment? Willy Lynch Mining Industry Specialist ESRI, Denver, Colorado USA wlynch@esri.com ArcGIS Server Technology Transfer 1 Agenda Who is ESRI?

More information

A Methodology for the Development & Verification of Expressive Ontologies

A Methodology for the Development & Verification of Expressive Ontologies A Methodology for the Development & Verification of Expressive Ontologies Ontology Summit 2013 Track B Megan Katsumi Semantic Technologies Laboratory Department of Mechanical and Industrial Engineering

More information

Week 5: The Backpropagation Algorithm

Week 5: The Backpropagation Algorithm Week 5: The Backpropagation Algorithm Hans Georg Schaathun 25th April 2017 Time Topic Reading 8.15- Recap of tutorials last week Lecture: From perceptron to back-propagation Marsland Section 4 9.00- Tutorial

More information

Geospatial Science and Technology Model Courses and Certificate:

Geospatial Science and Technology Model Courses and Certificate: Geospatial Science and Technology Model Courses and Certificate: Guidelines and Tools to Align Curriculum to Workforce Needs Ann Johnson Associate Director gisajohnson@delmar.edu Funded by National Science

More information

Introduction-Overview. Why use a GIS? What can a GIS do? Spatial (coordinate) data model Relational (tabular) data model

Introduction-Overview. Why use a GIS? What can a GIS do? Spatial (coordinate) data model Relational (tabular) data model Introduction-Overview Why use a GIS? What can a GIS do? How does a GIS work? GIS definitions Spatial (coordinate) data model Relational (tabular) data model intro_gis.ppt 1 Why use a GIS? An extension

More information

Domain s Sweep, a Computational Method to Optimise Chemical and Physical Processes

Domain s Sweep, a Computational Method to Optimise Chemical and Physical Processes Article Domain s Sweep, a Computational Method to Optimise Chemical and Physical Processes Alexandre César Balbino Barbosa Filho Department of Chemical Engineering, Federal University of Campina Grande,

More information

Che-Wei Chang Department of Computer Science and Information Engineering, Chang Gung University

Che-Wei Chang Department of Computer Science and Information Engineering, Chang Gung University Che-Wei Chang chewei@mail.cgu.edu.tw Department of Computer Science and Information Engineering, Chang Gung University } 2017/11/15 Midterm } 2017/11/22 Final Project Announcement 2 1. Introduction 2.

More information

Introduction to geoprocessing services using SEXTANTE. Víctor Olaya SEXTANTE Geospatial Services

Introduction to geoprocessing services using SEXTANTE. Víctor Olaya SEXTANTE Geospatial Services Introduction to geoprocessing services using SEXTANTE. Víctor Olaya SEXTANTE Geospatial Services Overview Quick introduction to SEXTANTE Client/Server fundamentals Standards for web-based geoservices SEXTANTE

More information

GIS Capability Maturity Assessment: How is Your Organization Doing?

GIS Capability Maturity Assessment: How is Your Organization Doing? GIS Capability Maturity Assessment: How is Your Organization Doing? Presented by: Bill Johnstone Principal Consultant Spatial Vision Group November 8, 2018 1. Motivation for Capability Maturity Models

More information