• The KIPS Transactions:PartA
• /
• v.14A no.3 s.107
• /
• pp.167-172
• /
• 2007

VM(Virtual Machine) can be considered as a software processor which interprets the machine code. Also, it is considered as a conceptional computer that consists of logical system configuration. But, the execution speed of VM system is much slower than that of a real processor system. So, it is very important to optimize the code for virtual machine to enhance the execution time. Especially the optimizer for a virtual machine code on embedded devices requires the highly efficient performance to the ordinary optimizer in the respect to the optimized ratio about cost. Fundamentally, functions and basic blocks which influence the execution time of virtual machine is found, and then an optimization for them nay get the high efficiency. In this paper, we designed and implemented the optimizer for the virtual(or abstract) machine code(VMC) using profiling. Firstly, we defined the profiling information which is necessary to the optimization of VMC. The information can be obtained from dynamically executing the machine code. And we implemented VMC optimizer using the profiling information. In our implementation, the VMC is SIL(Standard Intermediate Language) that is an intermediate code of EVM(Embedded Virtual Machine). Also, we tried a benchmark test for the VMC optimizer and obtained reasonable results.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.1
• /
• pp.835-838
• /
• 2005

It is widely known that most operations performed in JVM belongs to data transfers at all times as JVM is based on abstract stack machine. Hence it is necessary to analyze the fashion of internal data transfers in JVM to develop a more efficient machine. We have analyzed in this paper the data transfer operations between operand stack, local variable array, heap, and constant pool in bytecode level.

• Korean Institute of Interior Design Journal
• /
• v.15 no.3 s.56
• /
• pp.201-210
• /
• 2006

Among the architects who use diagrams as a digital design process, especially through Peter Eisenman and Ben van Berkel's works, we have specifically got the meaning of their diagrams. Their diagrams act as 'the block of becoming' and we can regard the diagrams not only as a tool of devenir including architect's root thoughts beyond a tool of schematic presentation, but also as architect's intention including devenir thought. And in the case of diagrams which the architects use, we can recognize that architects' intentions are to think that Deleuze's 'machine abstraite' evolve the diagram into various and transformed form. That is to say, Peter Eisenman interprets the machine abstraite as a root thought of devenir by using diagram as medium to reveal the virtual. And Ben van Berkel transforms the diagram by including all external conditions into selected diagram which shows the abstract relations to the elements. We can get the meaning of the machine abstraite from these cases well. This study will play an important role in giving good usage of the diagram in making a form of contemporary digital architecture and showing the direction of form creation field.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.4
• /
• pp.816-823
• /
• 2005

Non-Horn logic programs are extended from Horn logic programs to the level of 1st order predicate logic. Even though they are more expressive than Horn logic programs, They are not practically used because we do not have efficient implementations. Currently to execute non-Horn logic programs, we translate them to equivalent Horn logic programs using the proof procedure InH-Prolog and compile the Horn logic programs to WAM(Warren Abstract Machine) instructions. In this paper, we propose EWAM(Extended Warren Machine) that executes non-Horn logic programs more efficiently and a compilation scheme that compiles non-Horn logic programs to the EWAM instruction. We implement an EWAM emulator and a compiler and measured the performance of the EWAM emulator and the compiler and found that they are very efficient.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.148-151
• /
• 2001

We suggest AKL(abstract kernel layer) to. the design and implementation of WAP on basis of multi-platform. AKL is running on the various kernel including REX, MS-DOS, MS-Windows, 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 views. Therefore, It makes porting times of a device be shorten and makes easy of maintenance. We validated our suggestion as a consequent of porting WAP into PalmV PDA and mobile phone with AKL.

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.410-413
• /
• 2000

This paper suggests a methodology in which control signals for high-level synthesis are generated from SDL specification. SDL is based on EFSM(Extended Finite State Machine) model. Data path and control part are partitioned into representing data operations in the from of scheduled data flow graph and process behavior of an SDL code in forms of an abstract FSM. Resource allocation is performed based on the suggested architecture model and local control signals to drive allocated functional blocks are incorporated into an abstract FSM extracted from an SDL process specification. Data path and global controller acquired through suggested methodology are combined into structural VHDL representation and correctness of behavior for final circuit is verified through waveform simulation.

