• Bulletin of the Korean Chemical Society
• /
• v.15 no.9
• /
• pp.786-791
• /
• 1994

A simple and rapid sample pretreatment process necessary for determination of metal oxides in water was proposed. Samples were injected into the continuous-flow tube installed inside the microwave oven and the treated samples were cooled before entered to the Ion Chromatography (IC) or Inductively Coupled Plasma (ICP). By coupling this microwave digestion system with IC or ICP, a fully automatic analytical procedures may be easily established. In this study, two different types of digestion methods were considered; the open tubing method (OTM) and the restraint tubing method (RTM). The RTM was proved to be 3 times faster in digestion period and 10 times higher in detection range than the OTM. Validation of proposed sample digestion system was carried out by using an ICP. The results showed that both of continuous-flow methods, the OTM and the RTM were comparable in accuracies with the conventional batch-type vessel digestion method.

• Journal of information and communication convergence engineering
• /
• v.17 no.3
• /
• pp.191-197
• /
• 2019

Morphological analysis is used for searching sentences and understanding context. As most morpheme analysis methods are based on predefined dictionaries, the problem of a target word not being registered in the given morpheme dictionary, the so-called unregistered word problem, can be a major cause of reduced performance. The current practical solution of such unregistered word problem is to add them by hand-write into the given dictionary. This method is a limitation that restricts the scalability and expandability of dictionaries. In order to overcome this limitation, we propose a novel method to automatically expand a dictionary by means of use-case analysis, which checks the validity of the unregistered word by exploring the use-cases through web crawling. The results show that the proposed method is a feasible one in terms of the accuracy of the validation process, the expandability of the dictionary and, after registration, the fast extraction time of morphemes.

• The Korean Journal of Elementary Counseling
• /
• v.9 no.1
• /
• pp.41-58
• /
• 2010

The purpose of this study was to invent anger-inducing automatic thoughts examination for elementary school children based on its investigation for Korean one. I made the anger-inducing Automatic Thoughts Questionnaire(I, II) and made an examination of the contents of the automatic thoughts with it. Based on it, with preliminary questionnaire 90, I did principal component analysis varimax rotation and then final anger-inducting automatic thoughts examination of 40 question in 2 primary factor construction was consisted. I made 300 students carry out it to know its reliability, propriety and made 100 students carry it out at 2-week intervals test-retest. I divided them in three groups as low, middle and high according to its soore regarding anger-inducting automatic thoughts, I confirmed the variation of each group in positive thoughts, self-esteem, life satisfaction, anger, the result is same as follows; First, the content of Anger-inducting Automatic thoughts for elementary school students is revealed as unreasonableness(56.4%), retailation and passive, active offense(16.3%), blame and contempt(11.9%), injured pride and refusal(9.2%), absurd(3.9%), abandonment and avoidance(2.1%), self-abasement in turn. Second, said inventory is consist of 2 notion; first(20 questions) is blame, retaliation and second(20 questions) is injustice. Inner-item consistency of total 40 question is .97, Split-half reliability is .93, Test-retest reliability is .86. Third, criterion validity is revealed fine by reviewing the correlation between existing index related to the inventory of Anger-inducting Automatic thoughts of the elementary school students. Moreover, to find out discriminant validity, I divided three classes(low, middle, high) according to the score of said thoughts. As a result, there is certain variations when I confirmed variations in groups by reviewing the self-esteem, positive way of thinking, life satisfaction, anger.

• Journal of the Korean Society for Railway
• /
• v.19 no.1
• /
• pp.29-37
• /
• 2016

The type approval system of the railway safety law, which was enforced in 2014, has been preferentially applied to the field of railway vehicles. The type approval system addresses railway vehicles and railway constituents. Unlike the previous system, it requires serial verification stages divided, in consecutive order, into verification of design compatibility and conformity and type test. These stages are in accord with international certification systems including TSI certification of the European commission. This study has been carried out to find and meet the design requirements for a coupler head, which is a part of the automatic coupler system; requirements were drawn from TSI and technical specifications that are subordinate to the domestic railway approval system. Through this study, it has been found that there exist 34 design requirements to acquire a complete coupler head. Among those requirements, 32 were verified by document inspection and two were able to be verified by performing FEA and gathering range analysis data.

