1 Computer Based Procedure(CBP) System 2002.10.28 백승민.

Slides:



Advertisements
Similar presentations
Modelling with expert systems. Expert systems Modelling with expert systems Coaching modelling with expert systems Advantages and limitations of modelling.
Advertisements

Generic Pressurized Water Reactor (PWR): Safety Systems Overview
Circulating Water System
Verification and Validation
The CommonKADS Design Model Introduction to CommonKADS CommonKADS Design Model Worked Example Conclusion.
ACADs (08-006) Covered Keywords Components, functions, operation, Auxiliary feedwater, Startup, hot standby, plant cooldown, emergency. Description Supporting.
Copyright 2002 Prentice-Hall, Inc. Modern Systems Analysis and Design Third Edition Jeffrey A. Hoffer Joey F. George Joseph S. Valacich Chapter 15 Finalizing.
The Waterfall Model A Case Study
Describing Syntax and Semantics
Software Verification and Validation (V&V) By Roger U. Fujii Presented by Donovan Faustino.
1CMSC 345, Version 4/04 Verification and Validation Reference: Software Engineering, Ian Sommerville, 6th edition, Chapter 19.
What Exactly are the Techniques of Software Verification and Validation A Storehouse of Vast Knowledge on Software Testing.
Simulated Propellant Loading System (SPLS): Testbed for Cryogenic Component and Control Systems Research & Development J. Toro Medina, J. Sass, J. Youney,
Tango Asset Management Capabilities Presentation 1.Desktop & Web Architecture 2.Equipment Management 3.Condition Management 4.Data Mining 5.Parameter Trending.
Dr. Pedro Mejia Alvarez Software Testing Slide 1 Software Testing: Building Test Cases.
1 EVALUATING INTELLIGENT FLUID AUTOMATION SYSTEMS USING A FLUID NETWORK SIMULATION ENVIRONMENT Ron Esmao - Sr. Applications Engineer, Flowmaster USA.
Verification and Validation Yonsei University 2 nd Semester, 2014 Sanghyun Park.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 22 Slide 1 Verification and Validation.
Introduction to SDLC: System Development Life Cycle Dr. Dania Bilal IS 582 Spring 2009.
CS 501: Software Engineering Fall 1999 Lecture 16 Verification and Validation.
Chapter 6 Supplement Knowledge Engineering and Acquisition Chapter 6 Supplement.
School of Computer Science and Technology, Tianjin University
1 10/14/2015ã 2007, Spencer Rugaber The Waterfall Process Software plans and requirements Validation System feasibility Validation Product design Verification.
Unit-5 Automated Comparison. VERIFICATION Verification and Validation are independent procedures that are used together for checking that a product, service,
1 Introduction to Software Engineering Lecture 1.
ES Model development Dr. Ahmed Elfaig The ES attempts to predict results from available information, data and knowledge The model should be able to infer.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 20 Slide 1 Critical systems development 3.
Universidade do Minho Escola de Engenharia Techniques for Modeling Discrete Controllers for the Optimization of Hybrid Plants: a Case Study Universidade.
2004/12/13 National Tsing Hua University, Taiwan1 USING KNOWLEDGE-BASED INTELLIGENT REASONING TO SUPPORT DYNAMIC COLLABORATIVE DESIGN Allen T.A. Chiang*,
Quality Assurance.
ES component and structure Dr. Ahmed Elfaig The production system or rule-based system has three main component and subcomponents shown in Figure 1. 1.Knowledge.
© Belimo University 2012, All Rights Reserved Pressure Independent Control Valves PICCV ePIV Energy Valve Belimo’s Family of PI Control Valves Flow Verification/Commissioning.
International Telecommunication Union © ITU-T Study Group 17 Integrated Application of SDL Amardeo Sarma NEC Europe Ltd.
RIA to visualize the health of a project Team #4 Midterm presentation February 28,2008.
Thomas L. Gilchrist Testing Basics Set 3: Testing Strategies By Tom Gilchrist Jan 2009.
Pavel Nevski DDM Workshop BNL, September 27, 2006 JOB DEFINITION as a part of Production.
Knowledge Based Systems ExpertSystems Difficulties in Expert System Development u Scarce resources – new technology – demand for trained personnel u Development.
TRIUMF HLA Development High Level Applications Perform tasks of accelerator and beam control at control- room level, directly interfacing with operators.
T EST T OOLS U NIT VI This unit contains the overview of the test tools. Also prerequisites for applying these tools, tools selection and implementation.
June 17, 2006 Nuclear I&C and Information Engineering Laboratory Dept. of Nuclear and Quantum Engineering KAIST Jong Joo Sohn 증기발생기 시스템 식별 (II) (Identification.
Introduction to Engine Performance Simulation Standards From the S-15 Committee for Gas Turbine Performance Simulation Nomenclature and Interfaces Last.
Tool Support for Testing Classify different types of test tools according to their purpose Explain the benefits of using test tools.
Verification vs. Validation Verification: "Are we building the product right?" The software should conform to its specification.The software should conform.
Version 1.0, July 2015 BASIC PROFESSIONAL TRAINING COURSE Module VII Probabilistic Safety Assessment Case Studies This material was prepared by the IAEA.
Version 1.0, May 2015 BASIC PROFESSIONAL TRAINING COURSE Module XX Regulatory control Case Study This material was prepared by the IAEA and co-funded by.
Introduction to Engine Performance Simulation Standards
Tool Support for Testing
EP4P03 Nuclear Power Plant Systems and Operation
UNICOS Application Builder Architecture
Chapter 15 Finalizing Design Specifications
Chapter 15 Finalizing Design Specifications
Software Testing.
SOFTWARE TESTING Date: 29-Dec-2016 By: Ram Karthick.
Thermodynamics Thermal Hydraulics.
Preserving and Applying Human Expertise: Knowledge-Based Systems
Chapter 8 – Software Testing
Difficulties in Expert System Development
How SCADA Systems Work?.
ATTRACT TWD Symposium, Barcelona, Spain, 1st July 2016
Verification and Validation
Dept. of Nuclear and Quantum Engineering
Chapter 15 Finalizing Design Specifications
Verification and Validation Unit Testing
Test Case Test case Describes an input Description and an expected output Description. Test case ID Section 1: Before execution Section 2: After execution.
Software Verification and Validation
Software Verification and Validation
BASIC PROFESSIONAL TRAINING COURSE Module VII Probabilistic Safety Assessment Case Studies Version 1.0, July 2015 This material was prepared.
Software Verification and Validation
BASIC PROFESSIONAL TRAINING COURSE Module XX Regulatory control Case Study Version 1.0, May 2015 This material was prepared by the IAEA and.
Review of hardware commissioning
Presentation transcript:

1 Computer Based Procedure(CBP) System 백승민

2 발표순서 1.Introduction 2. KSNP 비상운전절차서 상세 구조 3. Knowledge 관련 검토 3.1 Knowledge Base System 3.2 Knowledge Base 구축 4.Further Study

3 1. Introduction NUREG/CR-6634 검토 CBP 개발 현황 검토 EOP 구조분석을 통한 CBP Framework 의 설정 및 고려사항 증기발생기 튜브파열사고 (SGTR) 절차에 대한 상세 검토 Procedure Language MMI 개발 KBS(Knowledge Based System) 관련 검토

4 SFSC 2. KSNP 비상운전절차서 상세 구조 KNSP EOP 의 구조 Procedure StepInstruction Contingency Action Entry Condition Exit SFSC Exit Condition Ex) - SFSC, RAS, P-T Curves - Break Identification Chart - HPSI Termination Condition - Other Figures including SIS Flow vs. PZR Pressure PZR Level Correction Curve SG Level Correction Curve, etc Jump Step Jump Procedure Ex) - Rediagnose - Perform FRP Place Keeper

