• 정보처리학회논문지A
• /
• 제12A권3호
• /
• pp.229-234
• /
• 2005

가상 기계(Virtual Machine; VM)는 언어에 대한 장치 독립성 및 플랫폼 독립성을 지원하는 프로그래밍 실행 환경이다. 현재까지 자바 언어를 위해 JVM, KVM 등이 다양한 환경에서 사용되고 있으며 유사한 가상 기계가 개발되어 활용되고 있다. 본 논문에서는 자바 클래스 파일(*.class)에서 PDA와 같은 소규모 장치에서 반드시 필요한 요소를 추출하고 실행 효율성을 위해 클래스 파일의 포맷을 재구성한 클래스 파일(*.rclass)을 설계하고 변환기를 개발하였다. 또한 재설계된 클래스 파일을 입력으로 받아 실행 결과를 생성하는 가상기계를 구현하였다.

• 시스템엔지니어링학술지
• /
• 제15권2호
• /
• pp.66-71
• /
• 2019

In digital pathology, an electronic system in the biomedical domain storage of the files is a big constrain and because all the analysis and annotation takes place at every user-end manually, it becomes even harder to manage the data that is being shared inside an enterprise. Therefore, we need such a storage system which is not only big enough to store all the data but also manage it and making communication of that data much easier without losing its true from. A virtual server setup is one of those techniques which can solve this issue. We set a main server which is the main storage for all the virtual machines(that are being used at user-end) and that main server is controlled through a hypervisor so that if we want to make changes in storage overall or the main server in itself, it could be reached remotely from anywhere by just using the server's IP address. The server in our case includes XML-RPC based API which are transmitted between computers using HTTP protocol. JAVA API connects to HTTP/HTTPS protocol through JAVA Runtime Environment and exists on top of other SDK web services for the productivity boost of the running application. To manage the server easily, we use Tkinter library to develop the GUI and pmw magawidgets library which is also utilized through Tkinter. For managing, monitoring and performing operations on virtual machines, we use Python binding to XML-RPC based API. After all these settings, we approach to make the system user friendly by making GUI of the main server. Using that GUI, user can perform administrative functions like restart, suspend or resume a virtual machine. They can also logon to the slave host of the pool in case of emergency and if needed, they can also filter virtual machine by the host. Network monitoring can be performed on multiple virtual machines at same time in order to detect any loss of network connectivity.

• 대한조선학회논문집
• /
• 제42권1호
• /
• pp.64-72
• /
• 2005

Digital manufacturing is a technology to simulate the real manufacturing process using the virtual model representing the physical schema and the behavior of the real manufacturing system including resources, processes and product information. Therefore, it can optimize the manufacturing system or prevent the bottleneck processes through the simulation before the manufacturing plan is executed. This study presents a method to apply the digital manufacturing technology for the steel cutting process in shipyard. The system modeling of cutting shop is carried out using the IDEF and UML which is a visual modeling language to document the artifacts of a complex system. Also, virtual NC simulators of the cutting machines are constructed to emulate the real operation of cutting machines and NC codes. The simulators are able to verify the cutting shape and estimate the precise cycle time of the planned NC codes. The validity of the virtual model is checked by comparing the real cutting time and shape with the simulated results. It is expected that the virtual NC simulators can be used for accurate estimation of the cutting time and shape in advance of real cutting work.

• 한국전산구조공학회논문집
• /
• 제31권4호
• /
• pp.173-181
• /
• 2018

최근 복합재료는 향상된 성능, 내구성 및 여러 특정 요구성능에 대한 설계 유연성으로 인해 다양한 분야에서 활발히 활용되고 있다. 컴퓨터 성능이 발달함에 따라, 복합재료의 복잡한 거동에 대한 정확도 높은 모델 역시 함께 연구되고 있으며, 이로 인해 가상시험이 복합재료 거동에 대한 실험을 대체하거나 보충하는데 중요한 역할을 하고 있다. 본 논문에서는 나노수준부터 구조물 단위까지 이르는 다양한 length scale의 homogenization을 통한 멀티스케일 모델링에 대한 문헌을 분석하였다. 또한, 콘크리트 거동 연구에 대한 통합모델의 특징을 다루었으며, 가상 시험기계에 대한 최근 연구동향 및 전망에 대하여 다루었다.

• 한국멀티미디어학회논문지
• /
• 제10권5호
• /
• pp.668-678
• /
• 2007

