• Journal of KIISE
• /
• v.42 no.1
• /
• pp.44-53
• /
• 2015

Control flow information is useful in the analysis and comparison of programs. Virtualization-obfuscation hides control structures of the original program by transforming machine instructions into bytecode. Direct examination of the resulting binary reveals only the structure of the interpreter. Recovery of the original instructions requires knowledge of the virtual machine architecture, which is randomly generated and hidden. In this paper, we propose a method to reconstruct original control flow using only traces generated from the obfuscated binary. We consider traces as strings and find an automaton that represents the strings. State transitions in the automaton correspond to the control transfers in the original program. We have shown the effectiveness of our method with commercial obfuscators.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.05a
• /
• pp.88-95
• /
• 2001

VR(Virtual Reality)의 개념이 제조공학 분야로 확대 적용되면서 설계분야에서의 가상조형 (Virtual Prototyping), 제조분야에서의 가상제조시스템(Virtual Manufacturing System)이라는 새로운 형태의 제조 시스템 및 설계기술이 차세대 제조기술로서 발전해 오고있으며 이런 가상제조방법(Virtual Manufacturing)은 컴퓨터를 이용하며 생산과정에서 제품뿐만이 아니라 유한요소해석을 유용하여, 공정까지도 모의실험을 하며 생산성(manufacturability), 최종 형태(final shape), 잔류 응력(residual stress), 제품 수명 주기(life-cycle)등과 같은 요소들의 최적화 정보를 제공하게 된다. 본 연구에서는 이러한 가상제조방법을 구현하기 위한 기초적 단계로서 가상단조기계를 가상현실기법을 이용하여 모델링하고 Java를 이용하여 모델링된 단조기계를 제어하고 제조되는 단조물에 대한 내부 응력 및 형태변환을 유한 요소법을 이용하여 분석하고 분석된 단조물의 자료를 WEB상을 통하여 닥 수 있게 유한 요소 해석결과를 VRML언어로 변환하는 작업을 수행하였다.

• Korea Multimedia Society
• /
• v.6 no.2
• /
• pp.36-44
• /
• 2002

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.844-846
• /
• 2004

가상 기계란 하드웨어로 이루어진 물리적 시스템과 달리 소프트웨어로 제작되어 논리적인 시스템 구성을 갖는 개념적인 프로세서이다. 기상 기계 기술은 프로세서나 운영체제가 바뀌더라도 응용프로그램을 변경하지 않고 사용할 수 있는 장점이 있다. 임베디드 시스템을 위한 기상 기계 기술은 모바일 장치나 디지털-TV 등에 탑재할 수 있는 핵심기술로서 다운로드 솔루션에서는 꼭 필요한 소프트웨어 기술이다. 현재 EVM이라 명명된 임베디드 시스템을 일한 가상 기계에 대하여 연구가 진행 중이다. 이러한 연구의 일환으로 본 논문에서는 기존의 가상 기계를 위안 실행 파일 포맷들의 분석을 기반으로 하여 임베디드 시스템을 위한 실행 파일 포맷인 EVM 파일 포맷(EFF)을 정의한다. 또한 제안한 EFF의 완전성을 증명하기 위하여, 기존에 널리 사용되고 있는 실행 파일인 클래스 파일을 이용해서 구조적으로 증명한다.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.12 no.4
• /
• pp.14-19
• /
• 1998

The purpose of our study is to develop tool kits which give us inexpensive simulation method. We develop a Programmable Logic Controller (PLC) program module with which we can edit and monitor PLC program, a virtual PLC (VPLC) system and simulation equipment. The PLC and simulation equipment are interlinked each other and controlled by the PLC program in real time. So, e can get effect as actural operation. Using our new tool kits we don't have to prepare PLC and machine, because we can configure PLC system and see the response of virtual machine n monitor. For validity of the developed program, we make experiments for the PLC program of elevator and automatic materials weighting system. The experimental results show that the virtual machine (VM) operates properly by the PLC control program.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.453-454
• /
• 2011

