Un introduzione al Progetto SOCS: formalizzazione e verifica di protocolli di interazione. Paola Mello - DEIS
|
|
- Raymond Bryant
- 6 years ago
- Views:
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
Human-Robot Interaction: Group Behavior Level
SPECOM'006, St. Petersburg, 5-9 Jue 006 Huma-Robot Iteractio: Group Behavior Level Lev Stakevich, Deis Trotsky Sait Petersburg State Techical Uiversity 9, Politechicheskaya, St. Petersburg, 955, Russia
More informationICC 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 informationRange St. Dev. n Mean. Total Mean % Competency. Range St. Dev. n Mean. Total Mean % Competency
CSWE Core Competecies - MSW 2013 MSW Program Dual Degree MSW/JD Program* *Due to the curret limited umber of Dual Degree studets, the MSW outcomes data represets outcomes for both programs. 1 : Idetify
More informationThe 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 informationWelcome to the world of the Rube Goldberg!
Welcome to the world of the Rube Goldberg! Sice 1988, tes of thousads of studets have competed i our aual Rube Goldberg Machie Cotests where they are challeged to build the wackiest workig Rube Goldberg
More informationASSESSMENT 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 informationDrexel University Accreditation - Standing with Accrediting Agencies
Drexel Uiversity - Stadig with Accreditig Agecies Update: 05/10/2017 ACCREDITOR NAME ABBREVIATI ON COLLEGE NAME ACCREDITOR TYPE INITIAL ACCREDITATION DATE LAST ACCREDITATION DATE NEXT DELIVERABLE COMPLIANT
More informationXFM DIGITAL MASS FLOW METER. XFM with Profibus Interface. XFM without. Readout. XFM with. Readout. Option
BULLETIN EM20180402 Desig Features Supports up to 23 Egieerig Uits (icludig User Defied). Stores calibratio data for up to 10 gases. Programmable Totalizer idicates total gas quatity. High ad low gas flow
More informationP h o t o g r a p h i c L i g h t i n g ( 1 1 B )
9 1 5 9 P h o t o g r a p h i c L i g h t i g ( 1 1 B ) 30S/30E/30M A Photography Course 9 1 5 9 : P h o t o g r a p h i c L i g h t i g ( 1 1 B ) 3 0 S / 3 0 E / 3 0 M Course Descriptio This course focuses
More informationIntroduction to Algorithms 6.046J/18.401J/SMA5503
Itroductio to Algorithms 6.046J/8.40J/SMA5503 Lecture 4 Prof. Charles E. Leiserso Quicsort Proposed by C.A.R. Hoare i 962. Divide-ad-coquer algorithm. Sorts i place lie isertio sort, but ot lie merge sort.
More information8.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 informationMST 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 informationThe Real Thing?: Representing the Bullfight and Spain in Death in the Afternoon by Peter Messent
The Real Thig?: Represetig the Bullfight ad Spai i Death i the Afteroo by Peter Messet Hemigway does t give us the real thig i the book; istead he gives us his versio of it Phrase used several times (both
More informationn Mix of public, private and NGO respondents Overview n Understanding Walking & Biking Trips n Informing Project Development through:
Creatig Walkable, Bikeable Commuities Developig Effective Active Trasportatio Projects ad Programs ATP Needs & Challeges Survey Mix of public, private ad NGO respodets 96% from orgaizatios/agecies servig
More informationTHE LATENT DEMAND METHOD
THE LATENT DEMAND METHOD Bruce W. Ladis, Russell M. Otteberg, Vekat R. Vattikuti SCI, Ic., 18115 U.S. Highway 41North, Suite 600, Lutz, FL 33549, USA Email: bladis@sciworld.et Travel patters i a metropolita
More informationPHOTO BY MILLICENT HARVEY PHOTOGRAPHY Bulletin Magazine MEDIA KIT. Rates & Schedule
P U B L I S H E D B Y T H E G A R D E N C L U B O F A M E R I C A S I N C E 1 9 1 3 PHOTO BY MILLICENT HARVEY PHOTOGRAPHY 2018-2019 Bulleti Magazie MEDIA KIT Rates & Schedule 2018-2019 Bulleti Magazie
More informationAnalytical and numerical prediction of water sorptivity in cement-based materials
Life Cycle Predictio ad Maagemet of Cocrete tructures, apporo, March Aalytical ad umerical predictio of water sorptivity i cemet-based materials Licheg WANG Dr. Dalia Uiversity of Techology, Dalia Chia
More informationThe Application of Simulating WAves Nearshore Model for Wave Height Simulation at Bangkhuntien Shoreline
America Joural of Evirometal Scieces 6 (3): 299-307, 2010 ISSN 1553-345X 2010 Sciece Publicatios The Applicatio of Simulatig WAves Nearshore Model for Wave Height Simulatio at Bagkhutie Shorelie 1 Prasertsak
More information2) What s the Purpose of Your Project?
Creatig Walkable, Bikeable Commuities Developig Effective Active Trasportatio Projects ad Programs Overview: Tools ad Strategies to Predict ad Documet Bicyclig ad Walkig Rates 1) Why Documet the Need for
More informationHeld 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 information1 Bike MS: 2013 Proposal
2013 partership proposal 1 Bike MS: 2013 Proposal Visio Statemet For cyclists ad all those seekig a persoal challege ad a world free of MS, Bike MS is the premier fudraisig cyclig series i the atio. With
More informationThe structure of the Fibonacci numbers in the modular ring Z 5
Notes o Number Theory ad Discrete Mathematics Vol. 19, 013, No. 1, 66 7 The structure of the iboacci umbers i the modular rig Z J. V. Leyedekkers 1 ad A. G. Shao 1 aculty of Sciece, The Uiversity of Sydey
More informationLoad Calculation and Design of Roller Crowning of Truck Hub Bearing
Sed Orders for Reprits to reprits@bethamsciece.ae 106 The Ope Mechaical Egieerig Joural, 2015, 9, 106-110 Ope Access Load Calculatio ad Desig of Roller Crowig of Truck Hub Bearig Xitao Xia,1, Shujig Dog
More informationEuropean 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 informationClimbing/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 informationOutline. Changing needs in Urban Traffic. Introduction The starting point Basic principles Analysis Facts Changes Context Solutions Key messages
Chagig eeds i Urba Traffic Rob Methorst Chair COST 358 Pedestrias Quality Needs Cetre for Trasport ad Navigatio 27th of October 2011 Outlie Itroductio The startig poit Basic priciples Aalysis Facts Chages
More information10 th International Congress of the International Maritime Association of the Mediterranean (IMAM), Rethymno, Crete, May 2002
0 th Iteratioal Cogress of the Iteratioal Maritime Associatio of the Mediterraea (IMAM, Rethymo, Crete, May 2002 OPIMIZIG MAPOWER O-BOARD SHIPS ARGEIG O HE ICREASE OF HE COMPEIIVEESS OF HE EU-FLEE HE CASE
More informationParsers. Introduction to Computational Linguistics: Parsing Algorithms. Ambiguity refresher. CFG refresher. Example: search space for top-down parser
Itroductio to Computatioal Liguistics: Parsig Algorithms haro Goldwater (based o slides by Mark teedma ad Philipp Koeh) July 5 Parsers A parser is a algorithm that computes a structure for a iut strig
More informationModelling 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 informationEQUIPEX NAOS WP5 : Deep oxygen floats in the North- Atlantic
EQUIPEX NAOS WP5 : Deep oxyge floats i the North- Atlatic Virgiie Thierry Guillaume Maze, Herlé Mercier, Cécile Cabaes, Virgiie Racapé Laboratoire d Océaographie Physique et Spatiale UMR 6523 CNRS / IFREMER
More informationAN 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» COLORADO s RIDE 2013
» COLORADO s RIDE 2013 COLORADO S RIDE 2013 bikemscolorado.org 1 We are people who wat to do somethig about ow.» COlorado 2-Day Ride Caledar of Evets o back 2 2013 Bike MS COLORADO MS Society Missio Statemet
More informationDistributed Control Systems
Unit 41: Unit code Distributed Control Systems M/615/1509 Unit level 5 Credit value 15 Introduction With increased complexity and greater emphasis on cost control and environmental issues, the efficient
More informationComparison of Mathematical Approximation Methods for Mine Ventilation Network Analysis
Iteratioal Joural o Miig Scie IJMS Volume, Issue, 6, PP -4 ISSN 454-946 Olie wwwarcjouralsorg Compariso o Mathematical Approimatio Methods or Mie Vetilatio Network Aalysis Farhag Sereshki Associate Proessor
More informationThe budget for the London 2012 Olympic and Paralympic Games
The budget for the Lodo 2012 Olympic ad Paralympic Games REPORT BY THE COMPTROLLER AND AUDITOR GENERAL HC 612 Sessio 2006-2007 20 July 2007 The Natioal Audit Office scrutiises public spedig o behalf of
More information1. Write down the ideal gas law and define all its variable and parameters. 2. Calculate the values and units of the ideal gas law constant R.
Ideal Gases Objectives:. Write dow the ideal gas law ad defie all its variable ad parameters.. Calculate the values ad uits of the ideal gas law costat R. 3. Calculate the value of oe variable,, T, or,
More informationImpacts of Typhoon on Wave Height at Bangkhuntien Shoreline
America Joural of Evirometal Scieces 6 (4): 308-315, 2010 ISSN 1553-345X 2010 Sciece Publicatios Impacts of Typhoo o Wave Height at Bagkhutie Shorelie 1 Prasertsak Ekphisutsutor, 1 Prugcha Wogwises, 2
More informationDeng Shou Cheng 1,3, Wu Qing*,1, Chu Xiu Min 2 1 School of Logistics Engineering, Wuhan University of Technology,
[Type text] [Type text] [Type text] ISSN : 0974-7435 Volume 10 Issue 20 BioTechology 2014 A Idia Joural FULL PAPER BTAIJ, 10(20), 2014 [12451-12458] Risk assessmet of waterway emergecies i Yagtze river
More informationDFC NIST DIGITAL MASS FLOW CONTROLLERS. DFC with optional LCD readout PROG RS485. Programmable Mass Flow Controller with Digital Signal Processing
Programmable Mass Flow Cotroller with Digital Sigal Processig Microprocessor drive digital flow cotrollers allow oe to program, record, ad aalyze flow rates of various gases with a computer via a RS-485
More informationStatus 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 informationInfluences of Teaching Styles and Motor Educability on Learning Outcomes of Volleyball
Asia Social Sciece; Vol., No. 5; 14 ISSN 1911-17 E-ISSN 1911-5 Published by Caadia Ceter of Sciece ad Educatio Iflueces of Teachig Styles ad Motor Educability o Learig Outcomes of Volleyball Syamsuddi
More information» WYOMING s RIDE 2013
» WYOMING s RIDE 2013 WYOMING S RIDE 2013 preseted by First Iterstate Bak of Wyomig bikemswyomig.org 1 We are people who wat to do somethig about ow.» Our Wyomig Bike MS Ride Two-Day Wyomig Ride: To view
More informationCatenary 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 informationLecturers. 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 informationBIKE MS: THE CITRUS TOUR, MAY 21-22, 2016 PARTNERSHIP PROPOSAL
BIKE MS: THE CITRUS TOUR, MAY 21-22, 2016 PARTNERSHIP PROPOSAL 1 Bike MS: 2016 Partership Proposal VISION STATEMENT For cyclists ad all those seekig a persoal challege ad a world free of MS, Bike MS is
More informationGFC 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 informationAvailable 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 informationVeronafiere ottobre Gli atti dei convegni e più di contenuti su
Veronafiere 18-19 ottobre 2017 Gli atti dei convegni e più di 8.000 contenuti su www.verticale.net DCS - SIS integration: methodologies and functions. A. Padovani, Yara M. Veronesi, Yokogawa 1 1. Segregation
More informationIntroduction This section includes suggestions on how to use this guide, an overview of course philosophy and goals.
Oceanic OC1 Computer Diver DISTINCTIVE SPECIALTY INSTRUCTOR OUTLINE Introduction This section includes suggestions on how to use this guide, an overview of course philosophy and goals. How to Use this
More informationFirst WORLD HEALTH ASSEMBLY ut 24 June-27 July COMMITTEE ON PROGRAMME M I N U T E S \ -
First WORLD HEALTH ASSEMBLY ut 24 Jue-27 July 19 4 8 COMMITTEE ON PROGRAMME M I N U T E S \ - D O C U M E N T S 1-73 COMMITTEE ON PROGRAMME List of documets Miutes A/Prog/l 2 3 " 4 " 5 6 7 8 " 10 " 11
More informationPL 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 informationWELL 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 informationleft) Richard Jr. and Polly Schmidt.
ASSOCIATION Newsmakers Items of iterest about ad for members of our Agus family. Compiled by Lida Robbis. z IN THE NEWS Warre Weibert, a 1969 graduate of Kasas State Uiversity (K-State), was hoored Nov.
More informationM3P. Safety Data Sheet TABLE OF CONTENTS IDENTIFICATION OF THE SUBSTANCE/MIXTURE AND OF THE COMPANY/UNDERTAKING 2 SECTION 2 HAZARDS IDENTIFICATION 2
Accordig to the Hazard Commuicatio Stadard (CFR29 1910.1200) HazCom 2015 TABLE OF CONTENTS SECTION 1 IDENTIFICATION OF THE SUBSTANCE/MIXTURE AND OF THE COMPANY/UNDERTAKING 2 SECTION 2 HAZARDS IDENTIFICATION
More informationSizing 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 informationSeries 600 Accessories
Series 600 Geeral These accessories are a rage of devices for completig a peumatic circuit. These valves, with their special fuctios, are iserted betwee two valves, betwee a valve ad a cylider, or followig
More informationPressure Equipment Directive PED 2014/68/EU Commission's Working Group "Pressure"
C. ASSEMBLIES Guideline C-03 Guideline related to: Article 4 paragraph 2 The effect of the derogation in Article 4 paragraph 2 from the introductory paragraph in the same article is not clear. In the circumstances,
More informationAn Innovative Solution for Water Bottling Using PET
An Innovative Solution for Water Bottling Using PET A. Castellano, P. Foti, A. Fraddosio, S. Marzano, M.D. Piccioni, D. Scardigno* DICAR Politecnico di Bari, Italy *Via Orabona 4, 70125 Bari, Italy, scardigno@imedado.poliba.it
More informationDesign of AMBA APB Protocol
Design of AMBA APB Protocol G. Venkat Rao 1, Pasam Abhigna 2, J. Naveen 3, S. Vineeth Reddy 4 1 Assistant Professor Department of ECE Geethanjali College of engineering and technology 2, 3, 4 Bachelor
More informationSIL explained. Understanding the use of valve actuators in SIL rated safety instrumented systems ACTUATION
SIL explained Understanding the use of valve actuators in SIL rated safety instrumented systems The requirement for Safety Integrity Level (SIL) equipment can be complicated and confusing. In this document,
More informationCorruption 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 informationWhen 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 informationTHE 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 informationMulti-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 informationCoal 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 information25k June 2014
o c. e g e l l a h c o i u d a r g. w ww 25k 28-29 Jue 214 k k 5 1 28-29 Jue 214 Walk it, Jog it, or Ru it - a NEW edurace challege alog a historic route. It s 1 k, 5 k, or 25 k o the Grad Uio Caal towpath,
More informationHazardous 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 informationK1.1 Kayak sessions taking place on lochs, lochans, rivers or inland. sheltered sea waters. (Not including expeditions or overnight camps.
Specific Safety Procedures Kayaking / Canoe K1 Description: K1.1 Kayak sessions taking place on lochs, lochans, rivers or inland sheltered sea waters. (Not including expeditions or overnight camps.) K2
More informationThe 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 informationInvestigation of Thermal Effects of CO 2 on Earth-Atmosphere System
Investigation of Thermal Effects of CO 2 on Earth-Atmosphere System Design Team Michel Beguin, Tim Bevins Dan Jakiela, Frank Kuchinski Design Advisor Prof. Yiannis Levendis Abstract This Capstone Project
More informationHoneywell s On-line Gas Lift Optimization Solution
35 th Gas-Lift Workshop Houston, Texas, USA February 6 10, 2012 Honeywell s On-line Gas Lift Optimization Solution Ravi Nath and Sanjay Sharma Honeywell Process Solutions Houston, TX 1 Agenda Introduction
More informationSeated 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 informationModelling Lane Changing Behaviour of Heavy Commercial Vehicles
Modellig Lae Chagig Behaviour of Heavy Commercial Vehicles Modellig Lae Chagig Behaviour of Heavy Commercial Vehicles Sara Moridpour 1, Majid Sarvi 2, Geoff Rose 3 1 Post Graduate Studet, Moash Uiversity,
More informationDUAL GEAR. Button Calculator. Calculates form tools required to make Gear Cutters.
DUAL GEAR Button Calculator Calculates form tools required to make Gear Cutters. Copyright 2011-2016 D.P.D. Penney Introduction This calculator came into being when I needed to calculate the form tool
More informationGenerating None-Plans in Order to Find Plans 1
Generating None-Plans in Order to Find Plans 1 Wojciech Penczek a joint work with Michał Knapik and Artur Niewiadomski Institute of Computer Sciences, PAS, Warsaw, and Siedlce University, Poland MINI PW,
More informationSpacecraft 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(612)
Shoreview YMCA Swim Lessos Schedule Late Sprig 2019 - April 15 - Jue 2 (612) 230-9622 www.shoreviewymca.org ABOUT Y SWIM LESSONS The Y strives to help all ages lear how to swim, so they ca stay safe aroud
More informationEnvironment and Social Monitoring Report
Eviromet ad Social Moitorig Report Quarterly Eviromet ad Social Moitorig Report Q3 Project Number: 4929-001 July 20 to September 20 PAK: Prepared by Mira Limited for the Asia Developmet Bak. This evirometal
More informationSection 1: Multiple Choice
CFSP Process Applications Section 1: Multiple Choice EXAMPLE Candidate Exam Number (No Name): Please write down your name in the above provided space. Only one answer is correct. Please circle only the
More informationHeadfirst Entry - Diving and Sliding
5/31/2011 Safe divig board use, safe slide use, usi Headfirst Etry - Divig ad Slidig POOLALARMS.COM HOME POOL SAFETY PRODUCTS POOL SAFETY ARTICLES & REPORTS POOL SAFETY LINKS & RESOURCES POOLALARMS.COM
More informationDECREE 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 informationEXHIBITOR HANDBOOK. October 18 21, Minnesota State Fairgrounds. Featured Breed
EXHIBITOR HANDBOOK October 18 21, 2018 Featured Breed Miesota State Fairgrouds TABLE OF CONTENTS Schedule of Evets... page 2 Show Remiders... page 3 Juior Show Rules & Ifo...page 4-5 Showmaship Competitio...
More informationELIGIBILITY / LEVELS / VENUES
ELIGIBILITY / LEVELS / VENUES 10U - SQUIRT MINOR '09 & MAJOR '08 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 informationSERIES 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 informationELIGIBILITY / LEVELS / VENUES
ELIGIBILITY / LEVELS / VENUES 10U - SQUIRT MINOR '09 & MAJOR '08 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 informationLearning 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 informationExtensible Detection and Indexing of Highlight Events in Broadcasted Sports Video
Extesible Detectio ad Idexig of Highlight Evets i Broadcasted Sports Video Dia W. Tjodroegoro 1, Yi-Pig Phoebe Che 2, Bih Pham 3 1 School of Iformatio Systems, Queeslad Uiversity of Techology, Brisbae,
More informationHazard 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 informationBowls SA Membership and Marketing 5-Year Strategic Plan Updated
Bowls SA Membership and Marketing 5-Year Strategic Plan Updated (2018/19 2022/23 Financial Years) National Standing Committee for Membership and Marketing [] 1 Vision To create a thriving bowls community
More informationELIGIBILITY / 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 informationExhibitor s Prospectus. september. April 30, 2019 TORCH FALL CONFERENCE & TRADE SHOW HYATT LOST PINES RESORT & SPA CEDAR CREEK, TX
september 2019 10-12 Exhibitor s Prospectus TORCH FALL CONFERENCE & TRADE SHOW MEMBERS ONLY EARLYBIRD DEADLINE: April 30, 2019 DEADLINE FOR APPLICATION: August 19, 2019 HYATT LOST PINES RESORT & SPA CEDAR
More informationRESPONSABILITIES AND TASKS OF THE START TEAM STARTER vs. START REFEREE
RESPONSABILITIES AND TASKS OF THE START TEAM STARTER vs. START REFEREE Texto del título Seminar for starters Firenze / ITA January 2018 STRUCTURE AND ORGANISATION OF THE START TEAM: START COORDINATOR STARTER
More informationELIGIBILITY / 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 informationSurface Texture Gage study in the qs-stat Measurement System Analysis Module
study in the qs-stat Measurement System Analysis Module Q-DAS Library Living Documentation Last edited: 11/22/2004 Version: EB C:\Documents and Settings\Ellen Fassbeck\My Documents \My Temp Files\GMPT\TC\GMPT
More informationThe 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 informationCorruption 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 informationSession on applications: HRS - refuelling. P. Moretto
Session on applications: HRS - refuelling P. Moretto pietro.moretto@ec.europa.eu HySafe Research Priorities Workshop, Washington, 11-12/12/2014 On-board compressed hydrogen: safety aspects P. Moretto,
More informationThis report presents an assessment of existing and future parking & traffic requirements, for the site based on the current development proposal.
CR166916b02 20 Jue 2017 Melida Dodso Melida Dodso Architects PO Box 5635 Hughes ACT 2605 Email: mdodso@melidadodsoarchitects.com.au Dear Melida, Project: Dickso Apartmets Lowrie St Re: Statemet o Parkig
More informationA Comparison of MOEA/D, NSGA II and SPEA2 Algorithms
Iteratioal Joural of Egieerig Treds ad Applicatios (IJETA) Volume 4 Issue 6, Nov-Dec 7 RESEARCH ARTICLE A Comparo of MOEA/D, ad Algorithms Rajai [1], Dr. Aad Prakash [] Asstat Professor of Computer Sciece
More informationCAREER OPPORTUNITY. Recruitment for Multiple Vacancies Under National Health Mission, Uttar Pradesh. Ref. No: 461/SPMU/HR/Appnt/ /10854
State Health Society, Natioal Health Missio, Govermet of Uttar Pradesh Recruitmet for 1,100+ Cotractual Vacacies (Please view vacacy details at www.uprhm.gov.i or www.sams.co.i) CAREER OPPTUNITY Recruitmet
More information