• The Research Journal of the Costume Culture
• /
• v.6 no.2
• /
• pp.109-126
• /
• 1998

The purpose of this study was to analyze the expressional characteristics of the machine aesthetics in the fashion design. First, this study was started from analyzing mechanical beauty represented on the early 20th century art style. Machine aesthetics has influenced on the art and fashion design from modern to now. Futurism was grounded in the complete renewal of human sensibility brought about by the great discoveries of science. Especially, Russia avant-garde was inspired by the Futurism, that is Rayonism, Constructivism, Suprematism. Kasimir Malevich moved on immediately to purely abstract paintings of which the first was a black square on a white canvas. He had begun the art he called 'Suprematism'. Malevich's geometry was funded on the straight line, the supremely elemental form which symbolized man's ascendancy over the chaos of nature. The square was the basic suprematist element and was a repudiation of the world of appearances, and of past art. He repudiated any marriage of convenience between the artist and the engineer. Vladimir Tatlin made some of the most revolutionary works of modern art, these were the first works to be called 'construction'. Constructivists believed that the essential conditions of the machine and the consciousness of man inevitably create an aesthetic which would reflect their time. They eulogized simple shapes. That believed that buildings and objects should be freed from the ornamental excrescences and the accumulated barnacles of past art. Consequently, under the theoretical background, the result is as follows. First, The functional formativeness of machine aesthetics was expressed as a geometrical silhouette, construction line, non-ornamental construction, simple color in the 20th century design. Second, The mechanical formativeness of machine aesthetics was expressed as a construction of new material-iron, aluminium, plastic, glass-, geometrical form of material in he 20th century design. That is, machine beauty has more concerned with the expressional ideology of the art style and the formativeness of fashion design by silhouette, construction line, material, form.

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.443-450
• /
• 2009

In an earlier development phase, the simulation technique is one of the key analysis methods for checking the correctness of system's functional requirements. In general, simulation is manually or randomly performed by executing state machine diagrams according to the requirement scenarios. Therefore, simulation is one of the most effort-consuming tasks. In this paper, an automatic simulation technique of state machine diagrams is provided according to the scenarios of the sequence diagrams. It is not easy to generate detailed simulation traces from sequence diagrams due to different abstraction levels between sequence diagrams and state machine diagrams. In order to adjust for different abstraction levels, state machine diagrams and sequence diagrams are transformed into LTS models and compositional analysis and transition reduction are performed. After checking behavior conformance between them, detailed simulation traces for the state machine diagrams are generated. These simulation traces are used not only for performing automatic simulation but also for assisting analyzers to reach a specific system state in order to guide further efficient simulation.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.130-133
• /
• 1996

An exploration for an emotional intelligence paradigm has been delineated. Emotional intelligence is investigated in terms of composing machine as a modern abstract art. The system consists of interface, plan and performance modules. Design concepts of the system are modular, open, and user friendly to ensure the overall performance. The exploration of art in the view of intelligence, information and structure will restore the balanced sense of the art and the science seek the happiness of life. The investigations of emotional intelligence will establish the foundations of intelligence, information and control technologies.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 1999.10a
• /
• pp.16-21
• /
• 1999

본 연구에서는 컴퓨터 상에 제어기와 구동부 등으로 구성된 가상제조시스템(Virtual Manufacturing System)을 구축하고 시뮬레이션하는 방법론을 다룬다. 특히 설비들간의 이동시 발생할 수 있는 3차원 공간상의 충돌을 검출하는 이산사건 및 연속상태 혼합 시뮬레이션 방법론을 소개한다. 시뮬레이션 모델은 DEVS(discrete event system specification) 형식론(formalsim)에 기초한 형상기구학 정보를 갖는 이른바 GKDEVS(Geometrical Kinematic DEVS)을 이용하였고, 시뮬레이션 방법론은 DEVS의 추상화 시뮬레이션(abstract simulation)방법을 확장하였다.