• Journal of the Korean Institute of Gas
• /
• v.19 no.5
• /
• pp.104-111
• /
• 2015

The technology development of pipeline transportation of natural gas at artic and northern ice environments should be considered with unique characteristics of permafrost territory as a very interesting and challenging area. This work is to investigate bottleneck techniques and major impact factors through a literature search to figure out the core technology of the transport pipeline. Especially, theoretical approach themes could be determined to develop the technology flow assurance for permafrost regions through documentary survey on the considerations of thermo-fluid. Also, basic results through theoretical approaches could be achieved.

• Journal of Communications and Networks
• /
• v.8 no.4
• /
• pp.410-421
• /
• 2006

In this work, we propose an analytic framework for dimensioning the link capacity of broadband access networks which provide universal broadband access services to a diverse kind of customers such as patient and impatient customers. The proposed framework takes into account the flow-level quality of service (QoS) of a connection as well as the packet-level QoS, via which a simple and systematic provisioning and operation of the network are provided. To that purpose, we first discuss the necessity of flow-aware network dimensioning by reviewing the networking technologies of the current and future access network. Next, we propose an analytic model for dimensioning the link capacity for an access node of broadband convergence networks which takes into account both the flow and packet level QoS requirements. By carrying out extensive numerical experiment for the proposed model assuming typical parameters that represent real network environment, the validity of the proposed method is assessed.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.4
• /
• pp.552-558
• /
• 2002

Differentiated services (DiffServ) architecture defines a new framework for the support of quality of service (QoS) in IP-based networks. RIO has received the most attention among all the active queue management mechanisms proposed for assured service in DiffServ environment. The paper proposed the enhanced RIO which could alleviate the impact of flow's packet sire on the realized throughput. The simulation results indicate that this mechanism, when combined with TSW as traffic conditioner, provide better throughput assurance and fair distribution of excess bandwidth independent of packet size of flows in case of well-provisioned network environment.

• Korean journal of food and cookery science
• /
• v.8 no.2
• /
• pp.137-145
• /
• 1992

A computer-assisted microbiological quality assurance program was developed based on HACCP data obtained from a 500 bed general hospital by assessing time and temperature conditions and microbiological qualities of six categories of menu items according to the process of food product flow. The purpose of the study was to develop a computer-assisted microbiological quality assurance program in order to simplify the assessment procedures and to provide a maximum assurance to foodservice personnel and the public. A 16-Bit personnel computer compatible with IBM-PC/AT was used. The data base files and processing programs were created using dBASE III plus packages. The contents of the computerized system are summarized as knows: 1. When the input program for hazard analysis runs, a series of questions are asked to determine hazards and assess their severity and risks. Critical control points and monitoring methods for CCPs are identified and saved in Master file. 2. Output and search programs for hazard analysis are composed of 6 categories of recipe data file list, code identification list, and HACCP identification of the specific menu item. 3. When the user selects a specific category of recipe from 6 categories presented on the screen and runs data file list, a series of menu item list, CCP list, monitoring methods list are generated. When the code search program runs, menu names, ingredients, amounts and a series of codes are generated. 4. When the user types in a menu item and an identification code, critical control points and monitoring methods are generated for each menu item.

• Journal of the Korean Institute of Gas
• /
• v.24 no.6
• /
• pp.18-27
• /
• 2020

This study presents flow assurance analysis in subsea pipeline considering system availability of topside in LNG-FPSO. A hydrate management strategy was established, which consisted of PVCap experiments, system availability analysis of LNG-FPSO topside, hydrate risk analysis in the pipeline, and calculation of PVCap injection concentration. The experimental data required for the determination of PVCap injection concentration were obtained by measuring the hydrate induction time of PVCap at the subcooling temperatures of 6.1, 9.2, and 12.1℃. The availability of LNG-FPSO topside system for 20 years was 89.3%, and the longest downtime of 50 hours occurred 2.9 times per year. The subsea pipeline model for multiphase flow simulation was created using field geometry data. As a result of risk analysis of hydrate plugging using subsea pipeline model, hydrate was formed at the end of flowline in 23.2 hours under the condition of 50 hours shutdown. The injection concentration of PVCap was determined based on the PVCap experiment results. The hydrate plugging in subsea pipeline of LNG-FPSO can be completely prevented by injecting PVCap 0.25 wt% 2.9 times per year.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2021.05a
• /
• pp.273-276
• /
• 2021

최근의 기계 학습 (딥러닝)은 기존의 전통적인 통계 분석 방법들에 비해 효율성과 정확도가 높은 장점이 있지만, 처리과정이 블랙박스와 같아 결과 값의 중요한 원인 또는 근거 요인을 찾기 어렵다는 단점을 가지고 있다. 이를 해결하기 위한 최근의 XAI (eXplainable AI) 연구를 기반으로 하여, 본 논문에서는 의료기관에서 전정기관의 이상을 판별하기 위해 수작업으로 이루어지고 있는 HIT (head impulse test) 테스트 결과를 자동화하고, 설득력 있는 신뢰도 검정을 위해, XAI 기반 DoWhy 프레임 워크를 사용하였다. 전정기관 이상으로 의심되는 환자의 동공 움직임을 optical flow 로 추적하고, 정상인과의 Wasserstein metric 의 DoWhy 검증을 통해 전정기관 이상 여부의 신뢰도 구간을 검정한다.

• Proceedings of the Korean Society of Marine Engineers Conference
• /
• 2011.10a
• /
• pp.127-127
• /
• 2011

• Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
• /
• v.12 no.4
• /
• pp.345-361
• /
• 2014

The systematic quality assurance activities on documents of the safety assessment are required for the safety case of the low- and intermediate-level radioactive waste disposal facility. In this paper, quality assurance system focused on the input data including the site characterization, groundwater flow, system design and monitoring are prepared and discussed. Rule for the input data selection is suggested and applied for the safety assessment which is based on the in-situ/experiment observations, final facility design and waste pileup plan, engineered barrier, field monitoring, recent biosphere, and radionuclide inventory. The reduction of data uncertainty will be expected to contribute to the safety of disposal facility further.

• Journal of Energy Engineering
• /
• v.25 no.1
• /
• pp.1-8
• /
• 2016

When the oil is produced in the low temperature environment, wax can be accumulated in petroleum production system(pipeline, riser) and causes problems such as pipeline stucking, disturbance of the oil production. These problems can be lead to time-consuming and economic losses for flow assurance. For prediction and mitigation of wax deposition, it is necessary to measure the Wax Appearance Temperature(WAT) which is a temperature when the wax crystals start to be formed. WAT standard measurement method of transparent oil has to determine the cloud point of sample to the naked eye and cannot be applied to continuous change of the temperature. In this study, wax behavior of transparent oil samples are recorded depending on temperature using Visualized WAT Measurement System. Also, WATs of transparent oil samples are measured by image processing and compared with the result of the standard method.

• 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.