• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.5
• /
• pp.1139-1144
• /
• 2008

In this paper, we propose an automatic generation method of transaction level(TL) model from algorithmic model to verify system specification fast and effectively using virtual platform. The TL virtual platform including structural properties such as timing, synchronization and real-time is one of the effective verification frameworks. However, whenever change system specification or HW/SW mapping, we must rebuild virtual platform and additional design/verification time is required. And the manual description is very time-consuming and error-prone process. To solve these problems, we build TL library which consists of basic components of virtual platform such as CPU, memory, timer. We developed a set of design/verification tools in order to generate a virtual platform automatically. Our tools generate a virtual platform which consists of embedded real-time operating system (RTOS) and hardware components from an algorithmic modeling. And for communication between HW and SW, memory map and device drivers are generated. The effectiveness of our proposed framework has been successfully verified with a Joint Photographic Expert Group (JPEG) and H.264 algorithm. We claim that our approach enables us to generate an application specific virtual platform $100x{\tims}1000x$ faster than manual designs. Also, we can refine an initial platform incrementally to find a better HW/SW mapping. Furthermore, application software can be concurrently designed and optimized as well as RTOS by the generated virtual platform

• The Journal of the Korea Contents Association
• /
• v.10 no.2
• /
• pp.89-98
• /
• 2010

The enterprise system is becoming more complex and larger. With the changes of the times, the system is developing to object-oriented programming method(OOP). However, the same code inserts to the core class repetitiously in the OOP, that causes a decrease in productivity and a trouble of application of another requirement. To solve this weak point, we propose a weaving mechanism what applies to metadata and crosscutting concern. For a class optimization and an integration between different languages, we take the following way. This paper uses three ways, those are, metadata generation using reflection, transformation to Abstract Syntax Tree, and mapping through crosscutting information specified XML. Through the proposed theory, class optimization can be accomplished by solving a functional decentralization and a confusion of codes.

• The Journal of the Acoustical Society of Korea
• /
• v.23 no.5
• /
• pp.390-399
• /
• 2004

In this paper, we design and implement a multiple-view VoiceXML editor to improve editing efficiency of the VoiceXML. The VoiceXML multiple-view Editor uses a MVC framework to support multiple views and paradigm. Our multiple-view editor consists of Model. View and Controller using MVC framework. A model, core data structure. is constructed of abstract syntax tree and abstract grammar. A view. user interface. is formalized in unparsing rules and unparser. A controller. to control model and view. is made of command interpreter and tree handler. The VoiceXML multiple-view editor overcomes a drawbacks of existing XML editors by showing document structure and context concurrently. as well as document flows. Our VoiceXML multiple-view editor. which MVC framework has been applied, provides various editing views concurrently to users. Thereby. it supports efficient and convenient editing environments for voice-web documents to users and it guarantees transparency of editors. as various views have a same consistent model.

• The KIPS Transactions:PartD
• /
• v.8D no.3
• /
• pp.265-272
• /
• 2001

In case of implementing a complicated application like WAP (Wireless Application Protocol) in a mobile terminal with the characteristics of bare machine and versatile kernel aspects of which are control, interrupt and IPC(Inter Process Communication), a special methodology should be needed. If not, it will cause more cost and human resources, even delayed product into launching for the time-to-market. This paper suggests AKL, (Abstract Kernel Layer) for the design and implementation of WAP on basis of multi-platform. AKL is running on the various kernel including REX, MS-DOS, MS-Window, UNIX and LINUX. For the purpose of it, AKL makes machine-dependant features be minimized and supports a consistent interface on API (Application Program Interface) point of view. Therefore, it makes poring times of a device be shorten and makes easy of maintenance. We validated our suggestion as a consequent of porting WAP into PlamV PDA and mobile phone with AKL.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.12 no.4
• /
• pp.328-333
• /
• 2002

The deeper the hierarchy of a inheritance structure is, the better the reusability of the structure is, but the more difficult the understandability and the maintainability of it is. On the contrary, the shallower the hierarchy is, the worse the abstraction of the inheritance structure is, but the better the understandability and modifiability of it is. Therefore, it is to be desired that a deep hierarchy of a inheritance structure should be split to be shallow for the maintainability of a system. This paper proposed a complexity metric that is based on DIT and NOC of Chidamber and Kemerer, and solved the ambiguity of the metrics of them, which was pointed out by Li. The metric is a simple and heuristic one for measuring the complexity of class inheritance structures by considering the number of ancestor classes and descendant classes and the depth of inheritance hierarchy. This provides a quantitative information for assessing the complexity of a inheritance structure in splitting it.

