• 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.

• Journal of the Korean Society for Library and Information Science
• /
• v.49 no.4
• /
• pp.221-239
• /
• 2015

The purpose of this study is to review the current status of disseminating knowledge on Korean people by analyzing biographies for juvenile and general audiences with the subject term 'Korea' in WorldCat. Languages and topics of 15,007 bibliographic records and topic facets, biographees, and holding libraries in the U.S. of 487 biographies for juvenile audiences were analyzed. Major findings are as follows: 1) 30 English biographies are held by may libraries in the U.S. and the most popular subjects are Kim Il-song and Kim Jong-il, 2) 457 Korean biographies are not held by many libraries, and King Sejong and the General Yi Sun-sin are the most popular subjects, 3) many Korean biographies are picture books for the very young readers with the focus on Korean folklores and anecdotal biographies, and 4) there are some errors in topic facets, dispersion of biographees, and inaccurate holding lists of bibliographic records. Therefore, there seems to be little to read with an interest and promote the diffusion of knowledge on Korean people through libraries.

• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1001-1014
• /
• 2003

In a feature modeling, problems such as ambiguities, interpretation errors, incompleteness, etc caused by informal specification occur in the modeling phase. Therefore, feature specification method and processes are suggested in this paper to resolve these problems. The structure and language of feature modeling is defined in this paper to specify various features. First, this feature model is abstracted in the meta-level to get predicates and attributes. Formal feature model specification method is proposed using multi-paradigm language. Second, Feature specification process is proposed to describe how to specify feature formally. And third, Feature interaction management is defined to solve the problems caused between specified features. Finally, the proposed feature specification method is applied to Distributed Meeting Scheduler System domain.

• The Journal of the Convergence on Culture Technology
• /
• v.9 no.3
• /
• pp.797-802
• /
• 2023

In an environment where English is a foreign language, English learners can use AI voice chatbots in English-speaking practice activities to enhance their speaking motivation, provide opportunities for communication practice, and improve their English speaking ability. In this study, we propose a teaching-style AI voice chatbot that can be easily utilized by lower elementary school students and enhance their learning. To apply the Teachable Agent system to language learning, which is an activity based on tense, context, and memory, we proposed a new method of TA by applying the Teachable Agent to reflect the learner's English pronunciation and level and generate the agent's answers according to the learner's errors and implemented a Teachable Agent AI chatbot prototype. We conducted usability evaluations with actual elementary English teachers and elementary school students to demonstrate learning effects. The results of this study can be applied to motivate students who are not interested in learning or elementary school students to voluntarily participate in learning through role-switching.

• Clinical and Experimental Pediatrics
• /
• v.45 no.11
• /
• pp.1325-1331
• /
• 2002

Purpose : We tried to check the accuracy of references in the Journal of the Korean Pediatric Society and Journals of the Korean Pediatric Subspecialty Societies. We also wanted to know the citation patterns of authors by analyzing the frequency of cited materials. Methods : Three journals were randomly selected from the 2000 issues of Journal of the Korean Pediatric Society and nine journals were selected mainly from the second half of 2000 issues of each Journal of the Korean Pediatric Subspecialty Societies for the study. Then the accuracy of references was checked with Medline. Journals before 1964, books, and journals which were not written in English were used only in the citation pattern analysis. Results : Author errors were the most common(21.3%) among the reference elements. The next was title errors, followed by page errors, journal errors, volume errors and year errors. Total average error rate was 34.7% and we were unable to find journals in 89 cases(2.2%). The journal of the Korean Society of Neonatology had the lowest error rate(17.4%) and the journal of the Korean Pediatric Cardiology Society had the highest error rate(53.2%). The reference journals which were published and quoted in the most recent three years were only 612 cases(15%). Foreign journals were selected as reference(78.4%) more than domestic journals; The Journal of the Korean Pediatric Society was the most frequently cited reference(43.3%) among domestic journals. Conclusion : Authors are ultimately responsible for the accuracy of references and they should check the reference list with responsibility. Hopefully, authors also will have to use more domestic journals and recent journals.

• Korean Journal of Cognitive Science
• /
• v.24 no.3
• /
• pp.203-235
• /
• 2013