• Korean Journal of Remote Sensing
• /
• v.36 no.6_3
• /
• pp.1711-1720
• /
• 2020

Particulate matter (PM) that has been artificially generated during the recent of rapid industrialization and urbanization moves and disperses according to weather conditions, and adversely affects the human skin and respiratory systems. The purpose of this study is to predict the PM10 concentration in Seoul using meteorological factors as input dataset for multiple linear regression (MLR), support vector machine (SVM), and random forest (RF) models, and compared and evaluated the performance of the models. First, the PM10 concentration data obtained at 39 air quality monitoring sites (AQMS) in Seoul were divided into training and validation dataset (8:2 ratio). The nine meteorological factors (mean, maximum, and minimum temperature, precipitation, average and maximum wind speed, wind direction, yellow dust, and relative humidity), obtained by the automatic weather system (AWS), were composed to input dataset of models. The coefficients of determination (R2) between the observed PM10 concentration and that predicted by the MLR, SVM, and RF models was 0.260, 0.772, and 0.793, respectively, and the RF model best predicted the PM10 concentration. Among the AQMS used for model validation, Gwanak-gu and Gangnam-daero AQMS are relatively close to AWS, and the SVM and RF models were highly accurate according to the model validations. The Jongno-gu AQMS is relatively far from the AWS, but since PM10 concentration for the two adjacent AQMS were used for model training, both models presented high accuracy. By contrast, Yongsan-gu AQMS was relatively far from AQMS and AWS, both models performed poorly.

• Korean Journal of Radiology
• /
• v.22 no.11
• /
• pp.1764-1776
• /
• 2021

Objective: This study aimed to validate a deep learning-based fully automatic calcium scoring (coronary artery calcium [CAC]_auto) system using previously published cardiac computed tomography (CT) cohort data with the manually segmented coronary calcium scoring (CAC_hand) system as the reference standard. Materials and Methods: We developed the CAC_auto system using 100 co-registered, non-enhanced and contrast-enhanced CT scans. For the validation of the CAC_auto system, three previously published CT cohorts (n = 2985) were chosen to represent different clinical scenarios (i.e., 2647 asymptomatic, 220 symptomatic, 118 valve disease) and four CT models. The performance of the CAC_auto system in detecting coronary calcium was determined. The reliability of the system in measuring the Agatston score as compared with CAC_hand was also evaluated per vessel and per patient using intraclass correlation coefficients (ICCs) and Bland-Altman analysis. The agreement between CAC_auto and CAC_hand based on the cardiovascular risk stratification categories (Agatston score: 0, 1-10, 11-100, 101-400, > 400) was evaluated. Results: In 2985 patients, 6218 coronary calcium lesions were identified using CAC_hand. The per-lesion sensitivity and false-positive rate of the CAC_auto system in detecting coronary calcium were 93.3% (5800 of 6218) and 0.11 false-positive lesions per patient, respectively. The CAC_auto system, in measuring the Agatston score, yielded ICCs of 0.99 for all the vessels (left main 0.91, left anterior descending 0.99, left circumflex 0.96, right coronary 0.99). The limits of agreement between CAC_auto and CAC_hand were 1.6 ± 52.2. The linearly weighted kappa value for the Agatston score categorization was 0.94. The main causes of false-positive results were image noise (29.1%, 97/333 lesions), aortic wall calcification (25.5%, 85/333 lesions), and pericardial calcification (24.3%, 81/333 lesions). Conclusion: The atlas-based CAC_auto empowered by deep learning provided accurate calcium score measurement as compared with manual method and risk category classification, which could potentially streamline CAC imaging workflows.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.55 no.1
• /
• pp.17-29
• /
• 2013

