• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.860-872
• /
• 2002

Fault tree analysis is the most widely used saftly analysis technique in industry. However, the analysis is often applied manually, and there is no systematic and automated approach available to validate the analysis result. In this paper, we demonstrate that a real-time model checker UPPAAL is useful in formally specifying the required behavior of safety-critical software and to validate the accuracy of manually constructed fault trees. Functional requirements for emergency shutdown software for a nuclear power plant, named Wolsung SDS2, are used as an example. Fault trees were initially developed by a group of graduate students who possess detailed knowledge of Wolsung SDS2 and are familiar with safety analysis techniques including fault tree analysis. Functional requirements were manually translated in timed automata format accepted by UPPAAL, and the model checking was applied using property specifications to evaluate the correctness of the fault trees. Our application demonstrated that UPPAAL was able to detect subtle flaws or ambiguities present in fault trees. Therefore, we conclude that the proposed approach is useful in augmenting fault tree analysis.

• 한국신재생에너지학회:학술대회논문집
• /
• 2011.05a
• /
• pp.173.1-173.1
• /
• 2011

The high fuel flexibility of gas turbine power system has boosted their use in a wide variety of applications. Recently, the demand for biogas generated from the digestion of organic wastes and sewage waste water as a fuel for gas turbines has increased. We investigated the performance of high pressure biogas compression system and operating conditions for supplying biogas. The total flow per minute of biogas from food waste water digestion tank is $54Nm^3$. The main type of biogas compression system is the reciprocating system and screw type system. The target of biogas mechanical data is the as belows; inlet pressure 0.045bar, supplying biogas temperature is $30{\sim}60^{\circ}C$, and final pressure is above the 25 bar. Also, inlet conditions of biogas consist of CH4 48.5%~83%, $H_2S$ Max. 500ppm, $NH_3$ Max. 1,500ppm and Siloxane 2.7~4.6ppm. The boosting Blower system raises a pressure from 0.045bar to 1bar before main compressor. The main system lay out of reciprocating consisits of compressor driver, filter, cooling system, blowdown vessel, control system and ESD(Emergency Shut Down) system. And an enclosure package needs to be installed for reducing noise up to 75dB. The system driver is the electronic motor of explosion proof type. Forthe compressor system reliable operation, the cleaning system something like particulate filter needs to be set up in the inlet of compressor and Coalescing Filter in the outlet of compressor. Particulate Filter has to be removed above $10{\mu}m$ size of the particles in biogas. The coalescing filter(Micofine Borosilicate Glass Fibers Filter treated phenol acid) also removes moisture and oil of above $0.3{\mu}m$ to be involved in high pressure biogas up to 90%~98%.

• Journal of Biomedical Engineering Research
• /
• v.28 no.4
• /
• pp.556-568
• /
• 2007

Unsatisfied results of return of spontaneous circulation (ROSC) estimates were caused by the fact that the predictability of the predictors was insufficient. This unmet estimate of the predictors may be affected by transitional events due to behaviors which occur during cardiopulmonary resuscitation (CPR). We thus hypothesized that the discrepancy of ROSC estimates found in statistical characteristics due to transitional CPR events, may affect the performance of the predictors, and that the performance of the classifier dichotomizing between ROSC and No-ROSC might be different during CPR. In a canine model (n=18) of prolonged ventricular fibrillation (VF), standard CPR was provided with administration of two doses of epinephrine 0 min or 3 min later of the onset of CPR. For the analysis of the likelihood of a successful defibrillation during CPR, Support Vector Classification was adopted to evaluate statistical peculiarity combining time and frequency based predictors: median frequency, frequency band-limited power spectrum, mean segment amplitude, and zero crossing rates. The worst predictable period showed below about 1 min after the onset of CPR, and the best predictable period could be observed from about 1.5 min later of the administering epinephrine through 2.0-2.2 min. As hypothesized, the discrepancy of statistical characteristics of the predictors was reflected in the differences of the classification performance during CPR. These results represent a major improvement in defibrillation prediction can be achieved by a specific timing of the analysis, as a change in CPR transition.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.4
• /
• pp.683-690
• /
• 2016

