• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1998.10a
• /
• pp.655-662
• /
• 1998

This paper is on the anlaysis for real-time software requirement . This method can be used for TNPIN(Timed Numerical Petri Net) as a easy communication means with a real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness fo the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL , and analyzed through the reachability graph. Thus , the requirement of between user and system is satisfied. By the example of shared track, the validity of the property of real-time (safetiness, responsiveness, liveness, priority) is verified. Also, this framework is give to connection with a object natually.

• The Journal of Internal Korean Medicine
• /
• v.36 no.4
• /
• pp.570-581
• /
• 2015

Objectives The purpose of this study was to investigate the experimental studies which was performed by single or complex herbal medicines on hypothyroidism.Methods I searched the domestic experimental studies about single or complex herbal medicines’ effects on hypothyroidism that published since 2000 on 4 Korean databases by keywords, ‘thyroid gland’, ‘hypofunction’, ‘hypothyroidism’.Results 11 single herbal medicines and 9 complex herbal medicines in 20 experimental studies have reported their effectiveness and safetiness in PTU-induced hypothyroidism rats by evaluating the changes of several biochemical and hematological indexes.Conclusions In order to make new and more effective medicines on hypothyroidism, there should be further studies by using combinations of herbal medicines and the differences of their mechanisms.

• Journal of Korea Society of Industrial Information Systems
• /
• v.4 no.1
• /
• pp.1-6
• /
• 1999

This paper is on the analysis for the real-time software requirement. This method can be used for TNPN(Timed Numerical Peri Net) as a easy communication means with real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL, and analyzed through the teachability graph. Thus, the requirement between user and system is satisfied Using the example of shared track, the validity of the property of real-time(safetiness, responsiveness, liveness, priority) is verified. Also this framework if given to connection with a object, natually.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2021.05a
• /
• pp.32-33
• /
• 2021

When materials are to be transported vertically at the construction site, if the space is small, there is often a precarious situation in which materials are transported outside the scaffold or through the space secured by removing the safety footrest. In addition, if the safety foothold is removed, the reinstallation may not occur due to carelessness of a worker. To solve the problem of this particular case, we have created a safety foothold that is unnecessary to dismantle and can be opened.

• Journal of Chest Surgery
• /
• v.26 no.10
• /
• pp.781-786
• /
• 1993

Effrctive analgesia after elective thoracotomy can be provided by continuous extrapleural intercostal nerve block.This study was designed to prove the effectiveness of continuous extrapleural intercostal nerve block. Twenty patients undergoing elective thoracotomy were randomized into two groups. Group I received lumbar epidural block[N=10] and group II received continuous extrapleural intercostal nerve block[N=10]. Postoperative pain relief was assessed on Numeric Rating Scale[NRS] and recovery of pulmonary function was assessed by coparison of preoperatrive and postoperative FVC[Forced Vital Capacity], FEV1[Forced expiratory Volume in 1 second], VC[Vital Capacity]. Arterial blood gas analysis[ABGA], vital signs and amount of additive analgesics were compared also. No significant difference was observed between the groups concerning these parameters mentioned above. Systemic complications, such as urinary retention[2/10] and weakness of lower extremity[2/10], occurred in group I but no complication occurred in group II. We conclude that continuous extrapleural intercostal nerve block is as effective as epidural block in pain relief and restoration of pulmonary mechanics with fewer comlications. Also because of it`s ease and safetiness, this must be considered as a substitute of epidural block in routine use for thoracotomy pain relief.

• Journal of the Korea Safety Management & Science
• /
• v.21 no.1
• /
• pp.17-23
• /
• 2019

The diesel engine generate many pollutants such as PM(Particulate matter) and NOx(Nitrogen oxide). So the SCR(Selective catalytic reduction) must be required to meet the emission standard. The SCR catalyst market is growing rapidly, and the automobile markets using alternative energy sources are growing rapidly. This study deals with optimization of the calcination process the manufacturing process of SCR catalyst to be competitive. The calcination process is a bottleneck and it is required to optimize productivity and accept to be safety, But we cannot trade off anything in terms of safety. We applied DOE(Design of experiments) among many research methods performed in various fields. In order to achieve quality and productivity optimization. The dependent variables in the DOE were selected as NO Conversion(%). The independent variables were selected as the calcination temperature, soaking time and fan speed RPM. the CCD(Central composite designs) constructs response surface using the data onto experience and finds optimum levels within the fitted response surfaces. Our tests are our stability guarantee and efficient together with operation.