• Journal of Korea Multimedia Society
• /
• v.3 no.3
• /
• pp.290-297
• /
• 2000

For verifying consistency and completeness of some UML diagrams as a representative of the graphic notations for object-oriented designs, we first give an analysis of some UML diagrams and apply simple ER model to the UML diagrams. Next, we formally define this graphical representation as a set of sets and a set of functions. According to the semantics of these functions, we derive a set of rules to assure the consistency and completeness of this graphical representation. These rules will be included with a CASE tool, which possesses both the diagramming facility and the consistency and completeness checking capability.

• The Journal of Pediatrics of Korean Medicine
• /
• v.22 no.3
• /
• pp.95-103
• /
• 2008

Objectives : The purpose of these 2 case studies are to report the effects of fatty liver children treated by oriental medical treatment. Methods : These patient was treated by herbal medicine, acupuncture, moxa, consultation. We observed the improvement of his disease by checking GOT, GPT, GGT, TG, and BMI. Results : By use of oriental medical treatment, we could make a considerable improvement of Child fatty liver. Conclusions These 2 case studies shows that oriental medical treatment can be an effective treatment for Child fatty liver. And the further study is needed with more cases and longer duration.

• Journal of Korean Medicine Rehabilitation
• /
• v.24 no.2
• /
• pp.141-153
• /
• 2014

The objective of this study is to report the improvement of the patient with Acute Disseminated Encephalomyelitis (ADEM) with Korean Medical intervention. The patient, diagnosed as ADEM, was treated by acupuncture, moxibustion and herb medicine and wild ginseng distilled herbal acupuncture. We evaluated the consequences by checking Manual Muscle Test (MMT), Korean Version of Barthel Index (K-MBI). As a result, the patient improved significantly MMT and K-MBI inclined. In ADEM, the initial diagnosis is important, and through a Korean medicine, we were able to achieve meaningful treatment result. There is a limit on this study due to sufficient number of case, thus, further studies will be needed.

• Journal of the Korean Chemical Society
• /
• v.15 no.6
• /
• pp.330-347
• /
• 1971

Catalytic effects of metallic salts on the combustion of diesel fuel oil have been studied. In the case of organometallic salt, the active species are the metallic oxides resulted from combustion of the salts. The oxides act only on the residual solid carbon produced from the fuel oil combustion. The catalytic activity can be explained with the semiconductor theory just as in the case of the gas phase reaction. The chemical rate constant of the combustion of carbon, the soot from diesel fuel oil, is found to be $k_c=1.1{\times}10^4\;exp$ (-16,600/T) below $800^{\circ}K$. By addition of metallic oxides, the rate constant increases remarkably. This work has substantiated the belief that the effect of the metallic salts on the fuel oil combustion can conveniently be studied by checking directly the effect of the corresponding metallic oxide on the soot carbon.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.194-194
• /
• 2000

In aviation navigation by GPS, requirements on availability and integrity must be absolutely satisfied for safety. Current study on accomplishing this integrity includes RAM(Receiver Autonomous Integrity Monitoring), checking integrity internally in GPS receiver itself. However RAIM techniques have be investigated and presented under assumption that there is included only one fault in measurements from GPS, In case of multiple fault, an interaction among bias errors sometimes results in decreasing the effect of multiple fault. This may make an exact fault detection and identification difficult, and study on mutiple fault RAIM focused on. This paper explains the reasons that techniques applied on single fault are not adequate to extend directly to two faults case and shows that RAIM solution on two fault may be given in revised parity space.

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.37 no.2
• /
• pp.86-94
• /
• 1995

This study aimes at developing an analysis model for axisymmetric RC structures on an elastic foundation and also, at checking its practical adaptability through some case studies. The computer program developed in this study is general-purpose one, applicable not only to 8-noded isoparametric elements, but also to 3, 4, 6 and g-noded element cases. And for the economies of input data processing works, automatic system for data prepa- ration including division of elements is included in the computer program. Although these are not exemplified in the case studies, the program developed in this study can be easily applicable without any modification to axisymmetric structures with roof and PC structures.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.14 no.3
• /
• pp.87-101
• /
• 2018

Minors' law evasion is getting serious. Some of them make a fake ID card or use a stolen ID card illegally. They are illegally used for buying alcohol, cigarette, bond or going to club, pub, motel and so on. On the latest News, there was a case that teens rented a car with a driver licence without checking and had severe car accident. Like this case, car rental service was fined and suspended from business because they did not figure out ID card's counterfeit or modification. Thus, this study investigates the detecting method about the ID card(including a driver license) counterfeit, modification or illegal use. The server has a database of 17~19's minors one fingerprint and services whether the visitor is adult true or not. The method will be usable and economical for business. Then, it was compared and analyzed with methods already in use in business.

• International Journal of Reliability and Applications
• /
• v.9 no.1
• /
• pp.17-30
• /
• 2008

Analysis of measurement systems is important to determine if the measurement process is adequate to measure the part-to-part variability in the process. Control chart techniques provide an effective, and easy-to-use method for performing this analysis. However, application with the real data for the evaluation procedure for multiple measurement systems have not been demonstrated. This research will provide a methodology for the evaluation of part-to-part variation and variation of different measurement systems step by step followed by number of case studies for each methodologies provided.

• Journal of Computing Science and Engineering
• /
• v.7 no.1
• /
• pp.53-66
• /
• 2013

Bounding the worst-case DRAM performance for a real-time application is a challenging problem that is critical for computing worst-case execution time (WCET), especially for multicore processors, where the DRAM memory is usually shared by all of the cores. Typically, DRAM commands from consecutive DRAM accesses can be pipelined on DRAM devices according to the spatial locality of the data fetched by them. By considering the effect of DRAM command pipelining, we propose a basic approach to bounding the worst-case DRAM performance. An enhanced approach is proposed to reduce the overestimation from the invalid DRAM access sequences by checking the timing order of the co-running applications on a dual-core processor. Compared with the conservative approach, which assumes that no DRAM command pipelining exists, our experimental results show that the basic approach can bound the WCET more tightly, by 15.73% on average. The experimental results also indicate that the enhanced approach can further improve the tightness of WCET by 4.23% on average as compared to the basic approach.

• English Language & Literature Teaching
• /
• v.16 no.3
• /
• pp.161-182
• /
• 2010

The goals of this study were to identify differences in learners' and teachers' perspectives on EFL learners' language anxiety, to identify the differences among teachers coping with learners' language anxiety, and to find how learners cope with their language anxiety. The research was effectuated by means of a survey questionnaire and interviews. The data were collected from 92 teachers and 230 students in four different school settings. There were the $6^{th}$ grade 50 primary school learners, the $2^{nd}$ grade 60 middle school learners, the $11^{th}$ grade 60 high school learners of, and the $2^{nd}$ and $3^{rd}$ grade 60 university learners. There were also 26 primary school teachers, 22 middle school teachers, 21 high school teachers, and 23 university teachers. The findings reveal that there were differences in responses among the respondents. The findings suggest that teachers need to pay attention to their particular learners' anxiety sources: especially in the case of primary school setting, the activity of answering teachers' questions for teachers was the primary source of learner's anxiety, in the case of middle school settings, translating sentences in English into Korean, in the case of high school setting, checking unknown vocabulary, and in the case of university settings, university learners felt anxious when classmates spoke fluently. The implications of the study indicate that these aspects should be handled carefully to motivate certain group of learners.