• Title/Summary/Keyword: Computerized procedure system

Search Result 58, Processing Time 0.028 seconds

STATE TOKEN PETRI NET MODELING METHOD FOR FORMAL VERIFICATION OF COMPUTERIZED PROCEDURE INCLUDING OPERATOR'S INTERRUPTIONS OF PROCEDURE EXECUTION FLOW

  • Kim, Yun Goo;Seong, Poong Hyun
    • Nuclear Engineering and Technology
    • /
    • v.44 no.8
    • /
    • pp.929-938
    • /
    • 2012
  • The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

A Study on the Due-date Estimation for Some Computerized Manufacturing Systems (전산화된 공장에서의 납기결정 방안에 관한 연구)

  • 김재만;김성식
    • Journal of the Korean Operations Research and Management Science Society
    • /
    • v.20 no.2
    • /
    • pp.23-38
    • /
    • 1995
  • In manfacturing systems, to overcome the inherent complexities and uncertainties, due-dates are usually decided by some simple rules. This study proposes a computational procedure for estimating production lead time for computerized manufacturing systems. Based on the current system status stored in the computers, the procedure estimates production lead time for an incoming order. The result is more accurate than the ones produced by old rules, and yet the procedure is fast in computation speed enough to use in real time. Simulations are used to prove these.

  • PDF

A PRELIMINARY STUDY ON QUANTITATIVE ANALYSIS USING THE COMPUTERIZED T-SCAN SYSTEM (COMPUTERIZED T-SCAN SYSTEM을 이용한 정량적 교합분석방법에 관한 연구)

  • Yang, Jae-Ho
    • The Journal of Korean Academy of Prosthodontics
    • /
    • v.27 no.2
    • /
    • pp.271-277
    • /
    • 1989
  • The purpose of this preliminary report was to describe the operating procedure of T-scan system and to identify the location, timing and force of occlusal contact in patient with normal occlusion using computerized T-scan system. From the preliminary observation , the author obtained the following results. 1. T-scan system displayed 2 dimensional and 3 dimensional description of occlusion: contact locations, timing (sequence) and forces of occlusal contacts. 2. The T-scan sensor was the most important part of the T-scan system. 3. The data of T-scan system cannot be stored in computer diskett. 4. The T-scan system is thought to be the most effective system to detect occlusal contacts and can be applied to the followings : occlusal diagnosis, occlusal equilibration, crown and bridge restorative procedures, denture adjustment, implant procedures, splint adjustment, laboratory procedures, periodontal treatment, orthodontics, TMJ treatment and patient education etc.

  • PDF

A Study on a Trend of Human Error Types Observed in a Simulated Computerized Nuclear Power Plant Control Room

  • Lee, Dhong Ha
    • Journal of the Ergonomics Society of Korea
    • /
    • v.32 no.1
    • /
    • pp.9-16
    • /
    • 2013
  • Objective: The aim of this study is to investigate a trend of human error types observed in a series of verification and validation experiments for an Advanced Control Room(ACR) equipped with Lager Display Panel(LDP), Work Station Flat Panel Display(WS FPD), list type Alarm System(AS), Soft Control(SC) and Computerized Procedure System(CPS). Background: Operator behaviors in a fully computerized control room are quite different from those in a traditional hard-wired control room. Operators in an ACR all together monitor plant status and variables through their own interface system such as LDP and WS FPD, are notified of abnormal plant status through their own list type AS, control the plant through their own SC, and follow the structured procedure through their own CPS whereas operators in a traditional control room only separately do their duty directed by their supervisor. Especially the secondary task such as manipulating the user interface of ACR can be an extra burden to all the operators including the supervisor. Method: The Reason's human error classification method was applied to operators' behavioral data collected from a series of verification and validation experiments where operators showed their plant operational behaviors under a couple of harsh scenarios using the ACR simulator. Results: As operators accustomed to the new ACR system, knowledge or rule based mistakes appearing frequently in the early series of experiments decreased drastically in the latest stage of the series. Slip and lapse types of errors were observed throughout the series of experiments. Conclusion: Education and training can be one of the most important factors for the operators accustomed to the traditional control room to be adapted to the new system and to run the ACR successfully. Application: The results of this study implied that knowledge or rule based mistakes can be reduced by training and education but that lapse type errors might be reduced only through innovative improvement in human-system interface design or teamwork culture design including a new leadership style suitable for ACR.

