• Journal of the Korea Society of Computer and Information
• /
• v.11 no.1 s.39
• /
• pp.251-258
• /
• 2006

When producing a wireless web contents by using wire web contents for PC environment, we should consider how to represent lots of information being suitable with PC environment to wireless devices having narrow performance. Therefore, we propose mobile page editor for manager to select and modify specific contents with the existing wire web page. Also, we try to define an intermediate language based on DID(Digital Item Declaration) of MPEG-21 multimedia framework which defines source of converting information and wireless web contents generating at mobile editor in considering real time service problem when transcoding multimedia information in a web server into wireless device having low resolution, narrow performance of media process, memory, and so on.

• Korean Educational Research Journal
• /
• v.40 no.3
• /
• pp.39-65
• /
• 2019

This essay examines the relationship between death and the minor literature and the minor philosophy of education. Deleuze and Guattari conceive death as the source of question and the problem. Death overcomes Freud's death-drive and is conceived as the universal event. Then, death is understood as the essential problem, the condition of thought about life, and the paradox of actuality. On the other hand, their minor literature is able to figure in Kafka's works, Metamorphosis and so on, excellently. Deleuze and Guattari argue that Kafka's works push ahead to the edge of the deterritorization. Their argument on the minor literature has the following three characteristics: first, the territorization of the language; second, the directional connection between the individual and the social; third, the collective arrangement of the statement. Death and the minor literature share the "intensity" as the theoretical tool and thus presuppose each other. From this, we are able to draw the possibility of the minor philosophy of education. It makes a crack on the major philosophy of education, exposing the limitation of the doctrines. In other words, the major philosophy of education enforces the reading of grand philosophers by the defined ways only. Instead, Deleuze and Guattari show the creative way through their research of the history of philosophy and extend the field of thought. In following this way, we can repeat the novel in the philosophy of education also. In this essay, we examine their "affect" for the possibility.

• The KIPS Transactions:PartA
• /
• v.11A no.2
• /
• pp.165-174
• /
• 2004

Because a quantity wireless internet contents is much less than wired internet contents, it exist high necessities that wired internet contents should be converted into wireless internet contents. The conversion server implemented in this paper, automatically recognizes the type of user agents when they request, retrieves source documents on the web site specified by an URL, generates metaXML documents as an intermediate form, and converts them wireless markup documents appropriate for user agents. The conversion server interoperates with the image converter for image conversion and the clipper which is an authoring tool for clipping existing wired internet documents. We performed experiments about capability of the conversion server transcoding static/dynamic web pages specified by an URL. According to performance results on dynamic web pages, the conversion server showed better throughput when a thread pool in the terror maintains 5 threads compared with 1 and 10 threads.

• The KIPS Transactions:PartA
• /
• v.16A no.4
• /
• pp.245-254
• /
• 2009

With the increasing adoption of embedded processors, the need of developing compilers for the embedded processors with timely manner is also growing. Retargeting has been adopted as a viable approach to constructing new compilers by modifying the back-end of an existing compiler. This paper proposes a test suite generation system for testing retargetable C compilers. The proposed system generates the test suite using the grammar coverage concept. Generally, the size of the test suite satisfying the grammar coverage of the source language is very large. Hence, the proposed system also provides the facility to reduce the size of the test suite. According to the experimental result, the reduced test suite can detect 75% of the compiler faults detected by the original test suite though the size of the reduced test suite is only 10% of that of the original test suite in average. This result indicates that the reduction technique proposed in this paper can be effectively used in the prior phase of the development procedure of the embedded compilers.

• The KIPS Transactions:PartD
• /
• v.15D no.6
• /
• pp.825-840
• /
• 2008

Refactoring is a kind of software modification process that improves system qualities internally but maintains system functions externally. What should be improved on the existing source codes should take precedence over the others in such a modification process using this refactoring. Martin Fowler and Kent Beck proposed a method that identifies code smells for this purpose. Also, some studies on determining what refactoring will be applied to which targets through detecting code smells in codes were presented. However, these studies have a lot of disadvantages that show a lack of precise description for such code smells and detect limited code smells only. In addition, these studies showed other disadvantages that generate ambiguity in behavior preservation due to the fact that a description method of pre-conditions for the behavior preservation is included in a refactoring process or unformalized. Thus, our study represents a precise specification of code smells using OCL and proposes a framework that performs a refactoring process through the automatic detection of code smells using an OCL interpreter. Furthermore, we perform the automatic detection in which the code smells are be specified by using OCL to the java program and verify its applicability and effectivity through applying a refactoring process.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.31 no.6 s.261
• /
• pp.635-643
• /
• 2007

