• 정보처리학회논문지A
• /
• 제14A권2호
• /
• pp.91-98
• /
• 2007

일반적으로 가상기계 플랫폼은 컴파일러와 어셈블리, 가상기계로 구성되어 있다. 가상기계 코드의 설계는 가상기계 플랫폼을 만드는데 필수적이며, 설계 결과물인 가상기계 코드의 검증은 매우 중요하다. 가상기계 코드의 검증과 코드의 실행을 위해서는 가상기계 코드의 실행 시스템을 구현하는 것이 필요하고, 컴파일링 기법과 인터프린팅 기법, 역컴파일링 기법으로 실행 시스템을 만들 수 있다. 본 논문에서는 가상기계 코드 실행을 위한 3가지 방법 중에서 역컴파일링 기법을 이용한 가상기계 코드 실행 시스템을 제안 및 구현한다. 제안하는 실행 시스템을 가상기계 코드로 EVM(Embedded Virtual Machine)의 중간언어인 SIL(Standard Intermediate Language)을 사용하였고, 이를 통해 역컴파일의 유용성을 확인하였다. 또한 제안한 역컴파일링 기법은 가상기계 플랫폼을 구현할 때 발생할 수 있는 오류의 최소화에 사용할 수 있다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1997년도 추계학술대회 논문집
• /
• pp.109-114
• /
• 1997

As CNC machine tool is one of core elements of manufacturing system, it is much important that it remains without troubleshoots. As a virtual machine is a recent alternative using IT for optimal utilization of CNC machine tool, it is a computer model that represents a CNC machine tool. But a virtual machine is still conceptual. So, in this paper, it is proposed that a virtual machine be a realistic model in the fault diagnosis module. For this purpose, the fault diagnosis system of machine tool using CORBA and fault diagnosis expert system has been implemented. Using this system, we have expections to diagnose exactly and prompty without the restriction of time or location, to reduce MTTR(Mean Time To Repair) and finally to increase the availability of manufacturing system.

• 한국멀티미디어학회논문지
• /
• 제9권9호
• /
• pp.1247-1256
• /
• 2006

가상 기계란 하드웨어로 이루어진 물리적 시스템과는 달리 소프트웨어로 제작되어 논리적인 시스템 구성을 갖는 개념적인 컴퓨터이다. 그러나 가상 기계는 실제 프로세서로 처리하는 것보다 실행 속도가 매우 느리기 때문에 실행되는 코드의 최적화가 매우 중요하다. 본 논문은 가상 기계 코드 최적화기의 실험대상으로 EVM(Embedded Virtual Machine)의 중간 코드인 SIL(Standard Intermediate Language)을 이용하였다. 현존하는 최적화 방법론에 관한 연구를 통하여 가상 기계 코드 특성을 고려한 최적화 방법론을 제시하고, 최적화된 코드를 생성하기 위한 코드 최적화기를 설계하고 구현하였다. 가상 기계 코드 최적화기는 주어진 패턴을 찾아서 패턴에 해당하는 부분을 최적화 코드로 바꾸어, 전체 코드의 크기를 줄이고 실행 속도의 개선효과를 가진다. 또한, 구현된 최적화기의 실험 결과를 도출하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.84.2-84
• /
• 2001

To remove the logical error inexpensively, in this paper, we propose new concept of VPLF(Virtual PLC Framework) which consists of VPLE(Virtual PLC Editor), Virtual Machine(Virtual Machine), VMC(Virtual Machine Control panel), Virtual PLC Program Editor(VPLPE) and Object Inspector. VPLC is for PLC hardware and software and VM is for the target to be controlled. VPLC has an individual editor and the screen of configuration. With using individual editor in VPLC, we can edit and compile to PLC ladder program. In VM, there are many kinds of object for machine elements, actuator, sensor and so on. The VPLC and VM are interlinked each other and controlled by the PLC program in real time. So, we can get the powerful realization as the machine is ...

• 스마트미디어저널
• /
• 제5권4호
• /
• pp.18-25
• /
• 2016

가상화 기술에 의해 추상화된 자원은 하드웨어적으로 효율적으로 사용 할 수 있어 관리가 용이하며, 이로 인해 클라우드 시스템과 대형 서버 클러스터 구축 등에 가상 머신 모니터가 널리 사용되고 있다. 가상화된 시스템의 성능은 가상머신 스케줄러의 영향을 크게 받는다. 하지만, 기존의 가상 머신에서 사용하는 Credit 스케줄러는 스케줄링 지연 시간이 길어질 경우, I/O 응답성이 저하되는 문제점이 있다. 본 논문에서는 가상머신의 이벤트 응답성 저하 현상을 개선하기 위해 기존 가상머신의 Credit 스케줄러에 대출/상환 기법을 도입하였다. 제안 기법은 가상 머신에 I/O 이벤트 처리를 위한 credit을 대출해주고, 대출 credit의 소비 패턴을 분석하여 각 가상머신의 태스크 특징을 분류한다. I/O 이벤트가 도착했을 때, 분석된 태스크 특징을 기반으로 일시적으로 가상 머신의 스케줄링 우선순위를 높임으로써 시스템의 I/O 성능을 향상시킨다. 제안 기법을 가상머신 모니터에 구현하였으며, 기존 가상머신의 Credit 스케줄러 대비 제안된 기법을 적용한 가상머신의 I/O 평균 응답성과 대역폭이 각 60%, 62% 향상되었다.