• Journal of the Korean earth science society
• /
• v.26 no.5
• /
• pp.387-394
• /
• 2005

We have analyzed the science-gifted educational program (year 2002) at the Seoul National University in terms of its educational objectives, scientific models, and cognitive processes in scientific inquiry in order to provide insights into developing and improving science-gifted educational program. We assumed the following items as important factors for teaching scientifically gifted students: higher-order thinking skills involving synthesis domain in the educational objectives, highly abstract nature and complexity in the scientific models, cognitive processes of planning experiments in the cognitive processes in scientific inquiry. According to the analyzed results, the program has the following characteristics: (1) the rates of both higher and lower-order thinking skill domain in the educational objectives are similarly high, but the rate of synthesis domain is relatively low; (2) in the case of the scientific models, the rate of the multiple concepts and/or processes model is relatively low, while the level of the abstractness is relatively on average (3) cognitive processes of authentic scientific inquiry is not thoroughly reflected in the scientific inquiry activities, and very few cognitive processes of planning experiments factor is reflected. Therefore, we conclude in the synthesis domain in the educational objectives, multiple concepts and/or processes model, and cognitive processes of planning experiments should be especially reflected more on the science-gifted educational program in order to serve the needs of scientifically gifted students.

• The KIPS Transactions:PartD
• /
• v.16D no.2
• /
• pp.213-222
• /
• 2009

Traceability has been held as an important factor in testing activities as well as model driven development. Vertical traceability affords us opportunities to improve manageability from models and test cases to code in testing and debugging phase. Traceability also overcomes difficulties by the separation between abstraction levels when we trace errors from models to source code after test. To support a rigorous test this paper proposes XML based traceability which vertically trace from model and test case to source code. This paper explains how the traceability works and finds out error spots Through experiments using a concrete example.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.10
• /
• pp.2434-2444
• /
• 1997

As software industry progresses, the necessity of visual information have increased more than text-oriented information. So, automatic tools are required to satisfy a user's desire for visual design representation of various source information in the real-world. In this paper, we discuss the methodology and tools for parsing abstract information through semantic analysis and extracting visual information through visual mapping. Namely, as to abstract informations are represented as relational structure and then mapped into visual structure using regular rule, user can obtain visual information. We suggest VOLS(Visual Object Layout System) to transform a abstract information to visual information. It can improve user understandability and assist a maintenance for existing source code.

• The Journal of the Korea Contents Association
• /
• v.21 no.12
• /
• pp.765-790
• /
• 2021

The affection-image is the close-up of the face with real connections in space-time, or with virtual conjunction, outside spatio-temporal co-ordinates. The close-up can carry its own space-time in background. with deframing and fragmentation, Space itself has left behind its own space-time connection and become any-space-whatever that is the affection-image. The elements of any-space-whatever are the shadows, lyrical abstraction, the colors, the disconnected parts, the empty space. Deleuze examines any-space-whatever through the close ups, fragmentation of space and de-framing in Dreyer and Bresson's cinema.

• Korean Journal of Human Ecology
• /
• v.8 no.2
• /
• pp.327-337
• /
• 1999

Primitive men's primordial formative activity derives from incarnation contained in intensive vitality and strong creativity mind. The trend of modern fashion requiring the boundless imagination can be called that it, just, itself, has something in common with basic spiritual activity that primitive men had. What is concerning how modern fashion designers have developed formative language through enchanting primitive art is as follows. 1. The nature's mysterious power appears to be transformed into personified image. The incarnation for acquiring beauty, power, prestige of genius appears in the form of personification, making use of mask in modern fashion. 2. As for primitive men, the whole universe has a potentiality as a symbol. The symbolism of primitive art based on religion and myth appears in modern art as the form of presenting oppositional objects together in one space. 3. Primitive art is the purest form and the most unpolluted. This shows the natural quality being assimilated into nature, which is expressed in modern fashion as intensity, free-spirit, simplicity, etc. 4. The primitive men's anxiety to the outside world appears as impulse. The geometrical form of primitive art occurred in the shape of impulse appears in expressional form of modern fashion. 5. The real existence in primitive art inducing real materials and objects, in themselves, into formative world appears in modern art in the way of expression such as repetition, enlargement, exact reproduction.