gas flow checking the lotix
play

Gas Flow Checking the Lotix Joy Osborne TOC Technical Product - PowerPoint PPT Presentation

May 29, 2023 •279 likes •525 views

Gas Flow Checking the Lotix Joy Osborne TOC Technical Product Manager Agenda Finding a Leak/Restriction Signs of a leak/Restriction Causes of Gas Flow Loss Causes of a Leak or Restriction Fittings - Overtighten/Loose Connection Furnace -

  1. Gas Flow Checking the Lotix Joy Osborne TOC Technical Product Manager

  2. Agenda Finding a Leak/Restriction Signs of a leak/Restriction Causes of Gas Flow Loss

  3. Causes of a Leak or Restriction Fittings - Overtighten/Loose Connection Furnace - Heating Causes Expansion and Cooling Causing Contracting Solids - Particulates/ Salt/ Quartz Wool/ Catalyst in Pathway Random – Movement/ Vibrations/ Shipping

  4. When to Leak Check After Install Before and After Maintenance Poor Analytical Results Weekly

  5. Signs of a Leak

  6. Analytical Signs of a Leak Low M Value in y=mx+b Equation for your Calibration Curve 0.5ml sample loop >200 0.3ml sample loop > 120 High %RSD >5% Low ABS Counts for Standards <200 abs counts per 1ppmC Example: <200,000 abs counts for 1000ppmC

  7. Signs in a Report Good Good Good

  8. Signs in a Report

  9. Flow Check Checkpoint 1: Valve 11 Com Port In Checkpoint 10: NDIR Bev A Line Out Should be 180- within 10% 220ml/min of Checkpoint 1

  10. Step by Step Gas Flow Checking

  11. Tools Needed Flow Meter Plugs Connectors Peek Nut Tighten Tool Tube Cutters

  12. Manual Exert

  13. Divide and Conquer

  14. Divide and Conquer – Gas Pathway in Ready Mode Pressure 3 Different Flow Gas Source Valve 11 Regulator Ts Restrictor Sides of Condensate Furnace Mist Trap Valve 10 Perm Dryer Loop Halogen Sample NDIR Perm Dryer Vent Scrubber Filter Detector

  15. Before Checkpoint 1 ■ Common of valve 11 must be >180ml, min Gas Pressure Source Regulator ■ Ideally >200ml/min ■ <200ml/min prior to the valve 3 Different Flow Ts Restrictor of 11

  16. Divide and Conquer – Gas Pathway in Ready Mode Pressure 3 Different Flow Gas Source Valve 11 Regulator Ts Restrictor Sides of Condensate Furnace Mist Trap Valve 10 Perm Dryer Loop Halogen Sample NDIR Perm Dryer Vent Scrubber Filter Detector

  17. Check Furnace Out Valve 11 Sides of Perm Dryer Furnace

  18. Divide and Conquer – Gas Pathway in Ready Mode Pressure 3 Different Flow Gas Source Valve 11 Regulator Ts Restrictor Sides of Condensate Furnace Mist Trap Valve 10 Perm Dryer Loop Halogen Sample NDIR Perm Dryer Vent Scrubber Filter Detector

  19. Side Arm of Mist Trap Furnace Condensate Loop Mist Trap

  20. Divide and Conquer – Gas Pathway in Ready Mode Pressure 3 Different Flow Gas Source Valve 11 Regulator Ts Restrictor Sides of Condensate Furnace Mist Trap Valve 10 Perm Dryer Loop Halogen Sample NDIR Perm Dryer Vent Scrubber Filter Detector

  21. Halogen Scrubber – Cu Side In Mist Trap Valve 10 Perm Dryer

  22. Divide and Conquer – Gas Pathway in Ready Mode Pressure 3 Different Flow Gas Source Valve 11 Regulator Ts Restrictor Sides of Condensate Furnace Mist Trap Valve 10 Perm Dryer Loop Halogen Sample NDIR Perm Dryer Vent Scrubber Filter Detector

  23. Divide and Conquer – Gas Pathway in Ready Mode Pressure 3 Different Flow Gas Source Valve 11 Regulator Ts Restrictor Sides of Condensate Furnace Mist Trap Valve 10 Perm Dryer Loop Halogen Sample NDIR Perm Dryer Vent Scrubber Filter Detector

  24. Leak Free! ■ Thank you for listening!

Recommend

Using Data Flow Analysis for Automatic Checking of Computational Confidentiality in

Using Data Flow Analysis for Automatic Checking of Computational Confidentiality in

Using Data Flow Analysis for Automatic Checking of Computational Confidentiality in Cryptographic Protocols Peeter Laud Tartu University and Cybernetica AS (joint work with Michael Backes) Teooriapevad Voorel, 29.0901.10.2006 p. 1/33

760 views • 47 slides
On the Decidability of Model-Checking Information Flow Properties Raghavendra K. R. Joint Work:

On the Decidability of Model-Checking Information Flow Properties Raghavendra K. R. Joint Work:

