• Proceedings of the Korea Information Processing Society Conference
• /
• 2021.11a
• /
• pp.32-35
• /
• 2021

단일 가상화 서비스 플랫폼은 메모리 및 컴퓨팅 집약적 워크로드를 수행하기 위한 고성능 시스템 환경의 신속한 구축을 지원하는 클라우드 기반의 소프트웨어 정의 서버를 위한 핵심 기술이다. 본 연구는 다수의 물리 노드를 통합하여 하나의 고성능 단일가상서버로 구성하기 위해 개발된 HCC 단일 가상화 서비스 플랫폼에서 대용량 데이터 처리 및 대규모 연산이 필요한 NGS 기반 농생명유전체 조립 프로그램과 이상 기상의 탐지 분석을 위한 GOES 위성자료 전처리 프로그램을 시험하여 활용 적합성을 검증하였다.

• CDE review
• /
• v.5 no.1
• /
• pp.14-23
• /
• 1999

• Journal of Digital Convergence
• /
• v.11 no.4
• /
• pp.273-278
• /
• 2013

This paper simulated the virtual constructions design that helps make constructions design effectively done by assembling materials as components and patterns using studs in steel house method. We also propose the virtual constructions design technology which makes change of constructing easy and reduces the cost effectively through a simulation of construction design like design, analysis, change information, and assembly in the construction field. It especially is possible for designers and users to change internal and external of a construction easily by using patterns.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2004.04a
• /
• pp.304-309
• /
• 2004

As it is difficult to construct a micro-fluidic system composed of micro-mixers, micro-channels and/or micro-chambers in a single process, an assembly process is typically used. The assembling and bonding of micro-parts, however, introduces other problems. In this work, a virtual assembly process was developed that can be used to design various micro-fluidic systems before actual fabrication commences. In the process, the information required for the micro-stereolithography process is generated automatically. Consequently, complex micro-fluidic systems can be fabricated in a single process, thereby avoiding the need for additional assembly or bonding processes. Using the developed process, several examples were fabricated.

• Journal of the Korea Society for Simulation
• /
• v.19 no.2
• /
• pp.9-16
• /
• 2010

This study presents a system for validating the PLC code in the virtual environments of automobile trim line. There have been considerable efforts to develop standard PLC editors for saving human power and PLC test time. However, it was difficult to apply the PLC editor on a real shop floor environment. A virtual equipment was developed to communicate with the PLC module of a shop floor and to make up the connectivity environment by a special protocol. We can validate the code without launching real equipments because the PLC module and the virtual equipment is able to be controlled in real time by the OPC protocol. An experimental model is applied to the final assembly line of an automotive industry and validated by using DELMIA Automation. In conclusion, the system is valuable in the process of PLC codes validation and virtual equipments operation. This system would reduce the development time of the PLC codes and improve the productivity and the integrity of the PLC codes.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2003.05a
• /
• pp.401.1-401.1
• /
• 2003

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.5-8
• /
• 2011

본 논문은 가상목업의 정비성 시뮬레이션을 위한 통합 아키텍쳐를 제안한다. 통합 아키텍쳐는 3계층 구조로 가상휴먼 에이전트 계층, 가상환경 물리모의 계층, 다중 에이전트 협업제어 계층으로 구성된다. 이를 통해, 제품 설계 단계와 병행하여 제품의 조립, 분해, 설치, 제거 등의 정비 절차를 모의하여 정비성 설계 오류를 도출 할 수 있다. 또한 정비 작업에 소요되는 자원, 인시 수를 분석하고 정비 절차를 가상현실에서 검증함으로써 기술 교범을 생산할 수 있다. 제안한 통합 아키텍쳐는 국방과학연구소의 가상목업 정비성 시뮬레이션 시스템(ViMMS)으로 구현하였다. 본 시뮬레이션 시스템은 항공무기체계의 정비성 분석, 평가, 기술교범의 저작 및 정비 훈련 시뮬레이터로 활용할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2075-2078
• /
• 2002

