Un introduzione al Progetto SOCS: formalizzazione e verifica di protocolli di interazione. Paola Mello - DEIS

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "Un introduzione al Progetto SOCS: formalizzazione e verifica di protocolli di interazione. Paola Mello - DEIS"

Transcription

1 U itroduzioe al Progetto SOCS: formalizzazioe e verifica di protocolli di iterazioe. Paola Mello - DEIS Semiario Applicazioi di AI 1

2 SOCS: a computatioal logic model for the descriptio, aalysis ad verificatio of global ad ope Societies Of heterogeeous ComputeeS SOCS home page: Semiario Applicazioi di AI 2

3 Societies Of ComputeeS (SOCS) 3 years project (ed Jue 2005 Fuded by EU Parters: " Uiversity of Bologa " Uiversity of Ferrara " Uiversity of Pisa " Uiversity of Cyprus " Imperial College Lodo " City Uiversity Lodo Semiario Applicazioi di AI 3

4 SOCS: Agets i a society Societies are groups of iteractig agets (possibly with a commo goal) " iteractios are ucostraied (opeess) " the sematics of iteractio is defied i terms of protocols ad expectatios " the social behaviour of computees ca be observed to give it a istitutioal meaig to verify compliace to the protocols to raise expectatios, violatios, sactios We will focus ow o social aspects Semiario Applicazioi di AI 4

5 Basic architecture Data structures: " SOKB (Social Orgaizatio Kowledge Base) " SEKB (Social Eviromet Kowledge Base) " Social Itegrity Costraits " Goals Roles (duties ad capabilities) Etry / exit rules Sematics of iteractio " at the protocol level " at the commuicatio level Verificatio of iteractio society ad protocols commuicatio laguage platform layered architecture Semiario Applicazioi di AI 5

6 Social evets Happeed evets come from the outer world. Happeed evets that are socially relevat are recorded by the society ifrastructure H(Evet[,Time]) Oce they are recorded, they become part of the SEKB The history of happeed evets is the set HAP = { H(Evet,Time) } Semiario Applicazioi di AI 6

7 Expectatios Evets ca give raise to expectatios i the society: E(Evet[,Time]) EN(Evet[,Time]) Positive expectatios: evets that are expected to occur Negative expectatios: evets that are expected ot to occur The state of expectatios is a cojuctio EXP cotaiig " literals of the form ( )E(Evet,Time) " literals of the form ( )EN(Evet,Time) " Costrait Formulas o the variables occurrig i the other literals preset i EXP Semiario Applicazioi di AI 7

8 Protocols Computees behave accordig to their ow policies Social expectatios ca be used: " to check the correct fuctioig of the society " to suggest to the computees a course of actios Protocols are defied through Social Itegrity Costraits: The society geerates expectatios out of protocols & evets Computees Policies? Behaviour Social Ifrastructure Protocols Fulfilmet Violatio Semiario Applicazioi di AI 8

9 Social Itegrity Costraits (SICs) SICs ::= [χ ϕ]* χ ::= ( )H(Evet [,Time]) ϕ ::= { ( )E/NE(Evet [,Time]) / costraits } Semiario Applicazioi di AI 9

10 SICs Examples If I make you a offer, you must aswer me acceptig or refusig before a deadlie d H(tell(Me,You,offer(Item,Price),T) E(tell(You,Me,accept(Item,Price),T ), T <=T+d E(tell(You,Me,refuse(Item,Price), T ), T <=T+d If you accept my offer, you caot refuse it later H(tell(You,Me,accept(Item,Price), T) EN(tell(You,Me,refuse(Item,Price), Tr), Tr>=T Semiario Applicazioi di AI 10

11 Compliace Verificatio Social Ifrastructure Computees Protocols Policies? Behaviour Reasoig ad verificatio module Fulfillmet Violatio Semiario Applicazioi di AI 11

12 Social ifrastructure Social Ifrastructure Behaviour Protocols Reasoig Expectatios Verify Compliace YES NO Fulfillmet Violatio Semiario Applicazioi di AI 12

13 Social ifrastructure Social Ifrastructure Behaviour Reasoig Expectatios Verify Compliace YES NO Fulfillmet Violatio (1)o-the fly verificatio of compliace to protocols Semiario Applicazioi di AI 13

14 Social Itegrity Costraits (ICs) Example of Social Itegrity Costrait Society where agets ca exchage resources: If I make you a offer, you are expected to aswer to me by either acceptig or refusig before a deadlie d H(tell(Me,You,offer(Item,Price),T) E(tell(You,Me,accept(Item,Price),T ), T <=T+d E(tell(You,Me,refuse(Item,Price), T ), T <=T+d If you accept my offer, you are expected to ot refuse it later H(tell(You,Me,accept(Item,Price), T) EN(tell(You,Me,refuse(Item,Price), Tr), Tr>=T Semiario Applicazioi di AI 14

15 Example (fulfilmet) yves thomas # H(tell(yves,thomas,offer(scooter,10$),1) E(tell(thomas,yves,accept(scooter,10$),T ), T < 7 E(tell(thomas,yves,refuse(scooter,10$),T ), T < 7 H(tell(thomas,yves,accept(scooter,10$),5) $ fulfillmet! Semiario Applicazioi di AI 15

16 Example (violatio) yves (bidder) thomas (auctioeer) # H(tell(yves,thomas,bid(scooter,10$),1) E(tell(thomas,yves,wi(scooter,10$),T ), T < 7 E(tell(thomas,yves,lose(scooter,10$),T ), T < 7 violatio! Semiario Applicazioi di AI 16

17 Example (violatio) yves thomas # H(tell(yves,thomas,offer(scooter,10$),1) H(tell(thomas,yves,accept(scooter,10$),5) $ EN(tell(thomas,yves,refuse(Item,Price), Tr), Tr>=5 H(tell(thomas,yves,refuse(scooter,10$),8) $ violatio! Semiario Applicazioi di AI 17

18 First Prototype Semiario Applicazioi di AI 18

19 Poiters to SOCS SOCS home page: [SOC] Publicatios: " SOCS deliverables (cotact me) " Cofereces: JELIA 02, UKMAS 02, CEEMAS 03, AAMAS 03, IJCAI 03, AI*IA 03 (Friday, Sessio 11, ) ecc. " Workshops: DALT 03, CLIMA 02, ESAW 03, LCMAS 03 (see LNAI e ENTCS), FAMAS 03, MFI 03, PSE 03, ESAW 05 ecc. Projects: Natioal, Spier, PRITT Semiario Applicazioi di AI 19

20 SOCS & SOCS-SI Sito del progetto: SOCS/ SCIFF Proof Procedure: Applicativo SOCS-SI: Alcui protocolli dispoibili su web: protocols.html Semiario Applicazioi di AI 20

21 Tesi e collaborazioi Possibili sotto forma di: " Tesi " Tirocii Sviluppo e messa a puto del prototipo, Scrittura di protocolli Dimostrazioe di proprieta di protocolli Applicazioi al campo medico, sicurezza, e- learig,tcp/ip, Composizioe di Web Services, traduzioe di WS-CDL, BPEL. Semiario Applicazioi di AI 21

ICC WORLD TWENTY ( WORLD CUP-2014 )- A CASE STUDY

ICC WORLD TWENTY ( WORLD CUP-2014 )- A CASE STUDY INTERNATIONAL JOURNAL OF MATHEMATICAL SCIENCES AND APPLICATIONS Volume 5 Number 1 Jauary-Jue 215 ICC WORLD TWENTY2-214 ( WORLD CUP-214 )- A CASE STUDY Bhavi Patel 1 ad Pravi Bhathawala 2 1 Assistat Professor,

More information

The new name for... Mines Rescue Service

The new name for... Mines Rescue Service Health ad Safety Traiig for all Idustries The ew ame for... Mies Rescue Service Expert traiig providers i: High Risk Etry ad Rescue Workig i Cofied Spaces Workig at Height Health ad Safety First Aid Fire

More information

ASSESSMENT SCORING SYSTEM OF ROAD SAFETY INFRASTRUCTURE

ASSESSMENT SCORING SYSTEM OF ROAD SAFETY INFRASTRUCTURE ASSESSMENT SCORING SYSTEM OF ROAD SAFETY INFRASTRUCTURE Case Study of Mihag District i Shaghai, Chia Yue Wag, Daocheg Su 2 School of Traffic ad Trasportatio Egieerig, Togi Uiversity, Shaghai, Chia ABSTRACT

More information

8.5. Solving Equations II. Goal Solve equations by balancing.

8.5. Solving Equations II. Goal Solve equations by balancing. 8.5 Solvig Equatios II Goal Solve equatios by balacig. STUDENT BOOK PAGES 268 271 Direct Istructio Prerequisite Skills/Cocepts Solve a equatio by ispectio or systematic trial. Perform operatios usig itegers,

More information

MST 121: Supplementary resource material for Chapter A1, Sequences

MST 121: Supplementary resource material for Chapter A1, Sequences MST : Supplemetary resource material for Chapter A Sequeces For each of the followig sequeces (a) 9 (b) (c) 8 7 Write ow the et terms of the sequece Write ow a epressio for the close form of the sequece

More information

Held under the sanction of USA Swimming, issued by North Carolina Swimming, Inc. Sanction No. NC11117

Held under the sanction of USA Swimming, issued by North Carolina Swimming, Inc. Sanction No. NC11117 The Greesboro Swimmig Associatio's 2011 Joh Gordo Dewey Ivitatioal Swim Meet November 19-20, 2011 The Greesboro Aquatic Ceter 1921 West Lee Street, Greesboro, NC 27403 SANCTION: HOST: FACILITY: Held uder

More information

European Works Council Developments Before, During and After the Crisis

European Works Council Developments Before, During and After the Crisis Corell Uiversity ILR School DigitalCommos@ILR Iteratioal Publicatios Key Workplace Documets 2015 Europea Works Coucil Developmets Before, Durig ad After the Crisis Eurofoud Follow this ad additioal works

More information

Climbing/Rappelling NATIONAL STANDARDS BOY SCOUTS OF AMERICA

Climbing/Rappelling NATIONAL STANDARDS BOY SCOUTS OF AMERICA 2007 Climbig/Rappellig NATIONAL STANDARDS BOY SCOUTS OF AMERICA These stadards apply to coucil ad district climbig/rappellig activities. Climb O Safely, No. 20-099B, applies to uit activities. Toppig Out,

More information

Modelling Today for the Future. Advanced Modelling Control Techniques

Modelling Today for the Future. Advanced Modelling Control Techniques CwMAG 1 st Autumn Conference 2012 Modelling Today for the Future Advanced Modelling Control Techniques What are advanced modelling controls? Why do we have them? How can we use them? What are the differences

More information

AN ESTIMATION OF INTER-ZONAL BUS DEMAND ON COLOMBO - KALUTARA TRANSPORT CORRIDOR

AN ESTIMATION OF INTER-ZONAL BUS DEMAND ON COLOMBO - KALUTARA TRANSPORT CORRIDOR AN ESIMAION OF INER-ZONAL BUS DEMAND ON COLOMBO - KALUARA RANSPOR CORRIR Sama J. Widaapathiraage ad Amal S. Kumarage Departmet of Civil Egieerig, Uiversity of Moratuwa, Sri Laka. ABSRAC- I the past, it

More information

Status Report on IEICE Communications Society (IEICE-CS)

Status Report on IEICE Communications Society (IEICE-CS) Status Report o IEICE Commuicatios Society (IEICE-CS) http://www.ieice.org/cs/idex.html 2017 IEICE. All Rights Reserved About IEICE 1917 established 1995 5 societies + 1 group 2016 Egieerig Scieces Society(ESS)

More information

Catenary Analysis and Calculation Method of Track Rope of Cargo Cableway with Multiple Loads

Catenary Analysis and Calculation Method of Track Rope of Cargo Cableway with Multiple Loads MATEC Web of Cofereces 8, 01008 (016) DOI: 10.1051/ mateccof/016801008 DME 016 Cateary Aalysis ad Calculatio Method of Track Rope of Cargo Cableway with Multiple Loads Jia Qi a, Ju Che, Liag Qiao, Jiacheg

More information

GFC NIST MASS FLOW CONTROLLERS. Typical Stainless Steel GFC Mass Flow Controller. Design Features. General Description. Principles of Operation

GFC NIST MASS FLOW CONTROLLERS. Typical Stainless Steel GFC Mass Flow Controller. Design Features. General Description. Principles of Operation BULLETIN EM20180402 Model thermal Mass Flow Cotrollers are desiged to idicate ad cotrol set flow rates of gases. The combies the characteristics ad accuracy of covetioal mass flow devices ito a uique compact

More information

Available online at ScienceDirect. Procedia Engineering 113 (2015 )

Available online at  ScienceDirect. Procedia Engineering 113 (2015 ) Available olie at www.sciecedirect.com ScieceDirect rocedia Egieerig 3 (205 ) 30 305 Iteratioal Coferece o Oil ad Gas Egieerig, OGE-205 The twi spool efficiecy cotrol Michuri A.I. a *, Avtoomova I.V. a

More information

Bicycle Theft Detection Motivation and Prototype. Dima Damen and David Hogg Computer Vision Group

Bicycle Theft Detection Motivation and Prototype. Dima Damen and David Hogg Computer Vision Group Bicycle Theft Detection Motivation and Prototype Dima Damen and David Hogg Computer Vision Group Jan 22 nd, 2008 1 Facts l 500,000 Bicycles stolen annually in the UK l 21,236 bicycles stolen in London

More information

Corruption on the Court: The Causes and Social Consequences of Point-Shaving in NCAA Basketball

Corruption on the Court: The Causes and Social Consequences of Point-Shaving in NCAA Basketball Corruptio o the Court: The Causes ad Social Cosequeces of Poit-Shavig i NCAA Basketball YANG-MING CHANG, SHANE SANDERS * Kasas State Uiversity; Nicholls State Uiversity This paper is cocered with the ecoomic

More information

PL estimation acc. to EN ISO

PL estimation acc. to EN ISO PL estimation acc. to EN ISO 3849- Example calculation for an application MAC Safety / Armin Wenigenrath, January 2007 Select the suitable standard for your application Reminder: The standards and the

More information

When rule-based models need to count

When rule-based models need to count Whe rule-based models eed to cout Pierre Boutillier, Ioaa Cristescu To cite this versio: Pierre Boutillier, Ioaa Cristescu. Whe rule-based models eed to cout. [Research Reort] Harvard Medical School. 2017.

More information

Sizing Enclosures for SCR Power Controllers

Sizing Enclosures for SCR Power Controllers INTRODUCTION Application Note 1002 Sizing Enclosures for SCR Power Controllers Author - George A. Sites, AMETEK HDR Power Systems Most applications for SCR Power Controllers require some type of enclosure.

More information

THE EFFECTS OF COUPLED INDUCTORS IN PARALLEL INTERLEAVED BUCK CONVERTERS

THE EFFECTS OF COUPLED INDUCTORS IN PARALLEL INTERLEAVED BUCK CONVERTERS THE EFFECTS OF COUPED INDUCTORS IN PARAE INTEREAVED BUCK CONVERTERS Paul Seria, David Fi ad Geoff Walker pseria@itee.uq.edu.au School of Iformatio Techology ad Electrical Egieerig Uiversity of Queeslad

More information

Coal Pulveriser. Global Solutions

Coal Pulveriser. Global Solutions Coal Pulveriser. Global Solutios > Worm Gears > Gear Uits > Coupligs & Freewheels Global Coal Pulveriser Solutios Reold is a global egieerig group with over 130 years of experiece i the desig ad maufacture

More information

Hazardous Material Emergency Spill Response Protocol WAC

Hazardous Material Emergency Spill Response Protocol WAC Hazardous Material Emergency Spill Response Protocol WAC 296-824 1.0 Policy PLU s highest priority is to protect employee and student health and safety. On that basis, PLU employees or students will not

More information

Multi-Agent Collaboration with Strategical Positioning, Roles and Responsibilities

Multi-Agent Collaboration with Strategical Positioning, Roles and Responsibilities Multi-Agent Collaboration with Strategical Positioning, Roles and Responsibilities Say-Poh Neo Tralvex Yeap Eldwin Tan spneo23@yahoo.com tralvex@krdl.org.sg dumblord@hotmail.com Kent Ridge Digital Labs

More information

MARION STREET MULTIFAMILY

MARION STREET MULTIFAMILY MARIO STREET MULTI-FAMILY BUILDIG, BLOCK 49, EVASTO BROADWAY ADDITIO. SITUATED THE SOUTHWEST QUARTER, SECTIO 35, TOWSHIP 4 SOUTH, RAGE 68 WEST OF THE SIXTH PRICIPAL MERIDIA, CITY OF EGLEWOOD, COUTY OF

More information

Operator's Manual Supplement

Operator's Manual Supplement Operator's Manual Supplement Cribbing Instructions First Edition Sixth Printing Part No. 82943GT Operator's Manual Supplement Front Matter Important Contents Plywood cribbing may be used to provide a level

More information

Seated valves (PN 16) VF 2-2-way valve, flange VF 3-3-way valve, flange

Seated valves (PN 16) VF 2-2-way valve, flange VF 3-3-way valve, flange Data sheet Seated valves (PN 16) VF 2-2-way valve, flage VF 3-3-way valve, flage Descriptio Features: Bubble tight desig 15-80, 200-300 Sap mechaical coectio together with AMV(E) 335, AMV(E) 435 Dedicated

More information

Pressure regulator with solenoid valve VAD Air/gas ratio control with solenoid valve VAG Variable air/gas ratio control with solenoid valve VAV

Pressure regulator with solenoid valve VAD Air/gas ratio control with solenoid valve VAG Variable air/gas ratio control with solenoid valve VAV Pressure regulator with solenoid valve Air/gas ratio control with solenoid valve Variable air/gas ratio control with solenoid valve VAV Product brochure GB 3 Edition 05.12 AGA All-purpose servo regulator

More information

The Risk of LOPA and SIL Classification in the process industry

The Risk of LOPA and SIL Classification in the process industry The Risk of LOPA and SIL Classification in the process industry Mary Kay O Connor Process Safety Center International Symposium Beyond Regulatory Compliance, Making Safety Second Nature October 28-29,

More information

Hazard Identificaiton of Railway Signaling System Using PHA and HAZOP Methods

Hazard Identificaiton of Railway Signaling System Using PHA and HAZOP Methods www.ijape.org Iteratioal Joural of Automatio ad Power Egieerig (IJAPE) Volume 2 Issue 2, February 2013 Hazard Idetificaito of Railway Sigalig System Usig PHA ad HAZOP Methods Jog Gyu Hwag *1, Hyu Jeog

More information

Corruption on the Court: The Causes and Social Consequences of Point-Shaving in NCAA Basketball

Corruption on the Court: The Causes and Social Consequences of Point-Shaving in NCAA Basketball Corruptio o the Court: The Causes ad Social Cosequeces of Poit-Shavig i NCAA Basketball by Yag-Mig Chag * ad Shae Saders ** October 8, 007 * Departmet of Ecoomics, Kasas State Uiversity, 39 Waters Hall,

More information

ELIGIBILITY / LEVELS / VENUES

ELIGIBILITY / LEVELS / VENUES ELIGIBILITY / LEVELS / VENUES 10U - SQUIRT MINOR '08 & MAJOR '07 Eligibility: Top six teams i the league at each level will qualify based o regular seaso league play. Format: Divisioal crossover with semi-fial

More information

Learning of Cooperative actions in multi-agent systems: a case study of pass play in Soccer Hitoshi Matsubara, Itsuki Noda and Kazuo Hiraki

Learning of Cooperative actions in multi-agent systems: a case study of pass play in Soccer Hitoshi Matsubara, Itsuki Noda and Kazuo Hiraki From: AAAI Technical Report SS-96-01. Compilation copyright 1996, AAAI (www.aaai.org). All rights reserved. Learning of Cooperative actions in multi-agent systems: a case study of pass play in Soccer Hitoshi

More information

A1 A2 θ. H r. φ flat= 4 π λ. The University of New South Wales. Single-pass InSAR

A1 A2 θ. H r. φ flat= 4 π λ. The University of New South Wales. Single-pass InSAR Milestoes of Radar ISAR Geometry B A1 A2 θ Radar, 1904 ---0 SAR (Sythetic Aperture Radar), 1952 ---48 ISAR (Iterferometric SAR, IfSAR), 1974 ---22 DISAR (Differetial ISAR), 1993 ---19 PSISAR, 2000 ---7

More information

Computation of the inviscid drift force caused by nonlinear waves on a submerged circular cylinder

Computation of the inviscid drift force caused by nonlinear waves on a submerged circular cylinder csnak, 2011 Iter J Nav Archit Oc Egg (2011) 3:201~207 http://dx.doi.org/10.3744/jnaoe.2011.3.3.201 Computatio of the iviscid drift force caused by oliear waves o a submerged circular cylider Hyeok-Ju Koh

More information

N E W J U D G I N G S Y S T E M F O R A R T I S T I C R O L L E R S K A T I N G C O M P E T I T I O N S THE SYSTEM.

N E W J U D G I N G S Y S T E M F O R A R T I S T I C R O L L E R S K A T I N G C O M P E T I T I O N S THE SYSTEM. N E W J U D G I N G S Y S T E M F O R A R T I S T I C R O L L E R S K A T I N G C O M P E T I T I O N S THE SYSTEM By Nicola Genchi INDEX INDEX... 2 1 OWNERSHIP... 3 2 OVERVIEW... 3 3 GLOSSARY... 3 4 NEW

More information

Lecturers. Multi-Agent Systems. Exercises: Dates. Lectures. Prof. Dr. Bernhard Nebel Room Dr. Felix Lindner Room

Lecturers. Multi-Agent Systems. Exercises: Dates. Lectures. Prof. Dr. Bernhard Nebel Room Dr. Felix Lindner Room Lecturers Multi-Agent Systems Prof. Dr. Bernhard Nebel Room 52-00-028 Phone: 0761/203-8221 email: nebel@informatik.uni-freiburg.de Albert-Ludwigs-Universität Freiburg Dr. Felix Lindner Room 52-00-043 Phone:

More information

DAMAGE ASSESSMENT OF FIBRE ROPES FOR OFFSHORE MOORING

DAMAGE ASSESSMENT OF FIBRE ROPES FOR OFFSHORE MOORING RECOMMENDED PRACTICE DNV-RP-E304 DAMAGE ASSESSMENT OF FIBRE ROPES FOR OFFSHORE MOORING APRIL 2005 FOREWORD (DNV) is a autoomous ad idepedet foudatio with the objectives of safeguardig life, property ad

More information

The Key Variables Needed for PFDavg Calculation

The Key Variables Needed for PFDavg Calculation Iwan van Beurden, CFSE Dr. William M. Goble, CFSE exida Sellersville, PA 18960, USA wgoble@exida.com July 2015 Update 1.2 September 2016 Abstract In performance based functional safety standards, safety

More information

Modeling of Hydraulic Hose Paths

Modeling of Hydraulic Hose Paths Mechanical Engineering Conference Presentations, Papers, and Proceedings Mechanical Engineering 9-2002 Modeling of Hydraulic Hose Paths Kurt A. Chipperfield Iowa State University Judy M. Vance Iowa State

More information

Pressure regulators with solenoid valve VAD, VAG, VAV, VAH Flow rate regulator VRH Pressure regulators with double solenoid valve VCD, VCG, VCV, VCH

Pressure regulators with solenoid valve VAD, VAG, VAV, VAH Flow rate regulator VRH Pressure regulators with double solenoid valve VCD, VCG, VCV, VCH Pressure regulators with solenoid valve,,, VH Flow rate regulator VH Pressure regulators with double solenoid valve VCD, VCG, VCV, VCH Product brochure GB 3 Edition 04.15 G ll-purpose servo regulator for

More information

Data collected from the TR respondents:

Data collected from the TR respondents: Dear Public Manager Scuola Superiore Sant'Anna de Pisa, Italy (under the Management Improvement Program), and Federal University of Rio Grande do Sul, Porto Alegre (under the Industrial Engineering Post

More information

The most common terms rating air flow capacity are ICFM, FAD, ANR, SCFM or nl/min

The most common terms rating air flow capacity are ICFM, FAD, ANR, SCFM or nl/min Rating of Air Compressors and Air Equipment The most common terms rating air flow capacity are ICFM, FAD, ANR, SCFM or nl/min There is no universal standard for rating air compressors, air equipment and

More information

CONTENTS. Protect PC50 32 FM Escape NH15 50 NH15 COMBO 52 CRS15 54 ESCAPE APPLICATIONS 56 ACCESSORIES 58

CONTENTS. Protect PC50 32 FM Escape NH15 50 NH15 COMBO 52 CRS15 54 ESCAPE APPLICATIONS 56 ACCESSORIES 58 Product Portfolio For over 130 years Avo Protectio has bee at the forefrot of supplyig specialist respiratory protectio devices ad equipmet to military forces, civil ad first lie defece troops, emergecy

More information

WELL TEST HAZOP CAPABILITY STATEMENT

WELL TEST HAZOP CAPABILITY STATEMENT WELL TEST HAZOP CAPABILITY STATEMENT INTRODUCTION Hazard and Operability (HAZOP) is a hazard analysis method used to identify hazards and operational problems. The standard HAZOP methodology is process-based

More information

PBCFR Reserve Battalion Combat Skills Check Off

PBCFR Reserve Battalion Combat Skills Check Off PBCFR Reserve Battalion Combat s Check Off Member s Name: Approved for Combat: Introduction All Palm Beach County Reserve Battalion members who are certified by the State of Florida with a minimum of FF

More information

RANDOLOMITICS 2016 RULES

RANDOLOMITICS 2016 RULES RANDOLOMITICS 2016 RULES Art 1) RANDOLOMITICS randonnée is an endurance event organized in three itineraries (Easy Fleim, Fiemme and Dolomiti) that has to be finished in complete autonomy respecting the

More information

bike ms 2014: Team Village Guide

bike ms 2014: Team Village Guide bike ms 2014: Team Village Guide Historic New Ber Ride 2014 bikemsewber.org 1 Team Village What is Team Village? Team Villages are the ceterpoit of the Bike MS overight, as well as a gatherig place for

More information

ELIGIBILITY / LEVELS / VENUES

ELIGIBILITY / LEVELS / VENUES ELIGIBILITY / LEVELS / VENUES 10U - SQUIRT MINOR '08 & MAJOR '07 Eligibility: Top six teams i the league at each level will qualify based o regular seaso league play. Format: Divisioal crossover with semi-fial

More information

ASCE D Wind Loading

ASCE D Wind Loading ASCE 7-10 3D Wind Loading 1 All information in this document is subject to modification without prior notice. No part or this manual may be reproduced, stored in a database or retrieval system or published,

More information

550 PHARR ROAD ATLANTA, GEORGIA SHEET NO Birch Street Newport Beach, CA Tel: Fax:

550 PHARR ROAD ATLANTA, GEORGIA SHEET NO Birch Street Newport Beach, CA Tel: Fax: /EGIEER SEAL LYO REALTY ADVISORS, IC DEVELOPMET KEY PLA O. DATE ISSUED FOR BY 550 PHARR ROAD ATLATA, GEORGIA SHEET O. MAPLE RD E /EGIEER SEAL IFORMATIO DATA SHEET IDEX AP: 1700610010101 SITE AREA: 1.13

More information

Virtual Breadboarding. John Vangelov Ford Motor Company

Virtual Breadboarding. John Vangelov Ford Motor Company Virtual Breadboarding John Vangelov Ford Motor Company What is Virtual Breadboarding? Uses Vector s CANoe product, to simulate MATLAB Simulink models in a simulated or real vehicle environment. Allows

More information

G9 Stakeholder Forum Work at Height

G9 Stakeholder Forum Work at Height G9 Offshore Wind Health and Safety Association Aud Jorunn Skjørestad HSE Manager, Wind Power & Technologies, Statkraft G9 Workstream Leader Why working at height? Incident data: Jan 2011 Jul 2012 One of

More information

Failure Modes, Effects and Diagnostic Analysis

Failure Modes, Effects and Diagnostic Analysis Failure Modes, Effects and Diagnostic Analysis Project: Contact elements Type 8082 and Type 8208 with or without 8602 actuator Customer: R. STAHL Schaltgeräte GmbH Waldenburg Germany Contract No.: Stahl

More information

E xpe rii e nc e step-by-step guidance with long division

E xpe rii e nc e step-by-step guidance with long division 1 План урока Long Division Algorithm with 4 Digit Divid end Возрастная группа: 5 t h Grade, 6t h Grade Virginia - Mathematics Standards of Learning (2009): 4.4 c, 5.4 Virginia - Mathematics Standards of

More information

American made since 1954

American made since 1954 Hampden Engineering Corporation LOOK TO HAMPDEN FOR YOUR TRAINING NEEDS! Hampden s selection of Instrumentation and Process Control Training equipment is far larger than we are able to show you in this

More information

Spacecraft Simulation Tool. Debbie Clancy JHU/APL

Spacecraft Simulation Tool. Debbie Clancy JHU/APL FSW Workshop 2011 Using Flight Software in a Spacecraft Simulation Tool Debbie Clancy JHU/APL debbie.clancy@jhuapl.edu 443-778-7721 Agenda Overview of RBSP and FAST Technical Challenges Dropping FSW into

More information

DeZURIK Double Block & Bleed (DBB) Knife Gate Valve Safety Manual

DeZURIK Double Block & Bleed (DBB) Knife Gate Valve Safety Manual Double Block & Bleed (DBB) Knife Gate Valve Safety Manual Manual D11044 September, 2015 Table of Contents 1 Introduction... 3 1.1 Terms... 3 1.2 Abbreviations... 4 1.3 Product Support... 4 1.4 Related

More information

Technical Rescue Awareness. How First Responding Personnel Can Survive the Technical Rescue

Technical Rescue Awareness. How First Responding Personnel Can Survive the Technical Rescue Technical Rescue Awareness How First Responding Personnel Can Survive the Technical Rescue Why Technical Rescue Awareness? Program is designed to inform rescue personnel what a technical rescue situation

More information

4.1 Why is the Equilibrium Diameter Important?

4.1 Why is the Equilibrium Diameter Important? Chapter 4 Equilibrium Calculations 4.1 Why is the Equilibrium Diameter Important? The model described in Chapter 2 provides information on the thermodynamic state of the system and the droplet size distribution.

More information

Campus Map and Car Park Operations

Campus Map and Car Park Operations Campus Map and Car Park Operations Campus Map Page 2 of 8 Page 3 of 8 Contents Campus Map... 2 Car Park Operations... 4 Overview... 4 Kiss and Drop Zone... 4 Drop Off... 5 Pick Up... 5 Family Name Cards...

More information

Valve Proving System VDK 200 A S02

Valve Proving System VDK 200 A S02 Valve Proving System VDK 200 A S02 Valve proving system with the following approvals. UL Recognized File # MH17004 CSA Certified File # 1637485 CSA Requirement No. 4-01 (USA) Technical Information Letter

More information

SCHOOL DISTRICT PALM BEACH COUNTY BUILDING DEPARTMENT PLAN REVIEW CHECK LIST -- ARCHITECTURAL

SCHOOL DISTRICT PALM BEACH COUNTY BUILDING DEPARTMENT PLAN REVIEW CHECK LIST -- ARCHITECTURAL SCHOOL DISTRICT PALM BEACH COUNTY BUILDING DEPARTMENT PLAN REVIEW CHECK LIST -- ARCHITECTURAL 3300 SUMMIT BOULEVARD WEST PALM BEACH, FLORIDA 33406 TEL (561) 688-7687 FAX (561) 688-7654 http://www.palmbeach.k12.fl.us/fm/bd/index.htm

More information

Developing process safety indicators

Developing process safety indicators Health ad Safety Developig process safety idicators A step-by-step guide for chemical ad major hazard idustries This is a free-to-dowload, web-friedly versio of HSG254 (First editio, published 2006). This

More information

"Prevenção de Acidentes e Lesões no Trânsito para Melhorar a Segurança dos Trabalhadores"

Prevenção de Acidentes e Lesões no Trânsito para Melhorar a Segurança dos Trabalhadores "Prevenção de Acidentes e Lesões no Trânsito para Melhorar a Segurança dos Trabalhadores" Jesús Monclús Director, Risk Prevention and Road Safety Area Fundación MAPFRE A walk through the Foundation. What

More information

DECREE TECH FEATURES FELT LONG, LOW, SLACK GEOMETRY

DECREE TECH FEATURES FELT LONG, LOW, SLACK GEOMETRY TECH FEATURES FELT DECREE In October 2015, Felt Bicycles introduced an entirely new trail bike into its family: the Decree. Through many iterations of development and design, plus demanding testing and

More information

Student Outcomes. Lesson Notes. Classwork. Discussion (20 minutes)

Student Outcomes. Lesson Notes. Classwork. Discussion (20 minutes) Student Outcomes Students explain a proof of the converse of the Pythagorean Theorem. Students apply the theorem and its converse to solve problems. Lesson Notes Students had their first experience with

More information

ECB Clubmark Site Visit Checklist

ECB Clubmark Site Visit Checklist ECB Clubmark Site Visit Checklist 3 35 ECB Clubmark Site Visit - Club Details Name of Cricket Club: RAINHAM CC County Cricket Board: ESSEX Date: Version: (Insert numerical version of Site Visit Checklist

More information

Pressure Measurement Unit HEMP

Pressure Measurement Unit HEMP Pressure Measurement Unit HEMP Engineering and Technical Teaching Equipment INTRODUCTION Pressure measurements are the most important measurements in industry; especially in continuous processes industries,

More information

PhD Degree in Tourism Management Leslie, D (2008) REFERENCE LIST

PhD Degree in Tourism Management Leslie, D (2008) REFERENCE LIST PhD Degree i Tourism Maagemet Leslie, D (2008) Referece list REFERENCE LIST Aaltoe, P. Ikävalko, H. 2002. Implemetig strategies successfully. Itegrated Maagemet System, Vol 13/6. Alashloo, FR. Castka,

More information

Characterization of Refrigeration System Compressor Performance

Characterization of Refrigeration System Compressor Performance Purdue Uiversity Purdue e-pubs Iteratioal Refrigeratio ad Air Coditioig Coferece School of Mechaical Egieerig 2002 Characterizatio of Refrigeratio System Compressor Performace A. Mackese Uiversity of Wiscosi-Madiso

More information

Emma B. Howe YMCA Swim Lessons Schedule

Emma B. Howe YMCA Swim Lessons Schedule Emma B. Howe YMCA Swim Lessos Schedule 2018 Summer Jue 4 - September 9 (763) 785-7882 ymcam.org/emmabhowe ABOUT Y SWIM LESSONS The Y strives to help all ages lear how to swim, so they ca stay safe aroud

More information

SERIES A VOLLEYBALL LEAGUE

SERIES A VOLLEYBALL LEAGUE SERIES A VOLLEYBALL LEAGUE Year Founded: 1987 Beginning of collaboration with Mondo: 2000 Introduction of tricolor court: 2008 Start of Super League: 2014 THE ITALIAN MEN'S VOLLEYBALL CHAMPIONSHIP IS ONE

More information

IL-10 MIP- M-CSF IL-2 G-CSF. Bio-Plex Multiplex System. IL-12p40 IL-4 MIP-2. IFN-γ. TGF-β3 IL-6. Multiplex System IL-5

IL-10 MIP- M-CSF IL-2 G-CSF. Bio-Plex Multiplex System. IL-12p40 IL-4 MIP-2. IFN-γ. TGF-β3 IL-6. Multiplex System IL-5 IL-β Multiplex System IL- TGF-β IL-6 M-CSF GLP- TGF-β ICAM- TRAIL TGF-β TGF-β CTACK MIF TGF-β TGF-β TGF-β MIF PAI- TGF-β HGF TGF-β TGF-β IL- IL-4 TGF-β IFN-Υ TGF-β TGF-β Bio-Plex Multiplex System TGF-β

More information

"Transversal" and "specific" measures to protect vulnerable users: the project of the "Road Safety Monitoring Centre - Rome

Transversal and specific measures to protect vulnerable users: the project of the Road Safety Monitoring Centre - Rome "Transversal" and "specific" measures to protect vulnerable users: the project of the "Road Safety Monitoring Centre - Rome Fabrizio Benvenuti Marco Surace Stefania Pisanti - Fabio Nussio Roma servizi

More information

Gas Laws V 1 V 2 T 1. Gas Laws.notebook. May 05, T = k P 1 V 1 = P 2 V 2. = 70 kpa. P. V = k. k = 1 atm = kpa

Gas Laws V 1 V 2 T 1. Gas Laws.notebook. May 05, T = k P 1 V 1 = P 2 V 2. = 70 kpa. P. V = k. k = 1 atm = kpa Gas Laws At constant temperature, all gases behave the same when compressed As increasing pressure is applied to a gas in a closed container, the volume of the gas decreases he product of pressure and

More information

ECO 40 is a CLASS 40 Main dimensions of the boat

ECO 40 is a CLASS 40 Main dimensions of the boat 11 marzo 2015 I condizionamenti dell ambiente sulla performance sportiva: come si vince un Olimpiade Aula Magna - Politecnico di Torino Corso Duca degli Abruzzi 24 ROMA OCEAN WORLD Paolo DE GIROLAMO -

More information

OPERATION INSTRUCTIONS

OPERATION INSTRUCTIONS TAS 1000 OPERATION INSTRUCTIONS DOCUMENT 1000-401 DATE: April 29/2011 REV. D PLEASE READ INSTRUCTIONS COMPLETELY BEFORE PROCEEDING WITH INSTALLATION Instrument Corporation P.O. Box 122 Fort Erie, Ontario

More information

Clinton Keith. Scrum Essentials for Game Teams. Clinton Keith Scott Crabtree. Thursday, March 1, 12. Presented by. Scrum is a simple framework

Clinton Keith. Scrum Essentials for Game Teams. Clinton Keith Scott Crabtree. Thursday, March 1, 12. Presented by. Scrum is a simple framework Scrum Essentials for Game Teams ing seats We ll be mov art this st e before w don t unpack morning, so yet! Presented by Clinton Keith Scott Crabtree 1 Clinton Keith 2 3 Today Scrum is a simple framework

More information

Pressure Independent Control Valves

Pressure Independent Control Valves Pressure Independent Control Valves Hydronic Components, onents, Inc. 7243 Miller ler Drive, Warren, MI 48092 www.hciterminator.com phone: (586) 268-1640 fax: (586) 979-8318 Pressure Independent Control

More information

La Gait Analysis grandezze dinamiche e casi clinici. Manuela Galli, DEIB, POLITECNICO DI MILANO

La Gait Analysis grandezze dinamiche e casi clinici. Manuela Galli, DEIB, POLITECNICO DI MILANO La Gait Analysis grandezze dinamiche e casi clinici. Manuela Galli, DEIB, POLITECNICO DI MILANO Programma 3. La valutazione del cammino Gait analysis 3.1. Obiettivi della valutazione quantitativa del cammino

More information

2018 Triathlon Canada. CAMTRI Championship Junior Team Selection Policy

2018 Triathlon Canada. CAMTRI Championship Junior Team Selection Policy 2018 Triathlon Canada CAMTRI Championship Junior Team Selection Policy A. INTRODUCTION This document establishes the Eligibility and Selection criteria for entry into the 2018 Confederation of American

More information

COMPETITION INTERNATIONAL OF DANCE 7 e 8 / April 2018 REGULATION

COMPETITION INTERNATIONAL OF DANCE 7 e 8 / April 2018 REGULATION COMPETITION INTERNATIONAL OF DANCE 7 e 8 / April 2018 REGULATION 1) LOCATION The International Competition of dance Novara in Danza, for Danceschools and Academies of dance and not professional Dancers,

More information

Consular Services to British Nationals

Consular Services to British Nationals The Foreig ad Commowealth Office Cosular Services to British Natioals REPORT BY THE COMPTROLLER AND AUDITOR GENERAL HC 594 Sessio 2005-2006 24 November 2005 The Natioal Audit Office scrutiises public spedig

More information

A Boat Builders Story

A Boat Builders Story A Boat Builders Story By Ken Simpson September 2013 This is a tale about the experiences of Bayard Stix Cook of Florida, and his build of the 1 SHEET + pram. For the purpose of this story we will call

More information

Event Management Plan

Event Management Plan C:\Users\micha\Downloads\TSSSA Skiing event plan template june 2016.doc Event Management Plan Event Name Event Location TSSSA GymFunk Gymnastics Gymnastica Gym Club, NP Event Date 17/8/17 Organisation

More information

CATS Deliverable 4.2: CATS propulsion system requirements

CATS Deliverable 4.2: CATS propulsion system requirements Integrated Vehicle Safety Automotive Campus 30 5708 JZ Helmond P.O. Box 756 5700 AT Helmond The Netherlands TNO 2016 R10926 CATS Deliverable 4.2: CATS propulsion system requirements www.tno.nl T +31 88

More information

Travel Demand Management Implementation in Bandar Lampung

Travel Demand Management Implementation in Bandar Lampung Travel Demad Maagemet Implemetatio i Badar Lampug Rahayu Sulistyorii 1, a, 1 Lampug Uiversity Istitute Techology of Sumatera a Keywords: Traffic

More information

In historic preservation we often talk about the reasons a building, or a place, Your Brain On Buildings. Est Volume 46 + Number 4 + Fall 2017

In historic preservation we often talk about the reasons a building, or a place, Your Brain On Buildings. Est Volume 46 + Number 4 + Fall 2017 Est. 1970 + Volume 46 + Number 4 + Fall 2017 Beauty ca save the world, oe perso at a time. Rezo Piao Your Brai O Buildigs The First Church of Divie Sciece, Althea Ceter Photo: Shao N. Schaefer I historic

More information

Transit Signal Preemption and Priority Treatments

Transit Signal Preemption and Priority Treatments Transit Signal Preemption and Priority Treatments Peter Koonce, PE Portland, OR Today s Message Transit signal priority presents an opportunity to partner with an agency that isn t always recognized as

More information

Flygt low-speed mixers. Outstanding efficiency

Flygt low-speed mixers. Outstanding efficiency Flygt low-speed mixers Outstadig efficiecy INTRODUCTION Eergy-efficiet mixig Advatages of Flygt low-speed mixers Risig to the mixig challege All mixig applicatios require varyig degrees of both small-scale

More information

API Standard Venting Atmospheric and Low-Pressure Storage Tanks: Nonrefrigerated and Refrigerated

API Standard Venting Atmospheric and Low-Pressure Storage Tanks: Nonrefrigerated and Refrigerated General API Standard 2000 - Venting Atmospheric and Low-Pressure Storage Tanks: Is there any limit for the maximum allowable linear velocity or any other parameter for the roof of a floating roof tank

More information

Module 4.0 Calculating the Final Score

Module 4.0 Calculating the Final Score Module 4.0 Calculating the Final Score Learning Objective 4.0 To understand how scores are calculated to arrive at the final placement of skaters. Outline 4.1 Calculation for Singles, Pairs and Synchronized

More information

Wind Tunnel Testing Guidance. Arjan Voogt

Wind Tunnel Testing Guidance. Arjan Voogt Wind Tunnel Testing Guidance Arjan Voogt WIND TUNNEL TESTING Proven method for airplanes, city planning, car design competitive cycling, rockets trajectories and skiing BUT NOT ACCEPTED BY USCG IN STABILITY

More information

Lockout/Tagout Plan Environmental Health & Safety Office July 2017

Lockout/Tagout Plan Environmental Health & Safety Office July 2017 July 2017 Table of Contents Acronyms... iii Foreword... iv Document History... iv 1.0 Introduction... 1 1.1 Purpose... 1 1.2 Scope... 1 1.3 Lockout/Tagout Program... 1 2.0 Roles and Responsibilities...

More information

SAFETY SEMINAR Rio de Janeiro, Brazil - August 3-7, Authors: Francisco Carlos da Costa Barros Edson Romano Marins

SAFETY SEMINAR Rio de Janeiro, Brazil - August 3-7, Authors: Francisco Carlos da Costa Barros Edson Romano Marins SAFETY SEINAR Rio de Janeiro, Brazil - August 3-7, 2009 Using HAZOP and LOPA ethodologies to Improve Safety in the Coke Drums Cycles Authors: Gilsa Pacheco onteiro Francisco Carlos da Costa Barros Edson

More information

Failure Modes, Effects and Diagnostic Analysis

Failure Modes, Effects and Diagnostic Analysis Failure Modes, Effects and Diagnostic Analysis Project: Primary Elements Company: Rosemount Inc. (an Emerson Process Management company) Chanhassen, MN USA Contract Number: Q13/04-008 Report No.: ROS 13/04-008

More information

Take home messages from the 2 nd Coastal Al6metry Workshop

Take home messages from the 2 nd Coastal Al6metry Workshop Take home messages from the 2 nd Coastal Al6metry Workshop Paolo Cipollini Na6onal Oceanography Centre, Southampton Co chairs: Stefano Vignudelli, Jérôme Benveniste, Nicolas Picot Moderators: Peter Challenor,

More information

Implementing IEC Standards for Safety Instrumented Systems

Implementing IEC Standards for Safety Instrumented Systems Implementing IEC Standards for Safety Instrumented Systems ABHAY THODGE TUV Certificate: PFSE-06-607 INVENSYS OPERATIONS MANAGEMENT What is a Safety Instrumented System (SIS)? An SIS is designed to: respond

More information

Aquatic Guidelines Safe Water Entry Information and Risk Assessments

Aquatic Guidelines Safe Water Entry Information and Risk Assessments Aquatic Guidelines Safe Water Entry Information and Risk Assessments This risk assessment and guidelines package was developed in accordance with the Royal Lifesaving Societies Implementation Guide for

More information

PADEL BALLS FIP APPROVED

PADEL BALLS FIP APPROVED PADEL BALLS FIP APPROVED Effective: 1 st. of January to 31 st. of December, 2017 0 CONTENTS Page The International Padel Federation. 2 a) Introduction 5 b) The Rules of Game of Padel: The Ball 6 The Rules

More information