Introduction Noninteference BSPs Results Conclusion On the Decidability of Model-Checking Information Flow Properties Raghavendra K. R. Joint Work: Deepak DSouza, Janardhan Kulkarni, Barbara Sprick, Raveendra Holla Indian Institute of

717 views • 26 slides
IC3 Software Model Checking on Control Flow Automata Tim Lange 1 Martin R. Neuhuer 2 Thomas

IC3 Software Model Checking on Control Flow Automata Tim Lange 1 Martin R. Neuhuer 2 Thomas

IC3 Software Model Checking on Control Flow Automata Tim Lange 1 Martin R. Neuhuer 2 Thomas Noll 1 1 Software Modeling and Verification Group, RWTH Aachen 2 Siemens AG FMCAD 2015 at Austin, TX, USA, September 29, 2015 Introduction Outline

941 views • 42 slides
Computing Information Flow Using Symbolic Model-Checking Rohit Chadha 1 Umang Mathur 2 Stefan

Computing Information Flow Using Symbolic Model-Checking Rohit Chadha 1 Umang Mathur 2 Stefan

Computing Information Flow Using Symbolic Model-Checking Rohit Chadha 1 Umang Mathur 2 Stefan Schwoon 3 1 University of Missouri Columbia, Missouri, USA 2 Indian Institute of Technology - Bombay Mumbai 3 LSV, ENS Cachan France December 17, 2014

919 views • 81 slides
Model Checking &amp; Program Analysis Markus Mller-Olm Dortmund University Overview

Model Checking &amp; Program Analysis Markus Mller-Olm Dortmund University Overview

Model Checking &amp; Program Analysis Markus Mller-Olm Dortmund University Overview Introduction Model Checking Flow Analysis Some Links between MC and FA Conclusion Apology for not giving proper credit to other

535 views • 41 slides
Flow Networks Flow Network: - digraph - weights, called capacities on edges - two

Flow Networks Flow Network: - digraph - weights, called capacities on edges - two

M AXIMUM F LOW How to do it... Why you want it... Where you find it... The Tao of Flow: Let your body go with the flow. -Madonna, Vogue Maximum flow...because youre worth it. -Loreal Go with the flow, Joe.

619 views • 20 slides
3. Satisfiability Checking 3.1 SAT-Checking Procedures Verification Technology

3. Satisfiability Checking 3.1 SAT-Checking Procedures Verification Technology

Fachgebiet RechnerSysteme Technische Universitt Verification Technology Darmstadt 3. Satisfiability Checking Computer Systems Lab 1 3. Satisfiability Checking 3 3. Satisfiability Checking 3.1 SAT-Checking Procedures Verification

278 views • 11 slides
Hoare Logic and Model Checking Model Checking Lecture 11: Model checking for Computation Tree

Hoare Logic and Model Checking Model Checking Lecture 11: Model checking for Computation Tree

Hoare Logic and Model Checking Model Checking Lecture 11: Model checking for Computation Tree Logic Dominic Mulligan Based on previous slides by Alan Mycroft and Mike Gordon Programming, Logic, and Semantics Group University of Cambridge

402 views • 25 slides
Checking &amp; Spot-Checking the Correctness of Priority Queues Matthew Chu &amp; Sampath Kannan

Checking &amp; Spot-Checking the Correctness of Priority Queues Matthew Chu &amp; Sampath Kannan

Checking &amp; Spot-Checking the Correctness of Priority Queues Matthew Chu &amp; Sampath Kannan (UPenn) Andrew McGregor (UCSD) Memory Checking Memory Checking Your resources: A lot of cheap unreliable memory and a little expensive reliable

1.11k views • 70 slides
Statistical Statistical Statistical Model Statistical Model Model Checking Model Checking

Statistical Statistical Statistical Model Statistical Model Model Checking Model Checking

Statistical Statistical Statistical Model Statistical Model Model Checking Model Checking Checking Checking for Timed Automata Timed Automata Coll C l C ll b llabora orators: t ors: Peter Bulychev, Alexandre David Axel Legay, Marius

725 views • 59 slides
Overview Introduction ECE 753: FAULT-TOLERANT Watchdog techniques COMPUTING

Overview Introduction ECE 753: FAULT-TOLERANT Watchdog techniques COMPUTING

3/25/2014 Overview Introduction ECE 753: FAULT-TOLERANT Watchdog techniques COMPUTING Timers, watchdog processors, error model, control flow checking, memory access and assertion Kewal K.Saluja checking Re-execution for

209 views • 5 slides
CTL Chapter 6 Part 2 Overview Review CTL Model Checking CTL model Checking algorithms

CTL Chapter 6 Part 2 Overview Review CTL Model Checking CTL model Checking algorithms

CTL Chapter 6 Part 2 Overview Review CTL Model Checking CTL model Checking algorithms for ( U ) Counter Examples and witnesses Symbolic Model Checking (Thursday) Binary Decision Trees