Development of Digital Endoscopic Image Processing System (디지탈 내시경 영상처리 시스템의 개발)

  • 송철규;이영묵
    • Journal of Biomedical Engineering Research
    • /
    • v.18 no.2
    • /
    • pp.121-126
    • /
    • 1997
  • Endoscopy has become a crucial diagnostic and therapeutic procedure in clinical areas. Over the past three years, we have developed a computerized system to record and store clinical data pertaining to endoscopic surgery of laparascopic cholecystectomy, pelviscopic endometriosis, and surgical arthroscopy. In this study, we developed a computer system, which is composed of a frame yabber, a sound board, a VCR control board, a LAN card and EDMS(endoscopic data management software. Also, computer system has controled peripheral instruments such as a color video printer, a video cassette recorder, and endoscopic input/output signals(image and doctor's comment). Digital endoscopic data management system is based on open architecture and a set of widely available industry standards, namely: windows 3.1 as a operating system, TCP/IP as a network protocol and a time sequence based database that handles both images and doctor's cotnments. For the purpose of data storage, we used MOD and CD-R. Digital endoscopic system was designed to be able to store, recreate, change, and compress signals and medical images.

  • PDF

Validation and Verification Process for the Computerized Procedure System in Nuclear Power Plant Control Room (전자식 절차서 시스템의 원전제어적합성 확인 및 검증절차)

  • Cha, Woo-Chang
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.5 no.1
    • /
    • pp.33-41
    • /
    • 2009
  • The analog or partly digital typed interface of main control room in nuclear power plant (NPP) is gradually being replaced to the totally digitalized interface suitable for the digital environment. SKN 3,4 Nuclear Power Plant is currently developed in such a way to employ advanced displays and controls such as computerized procedure system(CPS), large display panel(LDP), and Soft control. According to the developed design process, the main control room (MCR) of the SKN3,4 was aesthetically designed based on a design concept of the health and sustainability and technically evaluated with human factors guidelines, which somehow lack of the confidence on the evaluation for the rapidly changing digital environment. The suitable review guideline for the digitalized interface and the environment was developed such as the guideline for CPS with information displays on VDU. For the guideline development, tremendous guidelines and technical papers related to evaluation issues of digital environment has been collected, analyzed and transformed to electric database forms and then built on database management system, called Design Review Supporting System to retrieve the appropriate issues for the practical usage of evaluators-in-field.

  • PDF

The selection of computerized manufacturing control system using MCDM model (다기준의사결정 모형을 이용한 전산화된 제조관리시스템의 선정에 관한 연구)

  • 정상윤;양대용
    • Journal of the Korea Society of Computer and Information
    • /
    • v.6 no.1
    • /
    • pp.113-118
    • /
    • 2001
  • The purpose of this study is the optimal selection for evaluating alternative computerized manufacturing control software packages. The evaluation and analysis of the alternative computerized manufacturing control software packages is based on a model for Multi-Criteria Decision Making(MCDM). The ultimate of MCDM is to take the best choice among the alternatives or to rank them and the procedure depends on the decision maker's subjective judgement. An example is given to illustrate the application of the MCDM model.

  • PDF

A review on Clinical Trials by Using a Computerized Tongue Diagnosis System (국내외 설진기를 활용한 인간 대상 연구현황)

  • Lee, Hyeon-Joo;Kweon, Na-Yeon;Nam, Dong-Hyun
    • The Journal of the Society of Korean Medicine Diagnostics
    • /
    • v.19 no.1
    • /
    • pp.1-10
    • /
    • 2015
  • Objectives The purpose of this study was to survey the status of clinical use of a computerized tongue diagnosis system (CTDS) Methods We searched domestic/international articles using the CTDS from online medical databases including OASIS, NDSL and pubmed. We selected articles on clinical application or reliability of CTDS but excluded articles on mechanical design or software programming for developing a new CTDS. Finally we found 15 articles and classified the articles according to the study purpose. Results Out of the 15 articles, 8 were focused on the clinical application including halitosis, cold/heat syndrome, lung cancer, xerostomia etc. Other 5 articles were aimed at evaluating and improving reliability of CTDS. The other 2 articles were studied for development of differential diagnostic criteria on tongue coating thickness. Conclusion We found out that until now the researches on clinical application of CTDS mainly had been performed for producing a variety of CTDSs. Considering the importance of the tongue color in the traditional Korean medicine, we suggest that at first standard operating procedure for CTDS be developed and researches to develop differential diagnostic criteria on tongue body/coating color be performed and then explore its applications.