• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2006년도 춘계 종합학술대회 논문집
• /
• pp.507-511
• /
• 2006

본 논문에서는 RPG 게임에서 중요한 비중을 차지하는 퀘스트 엔진에 대해 트라비아 온라인 게임을 기준으로 구축한 사례에 대하여 살펴본다. 트라비아 퀘스트 엔진은 퀘스트의 클래스, 전제 조건, 수행 순서 등에 대해 효과적으로 명세할 수 있는 스크립트 언어를 정의하여 퀘스트를 모델링하고 수행할 수 있도록 지원한다. 본 연구에서 소개하는 퀘스트 시스템은 향후 유사 온라인 RPG 게임의 퀘스트 시스템을 제작할 시, 참고할 수 있는 하나의 가이드라인이 될 수 있다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권2호
• /
• pp.201-206
• /
• 2010

발전소와 임베디드 시스템, 지능형 빌딩과 같은 현대의 대부분의 시스템은 PLC 라는 특수목적 컴퓨터를 이용하여 자동제어된다. PLC 프로그래밍 언어 중에서 가장 많이 사용하는 것은 LD 프로그램이다. LD 프로그램의 검증은 시뮬레이션과 테스팅등을 통해 이루어지는데 이러한 방법은 프로그램 검증에 한계가 있다. 본 논문에는 LD 프로그램의 검증시 모델 체킹을 사용할 수 있도록 주어진 LD 프로그램을 모델 체커의 입력으로 자동으로 변환하는 방법을 기술한다. LD 프로그램과 SMV 모델의 의미구조를 정의 하고 이를 바탕으로 의미가 보존되는 변환 함수를 정형적으로 나타낸다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1997년도 춘계 학술대회 발표집
• /
• pp.23-28
• /
• 1997

We discuss development of a simulator for automated manufacturing systems (AMSs) which have sophisticated automated material handling equipments and complicated work flows. The simulator is designed to satisfy the following requirements. A user should be able to easily configure or specify an AMS through a graphical user interface (GUI) and minimal data input. The user should be able to model diverse and complied control logic for automated material handling systems like automated guided vehicle (AGV) systems, robot workcell systems and conveyor systems as well as complicated job flow program. Real time animation is desired. Finally, the simulator should be easily maintained and extended. To satisfy the requirements, we use an object-oriented paradigm for modeling, designing, and programming of the simulator. We use an object-oriented modeling framework to design the modeling elements library, and take the process interaction approach for scheduling processes and events. To model a user-defined diverse control logic, we also develop a script language and its interpreter. We explain design and implementation strategies. We implement the simulator using Visual C++ 4.2 and Open GL on Windows NT and the Windows95. Some modeling examples will be demonstrated.

• 항공우주시스템공학회지
• /
• 제12권1호
• /
• pp.17-26
• /
• 2018

다물체 동역학 기법을 이용하여 가변속 제어모멘트자이로와 인공위성의 상호작용하는 모델을 개발한 연구결과를 소개한다. 이 상호작용 모델을 이용하여, VCMG 모터의 사양 설계와 위성 구조물의 강도설계에 활용할 수 있는 데이터를 얻었다. 그리고 태양 전지판과 같은 유연 모듈의 상호작용 효과도 포함하였다. 위성의 기동에 의하여 유연 모드가 야기되고, 이 모드의 진동에 의하여 위성 자세에 변동이 가해진다. 모델리카 언어로 시뮬레이션 프로그램을 개발하고, 제시한 모델의 타당성을 검증하였다.

• 한국시뮬레이션학회논문지
• /
• 제21권1호
• /
• pp.55-68
• /
• 2012

최근 경제는 제조업에서 서비스업으로 이동하고 있기 때문에 서비스 공급사슬을 이해하는 것이 중요하다. 그러나, 공급사슬과 관련된 기존연구의 대부분은 제조업에 집중하고 있다. 이러한 상황을 극복하기 위해서, 서비스 공급사슬을 조사하고 분석할 필요가 있다. 시뮬레이션은 복잡한 시스템을 분석하고 설계하는데 가장 자주 사용되는 기법 중에 하나이다. 서비스 공급사슬은정교한 설계 단계가 필요한 복잡하고 거대한 시스템이다. 특히, 서비스 공급사슬의 성과를 예측하기 위해서 서비스 공급사슬을 구성하고 있는 구성요소 사이의 동적인 상호작용의 행위를 밀접하게 조사하는 것이 중요하다. 본 연구에서는 첫 번째로 서비스공급사슬의 개념적 모델이 개발된다. 다음으로 개발된 서비스 공급사슬의 개념적 모델에 대한 시뮬레이션 모델을 개발하기위한 새로운 절차를 제시한다. 시뮬레이션 모델링의 절차는 UML 분석과 설계 도구를 이용하며 ARENA 시뮬레이션 언어로 구현된다. 제안된 절차의 두 가지 주요한 특성은 서비스 공급사슬을 설계하는데 체계적인 절차의 정의와 또한 ARENA 시뮬레이션 언어로 개념적 모델의 변환에 대한 규칙을 제공한다. 본 연구의 결과는 서비스 공급사슬의 지식을 개선하는데 이용될 수 있으며, 또한 서비스 공급사슬 시뮬레이션 모델의 개발을 효율적으로 할 수 있도록 지원한다.