The goal of this paper is to test the findings about English-speaking children's acquisition of inflectional morphemes in the literature using a large-scale database. For this, we obtained a 4.7-million-word corpus from the CHILDES (Child Language Data Exchange System) database, and analyzed 1,630 British and American children's uses of English derivational morphemes up to age 7. We analyzed the type and token frequencies, type per token ratio (TTR), and the lexical diversity (D) for such inflectional morphemes as the present progressive -ing, the past tense -(e)d, the comparative and superlative -er/est with reference to children's nationality and age groups. To sum up our findings, the correlations between the D value and children's age varied from morpheme to morpheme; e.g. we found no correlation for -ing, a marginal correlation for -ed, and a strong correlation for -er/-est. Our findings are consistent with Brown's (1973) classical observation that children learn progressive forms earlier than the past tense marker. In addition, overgeneralization errors were frequently found for -ed, but rarely for -ing, showing a U-shaped developmental pattern at ages 2-3. Finally, American children showed higher D scores than British children, which showed that American children used inflectional morphemes for more word types compared with British children. The present study has its significance in testing the earlier findings in the literature by setting up well-defined methodology for analyzing the entire CHILDES database.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.11
• /
• pp.441-448
• /
• 2019

Previous researches on automatic spacing of Korean sentences has been researched to correct spacing errors by using n-gram based statistical techniques or morpheme analyzer to insert blanks in the word boundary. In this paper, we propose an end-to-end automatic word spacing by using deep neural network. Automatic word spacing problem could be defined as a tag classification problem in unit of syllable other than word. For contextual representation between syllables, Bi-LSTM encodes the dependency relationship between syllables into a fixed-length vector of continuous vector space using forward and backward LSTM cell. In order to conduct automatic word spacing of Korean sentences, after a fixed-length contextual vector by Bi-LSTM is classified into auto-spacing tag(B or I), the blank is inserted in the front of B tag. For tag classification method, we compose three types of classification neural networks. One is feedforward neural network, another is neural network language model and the other is linear-chain CRF. To compare our models, we measure the performance of automatic word spacing depending on the three of classification networks. linear-chain CRF of them used as classification neural network shows better performance than other models. We used KCC150 corpus as a training and testing data.

• Therapeutic Science for Rehabilitation
• /
• v.8 no.2
• /
• pp.67-78
• /
• 2019

Objective : The purpose of this study was to investigate the effect of hand tapping on the accuracy and the fluency of speech production in children with speech sound disorder(SSD) and their typically developing peers(TD). Methods : The study subjects were 15 SSD children and 15 TD children aged 4, 5, and 6 years of age. Subjects were asked to give a picture name without hand tapping in the first experimental condition, and with hand tapping in the second experiment condition. Results : The results showed that hand tapping significantly increased disfluency in TD, whereas in SSD. it did not affect the accuracy or fluency of speech production. In addition, TD demonstrated a significant positive correlation with the changes of accuracy and disfluency due to hand tapping, whereas SSD had no correlation. Conclusion : We discussed the possibility that hand tapping could serve as an obstacle distracting attention from SSD and TD, acting as a motor gesture to facilitate phonological processing when facing the difficulty in lexical retrieval for SSD.

• Archives of design research
• /
• v.17 no.2
• /
• pp.279-288
• /
• 2004

Corporate design activities have expanded from being exclusive and passive responsibilities to active participation in planning, marketing, technology and corporate brand image differentiation for successful business. Thus the communications between designers and other functions come to include critical decision making, information sharing, and objective reasoning. Given that design activities now have to involve various functions in product development, the styling-related design process, which is still developed by designer's intuition and experience, poses as an obstacle not just between various functions involved, but even within the design function. To overcome this obstacle and to lead more effective design decision process, a means for product form development assessment and management is necessary. This research proposes a foundation for managing and assessing product form based on the hypothesis and demonstration of discovering a system of formative factor and order a product form expresses that can be shared as an objective and logical system. As a result of this demonstration, the form as a unique visual expression and the factors related to the form and its co-relationship are examined. The factors are called formative parameters and the system is named as the product form alignment method. Based on the logic derived from the system, the process for developing an image that aligns with the predefined goal is explained. The method defines a balance between a designer's intuitive creativity and the extracted logic, which can act as a basis for designers to share design language among themselves and for communication between design and other functions. Based on this system, designers are able to align design work with the set goal, and focus and limit the range of form development, which is anticipated to result in lead-time reduction and minimizing unnecessary obstacles and mistakes.