Long-Term Hydrologic Impact Assessment (L-THIA) model which is a distributed watershed model was applied to analyze the spatial distribution of surface runoff and nonpoint source pollutant loading from Imha watershed during 2001~2010. L-THIA CN Calibration Tool linked with SCE-UA was developed to calibrate surface runoff automatically. Calibration (2001~2005) and validation (2006~2010) of monthly surface runoff were represented as 'very good' model performance showing 0.91 for calibration and 0.89 for validation as Nash-Sutcliffe (NS) values. Average annual surface runoff from Imha watershed was 218.4 mm and Banbyun subwatershed was much more than other watersheds due to poor hydrologic condition. Average annual nonpoint source pollutant loading from Imha wateshed were 2,295 ton/year for $BOD_5$, 14,752 ton/year for SS, 358 ton/year for T-N, and 79 ton/year for T-P. Amount of pollutant loading and pollutant loading rates from Banbyun watershed were much higher than other watersheds. As results of analysis of loading rate from grid size ($30m{\times}30m$), most of high 10 % of loading rate were generated from upland. Therefore, major hot spot area to manage nonpoint source pollution in Imha watershed is the combination of upland and Banbyun subwatershed. L-THIA model is easy to use and prepare input file and useful tool to manage nonpoint source pollution at screening level.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.1
• /
• pp.123-136
• /
• 2013

The Feature model can not be guaranteed the syntactic accuracy of its model and be difficult the validation using automatic tool for its syntax, because this model is expressed by a graphical and informal structure in itself. Therefore, there is a need to formalize and check for the feature model, to precisely define syntax for construct of the model. This paper presents a Z formal specification and a model checking mechanism of the feature model to guarantee the correctness of the model. It first defines the translation rules between feature model and Z, and then converts the syntax of the feature model into the Z schema specification by applying these rules. Finally, the Z schema specification is checked syntax, type, and domain errors using the Z/Eves validation tool to assure the correctness of its specification, With the use of the proposed method, we may express more precisely the construct of the feature model. Moreover the domain analyst are able to usefully verify the errors of the generated feature model.

• Journal of Pharmaceutical Investigation
• /
• v.37 no.6
• /
• pp.329-338
• /
• 2007

The quality assurance issue of drug products is more important than the general product because it is highly related to the human health and life. In this reason, the regulatory guide lines have continuously been intensified all around the world. In order to achieve effective quality assurance and real-time product release (RTPR) of drug products, process analytical technology (PAT), which can analyze and control a manufacturing process, has been proposed from the United States. With the PAT process, we can obtain significant process features of materials, quality characteristics and product capabilities from a raw material to the final product in the real-time procedure. PAT can also be utilized to process validation using information system that can analyze the risk of drug products through out an entire product life-cycle. In this paper, we first offered a new concept for the off-line process design methods to prepare the improved quality assurance restrictions and a real-time control method by establishing an information system. We also introduced an automatic inspection system by obtaining surrogate variables based on drug product formulations. Finally, we proposed an advanced PAT concept using validation and feedback principles through out the entire life-cycle of drug product manufacturing processes.

• Journal of KIISE:Software and Applications
• /
• v.30 no.12
• /
• pp.1158-1171
• /
• 2003

The UML is a widely accepted standard in object-oriented modeling. As the UML is semantically rich, we can describe in detail the system that will be developed, but we cannot guarantee the correctness and consistency of the designed model. Therefore, it is important to minimize the error by verifying user models in an early stage. In this paper, we propose a method for verifying the consistency of UML structural diagrams and behavioral diagrams using OCL verification rules and meta-metamodel. The consistency is a nature for checking whether the structural diagrams and behavioral diagrams are coherently designed according to a specific requirement. First we build meta-metamodels of the structural diagram and behavioral diagram that are described with the UML diagrams and the related elements, we derive rules for verifying the consistency from each meta-metamodels, and then formally specify with the language such as OCL for automatic verification. Finally, we verify the usefulness of the rule through a case study.