5 3. Knowledge 관련 검토 Procedure Database Execution Manager Control Engine Simulator including Plant DB Validation Man Machine Interface Knowledge Base Situation Assessment Response Planning Response Implementation Monitoring & Detection Procedure Builder Inference Engine History Database Verification Engine

6 Steps of Knowledge Base Design 사용자 MMI Inference Engine Knowledge Base 전문지식 Execution Manager Control Engine Plant (Simulator) Knowledge Acquisition Knowledge Representation Knowledge Verification 3.1 Knowledge Base System

7 Steps of Knowledge Base Design Knowledge Base 전문지식 Knowledge Acquisition Knowledge Representation Knowledge Verification EOG Supplementary Information - EOP 작성 혹은 EOP 적용시 고려할 각종 제한 사항을 제시 EOG Recovery Bases - 사고시 운전원이 수행하는 Action 과 관련하여 Process 의 Transient 를 기술 - Bases 의 목적은 운전원들이 취하는 Action 의 이유와 그 결과에 대해 이해하기 위한 정보를 제공 - 사고의 특성 * Safety Function 에 대한 영향 * 주요변수에 대한 Trend * Recovery 전략과 정보의 흐름 * 각 Step 별 Operator Action 에 대한 Bases 3.1 Knowledge Base System Procedure Database

