• 정보과학회 논문지
• /
• 제42권1호
• /
• pp.44-53
• /
• 2015

제어 흐름 정보는 프로그램이 실행되는 구조를 담고 있어 소프트웨어를 분석할 때 기준이 되고 소프트웨어를 서로 비교할 때에도 유용하게 쓰인다. 가상화를 이용한 난독화는 실제 기계의 명령을 구조가 숨겨진 가상 기계의 명령으로 바꾸어 프로그램의 제어 흐름 정보를 감춘다. 난독화가 적용된 바이너리에서는 가상 기계의 명령을 실행하는 인터프리터의 구조만 직접 드러난다. 이 논문에서는 가상화로 난독화된 바이너리를 실행해서 수행되는 명령들을 기록한 트레이스를 이용해 숨겨져 있는 프로그램의 본질적인 제어 흐름을 다시 만들어내는 방법을 제안한다. 트레이스를 기계 명령으로 이루어진 문자열로 보고 생성되는 트레이스들을 모두 받아들일 수 있는 오토마톤을 찾은 다음, 해당되는 제어 흐름 그래프를 만든다. 기계 명령의 수행은 오토마톤의 상태 전이에 대응하며, 이는 제어 흐름 그래프의 간선에 대응한다. 제안한 방법을 상용 가상화 도구로 난독화된 바이너리에 적용해 보았으며, 원본 바이너리와 유사한 제어 흐름 그래프가 생성되는 것을 확인하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 춘계 학술대회 논문집
• /
• pp.88-95
• /
• 2001

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

• 한국멀티미디어학회지
• /
• 제6권2호
• /
• pp.36-44
• /
• 2002

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (B)
• /
• pp.844-846
• /
• 2004

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

• 조명전기설비학회논문지
• /
• 제12권4호
• /
• pp.14-19
• /
• 1998

본 연구의 목적은 저가의 시율레이션용 툴을 개별하는데 있다. 따라서 PLC 프로그랩을 편집하고 모니터할 수 있는 PLC 프로그랩 모듈과, 가상 PLC 시스템과 시뮬레이션 장비를 개발하였다. PLC 모듈과 시뮬레이션 장비는 상호간 링크가 되어 있어서 PLC 프로그랩에 의하여 실시간으로 제어가 가능하고, 마치 실제 설비가 동작이 되는 것과 같은 효과를 얻을 수 있다. 제안한 새로운 툴을 이용하면 모니터상에서 PLC 시스템을 구성하고 가상기계의 응답을 볼 수 있기 때문에 PLC와 기계를 준비할 필요가 없다. 개발된 프로그랭의 타당성올 증명하기 위하여 엘리베이터와 자동 원료 계량 시스템의 PLC 프로그램올 대상으로 실험을 행하였다. 실험결과 개발한 PLC 에율레 이터에 의해 PLC 프로그램 작성 및 가상기계 동작을 통한 PLC프로그램 검증과정이 원할이 이루질 수 있음올 확인하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.453-454
• /
• 2011

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.436-438
• /
• 2000

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

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2020년도 제62차 하계학술대회논문집 28권2호
• /
• 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을 기반으로 데이터 분류와 회귀 등 가장 효율적인 알고리즘 선정에 관한 연구를 수행했다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2011년도 추계학술발표대회
• /
• pp.451-452
• /
• 2011

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

• 기계저널
• /
• 제41권10호
• /
• pp.47-51
• /
• 2001