In modern society, disasters frequently occur, and the effect is getting more massive. Also, unpredictable future increases anxiety about social security. Accordingly, in order to prevent national-scale emergency from happening, it is highly required governments' role as ICT power nation and transition to disaster management system using big data applied service. Thus, e-gov necessarily acquires disaster response system in order to predict and manage disasters. Disasters are linked with some attributes of modern society in diversity, complexity and unpredictability, so various approach and remedies of them will appease the nation's anxiety upon them. For this reason, this manuscript suggests epidemics preactive warning algorithm model as a mean of reduce national anxiety on disaster using big data for social security. Also, by recognizing the importance of e-gov and analyzing problems in weak disaster management system, it suggests political implication for disaster response.

• The Korean Journal of Physiology and Pharmacology
• /
• v.18 no.6
• /
• pp.447-456
• /
• 2014

Until now, a disease-modifying therapy (DMT) that has an ability to slow or arrest Alzheimer's disease (AD) progression has not been developed, and all clinical trials involving AD patients enrolled by clinical assessment alone also have not been successful. Given the growing consensus that the DMT is likely to require treatment initiation well before full-blown dementia emerges, the early detection of AD will provide opportunities to successfully identify new drugs that slow the course of AD pathology. Recent advances in early detection of AD and prediction of progression of the disease using various biomarkers, including cerebrospinal fluid (CSF) $A{\beta}_{1-42}$, total tau and p-tau181 levels, and imagining biomarkers, are now being actively integrated into the designs of AD clinical trials. In terms of therapeutic mechanisms, monitoring these markers may be helpful for go/no-go decision making as well as surrogate markers for disease severity or progression. Furthermore, CSF biomarkers can be used as a tool to enrich patients for clinical trials with prospect of increasing statistical power and reducing costs in drug development. However, the standardization of technical aspects of analysis of these biomarkers is an essential prerequisite to the clinical uses. To accomplish this, global efforts are underway to standardize CSF biomarker measurements and a quality control program supported by the Alzheimer's Association. The current review summarizes therapeutic targets of developing drugs in AD pathophysiology, and provides the most recent advances in the clinical utility of CSF biomarkers and the integration of CSF biomarkers in current clinical trials.

• The Journal of Society for e-Business Studies
• /
• v.20 no.2
• /
• pp.15-26
• /
• 2015

To prevent the spread of damage, initial reaction and emergency repair are important. But up to now they depend on some guidelines and man power owing to the lack of technical support. In this paper, we described the development process of several electronic documents and information management system of them to rapidly acquire and share damage information of the infrastructure. The damage information, which is acquired by the computer and smart phone, is transformed to the electronic documents and connected to data management system through the damage information acquisition network. These systems could readily be used for preparing a countermeasure of the disaster and disaster recovery.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2009.05a
• /
• pp.354-358
• /
• 2009

Micro gas turbine engine is well known as a power plant of unmanned aerial vehicle and a small scale emergency generation system and also, it is significant as initial research of large gas turbine and educational purpose of gas turbine. Many sort of Micro gas turbine test set for education is produced by several manufacturers, but all of the engine control system of them is separated with data acquisition system; moreover, the engine control algorithms are inaccessible and related variables could not be collected. In this investigation, the Integrated Modifiable Test Rig which has modifiable engine start-up, drive and situational control logics is developed by LabVIEW with I/O devices and it provides wide experimental applicability to studies of dynamic characteristics of fuel system and combustion instability.

• KIEAE Journal
• /
• v.14 no.2
• /
• pp.37-46
• /
• 2014

