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

• 조명전기설비학회논문지
• /
• 제21권4호
• /
• pp.36-44
• /
• 2007

This study researched the mutual relationship between elevator emergencies(sudden stops, entrapment) and power quality such as voltage interruptions or sags. To analyze the power quality at the elevator switchboard of an apartment, the on-line power quality(sag, swell, and interruption, etc.) were measured and error messages(under voltage error, etc.) in the elevator control room were researched. Also the performance and susceptibility for stops were evaluated and stated through the testing of three pieces of simulated test equipment with an EN12016(2004) standard setting and the magnitude and duration data of the measured sag or interruption. This paper will use these data in the analysis of the mutual relationship between power quality and elevator emergencies.

• Pediatric Gastroenterology, Hepatology & Nutrition
• /
• 제26권4호
• /
• pp.224-229
• /
• 2023

Gastrointestinal (GI) bleeding is a rare adverse event of dasatinib, which is known to be caused by dasatinib-induced colitis, severe thrombocytopenia, and platelet dysfunction. We present two cases of pediatric patients who developed hematochezia during treatment with dasatinib after hematopoietic stem cell transplantation (HSCT). A colonic tissue biopsy was performed to differentiate the cause of GI bleeding. Both patients were diagnosed with proven cytomegalovirus (CMV) colitis, but only one was treated with ganciclovir. The patient who did not receive antiviral therapy experienced recurrent GI bleeding during dasatinib administration, leading to multiple treatment interruptions. During dasatinib therapy after HSCT, patients with GI bleeding and confirmed CMV colitis may benefit from antiviral therapy to reduce interruptions in dasatinib therapy.

• 대한산업공학회지
• /
• 제16권2호
• /
• pp.129-134
• /
• 1990

Exponential smoothing methods have enjoyed a long history of successful applications and have been used in forecasting for many years. However, it has been long known that one of the deficiencies of the method is an inability to respond quickly to interventions to interruptions, or to large changes in level of the underlying process. An exponential smoothing method adaptive to repeated random level changes is proposed using a change-detection statistic derived from a simple dynamic linear model. The results are compared with Trigg and Leach's and the exponential smoothing methods.

• Journal of applied mathematics & informatics
• /
• 제33권1_2호
• /
• pp.185-191
• /
• 2015

This paper considers a discrete-time buffer system with session-based arrivals, an infinite storage capacity and one unreliable output line. There are multiple different types of sessions and the output line is governed by a finite state Markov chain. Based on a generating functions approach, we obtain an exact expression for the mean buffer content.

• 조명전기설비학회논문지
• /
• 제22권5호
• /
• pp.13-20
• /
• 2008

과거에는 순간전압강하(Sag)나 고조파(Harmonics)와 같은 순간전력품질 문제가 부하에 큰 영향을 미치지 않았으나, 최근 컴퓨터와 같은 마이크로 프로세서를 이용하는 민감부하의 사용 증가로 인하여 전력품질에 대한 관심이 고조되고 있다. 이에 따라 현재까지 영구정전(Sustained Interruption)에 초점을 맞추고 일부 순간정전(Momentary Interruption)을 포함하여 진행되어 온 배전계통 신뢰도 연구 분야는 새로운 전환점을 맞이하고 있다. 즉, 전력품질문제로 인하여 많은 민감기기들이 트립(Trip)되어 신뢰도 비용이 발생하기 때문에, 전력품질을 고려하지 않은 신뢰도 비용평가는 그 정확도가 떨어질 수밖에 없는 실정에 있다. 본 논문에서는 배전계통 사고 시 이 사고를 제거하기 위해 사용된 리클로져에 의해 발생하는 순간전압강하를 고려하였다. 기존의 영구정전에 의한 신뢰도 비용과 순간전압강하에 의해 트립되는 기기들의 신뢰도 비용을 포함하는 개선된 배전계통 신뢰도 비용 평가 기법을 제안하였다.