740 views • 40 slides
Hoare Logic and Model Checking Model Checking But perhaps theres a clever way of

Hoare Logic and Model Checking Model Checking But perhaps theres a clever way of

Hoare Logic and Model Checking Model Checking But perhaps theres a clever way of compiling one into the other? Both have very different models of time How do they compare? We have seen two widely used temporal logics Relative

510 views • 10 slides
Partnership Regional Workshops Checking in Moving Forward 1 Checking in Website and

Partnership Regional Workshops Checking in Moving Forward 1 Checking in Website and

C. Difficile Prevention Partnership Regional Workshops Checking in Moving Forward 1 Checking in Website and toolkit Measurement Feedback form Questions? What else do you need? 2 Table Talk Since beginning this work

581 views • 30 slides
Bounded Model Checking bmc Revision: 1.11 1 [BiereCimattiClarkeZhu99] uses SAT for model

Bounded Model Checking bmc Revision: 1.11 1 [BiereCimattiClarkeZhu99] uses SAT for model

Bounded Model Checking bmc Revision: 1.11 1 [BiereCimattiClarkeZhu99] uses SAT for model checking historically not the first symbolic model checking approach scales better than original BDD based techniques mostly incomplete in

521 views • 28 slides
Another approach to runtime checking Typical runtime checking is by duplicating entire CPU

Another approach to runtime checking Typical runtime checking is by duplicating entire CPU

Another approach to runtime checking Typical runtime checking is by duplicating entire CPU Expensive in power, area No protection from design errors Does not survive permanent faults Last time we saw an approach that leveraged

246 views • 7 slides
Potential Flow &amp; Flow Nets Potential Flow Irrotational flow for which implies:

Potential Flow &amp; Flow Nets Potential Flow Irrotational flow for which implies:

Potential Flow &amp; Flow Nets Potential Flow Irrotational flow for which implies: This allows you to decompose velocity into a scalar potential such that: Combined with conservation of mass (continuity) and incompressibility you

110 views • 7 slides
Flow Visualization Overview: Flow Visualization (1) Introduction, overview Flow data Simulation

Flow Visualization Overview: Flow Visualization (1) Introduction, overview Flow data Simulation

Flow Visualization Overview: Flow Visualization (1) Introduction, overview Flow data Simulation vs. measurement vs. modelling 2D vs. surfaces vs. 3D Steady vs time-dependent flow Direct vs. indirect flow visualization Experimental flow

1.18k views • 92 slides
Flow Visualization Overview: Flow Visualization (1) Introduction, overview Fl Flow data d t

Flow Visualization Overview: Flow Visualization (1) Introduction, overview Fl Flow data d t

Flow Visualization Overview: Flow Visualization (1) Introduction, overview Fl Flow data d t Simulation vs. measurement vs. modelling 2D vs. surfaces vs. 3D Steady vs time-dependent flow St d ti d d t fl Direct vs. indirect flow

957 views • 92 slides
From Model Checking to Proof Checking ... and Back Kedar Namjoshi Bell Labs April 29, 2005

From Model Checking to Proof Checking ... and Back Kedar Namjoshi Bell Labs April 29, 2005

From Model Checking to Proof Checking ... and Back Kedar Namjoshi Bell Labs April 29, 2005 Abstraction Model Checking = Deductive Proof MODEL CHECKING PROOF CHECKING M | = M Completeness Abstraction Proof Lifting M | = M

626 views • 36 slides
Software Model Checking Using Bogor Software Model Checking Using Bogor a Modular and

Software Model Checking Using Bogor Software Model Checking Using Bogor a Modular and

Software Model Checking Using Bogor Software Model Checking Using Bogor a Modular and Extensible Model Checking Framework a Modular and Extensible Model Checking Framework 3rd Estonian Summer School in Computer and System Science

777 views • 31 slides
Software Model Checking Using Bogor Software Model Checking Using Bogor a Modular and

Software Model Checking Using Bogor Software Model Checking Using Bogor a Modular and

Software Model Checking Using Bogor Software Model Checking Using Bogor a Modular and Extensible Model Checking Framework a Modular and Extensible Model Checking Framework 3rd Estonian Summer School in Computer and System Science

628 views • 34 slides
Software Model Checking Using Bogor Software Model Checking Using Bogor a Modular and

Software Model Checking Using Bogor Software Model Checking Using Bogor a Modular and

Software Model Checking Using Bogor Software Model Checking Using Bogor a Modular and Extensible Model Checking Framework a Modular and Extensible Model Checking Framework 3rd Estonian Summer School in Computer and System Science

301 views • 8 slides
1 What Is Control-Flow Analysis? Loop Concepts Control-flow analysis discovers the flow of

1 What Is Control-Flow Analysis? Loop Concepts Control-flow analysis discovers the flow of

Control-Flow Analysis and Loop Detection Context Last time Data-flow Speeding up data-flow analysis Flow of data values from defs to uses Could alternatively be represented as a data dependence Today Control-flow analysis

516 views • 5 slides

More recommend