에너지 플랜트, 화학공장 등 대형 기계설비의 복잡도 증가는 그에 따른 위험요소 복잡도를 증가시키고 있다. 대형 기계설비에 대한 위험 관리와 시스템 신뢰도 향상을 위해서는 위험도 기반의 안전 설계/해석, 상태 감시 및 진단을 이용한 설비 모니터링, 인적 신뢰도 향상이 요구되며 설계 단계에서부터 운영 및 유지보수 단계까지의 시스템 생애주기 전반에 걸친 지속적인 활동을 필요로 한다. 인적 신뢰도를 향상시키기 위해서는 설비 운영자가 응급 또는 이상상황에 대처할 수 있는 능력 즉, 안전사고 대응 능력 확보가 필수적이다. 대상 설비에 대한 실제 훈련은 시간, 비용, 훈련자의 안전 확보가 어렵고 반복적인 훈련 및 평가가 어렵기 때문에 가상 환경을 이용한 안전대응 훈련 플랫폼을 설계하였다. 훈련자에게 몰입형 가상 환경을 제공하기 위하여 가상현실 및 안전사고 시뮬레이션 기술을 이용하였으며 이를 통하여 훈련자의 안전을 유지하면서 안전대응 능력을 향상시킬 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.436-438
• /
• 2000

다양한 실행 경로가 존재하는 실시간 시스템을 이해하기 위해 시스템의 정적 정보와 함께 동정 정보가 사용자에게 적절히 제공되어야 한다. 본 논문은 정적 정보와 동적 정보를 표현하기 위해 SRL(System Representation Language)을 사용한다. 정적 정보는 SRL 노드를 분석해서 얻고 동적 정보는 SRL을 실행함으로 얻는다. SRL의 가상 실행은 시스템 독립적인 자바 가상 기계를 통해 이루어진다. 가상 실행은 순방향뿐만 아니라 역방향으로도 이루어진다. SRL 실행 라이브러리는 순.역방향 실행을 위해 SRL 각 구문의 의미 규칙에 맞게 정의하며 자바 가상 기계를 통해 실행되는 클래스 파일로 컴파일된다. 메모리에 로딩된 SRL은 SRL 실행 라이브러리를 동적으로 호출하여 가상 실행을 이룬다. 동적 실행을 통해 추출된 동적 정보는 SRL에 포함된다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2020.07a
• /
• pp.329-330
• /
• 2020

본 논문에서는 Azure 클라우드 플랫폼의 가상서버 호스팅을 이용해 데이터 수집 환경을 구축하고, Azure에서 제공하는 자동화된 기계학습(Automated Machine Learning, AutoML)을 기반으로 데이터 분석 방법에 관한 연구를 수행했다. 가상 서버 호스팅 환경에 LAMP(Linux, Apache, MySQL, PHP)를 설치하여 데이터 수집환경을 구축했으며, 수집된 데이터를 Azure AutoML에 적용하여 자동화된 기계학습을 수행했다. Azure AutoML은 소모적이고 반복적인 기계학습 모델 개발을 자동화하는 프로세스로써 기계학습 솔루션 구현하는데 시간과 자원(Resource)를 절약할 수 있다. 특히, AutoML은 수집된 데이터를 분류와 회귀 및 예측하는데 있어서 학습점수(Training Score)를 기반으로 보유한 데이터에 가장 적합한 기계학습 모델의 순위를 제공한다. 이는 데이터 분석에 필요한 기계학습 모델을 개발하는데 있어서 개발 초기 단계부터 코드를 설계하지 않아도 되며, 전체 기계학습 시스템을 개발 및 구현하기 전에 모델의 구성과 시스템을 설계해볼 수 있기 때문에 매우 효율적으로 활용될 수 있다. 본 논문에서는 NPU(Neural Processing Unit) 학습에 필요한 데이터 수집 환경에 관한 연구를 수행했으며, Azure AutoML을 기반으로 데이터 분류와 회귀 등 가장 효율적인 알고리즘 선정에 관한 연구를 수행했다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.451-452
• /
• 2011

기계 설비의 예상하지 못한 사고 상황에 대한 대응력을 향상하고 그 피해를 최소화 하기 위해서는, 시설 운영자 또는 초기 대응자의 안전대응 훈련이 필수적이다. 가상현실 시뮬레이터 기술은 시뮬레이션 된 가상환경에서 이러한 훈련을 가능케 하며, 훈련 목적 달성을 위해 적절히 선정된 휴먼 인터페이스 장치 및 이를 시뮬레이터와 통합하기 위한 모듈의 개발이 필요하다. 본 연구에서는 간단한 안전 대응 훈련을 제공할 수 있도록 임무를 분류하고 이에 적합한 휴먼 인터페이스의 설계과정과 시스템 연동에 관한 초기 연구를 기술하였다.

• Journal of the KSME
• /
• v.41 no.10
• /
• pp.47-51
• /
• 2001