• Journal of KIISE
• /
• v.44 no.9
• /
• pp.893-907
• /
• 2017

In safety-critical systems, software defects may have serious consequences. Therefore, defects should be considered during the requirements specification process, which is the first step of a software development lifecycle. Stakeholder requirements that are usually written in natural language are difficult to derived, and there may also be defects due to ambiguity and inaccuracy. To address these issues, we propose a requirement specification method using a standardized Boilerplate and a GSN Model. The Boilerplate is a semi-standard language that follows a predefined format. Due to its ability to provide a consistent representation of the requirements, boilerplate helps stakeholders avoid ambiguities about what they mean and to define the exact meaning of the requirement. Meanwhile, GSN is recognized notation to prepare a Safety Case to prove to authorities that a system is safe. It can be expressed as a functional goal, e.g., Safety Evidence, etc. The proposed study allows an analyst to easily identify a fault from the early stage of the software development lifecycle. The Boilerplate and GSN Model are designed to specify the requirements of safety critical systems and to prove safety conformity through a connection with Safety Evidence. In addition, the proposed approach is also useful to develop secure software by correcting deficiencies in the requirements found during this process.

• Journal of Korean Neurosurgical Society
• /
• v.65 no.3
• /
• pp.354-360
• /
• 2022

Traumatic brain injury (TBI) is the leading cause of death and disability in children. Survivors of severe TBI are more susceptible to functional deficits, resulting in disability, poor quality of life, cognitive decline, and mental health problems. Despite this, little is known about the pathophysiology of TBI in children and how to manage it most effectively. Internationally, efforts are being made to expand knowledge of pathophysiology and develop practical clinical treatment recommendations to improve outcomes. Here we discuss recently updated evidence and management of severe pediatric TBI.

• Journal of Korean Critical Care Nursing
• /
• v.2 no.2
• /
• pp.5-17
• /
• 2009

Purpose: The purpose of this study was to investigate the current humidification state of incubator, the factors disturbing high humidification and to establish the evidence-based nursing protocol to maintain it. Methods: The subjects were 15 infants who were born with extremely low birth weight (ELBW) from May to October, 2007, and data were collected during the first 3 days and analyzed with SPSS WIN program. Results: The goal of humidity level in incubator was 95%, but mean humidity levels were 89.7%(1st day), 91.9%(2nd day), and 91.8%(3rd day)(p<0.001). The disturbing factors were opening frequency and duration of incubator door and window by caregivers. The handling of infants by nurses and doctors happened more frequently during the first day. Especially, nurses handled them more often than others, but the duration of opening during the invasive procedures by doctors was longer than others. The opening frequency had negative correlation with duration(r=-.779, p<.01). Conclusion: So the evidence-based protocol for maintaining high humidity in incubator for ELBW infants during the first 3 days and next 2 days was made. Furthermore we need to educate NICU nurses and doctors about minimal handling.

• The Journal of the Korea Contents Association
• /
• v.21 no.10
• /
• pp.613-621
• /
• 2021

The purpose of this study was conducted to provide emergency nursing class using evidence-based practice (EBP) and to examine its effects. This study was a one-group pretest-posttest experimental design. Data were collected from 54 students in the third year of nursing at a university, between September 2, 2019 and December 9, 2019. An emergency nursing class using EBP consisting of 5-step EBP components was provided through 13 sessions. Lectures, team-based learning, and case-based learning were provided. Data were analyzed using SPSS/WIN 21.0 program with descriptive statistics and paired t-test. After the class, there were significant increase in EBP beliefs (t=-2.76, p=.008) and EBP competency (t=-5.035, p<.001). However, critical thinking disposition was not significantly increased. The findings indicate that emergency nursing classes using evidence-based practice is an efficient teaching-learning method to improve EBP beliefs and competency.

• KSCI Review
• /
• v.14 no.2
• /
• pp.225-234
• /
• 2006

Computer Forensics functions by defending the effects and extracting the evidence of the side effects for production at the court. Has the faultlessness of the digital evidence been compromised during the investigation, a critical evidence may be denied or not even be presented at the trial. The presented monograph will deliberate the faultlessness-establishing chain procedures in disk forensics. system forensics, network forensics, mobile forensics and database forensics. Once the faultlessness is established by the methods proposed, the products of investigation will be adopted as a leading evidence. Moreover, the issues and alternatives in the reality of digital investigation are presented along with the actual computer forensics cases, hopefully contributing to the advances in computer digital forensics and the field research of information security.

• Journal of the Korean institute of surface engineering
• /
• v.32 no.3
• /
• pp.410-415
• /
• 1999

