3C03 Concurrency: Model-based Design
|
|
- Frederik Bertelsen
- 5 år siden
- Visninger:
Transkript
1 3C03 Concurrency: Model-based Design Wolfgang Emmerich 1 Outline Role of Modelling in System Development Refining Models into Designs FSP Actions and Operations FSP Processes and Threads FSP Processes and Monitors FSP Safety Properties and Monitor Invariants Single-Lane Bridge Revisited 2 1
2 What are models? Abstract representations of the real world Neglect details considered unnecessary Example: mathematical model of bridge Supports analysis to check properties of interest 3 Guide system design Why do we model? Improve system design in a cost-effective way Obtain formal basis for verifying correctness of the system 4 2
3 Engineering Concurrent Programs Requirements (e.g. Use Cases) Concurrency Model (e.g. FSP)?? Design (e.g. UML) Implementation (e.g. Java) 5 Model-based Design What is the relationship between concurrency model (e.g. in FSP) and design (e.g. in UML)? How can we derive the UML design for a concurrent program from an FSP model? How do we transfer properties that have been proven to hold in FSP into an UML design? 6 3
4 SingleLaneBridgeFSP CAR = (request->enter->exit->car). NOPASS1=C[1], C[i:ID]=([i].enter->C[i%N+1]). NOPASS2=C[1], C[i:ID]=([i].exit->C[i%N+1]). CONVOY=([ID]:CAR NOPASS1 NOPASS2). CARS=(red:CONVOY blue:convoy). SAFEBRIDGE=SAFEBRIDGE[0][0], SAFEBRIDGE[nr:T][nb:T]= (when (nb==0) red[id].enter->bridge[nr+1][nb] when (nr==0) blue[id].enter->bridge[nr][nb+1] when (nr>0) red[id].exit -> BRIDGE[nr-1][nb] when (nb>0) blue[id].exit-> BRIDGE[nr][nb-1]). FAIRBRIDGE=FAIRBRIDGE[0][0][0][0][True], FAIRBRIDGE[nr:T][nb:T][wr:T][wb:T][bt:B]= (when(wr<n) red[id].request->bridge[nr][nb][wr+1][wb][bt] when(wb<n) blue[id].request->bridge[nr][nb][wr][wb+1][bt] when(nb==0&&(wb==0!bt))red[id].enter->bridge[nr+1][nb][wr-1][wb][bt] when(nr==0&&(wr==0 bt))blue[id].enter->bridge[nr][nb+1][wr][wb-1][bt] when(nr>0) red[id].exit -> BRIDGE[nr-1][nb][wr][wb][True] when(nb>0) blue[id].exit-> BRIDGE[nr][nb-1][wr][wb][False]). SINGLELANEBRIDGE = (CARS FAIRBRIDGE)>>{red[ID].exit,blue[ID].exit}. property ONEWAY=(red[ID].enter -> RED[1] blue[id].enter ->BLUE[1], RED[i:ID]=(red[ID].enter->RED[i+1] when (i==1)red[id].exit->oneway) when (i>1) red[id].exit->red[i-1]), BLUE[i:ID]=(blue[ID].enter->BLUE[i+1] when (i==1)blue[id].exit->oneway) when (i>1) red[id].exit->blue[i-1]). TESTSAFETY = (CARS SAFEBRIDGE). Demo 7 Deriving Thread Classes Those FSP processes that represent active entities Candidates: Processes that are instantiated multiple times Example in Single Lane Bridge: Cars 8 4
5 Deriving Thread Classes CAR = (request->enter->exit->car). NOPASS1=C[1], C[i:ID]=([i].enter->C[i%N+1]). NOPASS2=C[1], C[i:ID]=([i].exit->C[i%N+1]). CONVOY=([ID]:CAR NOPASS1 NOPASS2). CARS=(red:CONVOY blue:convoy). Runnable BlueCar -id:int; run() RedCar -id:int; run() 9 Deriving Monitors Those FSP processes that are not active do not have to be separate threads If they represent shared resources are likely to become monitors Example in FSP: Bridge 10 5
6 Deriving Monitors FAIRBRIDGE[nr:T][nb:T][wr:T][wb:T][bt:B]= SAFEBRIDGE[nr:T][nb:T]= Bridge FairBridge SafeBridge 11 Deriving Monitor Variables FSP Processes that represent monitors often maintain a local state in terms of index variables These index variables also have to be used monitors They have to become instance variables of the monitor Example: Instance Variables of FairBridge and SafeBridge 12 6
7 Deriving Monitor Variables FAIRBRIDGE=FAIRBRIDGE[0][0][0][0][True], FAIRBRIDGE[nr:T][nb:T][wr:T][wb:T][bt:B]=( ). SAFEBRIDGE=SAFEBRIDGE[0][0], SAFEBRIDGE[nr:T][nb:T]=( ) Bridge SafeBridge -nred:int=0; -nblue:int=0; FairBridge -nred:int=0; -nblue:int=0; -waitblue:int=0; -waitred:int=0; -blueturn:boolean=true; 13 Deriving Monitor Operations FSP processes that became monitors engage in actions These actions are candidates to become operations in monitor classes For implementation purposes it may be appropriate to subsume operations or split these operations 14 7
8 Deriving Monitor Operations FAIRBRIDGE[nr:T][nb:T][wr:T][wb:T][bt:B]= (when(wr<n) red[id].request->bridge[nr][nb][wr+1][wb][bt] when(wb<n) blue[id].request->bridge[nr][nb][wr][wb+1][bt] when(nb==0&&(wb==0!bt))red[id].enter->bridge[nr+1][nb][wr-1][wb][bt] when(nr==0&&(wr==0 bt)) blue[id].enter->bridge[nr][nb+1][wr][wb-1][bt] when(nr>0) red[id].exit -> BRIDGE[nr-1][nb][wr][wb][True] when(nb>0) blue[id].exit-> BRIDGE[nr][nb-1][wr][wb][False]). SAFEBRIDGE[nr:T][nb:T]= (when (nb==0) red[id].enter->bridge[nr+1][nb] when (nr==0) blue[id].enter->bridge[nr][nb+1] when (nr>0) red[id].exit -> BRIDGE[nr-1][nb] Bridge when (nb>0) blue[id].exit-> BRIDGE[nr][nb-1]). FairBridge SafeBridge redenter() redexit() blueenter() blueexit() redenter() redexit() blueenter() blueexit() 15 Deriving Monitor Conditions Guards of those FSP processes that have become monitors determine conditions for synchronization Can be directly derived by negation Negation due to opposite perspectives: Guard: When can action happen? Monitor: How long do we have to wait before action can happen? 16 8
9 Deriving Monitor Conditions FSP: FAIRBRIDGE[nr:T][nb:T][wr:T][wb:T][bt:B]= when(nb==0&&(wb==0!bt))red[id].enter-> Java: class FairBridge { synchronized void redenter() throws InterruptedException{ ++waitred; while (nblue<>0 (waitblue<>0 && blueturn)) wait(); --waitred; ++nred; notifyall(); } } 17 Deriving Monitor Invariants Safety properties that affect FSP processes that have become monitors have to hold all the time Safety properties become monitor invariants 18 9
10 Deriving Monitor Invariants FSP: property ONEWAY=(red[ID].enter -> RED[1] blue[id].enter ->BLUE[1], RED[i:ID]=(red[ID].enter->RED[i+1] when (i==1)red[id].exit->oneway) when (i>1) red[id].exit->red[i-1]), BLUE[i:ID]=(blue[ID].enter->BLUE[i+1] when (i==1)blue[id].exit->oneway) when (i>1) red[id].exit->blue[i-1]). Java: class SafeBridge extends Bridge { synchronized void redenter() throws InterruptedException { while (nblue>0) wait(); ++nred; } synchronized void redexit() { --nred; if (nred==0) notifyall();} synchronized void blueenter()throws InterruptedException { while (nred>0) wait();++nblue; } synchronized void blueexit() { --nblue; if (nblue==0) notifyall(); } } 19 UML Overview of Single Lane Bridge Runnable BlueCar display RedCar control control Bridge BridgeCanvas display FairBridge 1 control 3 Image SingleLaneBridge SafeBridge Applet 20 10
11 Summary Role of Modelling in System Development Refining Models into Designs FSP Actions and Operations FSP Processes and Threads FSP Processes and Monitors FSP Safety Properties and Monitor Invariants 21 11
Real-time programming safety in Java and Ada
Real-time programming safety in Java and Ada Bo Sandén Presenter: Thomas Bøgholm 25. oktober 2007 Forfatteren Artiklen Synkroniserings Begreber Bo Sandén Professor på Colorado Technical University Beskæftiger
Læs mere2a. Conceptual Modeling Methods
ICT Enhanced Buildings Potentials IKT og Videnrepræsentationer - ICT and Knowledge Representations. 2a. Conceptual Modeling Methods Cand. Scient. Bygningsinformatik. Semester 2, 2010. CONTENT Conceptual
Læs mereDesign by Contract. Design and Programming by Contract. Oversigt. Prædikater
Design by Contract Design and Programming by Contract Anne Haxthausen ah@imm.dtu.dk Informatics and Mathematical Modelling Technical University of Denmark Design by Contract er en teknik til at specificere
Læs merePARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU
PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU OUTLINE INEFFICIENCY OF ATTILA WAYS TO PARALLELIZE LOW COMPATIBILITY IN THE COMPILATION A SOLUTION
Læs mereProject Step 7. Behavioral modeling of a dual ported register set. 1/8/ L11 Project Step 5 Copyright Joanne DeGroat, ECE, OSU 1
Project Step 7 Behavioral modeling of a dual ported register set. Copyright 2006 - Joanne DeGroat, ECE, OSU 1 The register set Register set specifications 16 dual ported registers each with 16- bit words
Læs mereBasic statistics for experimental medical researchers
Basic statistics for experimental medical researchers Sample size calculations September 15th 2016 Christian Pipper Department of public health (IFSV) Faculty of Health and Medicinal Science (SUND) E-mail:
Læs mereCHAPTER 8: USING OBJECTS
Ruby: Philosophy & Implementation CHAPTER 8: USING OBJECTS Introduction to Computer Science Using Ruby Ruby is the latest in the family of Object Oriented Programming Languages As such, its designer studied
Læs mereSkriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM528)
Skriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM58) Institut for Matematik og Datalogi Syddansk Universitet, Odense Torsdag den 1. januar 01 kl. 9 13 Alle sædvanlige hjælpemidler
Læs mereDet er muligt at chekce følgende opg. i CodeJudge: og
Det er muligt at chekce følgende opg. i CodeJudge:.1.7 og.1.14 Exercise 1: Skriv en forløkke, som producerer følgende output: 1 4 9 16 5 36 Bonusopgave: Modificer dit program, så det ikke benytter multiplikation.
Læs mereDesign by Contract Bertrand Meyer Design and Programming by Contract. Oversigt. Prædikater
Design by Contract Bertrand Meyer 1986 Design and Programming by Contract Michael R. Hansen & Anne Haxthausen mrh@imm.dtu.dk Informatics and Mathematical Modelling Technical University of Denmark Design
Læs mereLinear Programming ١ C H A P T E R 2
Linear Programming ١ C H A P T E R 2 Problem Formulation Problem formulation or modeling is the process of translating a verbal statement of a problem into a mathematical statement. The Guidelines of formulation
Læs mereEngineering of Chemical Register Machines
Prague International Workshop on Membrane Computing 2008 R. Fassler, T. Hinze, T. Lenser and P. Dittrich {raf,hinze,thlenser,dittrich}@minet.uni-jena.de 2. June 2008 Outline 1 Motivation Goal Realization
Læs mereGeneralized Probit Model in Design of Dose Finding Experiments. Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US
Generalized Probit Model in Design of Dose Finding Experiments Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US Outline Motivation Generalized probit model Utility function Locally optimal designs
Læs mereVina Nguyen HSSP July 13, 2008
Vina Nguyen HSSP July 13, 2008 1 What does it mean if sets A, B, C are a partition of set D? 2 How do you calculate P(A B) using the formula for conditional probability? 3 What is the difference between
Læs mereBilag. Resume. Side 1 af 12
Bilag Resume I denne opgave, lægges der fokus på unge og ensomhed gennem sociale medier. Vi har i denne opgave valgt at benytte Facebook som det sociale medie vi ligger fokus på, da det er det største
Læs mereReexam questions in Statistics and Evidence-based medicine, august sem. Medis/Medicin, Modul 2.4.
Reexam questions in Statistics and Evidence-based medicine, august 2013 2. sem. Medis/Medicin, Modul 2.4. Statistics : ESSAY-TYPE QUESTION 1. Intelligence tests are constructed such that the average score
Læs mereLearnings from the implementation of Epic
Learnings from the implementation of Epic Appendix Picture from Region H (2016) A thesis report by: Oliver Metcalf-Rinaldo, oliv@itu.dk Stephan Mosko Jensen, smos@itu.dk Appendix - Table of content Appendix
Læs mereAutodesk Simulation. Torben Christensen Niels Riis Christensen NTI CADCenter A/S
Autodesk Simulation Torben Christensen Niels Riis Christensen NTI CADCenter A/S Why Autodesk Simulation? A Comprehensive Portfolio of Solutions Mechanical Computational Fluid Dynamics Structural Plastics
Læs mereRoE timestamp and presentation time in past
RoE timestamp and presentation time in past Jouni Korhonen Broadcom Ltd. 5/26/2016 9 June 2016 IEEE 1904 Access Networks Working Group, Hørsholm, Denmark 1 Background RoE 2:24:6 timestamp was recently
Læs mereShared space - mellem vision og realitet. - Lyngby Idrætsby som case
Downloaded from orbit.dtu.dk on: Jan 27, 2017 Shared space - mellem vision og realitet. - Lyngby Idrætsby som case Brinkø, Rikke Publication date: 2015 Document Version Peer-review version Link to publication
Læs mereDSB s egen rejse med ny DSB App. Rubathas Thirumathyam Principal Architect Mobile
DSB s egen rejse med ny DSB App Rubathas Thirumathyam Principal Architect Mobile Marts 2018 AGENDA 1. Ny App? Ny Silo? 2. Kunden => Kunderne i centrum 1 Ny app? Ny silo? 3 Mødetitel Velkommen til Danske
Læs mereDET KONGELIGE BIBLIOTEK NATIONALBIBLIOTEK OG KØBENHAVNS UNIVERSITETS- BIBLIOTEK. Index
DET KONGELIGE Index Download driver... 2 Find the Windows 7 version.... 2 Download the Windows Vista driver.... 4 Extract driver... 5 Windows Vista installation of a printer.... 7 Side 1 af 12 DET KONGELIGE
Læs mereModtageklasser i Tønder Kommune
Modtageklasser i Tønder Kommune - et tilbud i Toftlund og Tønder til børn, der har behov for at blive bedre til dansk TOFTLUND TØNDER Hvad er en modtageklasse? En modtageklasse er en klasse med særligt
Læs mereTerese B. Thomsen 1.semester Formidling, projektarbejde og webdesign ITU DMD d. 02/11-2012
Server side Programming Wedesign Forelæsning #8 Recap PHP 1. Development Concept Design Coding Testing 2. Social Media Sharing, Images, Videos, Location etc Integrates with your websites 3. Widgets extend
Læs mereDag 10 Flertrådet programmering
Videregående programmering i Java Dag 10 Flertrådet programmering Fremlæggelse af programmering/status for projekter Dokumentation med javadoc Flertrådede designmønstre: Arbejdstråd, Producent Konsument,
Læs mereOXFORD. Botley Road. Key Details: Oxford has an extensive primary catchment of 494,000 people
OXFORD Key Details: Oxford has an extensive primary catchment of 494,000 people Prominent, modern scheme situated in prime retail area Let to PC World & Carpetright and close to Dreams, Currys, Land of
Læs mereSoftware 1 with Java. Recitation No. 7 (Servlets, Inheritance)
Software 1 with Java Recitation No. 7 (Servlets, Inheritance) Servlets Java modules that run on a Web server to answer client requests For example: Processing data submitted by a browser Providing dynamic
Læs mereCross-Sectorial Collaboration between the Primary Sector, the Secondary Sector and the Research Communities
Cross-Sectorial Collaboration between the Primary Sector, the Secondary Sector and the Research Communities B I R G I T T E M A D S E N, P S Y C H O L O G I S T Agenda Early Discovery How? Skills, framework,
Læs mereMaskindirektivet og Remote Access. Arbejdstilsynet Dau konference 2015 Arbejdsmiljøfagligt Center Erik Lund Lauridsen
Maskindirektivet og Remote Access Arbejdstilsynet Dau konference 2015 Arbejdsmiljøfagligt Center Erik Lund Lauridsen ell@at.dk Marts 2015 1 MD - Personsikkerhed og Remoten Hvad er spillepladen for personsikkerhed
Læs mereMolio specifications, development and challenges. ICIS DA 2019 Portland, Kim Streuli, Molio,
Molio specifications, development and challenges ICIS DA 2019 Portland, Kim Streuli, Molio, 2019-06-04 Introduction The current structure is challenged by different factors. These are for example : Complex
Læs mereUniversity of Copenhagen Faculty of Science Written Exam - 3. April Algebra 3
University of Copenhagen Faculty of Science Written Exam - 3. April 2009 Algebra 3 This exam contains 5 exercises which are to be solved in 3 hours. The exercises are posed in an English and in a Danish
Læs merePortal Registration. Check Junk Mail for activation . 1 Click the hyperlink to take you back to the portal to confirm your registration
Portal Registration Step 1 Provide the necessary information to create your user. Note: First Name, Last Name and Email have to match exactly to your profile in the Membership system. Step 2 Click on the
Læs mereQuality indicators for clinical pharmacy services
Quality indicators for clinical pharmacy services Head of Quality and Improvement, Nordsjælland Hospital Dorthe Vilstrup Tomsen Assuring quality in clinical pharmacy services Following international, national
Læs mereConcurrency Forår 2005, Q3
Concurrency Forår 2005, Q3 Mini Project Railroad Crossing Gruppe 10 20030335 Klaus Leth Pedersen 20034439 Jan Egberg Lauritzen 20034440 Mads Pedersen Klaus Leth Pedersen, Jan Egberg Lauritzen, Mads Pedersen
Læs mereProjektledelse i praksis
Projektledelse i praksis - Hvordan skaber man (grundlaget) for gode beslutninger? Martin Malis Business Consulting, NNIT mtmi@nnit.com 20. maj, 2010 Agenda Project Governance Portfolio Management Project
Læs mereX M Y. What is mediation? Mediation analysis an introduction. Definition
What is mediation? an introduction Ulla Hvidtfeldt Section of Social Medicine - Investigate underlying mechanisms of an association Opening the black box - Strengthen/support the main effect hypothesis
Læs mereSOFTWARE PROCESSES. Dorte, Ida, Janne, Nikolaj, Alexander og Erla
SOFTWARE PROCESSES Dorte, Ida, Janne, Nikolaj, Alexander og Erla Hvad er en software proces? Et struktureret sæt af AKTIVITETER, hvis mål er udvikling af software. En software proces model er en abstrakt
Læs mereEngelsk. Niveau C. De Merkantile Erhvervsuddannelser September 2005. Casebaseret eksamen. www.jysk.dk og www.jysk.com.
052430_EngelskC 08/09/05 13:29 Side 1 De Merkantile Erhvervsuddannelser September 2005 Side 1 af 4 sider Casebaseret eksamen Engelsk Niveau C www.jysk.dk og www.jysk.com Indhold: Opgave 1 Presentation
Læs mereOn the complexity of drawing trees nicely: corrigendum
Acta Informatica 40, 603 607 (2004) Digital Object Identifier (DOI) 10.1007/s00236-004-0138-y On the complexity of drawing trees nicely: corrigendum Thorsten Akkerman, Christoph Buchheim, Michael Jünger,
Læs mereSpecial VFR. - ved flyvning til mindre flyveplads uden tårnkontrol som ligger indenfor en kontrolzone
Special VFR - ved flyvning til mindre flyveplads uden tårnkontrol som ligger indenfor en kontrolzone SERA.5005 Visual flight rules (a) Except when operating as a special VFR flight, VFR flights shall be
Læs merehow to save excel as pdf
1 how to save excel as pdf This guide will show you how to save your Excel workbook as PDF files. Before you do so, you may want to copy several sheets from several documents into one document. To do so,
Læs mereThe X Factor. Målgruppe. Læringsmål. Introduktion til læreren klasse & ungdomsuddannelser Engelskundervisningen
The X Factor Målgruppe 7-10 klasse & ungdomsuddannelser Engelskundervisningen Læringsmål Eleven kan give sammenhængende fremstillinger på basis af indhentede informationer Eleven har viden om at søge og
Læs mereIBM Network Station Manager. esuite 1.5 / NSM Integration. IBM Network Computer Division. tdc - 02/08/99 lotusnsm.prz Page 1
IBM Network Station Manager esuite 1.5 / NSM Integration IBM Network Computer Division tdc - 02/08/99 lotusnsm.prz Page 1 New esuite Settings in NSM The Lotus esuite Workplace administration option is
Læs mereSubject to terms and conditions. WEEK Type Price EUR WEEK Type Price EUR WEEK Type Price EUR WEEK Type Price EUR
ITSO SERVICE OFFICE Weeks for Sale 31/05/2015 m: +34 636 277 307 w: clublasanta-timeshare.com e: roger@clublasanta.com See colour key sheet news: rogercls.blogspot.com Subject to terms and conditions THURSDAY
Læs mereThreads i Java. Denne artikel giver en introduktion til threads i Java. Den beskriver hvad tråde er og forklarer hvordan de bruges i Java
Denne guide er oprindeligt udgivet på Eksperten.dk Threads i Java Denne artikel giver en introduktion til threads i Java. Den beskriver hvad tråde er og forklarer hvordan de bruges i Java Den forudsætter
Læs mereA Profile for Safety Critical Java
A Profile for Safety Critical Java Martin Schoeberl Hans Søndergaard Bent Thomsen Anders P. Ravn Præsenteret af: Henrik Kragh-Hansen November 8, 2007 Forfatterne Martin Schoeberl Udvikler af JOP processoren
Læs mereSouth Baileygate Retail Park Pontefract
Key Details : available June 2016 has a primary shopping catchment of 77,000 (source: PMA), extending to 186,000 within 10km (source: FOCUS) 86,000 sq ft of retail including Aldi, B&M, Poundstretcher,
Læs mereSport for the elderly
Sport for the elderly - Teenagers of the future Play the Game 2013 Aarhus, 29 October 2013 Ditte Toft Danish Institute for Sports Studies +45 3266 1037 ditte.toft@idan.dk A growing group in the population
Læs mereSkriftlig Eksamen Beregnelighed (DM517)
Skriftlig Eksamen Beregnelighed (DM517) Institut for Matematik & Datalogi Syddansk Universitet Mandag den 7 Januar 2008, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug af lommeregner
Læs mereObservation Processes:
Observation Processes: Preparing for lesson observations, Observing lessons Providing formative feedback Gerry Davies Faculty of Education Preparing for Observation: Task 1 How can we help student-teachers
Læs mereCMS Support for Patient- Centered Medical Homes. Linda M. Magno Director, Medicare Demonstrations
CMS Support for Patient- Centered Medical Homes Linda M. Magno Director, Medicare Demonstrations Overview Congressional support for medical homes reflected in legislation since 2006 Administration support
Læs mereByg din informationsarkitektur ud fra en velafprøvet forståelsesramme The Open Group Architecture Framework (TOGAF)
Byg din informationsarkitektur ud fra en velafprøvet forståelsesramme The Open Group Framework (TOGAF) Otto Madsen Director of Enterprise Agenda TOGAF og informationsarkitektur på 30 min 1. Introduktion
Læs mereConstant Terminal Voltage. Industry Workshop 1 st November 2013
Constant Terminal Voltage Industry Workshop 1 st November 2013 Covering; Reactive Power & Voltage Requirements for Synchronous Generators and how the requirements are delivered Other countries - A different
Læs mereTitel: Hungry - Fedtbjerget
Titel: Hungry - Fedtbjerget Tema: fedme, kærlighed, relationer Fag: Engelsk Målgruppe: 8.-10.kl. Data om læremidlet: Tv-udsendelse: TV0000006275 25 min. DR Undervisning 29-01-2001 Denne pædagogiske vejledning
Læs mereFejlbeskeder i SMDB. Business Rules Fejlbesked Kommentar. Validate Business Rules. Request- ValidateRequestRegist ration (Rules :1)
Fejlbeskeder i SMDB Validate Business Rules Request- ValidateRequestRegist ration (Rules :1) Business Rules Fejlbesked Kommentar the municipality must have no more than one Kontaktforløb at a time Fejl
Læs mereIBM Software Group. SOA v akciji. Srečko Janjić WebSphere Business Integration technical presales IBM Software Group, CEMA / SEA IBM Corporation
IBM Software Group SOA v akciji Srečko Janjić Business Integration technical presales IBM Software Group, CEMA / SEA Service Oriented Architecture Design principles and technology for building reusable,
Læs mereEngelsk. Niveau D. De Merkantile Erhvervsuddannelser September Casebaseret eksamen. og
052431_EngelskD 08/09/05 13:29 Side 1 De Merkantile Erhvervsuddannelser September 2005 Side 1 af 4 sider Casebaseret eksamen Engelsk Niveau D www.jysk.dk og www.jysk.com Indhold: Opgave 1 Presentation
Læs mereAgenda. The need to embrace our complex health care system and learning to do so. Christian von Plessen Contributors to healthcare services in Denmark
Agenda The need to embrace our complex health care system and learning to do so. Christian von Plessen Contributors to healthcare services in Denmark Colitis and Crohn s association Denmark. Charlotte
Læs mereATEX direktivet. Vedligeholdelse af ATEX certifikater mv. Steen Christensen stec@teknologisk.dk www.atexdirektivet.
ATEX direktivet Vedligeholdelse af ATEX certifikater mv. Steen Christensen stec@teknologisk.dk www.atexdirektivet.dk tlf: 7220 2693 Vedligeholdelse af Certifikater / tekniske dossier / overensstemmelseserklæringen.
Læs mereMSE PRESENTATION 2. Presented by Srunokshi.Kaniyur.Prema. Neelakantan Major Professor Dr. Torben Amtoft
CAPABILITY CONTROL LIST MSE PRESENTATION 2 Presented by Srunokshi.Kaniyur.Prema. Neelakantan Major Professor Dr. Torben Amtoft PRESENTATION OUTLINE Action items from phase 1 presentation tti Architecture
Læs mereSign variation, the Grassmannian, and total positivity
Sign variation, the Grassmannian, and total positivity arxiv:1503.05622 Slides available at math.berkeley.edu/~skarp Steven N. Karp, UC Berkeley FPSAC 2015 KAIST, Daejeon Steven N. Karp (UC Berkeley) Sign
Læs mereStatistik for MPH: 7
Statistik for MPH: 7 3. november 2011 www.biostat.ku.dk/~pka/mph11 Attributable risk, bestemmelse af stikprøvestørrelse (Silva: 333-365, 381-383) Per Kragh Andersen 1 Fra den 6. uges statistikundervisning:
Læs merePrivat-, statslig- eller regional institution m.v. Andet Added Bekaempelsesudfoerende: string No Label: Bekæmpelsesudførende
Changes for Rottedatabasen Web Service The coming version of Rottedatabasen Web Service will have several changes some of them breaking for the exposed methods. These changes and the business logic behind
Læs mereStarWars-videointro. Start din video på den nørdede måde! Version: August 2012
StarWars-videointro Start din video på den nørdede måde! Version: August 2012 Indholdsfortegnelse StarWars-effekt til videointro!...4 Hent programmet...4 Indtast din tekst...5 Export til film...6 Avanceret
Læs mereAktivering af Survey funktionalitet
Surveys i REDCap REDCap gør det muligt at eksponere ét eller flere instrumenter som et survey (spørgeskema) som derefter kan udfyldes direkte af patienten eller forsøgspersonen over internettet. Dette
Læs mereManaging stakeholders on major projects. - Learnings from Odense Letbane. Benthe Vestergård Communication director Odense Letbane P/S
Managing stakeholders on major projects - Learnings from Odense Letbane Benthe Vestergård Communication director Odense Letbane P/S Light Rail Day, Bergen 15 November 2016 Slide om Odense Nedenstående
Læs mereH2020 DiscardLess ( ) Lessons learnt. Chefkonsulent, seniorrådgiver Erling P. Larsen, DTU Aqua, Denmark,
H2020 DiscardLess (2015-2019) Lessons learnt www.discardless.eu Chefkonsulent, seniorrådgiver Erling P. Larsen, DTU Aqua, Denmark, Fra ændrede fiskeredskaber til cost-benefit analyser Endnu et skifte i
Læs mereDatabase. lv/
Database 1 Database Design Begreber 1 Database: En fælles samling af logiske relaterede data (informationer) DBMS (database management system) Et SW system der gør det muligt at definer, oprette og vedligeholde
Læs mereThe SourceOne Family Today and Tomorrow. Michael Søriis Business Development Manager, EMC FUJITSU
The SourceOne Family Today and Tomorrow Michael Søriis Business Development Manager, EMC FUJITSU The Calculus of Information Growth Increasing Adoption More Users Increasing Data Active Inactive Higher
Læs mereSortering fra A-Z. Henrik Dorf Chefkonsulent SAS Institute
Sortering fra A-Z Henrik Dorf Chefkonsulent SAS Institute Hvorfor ikke sortering fra A-Å? Det er for svært Hvorfor ikke sortering fra A-Å? Hvorfor ikke sortering fra A-Å? Hvorfor ikke sortering fra A-Å?
Læs mereInternational Workshop on Language Proficiency Implementation
International Workshop on Language Proficiency Implementation Langen, Germany 6-7 September, 2007 By Captain Rick Valdes IFALPA representative to ICAO s PRICE SG PRESENTATION OUTLINE IFALPA S policy on
Læs mereImmigration Housing. Housing - Renting. Stating that you want to rent something. Type of accommodation. Type of accommodation. Type of accommodation
- Renting English I am looking for a to rent. Stating that you want to rent something room flat / apartment studio flat / studio apartment detached house semi-detached house terraced house How much is
Læs mereHvad betyder samtidighedsferie og den nye ferielov for mig? What does concurrent holiday mean, and how does the new Holiday Act affect me?
Hvad betyder samtidighedsferie og den nye ferielov for mig? What does concurrent holiday mean, and how does the new Holiday Act affect me? 1 Ny ferielov samtidighedsferie Der er vedtaget en ny lov om ferie.
Læs mereNår behandlingen flytter hjem: muligheder og risici. Konsensusmøde om det borgernære sundhedsvæsen. Henning Boje Andersen
Når behandlingen flytter hjem: muligheder og risici Konsensusmøde om det borgernære sundhedsvæsen Dansk selskab for Patientsikkerhed 17. maj 2017 Henning Boje Andersen Danish Technical University DTU 2
Læs mereHvor er mine runde hjørner?
Hvor er mine runde hjørner? Ofte møder vi fortvivlelse blandt kunder, når de ser deres nye flotte site i deres browser og indser, at det ser anderledes ud, i forhold til det design, de godkendte i starten
Læs mereForskning i Kvalitet og Patientsikkerhed i Sundhedsvæsnet. Hvorledes bringes samfundsmæssige udfordringer på den danske forskningsdagsorden?
Forskning i Kvalitet og Patientsikkerhed i Sundhedsvæsnet Hvorledes bringes samfundsmæssige udfordringer på den danske forskningsdagsorden? Har Kvalitet og Patientsikkerhed særlige muligheder? Mogens Hørder
Læs mereElektriske apparater til husholdningsbrug o.l. Sikkerhed Del 1: Generelle krav
Dansk standard Tillæg DS/IEC 60335-1/A1:2013 + Corr 1:2014 1. udgave 2014-05-08 Elektriske apparater til husholdningsbrug o.l. Sikkerhed Del 1: Generelle krav Household and similar electrical appliances
Læs mereSikkerhedsvejledning
11-01-2018 2 Sikkerhedsvejledning VIGTIGT! Venligst læs disse instruktioner inden sengen samles og tages i brug Tjek at alle dele og komponenter er til stede som angivet i vejledningen Fjern alle beslagsdele
Læs mereStatistik for MPH: oktober Attributable risk, bestemmelse af stikprøvestørrelse (Silva: , )
Statistik for MPH: 7 29. oktober 2015 www.biostat.ku.dk/~pka/mph15 Attributable risk, bestemmelse af stikprøvestørrelse (Silva: 333-365, 381-383) Per Kragh Andersen 1 Fra den 6. uges statistikundervisning:
Læs mereBusiness Rules Fejlbesked Kommentar
Fejlbeskeder i SMDB Validate Business Request- ValidateRequestRegi stration ( :1) Business Fejlbesked Kommentar the municipality must have no more than one Kontaktforløb at a time Fejl 1: Anmodning En
Læs mereAppendix 1: Interview guide Maria og Kristian Lundgaard-Karlshøj, Ausumgaard
Appendix 1: Interview guide Maria og Kristian Lundgaard-Karlshøj, Ausumgaard Fortæl om Ausumgaard s historie Der er hele tiden snak om værdier, men hvad er det for nogle værdier? uddyb forklar definer
Læs mereTrolling Master Bornholm 2012
Trolling Master Bornholm 1 (English version further down) Tak for denne gang Det var en fornøjelse især jo også fordi vejret var med os. Så heldig har vi aldrig været før. Vi skal evaluere 1, og I må meget
Læs mereNOTIFICATION. - An expression of care
NOTIFICATION - An expression of care Professionals who work with children and young people have a special responsibility to ensure that children who show signs of failure to thrive get the wright help.
Læs mereMandatory Assignment 1
Mandatory Assignment 1 Morten Franck Peter Hansen 9. oktober 2003 Gruppe 4, Parallelle Systemer (02220) Indhold 1 Trin 1 Petri Net 1 1.1 Model af pass().................................... 1 1.2 Model
Læs mereFejlbeskeder i Stofmisbrugsdatabasen (SMDB)
Fejlbeskeder i Stofmisbrugsdatabasen (SMDB) Oversigt over fejlbeskeder (efter fejlnummer) ved indberetning til SMDB via webløsning og via webservices (hvor der dog kan være yderligere typer fejlbeskeder).
Læs mereStrings and Sets: set complement, union, intersection, etc. set concatenation AB, power of set A n, A, A +
Strings and Sets: A string over Σ is any nite-length sequence of elements of Σ The set of all strings over alphabet Σ is denoted as Σ Operators over set: set complement, union, intersection, etc. set concatenation
Læs mereCoimisiún na Scrúduithe Stáit State Examinations Commission. Leaving Certificate Marking Scheme. Danish. Higher Level
Coimisiún na Scrúduithe Stáit State Examinations Commission Leaving Certificate 2017 Marking Scheme Danish Higher Level Note to teachers and students on the use of published marking schemes Marking schemes
Læs mereUSERTEC USER PRACTICES, TECHNOLOGIES AND RESIDENTIAL ENERGY CONSUMPTION
USERTEC USER PRACTICES, TECHNOLOGIES AND RESIDENTIAL ENERGY CONSUMPTION P E R H E I S E L BERG I N S T I T U T F OR BYGGERI OG A N L Æ G BEREGNEDE OG FAKTISKE FORBRUG I BOLIGER Fra SBi rapport 2016:09
Læs mereECE 551: Digital System * Design & Synthesis Lecture Set 5
ECE 551: Digital System * Design & Synthesis Lecture Set 5 5.1: Verilog Behavioral Model for Finite State Machines (FSMs) 5.2: Verilog Simulation I/O and 2001 Standard (In Separate File) 3/4/2003 1 ECE
Læs mereChapter 4. Enhanced Entity- Relationship Modeling. Enhanced-ER (EER) Model Concepts. Subclasses and Superclasses
Chapter 4 Enhanced Entity- Relationship Modeling Enhanced-ER (EER) Model Concepts Includes all modeling concepts of basic ER Additional concepts: subclasses/superclasses, specialization/generalization,
Læs mereBlack Jack --- Review. Spring 2012
Black Jack --- Review Spring 2012 Simulation Simulation can solve real-world problems by modeling realworld processes to provide otherwise unobtainable information. Computer simulation is used to predict
Læs mereCoimisiún na Scrúduithe Stáit State Examinations Commission. Leaving Certificate Marking Scheme. Danish. Higher Level
Coimisiún na Scrúduithe Stáit State Examinations Commission Leaving Certificate 2018 Marking Scheme Danish Higher Level Note to teachers and students on the use of published marking schemes Marking schemes
Læs mereForslag til implementering af ResearcherID og ORCID på SCIENCE
SCIENCE Forskningsdokumentation Forslag til implementering af ResearcherID og ORCID på SCIENCE SFU 12.03.14 Forslag til implementering af ResearcherID og ORCID på SCIENCE Hvad er WoS s ResearcherID? Hvad
Læs mereHow Al-Anon Works - for Families & Friends of Alcoholics. Pris: kr. 130,00 Ikke på lager i øjeblikket Vare nr. 74 Produktkode: B-22.
Bøger på engelsk How Al-Anon Works - for Families & Friends of Alcoholics Al-Anons grundbog på engelsk, der indfører os i Al- Anon programmet. Om Al-Anons historie, om forståelse af os selv og alkoholismen.
Læs mereGUIDE TIL BREVSKRIVNING
GUIDE TIL BREVSKRIVNING APPELBREVE Formålet med at skrive et appelbrev er at få modtageren til at overholde menneskerettighederne. Det er en god idé at lægge vægt på modtagerens forpligtelser over for
Læs mereIndhold 1. INDLEDNING...4
Abstract This thesis has explored the hypothesis that emotional dysregulation may be involved in problems with non response and high dropout rates, which are characteristicofthecurrenttreatmentofposttraumatic,stressdisorder(ptsd).
Læs mereFeedback Informed Treatment
Feedback Informed Treatment Feedback Informed Treatment Principles: Couples, Families, Groups, and Mandated Clients Where is the distress? To whom does the feedback refer? Multiple voices in the room Systemic
Læs mereMellem selvbestemmelse og omsorgspligt - etiske dillemaer. Kasper Mosekjær Roskilde Universitet
Mellem selvbestemmelse og omsorgspligt - etiske dillemaer Kasper Mosekjær Roskilde Universitet Om filosofi Om dilemaet Frie informerede valg Konsekventialisme / deontologi / værdighed Autonomi Hvorfor
Læs mereTitel: Barry s Bespoke Bakery
Titel: Tema: Kærlighed, kager, relationer Fag: Engelsk Målgruppe: 8.-10.kl. Data om læremidlet: Tv-udsendelse: SVT2, 03-08-2014, 10 min. Denne pædagogiske vejledning indeholder ideer til arbejdet med tema
Læs mereDANSK INSTALLATIONSVEJLEDNING VLMT500 ADVARSEL!
DANSK INSTALLATIONSVEJLEDNING VLMT500 Udpakningsinstruktioner Åben indpakningen forsigtigt og læg indholdet på et stykke pap eller en anden beskyttende overflade for at undgå beskadigelse. Kontroller at
Læs mere