• 한국응급구조학회지
• /
• 제24권3호
• /
• pp.107-116
• /
• 2020

Purpose: We compared three chest compression methods to find an efficient method for performing infant cardiopulmonary resuscitation (CPR) for single rescuers and improving chest compressions quality. Methods: Thirty new marine police trainees at the Korea Coast Guard Education Institute were tested for five sessions using three methods of single rescuer infant CPR: two-finger chest compression, two-thumb encircling chest compression, and two-finger support chest compression. Results: The depth, accuracy, and number of compressions per minute of resuscitation were analyzed for the above three methods. The depth of two-finger chest compression, two-thumb encircling chest compression, and two-finger support chest compression was 3.53±0.20cm, 4.10±0.13cm, and 4.22±0.15cm, respectively. Accuracy was 23.86±12.59%, 54.11±10.8%, 71.55±18.81%, respectively, while the time for one cycle of 30 chest compression was 16.01±10.5 seconds, 16.45±0.85 seconds, and 16.56±0.91 seconds, respectively. Chest compression interruptions were 6.59±0.78 seconds, 7.17±0.37 seconds, and 6.97±0.35 seconds, respectively. The interruptions were consistent with the range of 5-10 seconds suggested by the American Heart Association. Conclusion: When one rescuer performs CPR for an infant in cardiac arrest, a comparative analysis of three methods showed that two-thumb encircling chest compression is the best for accuracy and efficiency of chest compressions.

• 한국정보통신학회논문지
• /
• 제25권8호
• /
• pp.1019-1025
• /
• 2021

경력단절여성들의 재취업을 위한 교육 훈련 등의 지원정책이 이루어지고 있으나, 효과적으로 취업과 연계되지 않고 있다. 또한, 고학력 경력단절여성의 경우에는 재취업을 위하여 이전 경력을 수정하거나 새로운 경력을 계획해야 하는 등 재진입이 어려운 상황이다. 기존 선행연구들에서는 취업기회가 높은 유망 직종 등 재취업을 위한 근본적인 문제를 해결하기 위한 연구가 부족하였다. 따라서 경력단절여성들을 위한 교육과정 개발 시 교육 대상자의 연령 및 학력별로 취업에 도움이 되는 교육직종을 선별할 필요성이 있다. 본 연구는 경력단절여성들의 직업훈련 교육 데이터를 활용하여 연령 및 학력별로 취업률이 높은 교육직종을 분석하였다.

• Journal of Pharmaceutical Investigation
• /
• 제11권2호
• /
• pp.11-15
• /
• 1981

Antler, deer horn, occupies a particular place in oriental folk medicine as so called tonic remedy. In order to study on the effects of Antler water extract on stress resistance in mice, quantitative response was measured for the change of spontaneous activity by chemical stress drugs in the control group or the Antler water extract pretreated group. Spontaneous activity in mice was measured by counting the number of interruptions of light. The results of experiment were summerized as follows; I) In case of administrating Antler water extract 10mg/kg, 20mg/kg, 50mg/kg, and 100mg/kg, no significant change was observed in spontaneous activity in comparison with the control group. II) In case of administrating Antler water extract for 5 days or 10 days, no significant change was observed in spontaneous activity by chemical stress drugs, caffein and chloropromazine, in comparison with the control group.

• 산업공학
• /
• 제13권1호
• /
• pp.92-99
• /
• 2000

Conflicts and interruptions caused by resource failures and rush orders require a nonlinear dynamic production management. Generally the PP&C systems used in industry presently do not meet these requirements because of their rigid concepts. Starting with the grasp of the disadvantages of current approaches, this paper presents a control structure that enables system to react to various malfunctions using a planning tolerance concept. Also, production processes are modeled by using Fuzzy-Petri-Net modeling tool in other to handle the complexity of job allocation and the existence of many disparities. On the basis of this model the developed system support the short-term shop control by rule based decision.