• 한국기계가공학회지
• /
• 제4권2호
• /
• pp.16-23
• /
• 2005

This study is intended to find out the reason of interference phenomenon of a machine tool when it operates for 5-axises working. The researcher made a Virtual Machine which has same figures of the 5 axises machine tool and Virtual Manufacturing System which has both Software factors - controller and NC code data to manipulate the movement characteristics of the machine - and Hardware factors - fixtures, workpiece, tools, holders and so on. With these virtual tools, this study is designed to find out the relation between the movement and the interference or collision, and also intended to verify the simulation and work-processing. In this study, the researcher found out, in case of the vertical 5 axises type, that it has more chances to have interference between the fixture, the workpiece and the main spindle including the tool holder due to the tilting kinetics of the main spindle. In case of the horizontal 5 axises type, on the other hand, the researcher found out that it has more possibility to have the interference between the main spindle and the rotary shaft.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2007년도 춘계학술대회A
• /
• pp.1559-1563
• /
• 2007

This paper presents a virtual machine design simulation program. Kinematics of various mechanisms can be modeled with 3 dimensional geometry and actuators. CAD data for any machine component can be easily imported in STL format. Machine components are assembled with kinematic joints simply by drag and drop function in virtual graphic simulator. Interference and collision of any component with other components can be identified during the motion simulation. Graphic user interface program is developed using Microsoft Direct X code. A precision micro stage system is demonstrated with the proposed virtual machine design simulator.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 춘계학술발표대회
• /
• pp.173-176
• /
• 2014

구동에 필요한 다수의 Virtual Machine을 물리적 서버 안에 Consolidation하게 구성하면, 물리적 서버의 개수를 최소화시켜 에너지 소모를 줄일 수 있다. 이 논문에서는, 하드웨어 요구량에 따른 Virtual Machine Consolidation과 시간 패턴에 따른 Virtual Machine Consolidation을 Energy Saving 관점으로 비교하고, 에너지 효율적인 Virtual Machine Consolidation 알고리즘을 제안한다.

• 한국멀티미디어학회논문지
• /
• 제8권12호
• /
• pp.1658-1668
• /
• 2005

This paper presents the bytecode-to-SIL translator which enables the execution of the java program in EVM(Embedded Virtual Machine) environment without JVM(java Virtual Machine), translating bytecodes produced by compiling java programs into SIL(Standard Intermediate Language) codes. EVM, what we are now developing, is a virtual machine solution that can download and execute dynamic application programs written in sequential languages like C language as well as object oriented languages such as C#, Java, etc. EVM is a virtual machine mounted on embedded systems such as mobile device, set-top box, or digital TV, and converts the application program into SIL, an assembly language symbolic form, and execute it. SIL is a virtual machine code for embedded systems, based on the analysis of existing virtual machine codes such as bytecode, MSIL, etc. SIL has such features as to accommodate various programming languages, and in particularly has an operation code set to accept both object-oriented languages and sequential languages. After compiling, a program written in java language is converted to bytecode, and also executed by JVM platform but not in other platform such as .NET, EVM platform. For this reason, we designed and implemented the bytecode-to-SIL translator system for programs written in java language to be executed in the EVM platform without JVM. This work improves the execution speed of programs, enhances the productivity, and provides an environment for programmers to execute application programs at various platforms.

• 한국멀티미디어학회논문지
• /
• 제8권5호
• /
• pp.721-728
• /
• 2005

가상 기계란 하드웨어로 이루어진 물리적 시스템과는 달리 소프트웨어로 제작되어 논리적인 시스템 구성을 갖는 개념적인 컴퓨터이다 임베디드 시스템을 위한 가상 기계 기술은 모바일 디바이스나 디지털 TV 등의 다운로드 솔루션에 꼭 필요한 소프트웨어 기술이다 현재 EVM(Embedded Virtual Machine)이라 명명된 임베디드 시스템을 위한 가상 기계에 대한 연구가 진행 중이다 이러한 연구의 일환으로 본 논문에서는 임베디드 시스템을 위한 파일 포맷인 EFF(Executable File Form기)로 정의한다. 또한 기존에 널리 사용되고 있는 클래스 파일을 EFF에 매핑 시킴으로써 EFF의 완전성을 구조적으로 증명한다.