최근 이동내장형 시스템 기술이 차세대 정보통신 산업의 주력으로 급부상함에 따라 다양한 이기종 제품간의 호환성과 이식성 제공의 핵심 역할을 수행하는 자바가상머신(Java Virtual Machine)이 주목받고 있다. 가상머신을 컴포넌트 기반 소프트웨어 기술을 사용하여 구축한다면, 재사용과 재구성이 용이해 저렴하고 신뢰성 있는 가상머신 개발이 가능해진다. 이러한 이유로 인하여, 컴포넌트기반 내장형 실시간 시스템을 효과적이고 체계적으로 개발하고 검증하기 위한 개발 툴셋의 중요성도 동시에 증대되고 있다. 따라서 본 논문에서는 PBO(Port-Based Object) 모델을 확장하여 자바가상머신 컴포넌트들을 툴셋에서 제공하는 구성 툴에 의해 조립과 검사를 수행하며, 빠르게 재사용성과 신뢰성을 지원하는 자바가상머신을 개발할 수 있는 환경를 제안한다.

• The Journal of the Petrological Society of Korea
• /
• v.15 no.1 s.43
• /
• pp.10-24
• /
• 2006

Staurolite grains in staurolite, kyanite and sillimanite zones occurred in the Littleton Formation, Northcentral Massachusetts have interpreted to form by Barrovian-type metamorphism during Acadian orogeny. However, various occurrence of staurolite in the three zones, (a) porphyroblast, (b) randomly oriented and coarse-grained muscovite pseudomorph after staurolite, (c) recrystallized staurolite at the margin of garnet porphyroblast and within the pseudomorph, indicates that they have resulted from polymetamorphism. Staurolite in these three metamorphic zones can be formed by demise of chlorite or chloritoid that depends on difference of bulk-rock compositions and changes of P-T conditions. Staurolite modal proportion calculated in MnNCKFHASH system using THERMOCALC program reveals that staurolite could have grown with garnet with increasing pressure and temperature, if it coexist with chlorite. After demise of chlorite and appearance of biotite, staurolite mode decrease with increasing pressure and temperature. Therefore, based on the previous P-T paths for the Acadian metamorhism, staurolite porphyroblast grew with garnet during 400-370 Ma. Randomly oriented and coarse-grained muscovite pseudomorphs after staurolite probably have grown due to heating with appearance of kyanite and sillimanite. Consequently, pseudomorphisrn of staurolite occurred by heating derived from locally intense Alleghanian shearing (ca. 320-300 Ma) overprinted the Acadian metamorphism. Recrystallized fine-grained staurolite in sillimanite zone observed between the grain boundaries of muscovite in the pseudomorphs and at the edge of garnet porphyrobasts has formed during decreasing temperature and pressure (ca. 300-280 Ma) after peak temperature (ca. $700^{\circ}C$) of the Allegllanian metamorphism.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 1999.03a
• /
• pp.217-225
• /
• 1999

협상은 상거래에 있어서 매우 중요한 요소 중 하나이다. 현재의 웹 기반 전자상거래 시스템은 이러한 중요한 협상 구조를 상거래에 잘 반영하지 못하는 문제점을 가지고 있다. 이러한 문제점중 기업과 소비자간의 미비한 협상 구조를 보안하기 위해 실세계 상거래에서 존재하는 점원을 전자상거래상의 가상점원으로 모델링하여 회사의 정책과 구매자의 특성을 반영하여 구매자와 전략적으로 자동 협상을 수행할 수 있는 에이전트의 구조를 설계하고 표현하고, 그 제안에 대한 평가 내용과 결정사항을 전달할 수 있는 언어적인 구조가 필요하며, 협상의 대상이 되는 사안들의 특성을 반영할 수 있는 표현 구조도 요구된다. 또한 이러한 협상에서 전략을 세우고 알맞은 제안을 제시하며 상대의 제안에 대하여 전략적으로 반응할 수 있는 의사결정 모델이 요구된다. 본 논문에서는 회사의 정책 모델과 구매자의 모델을 정의하고 이를 이용한 협상 모델을 설계 구현하였다. 협상 구조의 모델링을 위해 KQML(Knowledge Query Manipulation Language)을 기반으로 전자상거래 프로토콜로 설계하고, 논쟁 기반 협상 모델을 기초로 협상언어를 설계하였다. 또한 협상에서의 전략적인 의사결정을 위해 게임이론을 이용하고, 규칙 기반 시스템으로 이를 보충하였다. 마지막으로 가상점원 모델을 바탕으로 조립 컴퓨터 판매를 위한 가상점원으로 구현하였고, 이에 대한 실험을 통하여 가상점원의 유용성을 보였다.