Integra(ng an open source dynamic river model in hydrology modeling frameworks

Size: px
Start display at page:

Download "Integra(ng an open source dynamic river model in hydrology modeling frameworks"

Transcription

1 Integra(ng an open source dynamic river model in hydrology modeling frameworks Simula(on of Guadalupe and San Antonio River basin during a flood event with 1.3 x 10 5 computa(onal nodes at 100 m resolu(on. On a desktop computer this runs 300x faster than real (me. 1/4 next

2 Integra(ng an open source dynamic river model in hydrology modeling frameworks 2D Catchment- based runoff models must communicate with 1D river network models, but we lack consistent simple standards for model communica(ons. Integrated runoff/river models are limi(ng, because we cannot readily adopt new advances. prev. 2/4 next We have created the Simula(on Program for River Networks (SPRNT) as an open source dynamic river model (Saint- Venant equa(ons) that can communicate with a catchment model either through a simple 250 text- based hours Netlist or through an 274 Applica(on hours Programming Interface (API).

3 Integra(ng an open source dynamic river model in hydrology modeling frameworks SPRNT is unique in adap(ng methods developed in microprocessor electronic circuit design, known as Very Large Scale Integra(on (VLSI), to provide more rapid simula(on of river networks. We are just beginning to explore the myriad of possibili(es. prev. 3/4 next

4 Integra(ng an open source dynamic river model in hydrology modeling frameworks By clicking on the boxes below you can delve a li_le deeper into the world of SPRNT. prev. 4/4 Simula(on Program for River Networks (SPRNT) Electric circuits and river networks Netlist communica(on API communica(on Movie of model Publica(ons

5 Integra(ng an open source dynamic river model in hydrology Simula;on modeling Program frameworks for River Networks (SPRINT) Fully dynamic Saint- Venant equa(ons Large capacity, high performance, Full nonlinear opera(on with Newton- Raphson solu(on Standard Preismann implicit discre(za(on Jacobian bypass for solu(on accelera(on Opera(on using a Opera(on with Wri_en in C/C++ Netlist API Open Source available on for simple text- based input for integra(on with other models GitHub modular design (search on SPRNT)

6 Integra(ng an open source dynamic river model in hydrology modeling frameworks Netlist Similar to ideas used for semiconductor circuit Advantages of text- based format: Easy to read (for human and machine) Univ. of Texas at Aus.n sodware Easy to modify and create from different types of sodware Provides a simple standard for iden(fying Format is easy to translate from/to other models Disadvantages of text- based format: Data exchange through files, which can be large Forcing terms (boundary condi(ons) are defined in Netlist, so updates require rewri(ng file nodes and elements

7 Integra(ng an open source dynamic river model in hydrology Applica;on modeling frameworks Programming Interface A set of C++ func(ons that other programs can use to... Construct river network nodes and elements Call SPRNT to compute steady or unsteady solu(ons Obtain model results Advantages of API Works as run- stop- run- stop interface with hydrologic model SPRNT can be hosted on a computer accessed through web, i.e. does not require (ght coupling to hydrologic model. Disadvantages of API Requires C++ customiza(on to interface with another model Greater development effort to use

8 Integra(ng an open source dynamic river model in hydrology Open modeling source frameworks version control with Git Git is a sodware version control and management system Wri_en by Linus Torvalds (THE Linux guy) Allows easy collabora(ve code development git checkout, git add, git branch control modifica(on git clone, git push and git pull for mul(ple user copies Git is easy with GitHub clone John s git push, pull cloned repository on Jane s computer

9 Integra(ng an open source dynamic river model in hydrology modeling Git frameworks on the GitHub GitHub is a hos(ng service for Git repositories Free for open source code SPRNT is available on GitHub (just search GitHub for SPRNT) Clone SPRNT to get compile- ready code that can be readily updated with future bugfixes Fork SPRNT if you want to build something new using the code.

10 Integra(ng an open source dynamic river model in hydrology modeling SPRNT Modular frameworks Design command- line run_sprnt Netlist Parser File I/O API Model Construc;on Run Controls Steady Solve Unsteady Solve Nonlinear Solver Linear Solver

11 Integra(ng an open source dynamic river model in hydrology modeling Nodes frameworks and elements The con(nuous river must be broken into nodes and elements, connected at junc(ons. Q1 Q2 Communica(ng with a hydrological model requires transla(on of the 1D network of node- element- junc(on space to the 2D space of catchments. We use our Netlist format, but the community really needs to develop a standard! Q3

12 Integra(ng an open source dynamic river model in hydrology Electric modeling circuits frameworks and river networks Electric circuits are more complex, but the dynamic equa(ons with backwards and forwards propaga(ng characteris(cs are more difficult to solve. 3D connec(ons Connec;on network of a microprocessor electric circuit. h_p://visicad.eecs.umich.edu/bk/fgr Connec;on network of the Amazon River h_p://daac.ornl.gov/lba/guides/cd06_camre.html

13 Frank Liu Integra(ng an open source dynamic 3D circuit structure on a silicon chip river model IBM Research Aus.n R. Hodges in hydrology modeling frameworks Electric circuits and river networks Univ. oben f Texas at Aus.n Electric circuits are more complex, but the dynamic equa(ons with backwards and forwards propaga(ng characteris(cs are more difficult to solve. b hours 3D connec(ons 274 hours network of a microprocessor Connec(on network of the Amazon River Connec(on h_p://en.wikipedia.org/wiki/standard_cell electric circuit. h_p://daac.ornl.gov/lba/guides/cd06_camre.html This material is based upon work supported in part by the U.S. Na(onal Science Founda(on under Grant No. CCF

14 ## model of Possum Creek; done by John Doe, P.E. ## based on survey of YZ consul(ng, June 1999 def node id=1 sr= n=0.04 zr= hr=0.0 def xy x=0.0 y=6.0 x=2.5 y=1.0 x=3.5 y=1.0 x=6.0 y=6 def node id=2 sr= n=0.04 zr= hr=0.0 def trapezoidal bo_omwidth=1 slope= def segment up=1 down=2 length=39.1 def segment up=2 down=3 length=45.2 def qsource loca(on=1 (meunit=minute def (meseries (meunit=minute t=0 v=1.0 t=10 v= def op(ons metric=1 ## more comments can be added Netlist format Any lines star(ng with # are comments def pairs define nodes Complex cross- sec(on geometry defined by xy pairs Simple trapezoidal cross- sec(ons can be used segments: connec(ng nodes qsources: inflow terms op(ons: control Complete Netlist

15 ## automa(cally generated by a transla(on script on Jul :40:09 CDT ## ## ** one segment creek, test lateral inflow def op(ons metric=0 def op(ons (mestep=60 (mestepunit=second def op(ons prtq=1 prta=1 prtdepth=1 prtsurfelevz=1 def node id=1 sr= n=0.04 zr= hr=0.0 def trapezoidal bo_omwidth=0.1 slope=1.5 def node id=2 sr= n=0.04 zr= hr=0.0 def trapezoidal bo_omwidth=0.1 slope=1.50 def node id=3 sr= n=0.04 zr= hr=0.0 def trapezoidal bo_omwidth=0.1 slope=1.5 def node id=4 sr= n=0.04 zr= hr=0.0 def trapezoidal bo_omwidth=0.1 slope=1.5 Netlist format def node id=5 sr= n=0.04 zr= hr=0.0 def trapezoidal bo_omwidth=0.1 slope=1.5 def node id=6 sr= n=0.04 zr= hr=0.0 def trapezoidal bo_omwidth=0.1 slope=1.5 def segment up=1 down=2 length=40 def segment up=2 down=3 length=50 def segment up=3 down=4 length=60 def segment up=4 down=5 length=70 def segment up=5 down=6 length=80 def qsource loca(on=1 (meunit=minute def (meseries (meunit=minute t=0 v=1.0 t=10 v=1.0 t=1400 v=1.0 t=2500 v=1.0 t=5000 v=1.0 Con(nue

16 def lateralsource loca(on=2 (meunit=minute def (meseries (meunit=minute t=0 v=1.0 t=100 v=1.0 t=200 v=2.0 t=2000 v=1.0 Netlist format (con;nued) def op(ons stop(me=600 stop(meunit=minute pr(nterval=5 pr(ntervalunit=minute ## ** Done def lateralsource loca(on=3 (meunit=minute def (meseries (meunit=minute t=0 v=1.2 t=2000 v=1.2 def boundarycondi(on loca(on=6 type=area def (meseries (meunit=minute t=0 v=8 t=2800 v=8

17 #include <stdio.h> #include "base.h" #include "waveforms.h" #include "op(ons.h" #include "subcatch.h int main() { Subcatchment *BASIN;. header files for SPRNT a subcatchment object holds SPRNT data API model Used in place of Netlist to automate connec(ons to other models BASIN- >MakeNode(1, , 0.04, 0, 0, 0, 0, , 0, TRAP, 0.1,1.5); BASIN- >MakeNode(2, , 0.04, 0, 0, 0, 0, , 0, TRAP, 0.1,1.5); define nodes BASIN- >MakeStvEqua(on(4, 5, 80); BASIN- >MakeStvEqua(on(5, 6, 80); BASIN- >MakeQrSrcEqua(on(0, idx1 ); BASIN- >MakeQrSrcEqua(on(4, idx2); define segments define forcing terms int rc = BASIN- >TopologyCheck(); int rc2 = BASIN- >SteadySolve(120, 120, 5*OPT.Tol()); checking all nodes are connected steady solve : ini(al condi(ons Con(nue

18 // con(nued from previous page. start unsteady solve // the (me interval is 0 to 150 BASIN- >UnsteadySolve(150, 1, 25,.);... WV- >GetQatNode(6, &rep_val1[0]); WV- >GetZatNode(6, &rep_val2[0]); query results... // now we move forward to the (me point 420 sec (from 150 sec) BASIN- >UnsteadySolve(420, 1, 25,...); // assume we update forcing terms from 420 forward BASIN- >UpdateSource(idx1, 16, ); BASIN- >UpdateSource(idx2, 26, ); update forcing terms con(nue unsteady solve API model Used in place of Netlist to automate connec(ons to other models // simulate from 420 second to 680 sec BASIN- >UnsteadySolve(680, 1, 25, ); con(nue unsteady // repeat if (BASIN) delete BASIN; clean up return 0; }

19 Integra(ng an open source dynamic river model in hydrology modeling frameworks

20 Integra(ng an open source dynamic river model in hydrology modeling frameworks Hodges and Liu (2014) Rivers and Electric Networks: Crossing Disciplines in Modeling and Simula(on, Founda.ons and Trs in Electronic Design Automa.on 8:1:1-116 Liu and Hodges (2014) Applying microprocessor analysis methods to river network modeling, Environmental Modelling & SoBware, 52: Hodges (2013) Challenges in con(nental river dynamics, Environmental Modelling & SoBware, 50: Downloads at h_p:// Frank Liu IBM Research Aus.n Ben R. Hodges Univ. of Texas at Aus.n

21 Integra(ng an open source dynamic river model in hydrology modeling frameworks End of presenta(on

Con$nuous Integra$on Development Environment. Kovács Gábor

Con$nuous Integra$on Development Environment. Kovács Gábor Con$nuous Integra$on Development Environment Kovács Gábor kovacsg@tmit.bme.hu Before we start anything Select a language Set up conven$ons Select development tools Set up development environment Set up

More information

Practical C Programming

Practical C Programming Practical C Programming Advanced Preprocessor # - quotes a string ## - concatenates things #pragma h3p://gcc.gnu.org/onlinedocs/cpp/pragmas.html #warn #error Defined Constants Macro FILE LINE DATE TIME

More information

RAD, Rules, and Compatibility: What's Coming in Kuali Rice 2.0

RAD, Rules, and Compatibility: What's Coming in Kuali Rice 2.0 software development simplified RAD, Rules, and Compatibility: What's Coming in Kuali Rice 2.0 Eric Westfall - Indiana University JASIG 2011 For those who don t know Kuali Rice consists of mul8ple sub-

More information

Preliminary ACTL-SLOW Design in the ACS and OPC-UA context. G. Tos? (19/04/2016)

Preliminary ACTL-SLOW Design in the ACS and OPC-UA context. G. Tos? (19/04/2016) Preliminary ACTL-SLOW Design in the ACS and OPC-UA context G. Tos? (19/04/2016) Summary General Introduc?on to ACS Preliminary ACTL-SLOW proposed design Hardware device integra?on in ACS and ACTL- SLOW

More information

ThinManager and FactoryTalk View SE. John Ter8n; ESE, Inc.

ThinManager and FactoryTalk View SE. John Ter8n; ESE, Inc. ThinManager and FactoryTalk View SE John Ter8n; ESE, Inc. Who Am I John Ter8n Director of Manufacturing Informa8on Systems Who We Are Founded in 1981 Headquartered in Marshfield, Wisconsin 100% Employee-

More information

Prof. B.S. Thandaveswara. The computation of a flood wave resulting from a dam break basically involves two

Prof. B.S. Thandaveswara. The computation of a flood wave resulting from a dam break basically involves two 41.4 Routing The computation of a flood wave resulting from a dam break basically involves two problems, which may be considered jointly or seperately: 1. Determination of the outflow hydrograph from the

More information

Motion Planning for Robot Manipulators

Motion Planning for Robot Manipulators Motion Planning for Robot Manipulators Manuel Bonilla PhD Student manuel.bonilla@centropiaggio.unipi.it 26/05/15 http://manuel-bonilla.com 1 1. What is the interesting part of Motion planning in Robotics

More information

MPI Performance Analysis Trace Analyzer and Collector

MPI Performance Analysis Trace Analyzer and Collector MPI Performance Analysis Trace Analyzer and Collector Berk ONAT İTÜ Bilişim Enstitüsü 19 Haziran 2012 Outline MPI Performance Analyzing Defini6ons: Profiling Defini6ons: Tracing Intel Trace Analyzer Lab:

More information

User manual iridium KNX Server

User manual iridium KNX Server User manual iridium KNX Server iridium mobile Group Europe - 2016 Table of contents. 1. Applica!on 3 2. Contents 3 3. Technical parameters 3 4. Controls and Display 4 5. Safety measures 5 6. Controller

More information

SEDA An architecture for Well Condi6oned, scalable Internet Services

SEDA An architecture for Well Condi6oned, scalable Internet Services SEDA An architecture for Well Condi6oned, scalable Internet Services Ma= Welsh, David Culler, and Eric Brewer University of California, Berkeley Symposium on Operating Systems Principles (SOSP), October

More information

Agenda. General Organiza/on and architecture Structural/func/onal view of a computer Evolu/on/brief history of computer.

Agenda. General Organiza/on and architecture Structural/func/onal view of a computer Evolu/on/brief history of computer. UNIT I: OVERVIEW Agenda General Organiza/on and architecture Structural/func/onal view of a computer Evolu/on/brief history of computer. Architecture & Organiza/on Computer Architecture is those abributes

More information

Automa6on and API Programming with Femap and NX Nastran

Automa6on and API Programming with Femap and NX Nastran Automa6on and API Programming with An introduc6on to the Femap Applica6on Programming Interface using a blend of theory and prac6ce that allows students to automate modeling processes, modify the model,

More information

Distributed Systems. Communica3on and models. Rik Sarkar Spring University of Edinburgh

Distributed Systems. Communica3on and models. Rik Sarkar Spring University of Edinburgh Distributed Systems Communica3on and models Rik Sarkar Spring 2018 University of Edinburgh Models Expecta3ons/assump3ons about things Every idea or ac3on anywhere is based on a model Determines what can

More information

Get started with the IBM Alert Notification service. Author: Ray Stoner Senior Managing Consultant IBM Cloud Client Technical Engagement Lab Services

Get started with the IBM Alert Notification service. Author: Ray Stoner Senior Managing Consultant IBM Cloud Client Technical Engagement Lab Services Get started with the IBM Alert Notification service Author: Ray Stoner Senior Managing Consultant IBM Cloud Client Technical Engagement Lab Services Contents 1. Introduction... 3 1.1. ANS features and

More information

Opera&ng Systems ECE344

Opera&ng Systems ECE344 Opera&ng Systems ECE344 Lecture 8: Paging Ding Yuan Lecture Overview Today we ll cover more paging mechanisms: Op&miza&ons Managing page tables (space) Efficient transla&ons (TLBs) (&me) Demand paged virtual

More information

Unstructured Finite Volume Code on a Cluster with Mul6ple GPUs per Node

Unstructured Finite Volume Code on a Cluster with Mul6ple GPUs per Node Unstructured Finite Volume Code on a Cluster with Mul6ple GPUs per Node Keith Obenschain & Andrew Corrigan Laboratory for Computa;onal Physics and Fluid Dynamics Naval Research Laboratory Washington DC,

More information

Long Term Challenge for Network Standby. Hans-Paul Siderius Chair of EDNA

Long Term Challenge for Network Standby. Hans-Paul Siderius Chair of EDNA Long Term Challenge for Network Standby Hans-Paul Siderius Chair of EDNA Contents History The Challenge Reducing the gap Func7onal approach Boundary condi7on Conclusion History Reduction of Classic Standby:

More information

Charlie Garrod Bogdan Vasilescu

Charlie Garrod Bogdan Vasilescu Principles of So3ware Construc9on: Objects, Design, and Concurrency Part 1: Introduc9on Course overview and introduc9on to so3ware design Charlie Garrod Bogdan Vasilescu School of Computer Science 1 So3ware

More information

Automated UI tests for Mobile Apps. Sedina Oruc

Automated UI tests for Mobile Apps. Sedina Oruc Automated UI tests for Mobile Apps Sedina Oruc What I ll be covering Ø Basics Ø What are UI tests? Ø The no@on of Emulator and Simulator Ø What are our challenges? Ø PlaForm specific UI tes@ng frameworks

More information

Preliminary Evalua.on of ABAQUS, FLUENT, and in- house GPU code Performance on Blue Waters

Preliminary Evalua.on of ABAQUS, FLUENT, and in- house GPU code Performance on Blue Waters Blue Water Symposium, University of Illinois, Urbana, IL, May 12-15, 2014 Preliminary Evalua.on of ABAQUS, FLUENT, and in- house GPU code Performance on Blue Waters B. G. Thomas 1, L. C. Hibbeler 1, K.

More information

Objec0ves. Gain understanding of what IDA Pro is and what it can do. Expose students to the tool GUI

Objec0ves. Gain understanding of what IDA Pro is and what it can do. Expose students to the tool GUI Intro to IDA Pro 31/15 Objec0ves Gain understanding of what IDA Pro is and what it can do Expose students to the tool GUI Discuss some of the important func

More information

Distributed Systems INF Michael Welzl

Distributed Systems INF Michael Welzl Distributed Systems INF 3190 Michael Welzl What is a distributed system (DS)? Many defini8ons [Coulouris & Emmerich] A distributed system consists of hardware and sodware components located in a network

More information

Distributed Systems. Communica3on and models. Rik Sarkar 2015/2016. University of Edinburgh

Distributed Systems. Communica3on and models. Rik Sarkar 2015/2016. University of Edinburgh Distributed Systems Communica3on and models Rik Sarkar 2015/2016 University of Edinburgh Models Expecta3ons/assump3ons about things Every idea or ac3on anywhere is based on a model Determines what can

More information

Senate Subcommi-ee on Flooding & Evacua5ons. Presenta5on by Commission on State Emergency Communica5ons August 24, 2010 Houston, Texas

Senate Subcommi-ee on Flooding & Evacua5ons. Presenta5on by Commission on State Emergency Communica5ons August 24, 2010 Houston, Texas Senate Subcommi-ee on Flooding & Evacua5ons Presenta5on by Commission on State Emergency Communica5ons August 24, 2010 Houston, Texas Overview of 9-1- 1 in Texas "9-1- 1 service" means a telecommunica5ons

More information

Core Technology Development Team Meeting

Core Technology Development Team Meeting Core Technology Development Team Meeting To hear the meeting, you must call in Toll-free phone number: 1-866-740-1260 Access Code: 2201876 For international call in numbers, please visit: https://www.readytalk.com/account-administration/international-numbers

More information

M2M: what s in it for your customers? Bri$sh Telecommunica$ons plc 2017

M2M: what s in it for your customers? Bri$sh Telecommunica$ons plc 2017 M2M: what s in it for your customers? What is M2M? M2M Healthcare/ wearable tech In car systems Parking meters POS Fleet management Smart metering Telemetry Public services Video security/ surveillance

More information

Design Principles & Prac4ces

Design Principles & Prac4ces Design Principles & Prac4ces Robert France Robert B. France 1 Understanding complexity Accidental versus Essen4al complexity Essen%al complexity: Complexity that is inherent in the problem or the solu4on

More information

Configura)on Management Founda)ons. Leonardo Gresta Paulino Murta

Configura)on Management Founda)ons. Leonardo Gresta Paulino Murta Configura)on Management Founda)ons Leonardo Gresta Paulino Murta leomurta@ic.uff.br Configura)on Item Hardware or so@ware aggrega)on subject to configura)on management Examples: CM plan Requirement Engineering

More information

Monitoring IPv6 Content Accessibility and Reachability. Contact: R. Guerin University of Pennsylvania

Monitoring IPv6 Content Accessibility and Reachability. Contact: R. Guerin University of Pennsylvania Monitoring IPv6 Content Accessibility and Reachability Contact: R. Guerin (guerin@ee.upenn.edu) University of Pennsylvania Outline Goals and scope So=ware overview Func@onality, performance, and requirements

More information

Stacking it Up Experimental Observa6ons on the opera6on of Dual Stack Services

Stacking it Up Experimental Observa6ons on the opera6on of Dual Stack Services Stacking it Up Experimental Observa6ons on the opera6on of Dual Stack Services Geoff Huston, APNIC Labs 1 If working with one protocol has its problems 2 Then just how much damage can we do by joining

More information

Outline. In Situ Data Triage and Visualiza8on

Outline. In Situ Data Triage and Visualiza8on In Situ Data Triage and Visualiza8on Kwan- Liu Ma University of California at Davis Outline In situ data triage and visualiza8on: Issues and strategies Case study: An earthquake simula8on Case study: A

More information

DART Tutorial Sec'on 2: The DART Directory Tree

DART Tutorial Sec'on 2: The DART Directory Tree DART Tutorial Sec'on 2: The DART Directory Tree UCAR The Na'onal Center for Atmospheric Research is sponsored by the Na'onal Science Founda'on. Any opinions, findings and conclusions or recommenda'ons expressed

More information

hashfs Applying Hashing to Op2mize File Systems for Small File Reads

hashfs Applying Hashing to Op2mize File Systems for Small File Reads hashfs Applying Hashing to Op2mize File Systems for Small File Reads Paul Lensing, Dirk Meister, André Brinkmann Paderborn Center for Parallel Compu2ng University of Paderborn Mo2va2on and Problem Design

More information

CSSE232 Computer Architecture. Introduc5on

CSSE232 Computer Architecture. Introduc5on CSSE232 Computer Architecture Introduc5on Reading Be:er for you if done before class For today: Ch 1 (esp 1.1-3, 10) App. C Sec5ons 2.4, 3.1-2 Outline Introduc5ons Class details Syllabus, website, schedule

More information

Vulnerability Analysis (III): Sta8c Analysis

Vulnerability Analysis (III): Sta8c Analysis Computer Security Course. Vulnerability Analysis (III): Sta8c Analysis Slide credit: Vijay D Silva 1 Efficiency of Symbolic Execu8on 2 A Sta8c Analysis Analogy 3 Syntac8c Analysis 4 Seman8cs- Based Analysis

More information

CSE 451: Operating Systems. Sec$on 2 Interrupts, system calls, and project 1

CSE 451: Operating Systems. Sec$on 2 Interrupts, system calls, and project 1 CSE 451: Operating Systems Sec$on 2 Interrupts, system calls, and project 1 Interrupts Ü Interrupt Ü Hardware interrupts caused by devices signaling CPU Ü Excep$on Ü Uninten$onal sobware interrupt Ü Ex:

More information

Lecture 2. White- box Tes2ng and Structural Coverage (see Amman and Offut, Chapter 2)

Lecture 2. White- box Tes2ng and Structural Coverage (see Amman and Offut, Chapter 2) Lecture 2 White- box Tes2ng and Structural Coverage (see Amman and Offut, Chapter 2) White- box Tes2ng (aka. Glass- box or structural tes2ng) An error may exist at one (or more) loca2on(s) Line numbers

More information

Github/Git Primer. Tyler Hague

Github/Git Primer. Tyler Hague Github/Git Primer Tyler Hague Why Use Github? Github keeps all of our code up to date in one place Github tracks changes so we can see what is being worked on Github has issue tracking for keeping up with

More information

Su#erPatch So.ware Release Notes

Su#erPatch So.ware Release Notes Su#erPatch So.ware Release Notes Version 2.0.0 (build 200); September 1, 2018 New Feature Highlights Free upgrade for all exis1ng users. Su5erPatch 2 comes with Igor Pro version 8. All exis1ng users receive

More information

Oracle VM Workshop Applica>on Driven Virtualiza>on

Oracle VM Workshop Applica>on Driven Virtualiza>on Oracle VM Workshop Applica>on Driven Virtualiza>on Simon COTER Principal Product Manager Oracle VM & VirtualBox simon.coter@oracle.com hnps://blogs.oracle.com/scoter November 25th, 2015 Copyright 2014

More information

DF SG-S0 Electric Encoder

DF SG-S0 Electric Encoder Page 1 of 16 DF-60-32-SG-S0 User Manual Rev 1.0 U M Rotary Absolute Posion Connecon Soware Installaon Mounng Verificaon Calibraon Copyright 2013 Netzer Precision Moon Sensors LTD, All rights reserved.

More information

Developing a high- resolu1on coupled regional climate model for the tropical Atlan1c region

Developing a high- resolu1on coupled regional climate model for the tropical Atlan1c region Developing a high- resolu1on coupled regional climate model for the tropical Atlan1c region Raffaele Montuoro Supercompu1ng Facility, Texas A&M University Ping Chang, R. Saravanan Depts. of Oceanography

More information

Computer Programming-I. Developed by: Strawberry

Computer Programming-I. Developed by: Strawberry Computer Programming-I Objec=ve of CP-I The course will enable the students to understand the basic concepts of structured programming. What is programming? Wri=ng a set of instruc=ons that computer use

More information

Results from the Early Science High Speed Combus:on and Detona:on Project

Results from the Early Science High Speed Combus:on and Detona:on Project Results from the Early Science High Speed Combus:on and Detona:on Project Alexei Khokhlov, University of Chicago Joanna Aus:n, University of Illinois Charles Bacon, Argonne Na:onal Laboratory Andrew Knisely,

More information

Data Flow Analysis. Suman Jana. Adopted From U Penn CIS 570: Modern Programming Language Implementa=on (Autumn 2006)

Data Flow Analysis. Suman Jana. Adopted From U Penn CIS 570: Modern Programming Language Implementa=on (Autumn 2006) Data Flow Analysis Suman Jana Adopted From U Penn CIS 570: Modern Programming Language Implementa=on (Autumn 2006) Data flow analysis Derives informa=on about the dynamic behavior of a program by only

More information

Condi(onals and Loops

Condi(onals and Loops Condi(onals and Loops 1 Review Primi(ve Data Types & Variables int, long float, double boolean char String Mathema(cal operators: + - * / % Comparison: < > = == 2 A Founda(on for Programming any program

More information

Virtualization. Introduction. Why we interested? 11/28/15. Virtualiza5on provide an abstract environment to run applica5ons.

Virtualization. Introduction. Why we interested? 11/28/15. Virtualiza5on provide an abstract environment to run applica5ons. Virtualization Yifu Rong Introduction Virtualiza5on provide an abstract environment to run applica5ons. Virtualiza5on technologies have a long trail in the history of computer science. Why we interested?

More information

Lecture 2. White- box Tes2ng and Structural Coverage (see Amman and Offut, Chapter 2)

Lecture 2. White- box Tes2ng and Structural Coverage (see Amman and Offut, Chapter 2) Lecture 2 White- box Tes2ng and Structural Coverage (see Amman and Offut, Chapter 2) White- box Tes2ng (aka. Glass- box or structural tes2ng) An error may exist at one (or more) loca2on(s) Line numbers

More information

Confinement (Running Untrusted Programs)

Confinement (Running Untrusted Programs) Confinement (Running Untrusted Programs) Chester Rebeiro Indian Institute of Technology Madras Untrusted Programs How to run untrusted programs and not harm your system? Answer: Confinement (some:mes called

More information

DART Tutorial Sec'on 21: Observa'on Types and Observing System Design

DART Tutorial Sec'on 21: Observa'on Types and Observing System Design DART Tutorial Sec'on 21: Observa'on Types and Observing System Design UCAR 2014 The Na'onal Center for Atmospheric Research is sponsored by the Na'onal Science Founda'on. Any opinions, findings and conclusions

More information

Jason Polakis, Marco Lancini, Georgios Kontaxis, Federico Maggi, So5ris Ioannidis, Angelos Keromy5s, Stefano Zanero.

Jason Polakis, Marco Lancini, Georgios Kontaxis, Federico Maggi, So5ris Ioannidis, Angelos Keromy5s, Stefano Zanero. Jason Polakis, Marco Lancini, Georgios Kontaxis, Federico Maggi, So5ris Ioannidis, Angelos Keromy5s, Stefano Zanero polakis@ics.forth.gr Annual Computer Security Applica5ons Conference (ACSAC) 2012 Introduc5on

More information

FPLLL. Contributing. Martin R. Albrecht 2017/07/06

FPLLL. Contributing. Martin R. Albrecht 2017/07/06 FPLLL Contributing Martin R. Albrecht 2017/07/06 Outline Communication Setup Reporting Bugs Topic Branches and Pull Requests How to Get your Pull Request Accepted Documentation Overview All contributions

More information

Enterprise Architecture CS 4720 Web & Mobile Systems

Enterprise Architecture CS 4720 Web & Mobile Systems Enterprise Architecture Web & Mobile Systems The Concept of a Web Service Each service is built around a func=on/feature That func=on is surrounded by a specified set of protocols (SOAP, POX, WSDL, WSD,

More information

An Object Oriented Opera/ng System. Amit Gupta CSCI 5448 Spring 2011

An Object Oriented Opera/ng System. Amit Gupta CSCI 5448 Spring 2011 An Object Oriented Opera/ng System Amit Gupta amit.gupta@colorado.edu CSCI 5448 Spring 2011 Introduc/on We re taking a closer look at HAIKU A free and open source opera/ng system Object Oriented design

More information

Parallel Programming Pa,erns

Parallel Programming Pa,erns Parallel Programming Pa,erns Bryan Mills, PhD Spring 2017 What is a programming pa,erns? Repeatable solu@on to commonly occurring problem It isn t a solu@on that you can t simply apply, the engineer has

More information

EAS- SEC: Framework for Securing Enterprise Business Applica;ons

EAS- SEC: Framework for Securing Enterprise Business Applica;ons Invest in security to secure investments EAS- SEC: Framework for Securing Enterprise Business Applica;ons Alexander Polyakov CTO ERPScan About ERPScan The only 360- degree SAP Security solu8on - ERPScan

More information

Symantec Data Loss Preven2on 12.5 Demo Presenta2on

Symantec Data Loss Preven2on 12.5 Demo Presenta2on Symantec Data Loss Preven2on 12.5 Demo Presenta2on 1 Our Understanding PROJECT DRIVERS & DATA TO PROTECT Regulatory compliance PCI, GLBA Data inventory and cleansing SSNs, CCNs [Replace these bullet points

More information

Document Databases: MongoDB

Document Databases: MongoDB NDBI040: Big Data Management and NoSQL Databases hp://www.ksi.mff.cuni.cz/~svoboda/courses/171-ndbi040/ Lecture 9 Document Databases: MongoDB Marn Svoboda svoboda@ksi.mff.cuni.cz 28. 11. 2017 Charles University

More information

User manual of STYLE WiFi Connec7on and Opera7on of imos STYLE app. (ios & Android version)

User manual of STYLE WiFi Connec7on and Opera7on of imos STYLE app. (ios & Android version) User manual of STYLE WiFi Connec7on and Opera7on of imos STYLE app (ios & Android version) 1 WiFi connec7on (light fixture) 1. Before the STYLE is connected to your WiFi, the panel will show a sta7c green

More information

EITF25 Internet- - Techniques and Applica8ons Stefan Höst. L6 Networking and IP

EITF25 Internet- - Techniques and Applica8ons Stefan Höst. L6 Networking and IP EITF25 Internet- - Techniques and Applica8ons Stefan Höst L6 Networking and IP Data communica8on In reality, the source and des8na8on hosts are very seldom on the same network, for example web surf. Internet

More information

Shepherd s Presentation Draft Policy Allocation of IPv4 and IPv6 Address Space to Out-of-region Requestors

Shepherd s Presentation Draft Policy Allocation of IPv4 and IPv6 Address Space to Out-of-region Requestors 59 Shepherd s Presentation Draft Policy 2013-6 Allocation of IPv4 and IPv6 Address Space to Out-of-region Requestors What s the Problem 2 There is really no policy for who is eligible to receive resources

More information

MFTP: a Clean- Slate Transport Protocol for the Informa8on Centric MobilityFirst Network

MFTP: a Clean- Slate Transport Protocol for the Informa8on Centric MobilityFirst Network MFTP: a Clean- Slate Transport Protocol for the Informa8on Centric MobilityFirst Network Kai Su (presen8ng), Francesco Bronzino, K. K. Ramakrishnan*, and Dipankar Raychaudhuri WINLAB, Rutgers University

More information

LibraryTrac Updated October 12, 2014

LibraryTrac Updated October 12, 2014 LibraryTrac Updated October 12, 2014 LibraryTrac is an applica.on that allows school librarians/media specialists to keep track accurate sta$s$cs of the usage of their library/media center whether it be

More information

Integrating Selenium with Confluence and JIRA

Integrating Selenium with Confluence and JIRA Integrating Selenium with Confluence and JIRA Open Source Test Management within Confluence, Automation of Selenium, Reporting, and Traceability Andrew Lampitt, Co-Founder Sanjiva Nath, CEO and Founder

More information

Automated System Analysis using Executable SysML Modeling Pa8erns

Automated System Analysis using Executable SysML Modeling Pa8erns Automated System Analysis using Executable SysML Modeling Pa8erns Maged Elaasar* Modelware Solu

More information

What is git? Distributed Version Control System (VCS); Created by Linus Torvalds, to help with Linux development;

What is git? Distributed Version Control System (VCS); Created by Linus Torvalds, to help with Linux development; What is git? Distributed Version Control System (VCS); Created by Linus Torvalds, to help with Linux development; Why should I use a VCS? Repositories Types of repositories: Private - only you and the

More information

Project: Embedded SMC

Project: Embedded SMC Project: Embedded SMC What is Secure Computa1on [SMC] A Compute f(a, B) Without revealing A to Bob and B to Alice B 2 Using a Trusted Third Party A B f(a, B) f(a, B) A Compute f(a, B) Without revealing

More information

BT Wholesale M2M: what s in it for your customers? Bri8sh Telecommunica8ons plc

BT Wholesale M2M: what s in it for your customers? Bri8sh Telecommunica8ons plc BT Wholesale M2M: what s in it for your customers? What is M2M? BT defines M2M as the automa5c exchange of informa5on between machines and devices. IoT as all wireless and fixed technologies that may link

More information

Basic UNIX. Jon K. Lærdahl, Structural Bioinforma cs

Basic UNIX. Jon K. Lærdahl, Structural Bioinforma cs Basic UNIX Today s Programme Biological databases Brief introducon What is UNIX? Why should you learn UNIX? Bioinformacs Core Facility Seng up your laptops What about those of you that know Unix and Python

More information

Tutorial II Using the adap3ve mesh refinement & spherical shell geometry. Juliane Dannberg

Tutorial II Using the adap3ve mesh refinement & spherical shell geometry. Juliane Dannberg Tutorial II Using the adap3ve mesh refinement & spherical shell geometry Juliane Dannberg Overview At the end of this tutorial, you should be able to: Set up a model with Earth- like geometry and temperature

More information

RESCDAM DEVELOPMENT OF RESCUE ACTIONS BASED ON DAM BREAK FLOOD ANALYSI A PREVENTION PROJECT UNDER THE EUROPEAN COMMUNITY ACTION PROGRAMME

RESCDAM DEVELOPMENT OF RESCUE ACTIONS BASED ON DAM BREAK FLOOD ANALYSI A PREVENTION PROJECT UNDER THE EUROPEAN COMMUNITY ACTION PROGRAMME RESCDAM DEVELOPMENT OF RESCUE ACTIONS BASED ON DAM BREAK FLOOD ANALYSI A PREVENTION PROJECT UNDER THE EUROPEAN COMMUNITY ACTION PROGRAMME 1-DIMENSIONAL FLOW SIMULATIONS FOR THE KYRKÖSJÄRVI DAM BREAK HAZARD

More information

Distributed Version Control

Distributed Version Control Distributed Version Control David Grellscheid 2014-03-17 Workshop on Advanced Techniques for Scientific Programming and Management of Open Source Software Packages 10 21 March 2014 Version management In

More information

Using So)ware Defined Networks in Research and Educa9on DEIC Conference Middelfart

Using So)ware Defined Networks in Research and Educa9on DEIC Conference Middelfart Using So)ware Defined Networks in Research and Educa9on DEIC Conference 2014 - Middelfart Eduardo Jacob eduardo.jacob@ehu.es http://i2t.ehu.es Presenta9on Outline! Doing (network) research at an Educa9on

More information

Combining Real Time Emula0on of Digital Communica0ons between Distributed Embedded Control Nodes with Real Time Power System Simula0on

Combining Real Time Emula0on of Digital Communica0ons between Distributed Embedded Control Nodes with Real Time Power System Simula0on 1 Combining Real Time Emula0on of Digital Communica0ons between Distributed Embedded Control Nodes with Real Time Power System Simula0on Ziyuan Cai and Ming Yu Electrical and Computer Eng., Florida State

More information

Founda'ons of Game AI

Founda'ons of Game AI Founda'ons of Game AI Level 3 Basic Movement Prof Alexiei Dingli 2D Movement 2D Movement 2D Movement 2D Movement 2D Movement Movement Character considered as a point 3 Axis (x,y,z) Y (Up) Z X Character

More information

Kaseya Advanced Workshop DAY TWO

Kaseya Advanced Workshop DAY TWO Kaseya Advanced Workshop DAY TWO Developed by Kaseya University Powered by IT Scholars 1 Kaseya Version 6.2 Last updated on June 25, 2012 Day One Roadmap! Advanced Agent Procedures Day Two Advanced Monitoring

More information

DART Tutorial Sec'on 11: Crea'ng DART Executables

DART Tutorial Sec'on 11: Crea'ng DART Executables DART Tutorial Sec'on 11: Crea'ng DART Executables UCAR 2014 The Na'onal Center for Atmospheric Research is sponsored by the Na'onal Science Founda'on. Any opinions, findings and conclusions or recommenda'ons

More information

Tightly Integrated: Mike Cormier Bill Thackrey. Achieving Fast Time to Value with Splunk. Managing Directors Splunk Architects Concanon LLC

Tightly Integrated: Mike Cormier Bill Thackrey. Achieving Fast Time to Value with Splunk. Managing Directors Splunk Architects Concanon LLC Copyright 2014 Splunk Inc. Tightly Integrated: Achieving Fast Time to Value with Splunk Mike Cormier Bill Thackrey Managing Directors Splunk Cer@fied Architects Concanon LLC Disclaimer During the course

More information

DART Tutorial Sec'on 25: A simple 1D advec'on model: Tracer Data Assimila'on

DART Tutorial Sec'on 25: A simple 1D advec'on model: Tracer Data Assimila'on DART Tutorial Sec'on 25: A simple 1D advec'on model: Tracer Data Assimila'on UCAR The Na'onal Center for Atmospheric Research is sponsored by the Na'onal Science Founda'on. Any opinions, findings and conclusions

More information

Proofs about Programs

Proofs about Programs Proofs about Programs Program Verification (Rosen, Sections 5.5) TOPICS Program Correctness Preconditions & Postconditions Program Verification Assignment Statements Conditional Statements Loops Composition

More information

more uml: sequence & use case diagrams

more uml: sequence & use case diagrams more uml: sequence & use case diagrams uses of uml as a sketch: very selec)ve informal and dynamic forward engineering: describe some concept you need to implement reverse engineering: explain how some

More information

Lecture 10: Potpourri: Enum / struct / union Advanced Unix #include function pointers

Lecture 10: Potpourri: Enum / struct / union Advanced Unix #include function pointers ....... \ \ \ / / / / \ \ \ \ / \ / \ \ \ V /,----' / ^ \ \.--..--. / ^ \ `--- ----` / ^ \. ` > < / /_\ \. ` / /_\ \ / /_\ \ `--' \ /. \ `----. / \ \ '--' '--' / \ / \ \ / \ / / \ \ (_ ) \ (_ ) / / \ \

More information

Today s Objec4ves. Data Center. Virtualiza4on Cloud Compu4ng Amazon Web Services. What did you think? 10/23/17. Oct 23, 2017 Sprenkle - CSCI325

Today s Objec4ves. Data Center. Virtualiza4on Cloud Compu4ng Amazon Web Services. What did you think? 10/23/17. Oct 23, 2017 Sprenkle - CSCI325 Today s Objec4ves Virtualiza4on Cloud Compu4ng Amazon Web Services Oct 23, 2017 Sprenkle - CSCI325 1 Data Center What did you think? Oct 23, 2017 Sprenkle - CSCI325 2 1 10/23/17 Oct 23, 2017 Sprenkle -

More information

INTERNATIONAL JOURNAL OF CIVIL AND STRUCTURAL ENGINEERING Volume 2, No 3, 2012

INTERNATIONAL JOURNAL OF CIVIL AND STRUCTURAL ENGINEERING Volume 2, No 3, 2012 INTERNATIONAL JOURNAL OF CIVIL AND STRUCTURAL ENGINEERING Volume 2, No 3, 2012 Copyright 2010 All rights reserved Integrated Publishing services Research article ISSN 0976 4399 Efficiency and performances

More information

Switching and bridging

Switching and bridging Switching and bridging CSCI 466: Networks Keith Vertanen Fall 2011 Last chapter: Overview Crea7ng networks from: Point- to- point links Shared medium (wireless) This chapter: SoCware and hardware connec7ng

More information

Where we are in the Course

Where we are in the Course Where we are in the Course Star9ng the Transport Layer! Builds on the network layer to deliver data across networks for applica9ons with the desired reliability or quality Applica9on Transport Network

More information

Tizen/Artik IoT Practice Part 4 Open Source Development

Tizen/Artik IoT Practice Part 4 Open Source Development 1 Tizen/Artik IoT Practice Part 4 Open Source Development Sungkyunkwan University Contents 2 SCM Tool: Git Version Management Local & Remote Repository Branch Management Github Contribution Process Issue

More information

Having Fun with Social Coding. Sean Handley. February 25, 2010

Having Fun with Social Coding. Sean Handley. February 25, 2010 Having Fun with Social Coding February 25, 2010 What is Github? GitHub is to collaborative coding, what Facebook is to social networking 1 It serves as a web front-end to open source projects by allowing

More information

OpenMP Tasking Concepts

OpenMP Tasking Concepts UT Aus?n TACC OpenMP Tasking Concepts TACC OpenMP Team milfeld/lars/agomez@tacc.utexas.edu Sides at:?nyurl.com/tacc-openmp or portal.tacc.utexas.edu/training click View Details Learning Objec?ve -- Tasking

More information

Network Virtualiza/on Overlay Control Protocol Requirements

Network Virtualiza/on Overlay Control Protocol Requirements Network iza/on Overlay Control Protocol Requirements dra

More information

Network Administra0on

Network Administra0on Network Administra0on (Introduc0on) Administración en Red 1 Index Introduc0on (TCP/IP) Network Interface Link Layer Network Layer Monitoring/Test Administración en Red 2 Introduc0on (TCP/IP) Protocol Suite,

More information

Secure and Ef icient Iris and Fingerprint Identi ication

Secure and Ef icient Iris and Fingerprint Identi ication Secure and Eficient Iris and Fingerprint Identiication Marina Blanton Department of Computer Science and Engineering, University of Notre Dame mblanton@nd.edu Paolo Gas Department of Computer Science,

More information

Redis Timeseries Documentation

Redis Timeseries Documentation Redis Timeseries Documentation Release 0.1.8 Ryan Anguiano Jul 26, 2017 Contents 1 Redis Timeseries 3 1.1 Install................................................... 3 1.2 Usage...................................................

More information

TECHNICAL SESSIONS FORMS * WORKFLOW * FLOW * POWERAPPS

TECHNICAL SESSIONS FORMS * WORKFLOW * FLOW * POWERAPPS v Top Form: Using PowerApps to Replace List Forms Presented by: Marc Anderson MVP Administrators & Power Users, Developers For years, we've customized standard SharePoint list forms by adding our own JavaScript

More information

Networking: Hardware, Rou?ng and new Challenges

Networking: Hardware, Rou?ng and new Challenges Mestrado em Engenharia Informá?ca e de Computadores Master Degree (MSc) in Informa?on Systems and Computer Engineering Administração e Gestão de Infra-estruturas de IT IT Infrastructure Management and

More information

CSC 2700: Scientific Computing

CSC 2700: Scientific Computing CSC 2700: Scientific Computing Record and share your work: revision control systems Dr Frank Löffler Center for Computation and Technology Louisiana State University, Baton Rouge, LA Feb 13 2014 Overview

More information

COSC 310: So*ware Engineering. Dr. Bowen Hui University of Bri>sh Columbia Okanagan

COSC 310: So*ware Engineering. Dr. Bowen Hui University of Bri>sh Columbia Okanagan COSC 310: So*ware Engineering Dr. Bowen Hui University of Bri>sh Columbia Okanagan 1 Admin A2 is up Don t forget to keep doing peer evalua>ons Deadline can be extended but shortens A3 >meframe Labs This

More information

Network Access Transla0on - NAT

Network Access Transla0on - NAT Network Access Transla0on - NAT Foreword Those slides have been done by gathering a lot of informa0on on the net Ø Cisco tutorial Ø Lectures from other ins0tu0ons University of Princeton University of

More information

Ensemble- Based Characteriza4on of Uncertain Features Dennis McLaughlin, Rafal Wojcik

Ensemble- Based Characteriza4on of Uncertain Features Dennis McLaughlin, Rafal Wojcik Ensemble- Based Characteriza4on of Uncertain Features Dennis McLaughlin, Rafal Wojcik Hydrology TRMM TMI/PR satellite rainfall Neuroscience - - MRI Medicine - - CAT Geophysics Seismic Material tes4ng Laser

More information