• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.120-133
• /
• 2000

Major obstruction of using formal methods for hybrid real-time systems in industry is the difficulty that engineers have in understanding and applying the quantitative methods in an abstract requirements phase. While formal methods technology in safety-critical systems can help increase confidence of software, difficulty and complexity in using them can cause another hazard. In order to overcome this obstruction, we propose a framework for qualitative requirements engineering of the hybrid real-time systems. It consists of a qualitative method for requirements specification, called QFM (Qualitative Formal Method), and a safety analysis method for the requirements based on a causality information, called CRSA (Causal Requirements Safety Analysis). QFM emphasizes the idea of a causal and qualitative reasoning in formal methods to reduce the cognitive burden of designers when specifying and validating the software requirements of hybrid safety systems. CRSA can evaluate the logical contribution of the software elements to the physical hazard of systems by utilizing the causality information that is kept during specification by QFM. Using the Shutdown System 2 of Wolsong nuclear power plants as a realistic example, we demonstrate the effectiveness of our approach.

• Clinical and Experimental Pediatrics
• /
• v.50 no.6
• /
• pp.576-579
• /
• 2007

The syndrome of resistance to thyroid hormone (RTH) is characterized by reduced tissue sensitivity to thyroid hormone (TH). In the majority of subjects, RTH is caused by mutations in the thyroid hormone receptor beta ($TR{\beta}$) gene, located on the chromosome locus 3p24.3. RTH is inherited in an autosomal dominant manner. The clinical presentation of RTH is variable, but common features include elevated serum levels of thyroid hormone (TH), a normal or slightly increased thyrotropin (thyroid stimulating hormone, TSH) level that responds to thyrotropin releasing hormone (TRH), and goiter. We report a 4 year-old girl, who was clinically euthyroid in spite of high total and free $T_4$, and $T_3$ concentrations, while TSH was slightly increased. Sequence analysis of the thyroid hormone receptor beta gene (THRB) confirmed a heterozygous C to T change at nucleotide number 1303, resulting in a substitution of histidine by tyrosine at codon 435 (H435Y). Further analysis of her parents revealed that the H435Y variation was a de novo mutation since neither parents had the variation. Her parents' TH and TSH levels were within normal range.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.2
• /
• pp.188-199
• /
• 2000

This paper presents an efficient stable logging scheme for the distributed shared memory system based on the lazy release consistent memory model. In the proposed scheme, inter-process dependency is traced and stable logging is performed when the dependency relation between processes actually happens. With the dependency tracking, the proposed scheme requires much less frequency of stable logging, comparing with the previous schemes in which stable logging is performed whenever any information transfer happens between processes. Also, in the proposed scheme, every data item accessed by a process is not logged, but only the access information is logged in the stable storage. For the recovery from a failure, the correct version of the accessed data items can be effectively traced by using the logged access information. As a result, the amount of logged information is also reduced.

• Childhood Kidney Diseases
• /
• v.17 no.2
• /
• pp.137-142
• /
• 2013

Pseudohypoaldosteronism (PHA) is a condition characterized by renal salt wasting, hyperkalemia, and metabolic acidosis due to renal tubular resistance to aldosterone. Systemic PHA1 is a more severe condition caused by defective transepithelial sodium transport due to mutations in the genes encoding the ${\alpha}$ (SCNN1A), ${\beta}$ (SCNN1B), or ${\gamma}$ (SCNN1G) subunits of the epithelial sodium channel at the collecting duct, and involves the sweat glands, salivary glands, colon, and lung. Although systemic PHA1 is a rare disease, we believe that genetic studies should be performed in patients with normal renal function but with high plasma renin and aldosterone levels, without a history of potassium-sparing diuretic use or obstructive uropathy. In the present report, we describe a case of autosomal recessive PHA1 that was genetically diagnosed in a newborn after severe hyperkalemia was noted.

• Journal of Chest Surgery
• /
• v.32 no.4
• /
• pp.399-403
• /
• 1999

Background: Funnel chest is one of the most common anomaly of chest wall, which is manifested by depression of sternum and costal cartilage. Popular operative methods were Ravitch operation and Wada operation. Material and Method: From 1983 to 1996, 21 cases of funnel chest were corrected surgically in the department of thoracic surgery, National Medical Center. Investigated age and sex distribution, combined anomaly,clinical symptom, degree of correction and complication, postoperative satisfaction. We used 2 different surgical methods, one was Wada & its variants(17 cases), the other was Ravitch and it variants(4 cases). Most of operative indications were cosmetic problems. Result: The pre-operative Welch index was 4.188, but this index decreased to 3.46 after the operations.(p=0.046) The degree of correction was higher in Wada & it variant operation than the modified Ravitch operation.(p=0.54) Their results were satisfactory in 20 patients, while unsatisfactory in 1 patient because of a k-wire fracture. There was no recurrence of chest wall depression or postoperative death during the OPD follow up period. Conclusion: We recommend Wada operation in symmetric and small degree of depressive chest wall deformity in preand post school age.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.45 no.5
• /
• pp.103-110
• /
• 2008

A reliable extraction of welded area is the precedent task before the detection of weld defects in industrial radiography. This paper describes an attempt to detect and extract the welded features of steel tubes from the computed radiography(CR) images. The statistical properties are first analyzed on over 160 sample radiographic images which represent either weld or non-weld area to identify the differences between them. The analysis is then proceeded by pattern classification to determine the clustering parameters. These parameters are the width, the functional match, and continuity. The observed weld image is processed line by line to calculate these parameters for each flexible moving window in line image pixel set. The local statistic line-clustering method is used as the classifier to recognize each window data as weld or non-weld cluster. The sequential procedure is to track the edge lines between two distinct regions by iterative calculation of threshold, and it results in extracting the weld feature. Our methodology is concluded to be effective after experiment with CR weld images.