• 한국산학기술학회논문지
• /
• 제17권3호
• /
• pp.190-196
• /
• 2016

본 논문은 행사나 전시장 또는 길거리 공연이 가능한 휴머노이드(Humanoid) 로봇 공연 시스템을 제안한다. 본 공연 시스템의 공연 장치들은 모듈 구조로 이동이 쉽고 모듈별 독립 또는 협연이 가능하다. 로봇 공연 시스템은 개선 및 개작이 쉽도록 오픈 소스 기반의 하드웨어 및 소프트웨어로 개발한다. 로봇 공연 시스템에서 로봇, 디스플레이, 오디오, 비디오 및 개별 공연 장치를 제어하는 공연 제어 프로그램은 오픈 소스 언어인 프로세싱(Processing)으로 작성되며 로봇을 이용한 연주 장치와 무대 장치는 오픈 소스 하드웨어인 아두이노(Arduino)를 기반으로 제작된다. 로봇 공연 컨텐츠는 장면별로 이미지, 오디오, 컴퓨터 그래픽 및 비디오 영상 등으로 구성되며 이들을 실행하고 제어하는 로봇 공연 프로그램은 장면별로 로봇 및 공연 장치들과 동기화를 위해 통신한다. 또한 공연에서 주제 표현이 필요한 공연 소품은 3D 모델링 후 3D 프린팅으로 제작한다. 본 로봇 공연 시스템의 컨텐츠는 할로윈 축제를 주제로 구성하며 할로윈 날 전후로 전시장 또는 경연장과 같은 공공장소에서 공연된다.

• 정보관리학회지
• /
• 제24권3호
• /
• pp.119-147
• /
• 2007

시맨틱 웹 응용의 구현에 있어 가장 중요한 기술이 시맨틱 웹의 특징을 만족하는 웹 온톨로지의 구축임에도 불구하고, 대부분 웹 온톨로지의 구축에 적용된 기법들이 시맨틱 웹과 웹 온톨로지의 특징을 만족하지 못함에 따라 시맨틱 웹 응용의 발전과 보급이 미흡하다. 따라서 본 연구는 온톨로지와 웹 온톨로지 관련 연구들을 분석하여 시맨틱 웹을 위한 웹 온톨로지의 특징들을 파악하고, 기존 온톨로지 구축과 웹 온톨로지 구축을 위해 제안된 구축 기법들을 비교 분석하여 시맨틱 웹과 웹 온톨로지의 특징에 적합한 웹 온톨로지 구축 기법을 제안한다. 실험은 제안된 방법에 따라 서술 논리와 SWRL의 표현 방법을 이용한 공리 규칙을 기반으로 온톨로지를 모델링하여 추론 기반의 웹 온톨로지를 구축하였으며, 구축된 온톨로지의 검증을 위한 온톨로지 추론 실험을 통해 온톨로지 성능을 검증하였다. 구축된 웹 온톨로지를 기반으로 하는 시맨틱 웹 응용의 예로 지능형 이미지 검색 시스템을 실험 시스템으로 구현하였다. 실험 시스템의 성능 평가를 위해 비교 대상 시스템과의 검색 실험 결과, 실험 시스템이 재현율과 정확율에 있어 우수한 성능을 보여주었다.

• 정보처리학회논문지D
• /
• 제12D권7호
• /
• pp.1065-1070
• /
• 2005

최근 임베디드 시스템의 급격한 발전으로 인해, 임베디드 시스템의 활용 범 위와 복잡도는 증가하고 있지만 임베디드 시스템의 개발생산성과 품질은 그러한 현실에 부합하지 못하고 있다. 이것은 임베디드 시스템 개발 특히 소프트웨어의 개발에 있어서는 특정 하드웨어 환경에 종속적인 개발방식에 비롯된 것이며 임베디드 시스템의 개발생산성 및 품질을 향상시키기 위해서는 이러한 개발방식에 대한 개선이 시급하다. 이러한 개발방식의 개선을 위한 기존 연구들에서는 별도의 인터페이스 명세언어나 복잡한 템플릿을 이용하여 디바이스 드라이버를 자동으로 생성하도록 하고 있지만 명세기법의 높은 복잡도나 부족한 유연성으로 인해 실제로 적용하기에는 많은 노력이 필요하다. 이에 따라 본 논문에서는 재사용 가능한 디바이스 드라이버 개발을 위해 가벼운 템플릿을 정의하고 모델링 측면을 감안하여 XML로 표현되는 하드웨어 정보를 결합하여 디바이스 드라이버를 생성하는 방안을 제시한다. 이것은 개발자가 손쉽고 적용 가능한 템플릿으로 디바이스 드라이버를 정의하고, XML로 명세된 특정 하드웨어 정보를 결합하여 실제 드라이버를 생성함으로써 높은 개발생산성을 보장하며 발전적으로 설계 단계에서의 검증을 통한 품질향상도 기대할 수 있다.

