• Journal of the Korean Society of Costume
• /
• v.56 no.9 s.109
• /
• pp.127-142
• /
• 2006

In this study, I have analyzed Indian traditional clothing in fashion design of 21st century by comparing 1,286 fashion items designed by Indian designers and 722 Western fashion items, which were presented from 2000 S/S to 2005 F/W Formal analysis were made for change in how to wear clothes, and change in items and ornaments. Change of traditional clothing was found in two ways; Western elements added to Indian tradition and Indian traditional image adopted in Western clothing. First, Indian traditional elements added to Western clothing in the formal aspect was found in 83% of Western collections and 27.2% of the Indian designers' collections. In Indian designers' collections, traditional clothing form takes 72.8%, which shows the regional characteristics of India where the traditional clothing is still adhered to in daily life especially by women. Second, from the fashion design of the Indian designers, we can find modernization of sari, change of traditional items into more active and modern way by adding Western clothing; change of form, color and material of traditional items in various ways; and decorative aspects highlighted by adding Indian traditional color, pattern or decoration into Western clothing. In most cases, Western collections are seasoned with Indian traditional image, rather than utilizing the form of Indian clothing. Although adopting the farm of Indian traditional clothing, it can be considered as a translation from the viewpoint of the West. Third, Indian look is expressed in various ways by reproducing Indian traditional ornaments such as earings, bracelets and henna, or by adopting Indian traditional fabric design and decoration in mufflers, bags and etc.

• Journal of the Korea Society of Computer and Information
• /
• v.16 no.3
• /
• pp.35-44
• /
• 2011

Ontologies are playing an important role in semantic web which is emerging as a next stage of the web revolution because various kinds of metadata are described in ontologies. Correspondingly, many query languages like SPARQL, RDQL etc. have been proposed for querying these ontologies. But users have to know the structures and resource names of ontologies completely to get search results even if they have expertise on complex formal logic and syntax of the query languages. Especially, casual users do not know the resource names and may use different words from resource names when they write their query language. This vocabulary gap problem have to be solved to raise the success rate. In this paper, an approach for translating user's search words to corresponding resource names has been proposed. This approach uses semantic similarity between user created search words and ontology resource names.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.7
• /
• pp.1821-1841
• /
• 1997

This paper presents an automated protocol conformance test sequence generation based on formal methods for LOTOS specification by using and applying many existing related algorithms and technique, such as the testing framework, Rural Chinese Postman tour concepts. We use the state-transition graphs obtained from LOTOS specifications by means of the CAESAR tool. This tool compiles a specification written in LOTOS into an extended Petri net, from which a transition graph of a event finite-state machine(EvFSM) including data is generated. A new characterizing sequence(CS), called Unique Event sequence(UE sequence) is defined. An UE sequence for a state is a sequence of accepted gate events that is unique for this state. Some experiences about UE sequence, partial UE sequence and signature are also explained. These sequences are combined with the concept of the Rural Chinese Postman Tour to obtain an optimal test sequence which is a minimum cost tour of the reference transition graph of the EvFSM. This paper also presents a fault coverage estimation experience of an automated method for optimized test sequences generation and the translation of the test sequence obtained by using our tool to TTCN notation are also given. A prototype of the proposed framework has been built with special attention to real application in order to generated the executable test cases in an automatic way. This formal method on conformance testing can be applied to the protocols related to IN, PCS and ATM for the purpose of verifying the correctness of implementation with respect to the given specification.

• Journal of Korea Multimedia Society
• /
• v.1 no.1
• /
• pp.109-119
• /
• 1998

This paper describes a research result on automatic generation of Abstract Test Suite from INAP protocol in formal specifications by applying many existing related algorithms such as Rural Chinese Postman Tour and UIO sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence, called UIO sequence, is defined for the I/O FSM. The UIO sequence is combined with the concept of Rural Chinese Postman tour to obtain an optimal test sequence. It also proposes an estimation methodology of the fault courage for the Test Suite obtained by our method and their translation into the standardized test notation TTCN.

• Smart Media Journal
• /
• v.7 no.1
• /
• pp.37-44
• /
• 2018