• Journal of Chest Surgery
• /
• v.34 no.9
• /
• pp.686-691
• /
• 2001

Background: The Duromedics valve has been used in Korea since 1982, however, but there were no long term clinical results that have been reported. This paper presents the long term clinical results of Duromedics valve implanted in Seoul National University Hospital. Material and method: Between 1987, 23 patients underwnet cardiac valve replacement with Duromedics mechanical valve. There were 8 mitral valve replacements, 5 aortic valve replacements, one tricuspid valve replacement, 6 aortic and mitral valve replacements, and one mitral and tricuspid valve replacement. There were 12 men and 11 women. The mean age was 35$\pm$10(15~52) years. We evaluated the clinical performance of Duromedics cardiac prosthesis. Result: The early operative mortality was 4.3%(1/23) and the late morlatity was 4.3%(1/23). Causes of death were low cardiac output syndrome and structural valvular failure. The mean follow-up duration was 133$\pm$43(8~157) months. There were 3 reoperations. The causes of reoperations were thrombosis and structural failure and nonstructural valvular failure. The actuarial survival rate at 10 years was 90.9%. Conclusion: Although the number of patients was not sufficient for effective clinical study, the long term clinical results of Duromedics valve was relatively good and there was no structural defect in this mechanical valve. However, more research is needed in the future.

• Pediatric Infection and Vaccine
• /
• v.27 no.1
• /
• pp.69-76
• /
• 2020

Recurrent bacterial meningitis is the reappearance of two or more episodes of meningitis caused by a different or same organism after an intervening period of full convalescence. Predisposing factors for recurrent bacterial meningitis include immunodeficiency and developmental and traumatic anatomical defects. Therefore, careful evaluation of children with recurrent meningitis is essential. We report the case of a patient with a skull base abnormality who had suffered from four events of bacterial meningitis between 8 and 17 years of age. He experienced another event of bacterial meningitis at the age of 21, without undergoing correction for the anatomical defect. Streptococcus agalactiae was identified in the patient's blood and cerebrospinal fluid culture. Afterwards, he underwent surgical treatment for a meningioma; this meningioma was strongly suspected as the cause of the recurrence.

• (The)Korea Educational Review
• /
• v.23 no.4
• /
• pp.101-133
• /
• 2017

This Study aims to evaluate teacher policy in the Park Administration and to suggest tasks based on the results. To attain the aim, it describes overall teacher policy process in Park Administration and evaluates teacher policy based on the criteria which was driven from the CIPP model. The conclusions are summarized as follows. First, the environmental suitability of the situation assessment was met in general. The reason for this was that the teacher policy of the Park Geun-hye government was introduced reflecting changes in the environment and demands of policy stakeholders. The validity and feasibility of the policy objective of the input evaluation were not satisfied. There were deficiencies in the objectives of the policy measures. The objectives of the measures were not linked to the policy objectives. The budget necessary for policy enforcement were not secured. In future policy design, efforts should be made to examine whether the policy goals are valid, to secure resources necessary for policy implementation and to increase the feasibility of policies. The procedural rationality of the process evaluation and the suitability of the means were not met. Discussion with the interest group was omitted, it was not clear whether the implementation of the policy was linked to the policy goal. In the future, it will be necessary to focus on procedures such as communication and collaboration with stakeholders, to make immediate revisions in case of problems. The effectiveness and satisfaction of the output evaluation were low. Because the validity of the policy objectives, the suitability of the means, and procedural rationality were not satisfied. In the future, it will be necessary to systematically design policies and communicate with stakeholders in the execution process to prevent policy failures and actively.

• Journal of Chest Surgery
• /
• v.39 no.7 s.264
• /
• pp.527-533
• /
• 2006

Background: A retrospective study was conducted to analyze the results of St. Jude Medical mitral valve replacement at the Chonbuk National University Hospital since the initial implant in May 1984. Material and Method: Between May of 1984 and December of 1996, 95 patients underwent MVR with the St. Jude Medical mechanical valve prosthesis at Department of Medical Science of Chonbuk National University Hospital and follow-up ended in May of 2004. Result: Age ranged from 19 to 69 years. Follow-up (mean${\pm}$standard deviation) averaged $10.6{\pm}4.2\;year$. Thirty-day operative mortality was 4.2% (4/95). Nine late deaths have occurred and actuarial survival was $90.5{\pm}3.0%,\;87.9{\pm}3.4%\;and\;83.2{\pm}4.6%$ at 5, 10 and 20 years, respectively. Probability of freedom from valve-rotated death was $95.5{\pm}2.1%,\;94.3{\pm}2.4%\;and\;91.0{\pm}3.9%$ at 5, 10 and 20 years, respectively. Seven patients have sustained thromboembolic events (1,05%/patient-year). Fifteen patients had anticoagulation related hemorrhage (3.56%/patient-year). There was no structural valve deterioration. Probability of freedom from all complications was $82.0{\pm}3.9%,\;71.3{\pm}4.8%\;and\;42.4{\pm}10.5%$ at 5, 10 and 20 years, respectively. Conclusion: We confirm the effective and excellent durability of the St. Jude Medical prosthesis in the mitral position with a low event rate at long-term follow-up. It also demonstrates the commonly encountered practical difficulty of adjusting the anti-coagulation protocol in patients with prosthetic mitral valves.