유 무선 통신 기술의 발전은 다양한 정보에 쉽게 접근할 수 있도록 한다. 정보 접근의 용이성은 의도하지 않은 정보 유출이라는 문제점을 발생시킨다. 소프트웨어의 주요 알고리즘과 정보, 자원을 가지고 있는 실행파일은 보안에 매우 취약하다. 임베디드 시스템이나 가상기계의 실행파일은 알고리즘과 정보, 자원을 모두 가지고 있기 때문에, 정보 유출 문제는 더욱 심각하다. 본 논문에서는 정보 유출 문제를 해결하기 위해 암호화를 통한 실행파일 내용 보호 기법을 제안한다. 제안된 기법은 실험적으로 임베디드를 위한 가상기계인 EVM(Embedded Virtual Machine)에 적용하고 검증하였다. 또한, 실험을 통해 성능 오버헤드가 감내할 수 있는 수준이라는 것을 확인하였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제11권3호
• /
• pp.1722-1741
• /
• 2017

Intrusion detection techniques based on virtual machine introspection (VMI) provide high temper-resistance in comparison with traditional in-host anti-virus tools. However, the presence of semantic gap also leads to the performance and compatibility problems. In order to map raw bits of hardware to meaningful information of virtual machine, detailed knowledge of different guest OS is required. In this work, we present VDSM, a lightweight and general approach based on driver separation mechanism: divide semantic view reconstruction into online driver of view generation and offline driver of semantics extraction. We have developed a prototype of VDSM and used it to do intrusion detection on 13 operation systems. The evaluation results show VDSM is effective and practical with a small performance overhead.

• 한국CDE학회논문집
• /
• 제5권4호
• /
• pp.312-318
• /
• 2000

In this study, an exclusive CAD/CAM system is developed for enhancing the effectiveness and productivity of CNC universal cylindrical grinding machines on which the external/facing/internal grinding cycles and the wheel dressing cycles are integratively carried out. The CAD/CAM system can manage the various processes such as geometry design, NC code generation, NC code verification, DNC operation, and so on. Especially, the feature-based modeling concept is introduced to improve the geometry design efficiency. And the NC code verification is realized by virtual manufacturing technique based on the real-time analysis of NC codes and the boolean operation between workpiece and wheel.

• 산업공학
• /
• 제21권3호
• /
• pp.322-332
• /
• 2008

Digital Virtual Manufacturing is a technology to facilitate effective product developments and agile productions by digital model representing the physical and logical schema and the behavior of real manufacturing system, and it includes product, resources, processes and plant. For successful applications of this technology, a digital virtual factory as a well-designed and integrated environment is essential. In this research, we constructed a sophisticated digital virtual factory of a Korean automotive company's press shop. For efficient constructions of a digital virtual factory useful to kinematic simulations and visualizations, we analyzed entire business process and detailed activities of press engineering. Also, we evaluated geometries, structures, characteristics and motions of a plant and machines in press shop. The geometric model and related data of a virtual press shop are built and managed by a modeling standard defined in this paper. The virtual manufacturing simulation of press machines is conducted to evaluate kinematic motions, cycle time and locations of components using geometric models and related data. It's for interference checks and productivity improvements. We expect that this virtual press shop helps us to achieve great savings in time and cost in many manufacturing preparation activities in the new car development process of automotive companies.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권9호
• /
• pp.572-577
• /
• 2017

가상화 기술은 물리머신의 자원을 다수의 가상머신이 공유하여 유휴 자원을 활용할 수 있도록 한다. 가상화 기술의 핵심은 가상머신 간의 효율적인 자원 분배에 있다. 그러나 현재의 가상화 환경에서는 가상머신에서 수행되는 작업의 특성을 파악할 수 없기 때문에 효율적인 자원 분배가 어렵다. 비효율적인 자원 분배는 가상머신 간의 성능 간섭을 발생시켜 가상머신의 성능 저하를 야기한다. 가상머신 간 성능 간섭 현상을 해결하기 위해 다양한 연구들이 진행되었다. 본 논문은 가상머신 성능 간섭 현상 해결을 위한 대표적인 방법인 피드백 제어를 활용하여 I/O 성능을 보장하는 CPU 스케줄링 기법을 소개하고, 특히 모델기반 피드백 제어 방식과 동적 피드백 제어 방식을 비교 분석한다.

• International Journal of Contents
• /
• 제12권3호
• /
• pp.29-33
• /
• 2016

Cloud computing makes extensive use of virtual machines that permit for workloads, as well as resource usage, to be isolated from one another, and a hypervisor can be used by a virtual machine to construct cloud computing infrastructure. However, the hypervisor has high resource usage when constructing virtual machines, which results in a waste of allocated resources when not activated. Docker provides a more light-weight method to obtain agile computing resources based on a container technique that handles this problem. In this study, we have chosen this specific tool due to the increasing popularity of MapReduce and cloud container technologies such as Docker. This study aims to automatically configure Twister workloads for container-driven clouds. Basically, this is the first attempt towards automatic configuration of Twister jobs on a container-based cloud platform VM for many workloads.