8 Steps of Knowledge Base Design Knowledge Base 전문지식 Knowledge Acquisition Knowledge Representation Knowledge Verification 3.1 Knowledge Base System Document Analysis of EOP supporting Information and Recovery Bases CLIPS Tool 사용 - Freeware Expert System tool developed by NASA - First release in 1986, currently version Internet news group comp.ai.shells - designed to facilitate the development of software to model human knowledge or expertise by Rules and/or objects How to automate Knowledge Acquisition? - Knowledge Acquisition Tools TIERESIA, SALT, KNACK, ETS 등 - Dr. J.H.Park: Document Analysis 방법

9 3.2 Knowledge Base 구축 How to transform EOG Supporting Information and Recovery Bases to Knowledge Base 1. EOG Analysis Major 4 steps in SGTR procedure –RCS Cooling until the RCS Th <287.8C (550F) –Determine and Isolating the affected SG –RCS Pressure is reduced and maintained 50psid +/- Isolated SG pressure –RCS Cooling to SCS entry condition Step 8: Cooldown the RCS to hot leg temperature less than [saturation temp corresponding to lowest MSSV setpoint] within [max cooldown rate] by any of the following: –Turbine Bypass Condenser Valves –Turbine Bypass Atmospheric Valves –SG Atmospheric Dump Valves

Knowledge Base 구축 Applicable Supplementary Information and Recovery Bases –Atmospheric dump valve 의 사용은 최소화되어야 함. –Turbine Driven FW Pump 의 사용은 자제되어야 함. –Post Accident P-T Limit 이 유지되어야 함. – 모든 가능한 Indication 이 사용되어야 함. –Solid RCS 를 피할 것 Manually identified conflicts, incorrectness and ambiguity –Atmospheric dump valve 의 사용이 최소화되어야 함에도 불구하고 SG ADV 를 추천하고 있음. 특히 Affected SG 가 확인되지 않았으므로 방사능 유출 가능성이 있음. –Turbine driven F/W Pump 의 사용은 확인하는 절차가 없음. – 각 Process Variable 에 대한 건전성의 확인 과정이 없음. How to make KB(rules) to identify the above conflicts, incorrectness and ambiguity

11 2. Procedure 에 대한 Static Verification 을 위한 Knowledge Base 를 구축 Conflicts, Incorrectness, Ambiguity 를 찾아서 대안 및 해법을 제시할 수 있는 KB 의 구축 3. Dynamic Validation 을 위한 Knowledge Base 의 구축 각 Step 에서 요구되는 Component 와 Process Variable 들에 대한 Current Status, Trend 등을 Knowledge 로서 정의할 필요가 있음. Step 의 실행을 위한 Readiness 및 실행 후 결과의 적절성 여부를 판 단 – 요구된 Action 이 실행되었는지 ? – 관련된 Process Parameter 의 Trend 가 적절하게 변하고 있는지 ? – 절차서에서 요구되는 Safety Function Status Check 를 통해 Critical Safety Function 이 잘 유지되고 있는지 ? 3.2 Knowledge Base 구축

12 4. Further Study Procedure Builder 보완 및 Syntax Check 기능 구현 Knowledge Base 구축 –EOG Supplementary Information 분석 –EOG Recovery Bases 분석 –CLIPS Tool 의 적절성 여부 및 EOG 전문지식의 KB Representation Procedure Verification based on KB –Static Verification of Procedure based on Expertise by KBS –Conflicts, Incorrectness and Ambiguity Dynamic Validation based on Real-time Simulation –Dynamic Validation of commands from the CBP to the Simulator(plant process) based on Process Status and Safety Function Status Check –Expected results 의 생성 방법