• 한국가스학회지
• /
• 제19권5호
• /
• pp.104-111
• /
• 2015

극한지 천연가스 수송배관망의 기술개발은 동토지역의 특수성을 고려해야 하는 매우 흥미롭고 도전적인 분야로서 본 연구는 수송배관의 핵심기술을 파악하기 위하여 극한지 애로기술에 대한 문헌조사와 주요 영향인자를 파악하였다. 특히, 열유동 고려사항에 대한 문헌조사를 통하여 극한지 천연가스 수송배관망 유동확보기술을 개발하기 위한 이론적 접근 주제를 정할 수 있었고, 또한 이론 해석을 통한 기본적인 결과를 도출할 수 있었다.

• Journal of Communications and Networks
• /
• 제8권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.

• 한국정보통신학회논문지
• /
• 제6권4호
• /
• pp.552-558
• /
• 2002

차별 서비스 모델은 IP 기반 네트워크에서 서비스 품질을 제공하기 위한 새로운 구조 모델이다. RIO 는 차별 서비스 네트워크 환경에서 라우터의 큐 관리 메커니즘으로 가장 널리 적용되고 있다. 본 논문은 패킷 길이에 따른 처리율의 영향을 완화하는 개선된 RIO 메커니즘을 제안한다. 트래픽 조절 기능인 TSW 기능과 결합하여 시뮬레이션을 수행한 결과, 제안된 메커니즘은 적절히 배치된 네트워크 상황에서 패킷 길이에 무관하게 안정된 처리율을 보장하고, 대역폭의 공평한 분배를 제공하는 것으로 분석된다.

• 한국식품조리과학회지
• /
• 제8권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.

• 한국가스학회지
• /
• 제24권6호
• /
• pp.18-27
• /
• 2020

본 연구에서는 LNG-FPSO 상부구조물의 시스템 가용도를 고려한 해저 유동관내 유동안정성 연구를 수행하였다. 이를 위해 PVCap 억제 성능 평가 실험, LNG-FPSO 상부구조물 가용도 분석, 유동관내 하이드레이트 위험도 평가, PVCap 주입 농도 산출로 구성된 하이드레이트 관리 전략을 수립하였다. 과냉각 온도 6.1, 9.2, 12.1℃에 따라 PVCap의 하이드레이트 지연시간을 측정함으로써 PVCap 주입 농도 결정에 필요한 실험 기준을 확보하였다. 시스템 가용도 분석을 통해 산출된 20년 동안의 LNG-FPSO 상부구조물의 가용도는 89.3%이며, 50시간의 최장 고장 시간이 연간 2.9회 발생하였다. 현장 자료를 이용하여 다상 유동 시뮬레이션을 위한 유동관 모델을 구축하였다. 다상 유동 시뮬레이션을 통해 하이드레이트 플러깅 위험도를 예측한 결과, 50시간의 생산 중단 조건에서는 23.2시간 만에 유동관 끝단에서 하이드레이트가 발생하는 것을 확인하였다. 하이드레이트 방지를 위해 PVCap 실험 결과를 기반으로 PVCap 주입 농도를 산출하였으며, 0.25 wt%의 PVCap을 연간 2.9회 주입하면 하이드레이트 플러깅을 방지할 수 있을 것으로 판단된다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2021년도 춘계학술발표대회
• /
• pp.273-276
• /
• 2021

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

• 한국마린엔지니어링학회:학술대회논문집
• /
• 한국마린엔지니어링학회 2011년도 후기공동학술대회 논문집
• /
• pp.127-127
• /
• 2011

• 방사성폐기물학회지
• /
• 제12권4호
• /
• pp.345-361
• /
• 2014

처분시설의 개발과정에서 안전성평가 문서관리는 체계적인 품질활동이 수반되어야 하며, 본 논문에서는 중 저준위 방사성폐기물 처분시설의 건설단계에 보완된 부지특성, 지하수특성, 최종설계내용 및 모니터링 입력데이터를 포함하여 Safety Case를 위한 안전성평가 입력데이터 품질보증체계를 설명하였다. 현장/실험결과데이터, 실제 설계데이터 및 적치계획, 콘크리트 물성데이터, 지하수, 기상, 지진에 대한 현장 모니터링데이터, 생태계데이터 및 핵종재고량데이터를 입력데이터 결정원칙에 따라 선별하고 안전성평가에 적용할 수 있는 데이터 관리체계를 확보하였다. 이는 향후 처분시설 안전성평가의 데이터 불확실성 저감 및 안전성 증진에 기여할 것으로 판단된다.

• 에너지공학
• /
• 제25권1호
• /
• pp.1-8
• /
• 2016

저온환경에서 석유생산이 이루어질 경우 유동관, 라이저와 같은 석유생산시스템 내에서 온도에 민감한 왁스 고형물이 빈번히 집적되어 석유 이송을 방해하거나 배관을 막아 유동안정성 확보를 위한 시간 소모와 경제적 손실이 발생할 수 있다. 이러한 왁스 집적 문제를 제어하기 위해 오일 내 왁스가 처음 석출되기 시작하는 온도인 왁스생성온도를 사전에 파악하는 것이 중요하다. 기존 왁스생성온도 표준측정법은 왁스결정 석출로 인하여 변하는 시료의 혼탁도를 육안으로 확인하는 한계가 있으며, 오일의 연속적인 온도변화를 측정하기 어려워 정확도가 낮다. 이 연구에서는 오일의 왁스생성온도를 정확하게 측정하고자 왁스생성온도 측정 가시화 실험시스템을 통해 시간에 따라 온도를 감소시키며 왁스생성거동을 촬영하였다. 또한 영상 처리기법으로 투명 오일시료의 명도변화를 분석하여 왁스생성온도를 측정하였으며, 이를 표준측정법의 결과와 비교분석하였다.

• Nuclear Engineering and Technology
• /
• 제44권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.