• Journal of architectural history
• /
• v.10 no.4 s.28
• /
• pp.77-92
• /
• 2001

현대의 건축시기는 다원성의 시기 또는 복합성의 시기라고 불리운다. 모더니즘과 포스트모더니즘의 시기를 거치며 다양한 형태적 실험의 과정을 겪었고 수많은 이데올로기와 이론들로 무장된 논쟁의 역사도 갖게 되었다. 이러한 현대건축의 다양성은 건축디자인이라는 전문직의 사회에 기여하는 역할을 반추(反芻)함과 동시에 다변하는 인간사고의 역동성을 반영하고 있다. 건축관련 책자나 저널 등에서 흔히 발견할 수 있는 Neo-Classicism, Deconstructivism, Minimalism, High-Tech, New Moderns 등등의 건축양식들은 스타일을 지칭하는 언어라기보다는 건축적 사고를 지칭하는 언어라고 할 수 있다. 결국 건축디자인이라는 작업은 인간을 둘러 싼 건조환경의 생성에서 출발하는 것이므로 건축적 사고방식은 그 시기의 사회현상과 밀접한 관계를 맺게 된다. 20세기 말부터 불어닥친 디지털 문화의 사회변혁은 전 세계를 하나의 채널로 엮게 되었고, 이러한 영향들은 지역과 민족, 그리고 종교적인 요소들까지도 혼합하여 국경을 초월한 미래의 새로운 이상들을 꿈꾸게 되었다. 19세기 산업혁명과 함께 급속히 벨라진 인류문명의 진보는 필수적으로 세계화를 동반하는 것이고, 세계화와 지역성사이의 괴리를 통해 나타나는 문화적 비판과 충돌은 아직도 진행상태인 것이다. 세계화라는 통염은 문명의 보편성을 기반으로 하며 전통문화의 파괴가 뒤따를 수밖에 없는데, 현재와 같이 IT혁명을 통해 급속도로 빨라진 세계문화의 교류는 한 국가가 뿌리를 내리고 있는 문화적 유산이라는 토양을 포기하여야 할 단계에 와 있다고 논평할 정도이다. 여기서 건축은 문화적 상징으로 작용하게 되는데, 그것이 심미적이든 관습적이든 또는, 경제적이든 건축가는 해답의 제시라는 임무에 직면하게 된다. 20세기에 진행된 모더니즘의 건축은 구조와 공간에 대한 고전건축의 숙원을 고덕건축이 이룬 것처럼 15세기 르네상스 시대로부터 진행된 형태와 공간, 기능, 그리고 아름다움과 기술(technology) 또는 경제성 등에 대한 건축적 의문과 탐구를 일단락지었다고 할 수 있다. 이러한 모더니즘의 한복판에 Mies van der Rohe라는 거장이 깊은 발자국을 남기며 한 시대를 이루었고 그가 남긴 시대정신의 이념과 가치를 Miesianism이라고 부른다. 실용성과 도덕성을 근본으로 하는 Miesianism은 대중에 호소하는 미적 표현주의를 부정하고 지역정서를 중시하는 문맥적 접근방식을 경시함으로써 보편화라는 현상을 불러일으킨 국제주의 양식의 한 부류로 비판을 받아왔다. 즉, Miesianism의 단순하고 강렬한 외형적 요소는 그것이 내포하는 기술적 합리성이나 공간적 완결성을 무시한 채 전 세계에 영향을 미쳤고 동시에 지역적 저항을 받게 되었다. 시카고 및 전 세계의 Miesian들, 즉 Mies van der Rohe의 제자들이나 그로부터 영향을 받은 수많은 건축가들은 이러한 저항과 비판에 직면하게 되며 새로운 사고의 시대적 요구 앞에 고뇌하게 된다. 한국에서는 1978년 Mies van der Rohe의 제자인 김종성이 미국에서 서울로 돌아와 '서울건축컨설탄트'를 설립하며 본격적으로 Miesianism의 규범적 건축론을 설파하기 시작하였다. 이른바 시카고 국제주의학파의 건축전수라고 할 수 있는데 '서울건축컨설탄트'를 통하여 배출된 김종성의 제자들은 명쾌하고도 간결한 건축해법의 경험을 토대름대로의 정체성을 갖고자 노력하였으나 결국 다원적 가치를 요구하는 시대적 흐름 속에 혼란을 겪고 있는 것 또한 사실이다. 본 연구는 Miesianism의 기원을 밝히고 그것의 실수와 오류를 밝힘과 동시에 현대의 여러 가지 건축유형들과 비교하여 봄으로써 Post-Miesianism의 실체와 그 미래에 대하여 고찰하여 보고자 한다. 미스의 유산이라고 할 수 있는 Miesianism의 요체는 첫째, Schinkel로부터 이어받은 시대정신의 사명감, 둘째, Berlage가 전해준 전문가로서의 도덕성을 바탕으로 하여 이루어진 기술적 합리성의 실현, 그리고 마지막으로 그 당시의 추상예술에 대한 이해로써 받아들인 nee-Suprematism의 아방 가르데적인 자세라고 할 수 있다. 그러나 이것들을 전파하고 수용하는 과정에서 미스적인 단순하고 명쾌한 외관이 더욱 강한 인상을 남기게 되었고 또한 미스가 현대성의 본질이라고 믿는 기술의 전수는 모든 외관을 동일하게 만드는 International Style로서의 보편적 획일성을 초래하였다. Mies van der Rohe의 강력하고 규범적인 dogma는 그의 제자들에게는 강렬한 카리스마로 각인되었고, Mies가 원한 것이 아닐지라도 그들을 하나의 틀 속에 가두는 영향력을 행사하였다. 2세대이든 3세대이든 기술적 합리성과 추상적 단순미라는 믿음을 맹목적으로 추종할 때 그들은 Miesian으로 남아있게 되며, 거기서 벗어났을 때 non-Miesian, 또는 배신자로 취급하기까지 하였다. 이것은 미스의 제자들에게 강한 족쇄가 되어 형태적 또는 개념적 변화의 시도를 어렵게 하였고 시대적 요구에 부응하지 못한다는 평가에 이르게 되었다. 문화의 다양성과 역동성을 인정함과 동시에 Miesianism에 대한 새롭고 시대에 적합한 해석을 기대하게 되는데, 이러한 기대 속에서 우리는 Post-Miesianism이라는 새로운 유형을 엿볼 수 있게 된다. Post-Miesianism의 징후를 현대의 다양한 건축유형에서 발견할 수 있는데, High-Tech의 구축적이고 정밀한 건축 기술적 해법과 Minimalism의 반복성을 통한 추상미의 표현 등에서 뿐만이 아니라 Post-Modernism의 인간성의 추구나 문맥적 고려, 또는 해체주의의 형이상학적이고 아방가르데적인 실험주의 정신까지조차 Post-Miesianism이 공유할 수 있는 부분이 있다고 보여진다. 또한, 미스의 영향이 2세대, 3세대의 건축가들에게 미치면서 여러 방향으로 변질되어 가는 것을 우리는 발견할 수 있으며 그러한 시대성에 적응하는 시도들이야말로 새로운 미래를 향한 Post-Miesianism의 실체인 것이다. Mies가 말하였듯이 한 시대의 끝은 그 시대가 완전히 이해되었을 때이며, 모더니즘의 숙제는 아직 해결되지 않았으므로 Miesianism의 탐구는 Post-Miesianism이라는 새로운 주제로 계속될 것이다. 이를 통하여 21세기 디지털 문명의 시대 속에서 현대건축이 안을 수밖에 없는 보편성과 지역성의 충돌이라는 문제의 해결에 한 발걸음 다가갈 수 있기를 기대하여 본다.