Utilizing sequence control and numerical computing, embedded devices are used in a variety of automated systems, including those at industrial sites, in accordance with their control program. Since embedded devices are used as a control system in corporate industrial complexes, nuclear power plants and public transport infrastructure nowadays, deliberate attacks on them can cause significant economic and social damages. Most attacks aimed at embedded devices are data-coded, code-modulated, and control-programmed. The control programs for industry-automated embedded devices are designed to represent circuit structures, unlike common programming languages, and most industrial automation control programs are designed with a graphical language, LAD, which is difficult to process static analysis. Because of these characteristics, the vulnerability analysis and security related studies for industry automation control programs have only progressed up to the formal verification, real-time monitoring levels. Furthermore, the static analysis of industrial automation control programs, which can detect vulnerabilities in advance and prepare for attacks, stays poorly researched. Therefore, this study suggests a method to present a discussion on an industry automation control program designed to represent the circuit structure to increase the efficiency of static analysis of embedded industrial automation programs. It also proposes a medium term translation technology exploiting LLVM IR to comprehensively analyze the industrial automation control programs of various manufacturers. By using LLVM IR, it is possible to perform integrated analysis on dynamic analysis. In this study, a prototype program that converts to a logical expression type of medium language was developed with regards to the S company's control program in order to verify our method.

• 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 the Economic Geographical Society of Korea
• /
• v.8 no.1
• /
• pp.51-70
• /
• 2005

Knowledge has become a primary source of competitiveness, and knowledge workers, people whose jobs require formal and advanced schooling, are one of the fastest growing groups in workforce. With the rise of a knowledge-based economy, higher education has been increasingly emphasized in economic development. Colleges and universities have recently added translation of research into products and new enterprises to their educational functions while companies have increased their external links to keep pace with rapidly changing and increasingly complex business environments. These changes have strengthened the role of colleges and universities in industrial innovation which is a key to economic development. This research reviews characteristics of U.S. higher education and development of interactions between higher education institutions and companies in the U.S. The case of IT industries, where U.S. has a competitive edge, provides specific examples and implications. Four major routes of interactions between higher education institutions and companies are suggested to provide a research framework for future studies in this area.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2679-2689
• /
• 1997

In this paper, a multimedia authoring system using temporal/spatial synchronization manager is designed and implemented to support easy and efficient generation of multimedia title. For this goal, a flowchart-oriented logic generator which represents a title author's design intent into a practical title composition logic without extra translation process, and a logic interpreter which translate and implement the generated title logic, are designed. Furthermore, a temporal/spatial synchronization manager which manages temporal/spatial synchronization information between media data for multimedia representation, is designed. Especially, a temporal specification model and MRL, a formal language for the model, are designed to synchronize the temporal relation between media objects. The MRL represents a complex temporal relation by simple and clear form, and synchronizes efficiently multimedia representation according to the author's intent. A presentation frame editor which makes coincidence between visible size of representation media and attachment point, is implemented for spatial synchronization.

• Journal of KIISE:Computer Systems and Theory
• /
• v.35 no.3
• /
• pp.141-149
• /
• 2008

Most functional programming languages allows programmers to write ambiguous rules, under the strategy that pattern-matching will be performed in a direction of 'from top to bottom' way. While providing programmers with convenience and intuitive understanding of defining default rules, such ambiguous rules may make the semantics of functional languages unclear. More specifically, it may fail to apply the equational reasoning, one of most significant advantage of functional programming, and may cause to obscure finding a formal way of translating functional languages into the ${\lambda}$-calculus; as a result, we only get an ad hoc translation. In this paper, we associate with separability of term rewriting systems, holding purely-declarative property, pattern-matching semantics of lazy functional languages. Separability can serve a formalism for translating lazy functional languages into the ${\lambda}$-calculus.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.18 no.12
• /
• pp.3005-3012
• /
• 2014

Massive Open Online Courses(MOOC), originally started from United States, have recently received a great deal of attention all over the world. MOOC means free online courses that anyone can attend anytime. In Korea, KERIS(Korea Education and Research Information Service) and some universities provide various MOOC services. The purpose of this paper is to present current status and improvement suggestions of MOOC. We first introduce the formal definition and history of MOOC, then discuss current status of MOOC services in Korea and other countries. We finally present improvement suggestions that include induction of active participation for universities, value creation for campus, development of revenue model, providing motivation to students for finishing courses, development of LMS(Learning Management System), securing well-trained lecturers, translation of lecture materials, ensuring quality of authentification system of MOOC services.