• The Journal of the Korea Contents Association
• /
• v.16 no.5
• /
• pp.306-317
• /
• 2016

Both the formal type of architecture and free-form architecture have basic factors and methods for basic expression. Because the use of digital design tools for creation of free-form design mostly depends on the character and ability of designer, this study aims to propose establishment of free-form design creation method as a prototype, including the method to create free-form design, through setting up rules that can be used in common. This study is carried out on the basis of the application of digital design tools used for creation of conceptual free-form styles at the phase of conceptualization and development, which is different from the general theory of free-from design. The free-from style in the modern architecture has begun with the changes in digital design tools and design concepts. In the case study based on the free-form designs in precedent studies, the morphological characteristics have been analyzed and interpreted by using the language of digital design tools, so that this study will suggest the techniques to realize the free-form style on the basis of geometric transformation by using the digital design tools, as well.

• The Journal of Korean Association of Computer Education
• /
• v.3 no.2
• /
• pp.87-94
• /
• 2000

Software productivity doesn't satisfy the need of service of software users and software quality isn't improved. Moreover, we still have difficulty in software maintenance. As a plan to counteract solving this crisis, the technology that is called CBSE or Componentware is introduced. Componet Based Software Architecture, one of the technologies associated with CBSE, as a structural description of system, describes both the components composed system of and interaction among these components. Software Architecture provides the technology and the methodology of composition among components in the field of CBSE. is accepted one of core technologies. In this thesis, we analyse information necessary for component specification and then proposed that component specificaton activities using formal specification language Z which is verified with the ability of analysis and logicality. The proposed activities are composed of 9 tasks. By presenting specific 11 products, it is also proposed that component specification activities which is the base of CBSD(ComponentBased Software Development) for reusing.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.689-696
• /
• 2007

It is important issue for software architects to estimate performance of software in the early phase of the development process due to the need to verify non-functional requirements and estimation of performance in various stages of architectural design. In order to analyze performance of software, there are many approaches to translate software architecture represented by Unified Modeling Language, into analytical models. However, in the development of agent-based systems, these approaches ignore or simplify the crucial details of the underlying performance of the agent platform. In this paper, we propose performance prediction methodology for agent based system using formal semantic descriptions, and then, we transform the descriptions into queuing network model which model reflects performance of hardware and software platform. We prove the accuracy of proposed methodology using prototype implementation. The accuracy is summarized at 80%.

• Clinical and Experimental Pediatrics
• /
• v.54 no.1
• /
• pp.22-28
• /
• 2011

Purpose: To investigate the clinical characteristics of late-onset epilepsy combined with autism spectrum disorder (ASD), and the relationship between certain types of electroencephalography (EEG) abnormalities in ASD and associated neuropsychological problems. Methods: Thirty patients diagnosed with ASD in early childhood and later developed clinical seizures were reviewed retrospectively. First, the clinical characteristics, language and behavioral regression, and EEG findings of these late-onset epilepsy patients with ASD were investigated. The patients were then classified into 2 groups according to the severity of the EEG abnormalities in the background rhythm and paroxysmal discharges. In the severe group, EEG showed persistent asymmetry, slow and disorganized background rhythms, and continuous sharp and slow waves during slow sleep (CSWS). Results: Between the two groups, there was no statistically significant difference in mean age (P=0.259), age of epilepsy diagnosis (P=0.237), associated family history (P=0.074), and positive abnormal magnetic resonance image (MRI) findings (P=0.084). The severe EEG group tended to have more neuropsychological problems (P=0.074). The severe group statistically showed more electrographic seizures in EEG (P=0.000). Rett syndrome was correlated with more severe EEG abnormalities (P=0.002). Although formal cognitive function tests were not performed, the parents reported an improvement in neuropsychological function on the follow up checkup according to a parent's questionnaire. Conclusion: Although some ASD patients with late-onset epilepsy showed severe EEG abnormalities, including CSWS, they generally showed an improvement in EEG and clinical symptoms in the longterm follow up. In addition, severe EEG abnormalities tended to be related to the neuropsychological function.

• Journal for History of Mathematics
• /
• v.26 no.1
• /
• pp.11-20
• /
• 2013