As many engineers and technicians are involved in the design process of large scale and/or complex products, there are a lot of miss matches and interferences due to designers' faults and several kinds of CAD systems. Recently, CAD systems are applied to verify and check the assembly process. Digital Mock-Up(DMU) system, a tool to build a virtual mock-up in the design stage, has been used to prevent the interferences and miss matches during precision design processes. Using the virtual assembly tool, engineers are able to design precision and interference free parts without physical mock-ups. Instead of a single CAD source, several CAD systems are used to design a complex product. Several organizations are involved in the distributed design environment for heterogeneous multi-CAD assembly. XML and the lightweight CAD file are proposed for the multi-CAD assembly. XML data contains hierarchy of the heterogenenous multi-CAD assembly. STEP PDM schema and STEP ISO 10303-28 formations are applied to construct the XML data. The lightweight CAD file produced from various CAD files through ACIS kernel and InterOp not only contains mesn, B-Rep and topological data, but also is used to visualize CAD data and to verify dimensions. Developed system is executed on the desktop computers. It does not require commercial CAD systems to visualize 3D assembly data. Real-time interference and fitness checks, dimensional verification, and design and assembly verification are performed on the developed system. Assembly of heterogeneous models for a car is conducted to verify the effectiveness of the developed DMU system on the Internet.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.43 no.2
• /
• pp.126-136
• /
• 2020

Recently, unmanned aerial vehicles (UAV, Drone) are highly regarded for their potential in the agricultural field, and research and development are actively conducted for various purposes. Therefore, in this study, to present a framework for tracking research trends in UAV use in the agricultural field, we secured a keyword search strategy and analyzed social network, a methodology used to analyze recent research trends or technological trends as an analysis model applied. This study consists of three stages. As a first step in data acquisition, search terms and search formulas were developed for experts in accordance with the Keyword Search Strategy. Data collection was conducted based on completed search terms and search expressions. As a second step, frequency analysis was conducted by country, academic field, and journal based on the number of thesis presentations. Finally, social network analysis was performed. The analysis used the open source programming language 'Python'. Thanks to the efficiency and convenience of unmanned aerial vehicles, this field is growing rapidly and China and the United States are leading global research. Korea ranked 18th, and bold investment in this field is needed to advance agriculture. The results of this study's analysis could be used as important information in government policy making.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.18 no.4
• /
• pp.501-506
• /
• 2008

Statistical POS tagging is prone to error, because of the inherent limitations of statistical data, especially single source of data. Therefore it is widely agreed that the possibility of further enhancement lies in exploiting various knowledge sources. However these data sources are bound to be inconsistent to each other. This paper shows the possibility of using maximum entropy model to Korean language POS tagging. We use as the knowledge sources n-gram data and trigger pair data. We show how perplexity measure varies when two knowledge sources are combined using maximum entropy method. The experiment used a trigram model which produced 94.9% accuracy using Hidden Markov Model, and showed increase to 95.6% when combined with trigger pair data using Maximum Entropy method. This clearly shows possibility of further enhancement when various knowledge sources are developed and combined using ME method.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.1
• /
• pp.519-524
• /
• 2006

This paper describes an application of information presentation based geographic map for maritime information, including navigation information. The work is motivated by the need to prepare maritime information representation and distribution for future generation Web network technology. This works consist of map generation using GML and application to maritime information. GML 3.0 became an adopted specification of the Open Geospatial Consortium(OGC) in January 2003, and is rapidly emerging as the world standard for the encoding, transport and storage of all forms of geographic information. This paper looks at the application of GML to one of the more challenging areas of maritime information. Specific features of GML of interest to maritime information provider are discussed and then illustrated through a series of maritime information case studies. The first phase of the work consists of the construction of GML application schema for using as a base map of maritime information. Maritime information is acquired from multiple sources, including standards documents, database schemas, lexicons, collections of symbol definition. The sources of GML ontological knowledge and the contribution of each source to the overall ontology are described in this paper. In the second phase, the prepared GML is used to create a prototype of the mixed maritime information as a base map - for tagging documents within the maritime domain. An overview of this prototype is included. One application area for these information elements described here is the integrated retrieval of maritime information from diverse sources, ranging from Web sites to nautical chart databases and text documents.

• Journal of the Korean Society of Safety
• /
• v.11 no.1
• /
• pp.27-38
• /
• 1996

The aim of this paper is to develop more fast algorithm for evaluation of the reliability of networks and system. It is illustrated with examples. This paper derived the algorithm to calculate the acyclic directed graph G(deals with the problem of the s-t graph). The language PASCAL was used to implement the algorithm. Three Examples are calculated and the calculation time is shorter than the time by program in $\ulcorner$21$\lrcorner.