The adhesion strength of sputtered copper films to Inconel substrates has been studied using the scratch test. The effects of substrate treatments before deposition such as chemical or ion bombardment etching were investigated by means of a mean critical load derived from a Weibull-like statistical analysis. It was found that the mean critical load was very weak unless the amorphous layer produced by mechanical polishing on the substrate surface was eliminated. Chemical etching in a nitric-hydrochloric acid bath was shown to have practically no effect on the enhancement of the adhesion. In contrast, the addition in this bath of nickel and copper sulphates allowed removal of the amorphous layer and an increase in the values of the mean critical load. However, it was observed that excessive chemical etching could cancel out the mean critical load enhancement. The results obtained in the case of ion bombardment etching pretreatments could be far higher than those obtained with chemical etching. Moreover, for a sufficiently long period of ion bombardment etching, the adhesion strength was so high that it was impossible to observe evidence of an adhesion failure.

• Tuberculosis and Respiratory Diseases
• /
• v.78 no.4
• /
• pp.375-379
• /
• 2015

A 45-year-old man presented with dyspnea and hemoptysis during exercise. A chest computed tomography (CT) revealed multifocal diffuse patchy ground glass opacity and interlobular septal thickening in both the lungs. Permeability pulmonary edema or pulmonary hemorrhage was suspected. Serologic studies for autoimmune disorders and vasculitis were negative. There was no laboratory evidence of coagulopathy, other hematopoietic disease or infectious disease. Considering correlation with exercise, we diagnosed exercise-induced pulmonary hemorrhage (EIPH) or exercise-induced pulmonary edema (EIPE). The patient was managed with antifibrinolytics, antibiotics, and antitussive agent. After a week, follow-up chest CT revealed completely resolved pulmonary hemorrhage. About 2 months after the first event, he visited again with dyspnea and hemoptysis during running. In the present study, we report a case of recurrent pulmonary hemorrhage after exercise.

• Clinical and Experimental Pediatrics
• /
• v.64 no.1
• /
• pp.3-11
• /
• 2021

There is a growing body of literature on the adverse health effects of ambient air pollution. Children are more adversely affected by air pollution due to their biological susceptibility and exposure patterns. This review summarized the accumulated epidemiologic evidence with emphasis on studies conducted in Korea and heterogeneity in the literature. Based on systematic reviews and meta-analyses, there is consistent evidence on the association between exposure to ambient air pollution and children's health, especially respiratory health and adverse birth outcomes, and growing evidence on neurodevelopmental outcomes. Despite these existing studies, the mechanism of the adverse health effects of air pollution and the critical window of susceptibility remain unclear. There is also a need to identify causes of heterogeneity between studies in terms of measurement of exposure/outcome, study design, and the differential characteristics of air pollutants and population.

• Journal of Arbitration Studies
• /
• v.33 no.3
• /
• pp.107-128
• /
• 2023

International arbitration is a widely preferred alternative dispute resolution mechanism for many desirable characteristics, such as, party autonomy, procedural flexibility, ability of parties to select their arbitrators, as well as, finality of arbitral awards, among others. However, because arbitral tribunals derive their authority and jurisdiction from the parties' agreement(s) to arbitrate their dispute(s), arbitral tribunals lack coercive powers that national courts have. At times, arbitral tribunals have to deal with circumstances of non-production and/or spoliation of evidence, and due to the lack of coercive authority, it may be challenging to compel such recalcitrant parties to produce the relevant evidence and/or witnesses. Therefore, adverse inferences drawn against the recalcitrant parties may be the most effective sanctions. This article explores the sources of authority for arbitral tribunals to make such adverse inferences and argues for a precise set of rules or standard to be consistently applied by the arbitral tribunals in order to increase predictability in arbitral proceedings. Additionally, some of the critical issues when considering adverse inferences as sanctions are discussed.

• Asian Pacific Journal of Cancer Prevention
• /
• v.16 no.15
• /
• pp.6685-6690
• /
• 2015

Background: Genetic studies have shown a possible relationship between the rs16969968 polymorphism in CHRNA5 and the risk of lung cancer. However, the results have been conflicting. Thus we rigorously conducted a meta-analysis to clarify any association. Materials and Methods: A total of 10 case-control studies involving 17,962 lung cancer cases and 77,216 control subjects were analysed. Odds ratios (ORs) with 95% confidence intervals (CIs) were used to measure the strength of the association. Results: We found the CHRNA5 rs16969968 polymorphism to be associated with the risk of lung cancer (AA vs GG: OR=1.60, 95%CI=1.51-1.71). On stratified analysis by smoking status, a statistically significant increased risk was observed in the smoking group (AA vs GG: OR=1.80, 95%CI=1.61-2.01). However, this polymorphism was not associated with lung cancer risk in Asians (AA vs GG: OR=0.95, 95%CI=0.35-2.59), whereas it was linked to increased risk of lung cancer among Caucasians (AA vs GG: OR=1.65, 95%CI=1.55-1.76). Conclusions: Our meta-analysis provided statistical evidence for a strong association between rs16969968 polymorphism and the risk of lung cancer, especially in smokers and Caucasians. Application of this relationship may contribute to identification of individuals at high risk of lung cancer and indicate a chemoprevention target.