The Taisei Sankei(大成算経 in Japanese) or the Dacheng Suanjing(in Chinese) is a book of mathematics written by Seki Takakazu 関孝和, Takebe Kataakira 建部賢明 and Takebe Katahiro 建部賢弘. The title can be rendered into English as the Great Accomplishment of Mathematics. This book can be considered as one of the main achievements of the Japanese traditional mathematics, wasan, of the early 18th century. The compilation took 28 years, started in 1683 and completed in 1711. The aim of the book was to expose systematically all the mathematics known to them together with their own mathematics. It is a monumental book of wasan of the Edo Period (1603-1868). The book is of 20 volumes with front matter called Introduction and altogether has about 900 sheets. It was written in classical Chinese, which was a formal and academic language in feudal Japan. In this lecture we would like to introduce the wasan as expressed in the Taisei Sankei and three authors of the book. The plan of the paper is as follows: first, the Japanese mathematics in the Edo Period was stemmed from Chinese mathematics, e.g., the Introduction to Mathematics (1299); second, three eminent mathematicians were named as the authors of the Taisei Sankei according to the Biography of the Takebe Family; third, contents of the book showed the variety of mathematics which they considered important; fourth, the book was not printed but several manuscripts have been made and conserved in Japanese libraries; and finally, we show a tentative translation of parts of the text into English to show the organization of the encyclopedic book.

• Journal of Internet Computing and Services
• /
• v.9 no.6
• /
• pp.49-62
• /
• 2008

AV (Atomic Vulnerability) is a conceptual definition representing a vulnerability in a systematic way, AVs are defined with respect to its type, location, and result. It is important information for meaning based vulnerability analysis method. Therefore the existing vulnerability can be expressed using multiple AVs, CVE (common vulnerability exposures) which is the most well-known vulnerability information describes the vulnerability exploiting mechanism using natural language. Therefore, for the AV-based analysis, it is necessary to search specific keyword from CVE's description and classify it using keyword and determination method. This paper introduces software design and implementation result, which can be used for atomic vulnerability analysis. The contribution of this work is in design and implementation of software which converts informal vulnerability description into formal AV based vulnerability definition.

• Communications of Mathematical Education
• /
• v.24 no.2
• /
• pp.301-323
• /
• 2010

This study was to find the direction to assessment of school mathematics in accordance with 2009 reformed curriculum. As new trends in the latest reformed 2009 curriculum, creativity, multicultural education, and mathematics disposition were focused. In creativity, more items should be developed for enhancing students' ability in areas of fluency, elaborateness, and originality, besides flexibility which was mostly dealt in the formal assessments that have been done previously in school. In multicultural education. purposeful bilingual programs should be developed in mathematics education to improve not only students' language skill, but also mathematical ability. In mathematical disposition, various questionnaires including checklists along with clinical interview should be provided to evaluate students' on-going process of mathematical learning.

• Journal of Internet Computing and Services
• /
• v.8 no.6
• /
• pp.135-144
• /
• 2007

Feature models are widely used in domain engineering phase of software product lines development to model the common and variable concepts among products. From the feature model, the feature configurations are generated by selecting the features to be included in target product. The feature configuration represents the requirements for the specific product to be implemented. Although there are a lot of researches on how to build and use the feature models and feature configurations, the researches on the formal semantics and reasoning of them are rather inactive. This paper proposes the feature configuration verification approach based on JESS, java-based rule-base system. The Graph Product Line, a standard problem for evaluating the software product line technologies, is used throughout the paper to illustrate this approach. The approach in this paper has advantage of presenting the exact reason causing inconsistency in the feature configuration. In addition, this approach should be easily applied into other software product lines development environments because JESS system can be easily integrated with Java language.

• Journal of the Korean Society for Library and Information Science
• /
• v.45 no.2
• /
• pp.345-366
• /
• 2011

The law affects our daily lives, and hence, constitutes a crucial information resource. However, electronic access to legal information using keyword-based retrieval systems appears to provide users with limited satisfaction. There are many factors behind this inadequacy. First, the discrepancies between formal legal terms and their counterparts in common language are quite large. Second, the situation is further confounded by frequent abbreviations in legal terms. Third, even though there is a constant deluge of legal information, users' needs have evolved to demand more Q and A type searches. All of these factors make the existing retrieval systems inefficient and ineffective. This article suggests an ontology-based system as a means to deal with such difficulties. To that end, a legal retrieval system(experimental system), built on the basis of a newly-constructed law ontology, was tested against a keyword-based legal retrieval system(existing one), yielding data on their relative effectiveness in retrieval and user satisfaction.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.3
• /
• pp.57-63
• /
• 2008

As diverse memory cards based on NAND flash memory are getting popularity with consumer electronics such as digital camera, camcorder and MP3 player the compatibility problems between a newly developed memory card and existent host systems have become a main obstacle to time-to-market delivery of product. The common practice for memory card compatibility test is to use a real host system as a test bed. As an improved solution, an FPGA-based prototyping board can be used for emulating host systems. However, the above approaches require a long set-up time and have limitations in representing various host and device systems. In this paper, we propose a co-validation environment for compatibility test between memory card and host system using formal modeling based on Esterel language and co-simulation methodology. Finally, we demonstrate the usefulness of the proposed environment with a case study of real memory card development.