• 한국정보과학회논문지:시스템및이론
• /
• 제35권9_10호
• /
• pp.485-496
• /
• 2008

SoC(System-on-Chip)를 설계함에 있어서 칩의 복잡도 증가로 인하여, RTL(Register Transfer Level)에 기반한 기존의 시스템 성능 분석 및 검증 기법만으로는 점차 짧아지는 '시장 적기 출하(time-to-market)' 요구에 효율적으로 대응할 수 없게 되었다. 이를 극복하기 위하여 설계 포기 단계부터 지속적으로 시스템을 검증하기 위한 새로운 설계 방법이 요구되었으며, TLM(Transaction Level Modeling) 추상화 수준을 가진 하드웨어-소프트웨어(HW-SW) 통합 시뮬레이션이 이러한 문제를 해결하기 위한 방법으로 널리 연구되고 있다. 그러나 대부분의 HW-SW 통합 시뮬레이터들은 다양한 추상화 수준 중 일부만을 지원하고 있으며, 서로 다른 추상화 수준을 지원하는 툴들 간의 연계도 쉽지 않다. 이를 극복하기 위하여 본 논문에서는 HW-SW 통합 시뮬레이션을 위한 다목적 선계 프레임워크를 제안한다. 제안하는 프레임워크는 소프트웨어 응용의 설계를 포함하는 체계적인 SoC 설계 플로우를 제공하며, 각 설계 단계에서 다양한 기법들을 유연하게 적용할 수 있는 동시에, 다양한 HW-SW 통합 시뮬레이터들을 지원한다. 또한 플랫폼을 추상화 수준과 모델링 언어에 독립적으로 설계할 수 있어, 다양한 수준의 시뮬레이션 모델 생성이 가능하다. 본 논문에서는 실험을 통하여, 제안하는 프레임워크가 ARM9 기반의 강용 SoC 플랫폼을 정확하게 모델링 할 수 있는 동시에, MJPEG 예제의 성능을 44%까지 향상시키는 성능 최적화를 수행할 수 있음을 검증하였다.

• 정보처리학회논문지D
• /
• 제15D권2호
• /
• pp.187-196
• /
• 2008

새로운 패러다임의 시스템 개발 접근 방법은 OMG(Object Management Group)에서 MDA(Model Driven Architecture)로 표준화하고 있다. MDA의 핵심 기술은 모델 중심의 시스템 구현을 위한 기술 구조를 정의하는 것으로 시스템의 설계 및 명세에 대한 구현 기술을 플랫폼 독립적 모델(PIM : Platform Independent Model)로 설계한 후, 구현 환경에 적합한 플랫폼 종속적 모델(PSM : Platform Specific Model)로 설계하여 구현환경에 맞는 언어로 변환하는 기술이다. MDA의 핵심인 MOF(Meta-Object Facility), UML, XMI(XML Metadata Interchange), CWM(Common Warehouse Metamodel) 표준 등이 포함된다. MDA 지원 자동화 툴들은 위의 정보들을 갖고 변환 작업을 수행한 후 실행 가능한 시스템으로 생산해 내는 것이다.[1] 본 논문에서는 MDA기반 접근 방법을 적용하여 학사관리 시스템을 설계 및 구현하고, MDA기반 접근 방법에 대한 모델링의 중요성을 강조하였다. 또한 소프트웨어를 효율적으로 개발하는 방법을 제시하여 플랫폼 독립적 모델(PIM)로 작성하고, 플랫폼 종속적 모델(PSM)을 J2EE 플랫폼 기반의 EJB(Enterprise Java Beans)로 변환하는 과정 등을 제시하였다. MDA를 지원하는 자동화 툴 및 편집기(Together Architect 2006 for Eclipse, Edit plus 2)와 데이터베이스 모델링 툴(ER/WIN 4.1)을 사용하여 시스템 설계 및 구현을 하였으며, 전통적 개발 프로세스와 MDA 기반 개발 프로세스에 대한 유효성 분석 결과를 제시하였다.