University buildings are energy-guzzling facility that consume more than 10,000TOE within a campus annually. Even the consumption is on an upswing trend. Behind such high consumption are there cheap power rates for education facility, lack of high-efficiency equipment and ever-increasing use of various information equipment. Being keenly aware that greenhouse gas emission increases due to such rise of energy consumption, the present study carried out a case study. In the case study, the study chose the buildings of E university from top 10 universities that consume energy most in Seoul and examined the current status of their energy consumption and greenhouse gas emission. And then it set the reduction target of greenhouse gas by year. Putting aside a middle and long-termed strategy for later endeavor, it first established the 1st year's implementation plan (2014) for energy saving and greenhouse gas reduction with limited budget and according to greenhouse gas reduction target. The plan is specified as follows. Targets for energy saving are mainly divided into two sectors: machine equipment and electric equipment. 7 ideas were proposed. Three ideas to improve machine equipment are to replace with high-efficiency boilers and chillers and to adjust the position of the cooling tower. By doing so, it was estimated that energy could be saved by 176.34TOE in total and greenhouse gas could be reduced by 370.771t$CO_2$-eq. Four ideas to improve electric equipment include the replacement with LED lights, LED emergency lights and high-efficiency motors and the installation of motion sensors. It was calculated that such replacement could conserve 1,076.08TOE (electric energy) and reduce 2,181.420t$CO_2$-eq (greenhouse gas).

• The Journal of the Korean dental association
• /
• v.48 no.12
• /
• pp.893-918
• /
• 2010

This article is purposed of reviewing the development history of Japanese dental devices and instrument, and their related advertisement activities during the Japanese colonized period in Korea in early 20th century. Japanese dental devices and instrument were redesigned to accommodate their ergonomic shape above the simple imitation, and it implies the excessive desires brought them frustrations. The tragic earthquake on Sep. l, 1923, medical insurance law enforcement on Jan. 1, 1927, celebration of "Cavity prevention Day" started on Jun. 4, 1928, and the attack of Manchuria and China by Japan after 1931, all of these historical incidents become the preliminary requirement for the development of dental devices. On Nov. 1, 1937, Japanese government started to control dental materials, driving the campaigns for excluding foreign products and encourging the use of local products. In 1939, Nakajima dental manufacturers used this political and social atmosphere on their advertisement as saying "Our Nakajima's products have no compromise with the short raw materials, but only commitment to our quality". Since after 1940, the price and supply have been strongly under control, and the control group was appeared to manage all of supply and distribution of raw materials, regular price system, and specifications. At last, the Japanese national power were devastated in its production and distribution capacities, and get to the frustrated period. The main advertised dental devices and instruments in Korea during the Japanese colonized period were 1) dental chair, unit and cabinet, 2) dental x-ray, 3) compressors, 4) dental needles, 5) small instrument and carryon medical(emergency) kit, 6) oral hygiene and pyorrhea alveolaris, infrared rays, sunlight lamp, ultrashort wave treatment devices, 7)crown former, electric furnace, casting machine, articulator, electric lathe, and laboratory equipments, etc.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.503-506
• /
• 2001

There are four factors for patient monitoring : electrocardiography, blood pressure, temperature and respiration. While there are a lot of studies of E.C.C (electro-cardiography) monitoring system in the world, the studies of Respiratory system are not enough and leave much to be desired in the country. In this paper, we developed a respiratory system with the electrical impedance change of the lungs depending on the breath. Using the same electrode, we can monitor E.C.C and Respiration simultaneously, so we can monitor a patient's no-breathing state due to the central nerve paralysis in the emergency room easily. In this monitoring system, the analog part was made separated from the digital part for reducing power source noise and protecting patient from electric shock. The analog part consists of the several parts a high-frequency sine-wave generator, all amplifier for amplifying any impedance change signal, an analog processing part for rectifying and filtering. And the digital parts consists of three parts an AD convertor for converting analog signal to digital signal, digital filter, and a digital part for digital signal processing. This system's merits are using the same electrode with E.C.C and developing the multiple patient monitoring system easily.