한국시뮬레이션학회:학술대회논문집 (Proceedings of the Korea Society for Simulation Conference) (Proceedings of the Korea Society for Simulation Conference)
한국시뮬레이션학회 (The Korea Society for Simulation)
- 반년간
과학기술표준분류
- 문화/예술/체육 > 디자인 일반
한국시뮬레이션학회 2002년도 춘계학술대회논문집
-
Yaw-checking and course-keeping ability in IMO's ship manoeuvrability standards is reviewed from the viewpoint of safe operation. Three types of assumed series-ships, which have systematically different instability on course, are taken as tested models. The numerical simulation on Z-test is carried out in order to examine the correlation between known manoeuvrability and various kinds of overshoot angle. Then simulator experiments are executed with series-ships in situation of curved, narrow of waterway by five pilots in order to examine the correlation between known manoeuvrability and degree of manoeuvring difficulty. Three kinds of IMO's criterion concerning yaw-checking and course-keeping ability are discussed and new criteria are proposed.
-
Bulkiness and complexity of a ship structure make it impossible to examine the process of shipbuilding with a prototype in advance. The simulation provides a possibility that the shipbuilding process can be checked and optimized in the virtual world. The realization of the simulated result in the real world gives the higher quality and productivity in shipbuilding. For the effective simulation, the shipbuilding process was analyzed on the viewpoint of the object-oriented methodology and modeled by using the UML. The implementation of simulation was done with the excellent simulation tools, CATIA and DELMIA. The result of this research showed the way to the optimization of process and the improvement of productivity in shipbuilding.
-
Most of marine casualties are caused by not only wrong operation of equipments but also lack of knowledge about navigational equipments or systems. But we can say these casualties result from lack of ship handling skill or lack of situational awareness. This study aims to investigate the recent status of SHS and suggest several recommendations such as teaching skills, evaluation skill, etc. to make more efficient crew training with SHS (ship handling simulator).
-
In accordance with the development plans of Ulsan harbor, Ulsan new harbor will be contructed considering supporting Ulsan harbor as a safe berthing and departure at single buoy mooring(SBM). In this study, we used a full-mission ship handling simulator adopting 300,000 DWT VLCC manoeuvered at the planned Ulsan SBM. Five masters who have had a long experience of ship maneuvering were called to carry out the simulations, of which each scenario were tried one, completed total of 68 times. The marine traffic safety was assessed in terms of 1) the closest point of approach(CPA) to other SBM and breakwater in the vicinity and the probability of crossing the restricted area of the closest SBM and fairway limit, 2) subjective evaluation such as the mental burden and the maneuvering difficulty of shiphanders, and 3) the opinions of shiphandlers. From the result of this simulation, we have a conclusion as follows; First, because crude oil berthing angle is so small by current S-OiL Co. crude oil buoy by SK Co. No 3 crude oil buoy different view SK Co. No 3 crude oil buoy and interference of current KNOC crude oil buoy, Berthing is impossible, and Emergency departing is very dangerous too operation impossible. Second it is desirable that SK Co. No 2 and No 3 Single buoy Mooring that do different view controls position so that to be not put in straight line each other. Third, SK Co. No 1 and 2 single buoy mooring that do different view to Onsanhang berthing and departing is seized by single buoy mooring by external force ship that set sail does faith control need.
-
This paper deals with the development of simulation model for the container terminal consisting of 3 berths, 8 container cranes, 16 yard blocks with each yard cranes and 90 yard trucks in order to evaluate the various operational rules. The proposed operational rules are 3 ship dispatching rules, 3 berth allocation rules, 2 crane allocation rules, 2 yard allocation rules and 2 yard truck allocation rules and 4 performance measures like ship time in the terminal, ship time in the port, the number of ships processed and the number of containers handled are considered. The simulation result are as follows. 1) no difference among 3 ship dispatching rules, 2) berth allocation rules depends on performance measures 3) dynamic crane allocation is better than fixed policy 4) pooling yard allocation is better than short distance yard allocation rules and 5) fixed yard truck allocation by berth is a little better than pooling policy.
-
본 연구는 첨단 신호 시스템 알고리즘의 최적해를 구하는 문제를 기호적 시뮬레이션 기법으로 해결하기 위한 방법론을 제시한다. 최근 지능형 교통 시스템의 일환으로 최적화 된 교통신호를 생성하기 위한 신호제어기법들이 많이 개발되었다. 하지만 이러한 신호제어기법은 복잡한 교통환경에서 신호제어 변수간의 다양한 상호작용의 모든 해를 제공할 수 없는 한계를 지닌다. 한편 기호적 시뮬레이션 기법은 발생 가능한 모든 사건과 시간관계를 자동 생성시킴으로써 동적으로 변화하는 다양한 교통환경에 대해서 신호제어 변수간의 모든 시간관계를 추론해 낼 수 있는 장점을 지닌다. 하지만 기호적 시뮬레이션을 이용한 모델링에 있어서 교통량과 같은 양적인 요소들의 기호적 표현에는 어려움이 따른다. 따라서 본 논문에서는 교통량과 같은 양적인 요소들을 시간에 따른 변화량으로 해석하여 첨단 신호 시스템 알고리즘의 최적해를 구하는 문제에 접근한다. 이를 위해 국내 첨단 신호 시스템을 대상으로 신호제어 전략에 필요한 양적 요소를 검토하고, 이러한 양적 요소를 시간에 따른 변화량으로 해석하여 모델링 하고, 기호적 시뮬레이션 실험을 수행하여 최적신호 제어 알고리즘을 생성한다.
-
본 연구는 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 가상전장 모델링 및 시뮬레이션 방법론을 제안한다. 기존 군체계에 관련된 모델링 기술은 물리적 모델링, 비쥬얼 모델링, 또는 개념적 모델링 등 개별 기능중심의 단편적 플랫폼 모델링에 그치고 있으며, 무기체계 분석 시뮬레이션도 개별 단위체 중심으로 평가되어져서, 다양하고 종합적인 그리고 상호운영성과 재사용성 등을 고려한 통합 모델링 및 시뮬레이션 환경을 제공하지 못하는 단점을 갖는다. 따라서 본 논문에서는 개별 전투병력에서부터 첨단 무기체계에 이르는 다양한 전장 요소들을 계층 구조적으로 통합함으로써 전장에서 발생될 수 있는 개별 전투병력의 미시적 행동 특성뿐 아니라 분대/중대/대대/사단급 단위의 거시적 전략/전술에 대한 묘사까지도 가능한 가상전장 모델링 및 시뮬레이션 환경을 제안한다. 제안된 방법론은 분대 단위의 가상전장 환경에 대한 사례연구를 통해 검증하였으며, 향후 연구로는 대단위 가상전장에 대한 묘사를 위한 HLA 분산 시뮬레이션 기술의 적용에 대한 연구가 필요할 것이다.
-
These days, in order to satisfy the complex and various demands of the customers, the telecommunication networks must provide rapid and flexible services, with the support of efficient service and network management systems. To satisfy these requirements, many objects for management have been released to manage network services and elements. But there are no efficient ways to manage these newly managed objects in object-oriented software. Therefore, we study several problems, when a subsystem using object-oriented technique is implemented. The first problem is that interface works between realized application programs using its technique. The second problem is that reusability of internal managed objects is difficult. In this paper, we will point out some problems and to solve these problems, we have proposed the Object Management System (OMS) architecture, which supports a transparent interface between object-oriented applications and the distributed data repositories. Also in order to manage efficient business objects stored in the different repositories, we suggest a method for integrating dynamic information resources in heterogeneous and distributed network environments. Finally, we applied OMS to TINA(Telecommunication Information Network Architecture) domain, implemented OMS, and verified it with SMV(Symbolic Model Verifier) which is model checking technology.
-
본 논문에서는 many-to-many IP 멀티캐스팅을 위한 효율적인 BCT(Backbone Core Tree)생성 알고리즘의 시뮬레이션 방법에 대하여 제안한다. BCT는 기법은 CBT(Core Based Tree)에 기반을 두고 있다. CBT는 공유 트리를 이용하여 멀티캐스트 자료를 전달하기 때문에 Source based Tree에 비하여 각 라우터가 유지해야 하는 상태 정보의 양에 적고, 적용하기 간단하지만, Core 라우터 선택의 어려움과 트래픽이 Core로 집중되는 문제점을 가지고 있다. 이에 대한 보완책으로 BCT기법이 제안되었는데, 본 논문에서는 주어진 네트워크 위상 그래프에서 최소신장 트리를 만들고, 센트로이드(Centroid)를 이용하여 효율적인 BCT를 생성하는 알고리즘을 제안하고 시뮬레이션 방법을 제시한다.
-
UML(Unified Modeling Language)은 소프트웨어 설계뿐만 아니라 네트워크 상에서의 데이터 전송, 가상데이터를 이용한 물리현상, 회로 분석 및 설계 등 다양한 형태의 시뮬레이션에서도 사용되고 있는 모델링 언어이다. 이러한 UML로 개발된 소프트웨어 설계 모델이나 시뮬레이션 모델들을 효율적으로 저장하고 관리할 수 있는 통합 시스템의 필요성이 제기되고 있다. 이를 위하여 본 논문에서는 UML 모델들의 저장과 관리의 효율성을 높이기 위해서 저장하부 구조를 데이터베이스화할 수 있는 방법을 제안한다. 제안한 방법을 적용한 시스템은 UML 모델들을 다수의 사용자들이 서로 공유할 수 있으며 모델의 재사용성을 높이고 모델 정보의 효율적인 검색을 지원할 것이다.
-
본 논문은 RAID 시스템의 몇 가지 구성에 대해 시뮬레이션을 통해 그 성능을 분석한다. 대용량의 RAID를 구성하기 위해서는 다수의 디스크가 필요한데 반해, 하나의 PCI의 버스에 연결될 수 있는 장치의 개수 제한되어 있어 이 경우 확장 PCI 버스가 필요하다. 본 논문에서는 RAID 시스템의 하드웨어 구조, 특히 각 구성요소를 연결하는 PCI버스의 부하에 초점을 맞춘다. 버스 트랜잭션을 세 가지로 분류하고, 각각의 경우를 분석하고 평가한다. 이 분석으로부터 RAID 시스템의 두 가지 구조에 대해 성능을 계산하고 시뮬레이션 한 결과를 비교한다.
-
무선 네트워크의 폭발적인 증가와 함께 이동 통신 기기의 발전은 기존의 유선 일변도의 사용방식을 무선환경으로 급속히 확장, 이전시키고 있다. 무선 환경의 발전에 따라 모바일 데이터베이스 사용의 필요성은 급격히 증대되고 있으며 이에 따른 많은 문제점도 발생하고 있다. 이러한 문제점을 해결하기 위해서 제안된 모바일 데이터베이스 관리 시스템의 효율성 측정과 그룹화를 위한 기초 자료 획득을 목적으로 시뮬레이션을 실시한다. 시뮬레이션의 도메인이 되는 시스템의 4가지 기본 환경을 분석하여 비교 요소를 획득하고 각 환경에서의 결과를 구현된 모바일 그룹핑 서버에 적응 시켜서 시뮬레이션 결과를 구현물의 입력자료로 사용하는 통합 시스템을 구축하였다.
-
최근 개발되고 있는 원자력발전소용 OTS(Operator Training Simulator) 개발은 설계 및 해석에 사용되었던 여러 가지 코드(시뮬레이션 소프트웨어)를 수정 보완하여 이들을 상호 통합하는 방식으로 수행되는 경향을 보이고 있다. 기존에 개발되었거나 현재 운영중인 대부분의 OTS는 단일의 고성능 컴퓨터 환경에 의존하므로 발전소 설계와 해석에 사용하였던 서로 다른 코드를 상호 통합하여 사용하기에는 어려움이 많았다. 그러나, 최근에는 컴퓨터의 성능과 네트워크 기술이 비약적으로 발전하여 서로 다른 속성을 갖는 시뮬레이션 소프트웨어를 각각 서로 다른 컴퓨터에 적재 실행시키고 네트워크를 통하여 연동시키는 것이 가능해졌다. 본 연구는 원자력발전소 설계와 해석에 사용하고 있는 시뮬레이션 소프트웨어(노심 모사코드, 열 수력 모사코드, 구조물 모사코드), 인간기계연계(Man Machine Interface) 소프트웨어, 각 모사 소프트웨어간의 통신과 실행을 제어하는 강사 소프트웨어를 분산된 컴퓨터 환경에서 실행시키는 OTS를 개발하였다. 본 연구를 수행함에 있어서 서로 속성이 다른 소프트웨어 모듈을 하나로 통합하는 작업이 가장 부담스러웠다. 따라서, 서로 다른 소프트웨어 모듈을 통합하기 위한 요건을 개발초기에 설정하고, 이 요건을 모든 소프트웨어 개발조직이 준수하도록 하였다. 본 논문에서는 OTS를 구성하는 이질적인 소프트웨어 모듈의 기능과 특징, 이들을 통합하기 위한 요건을 설명한다. 또한 각 요건이 OTS 개발공정에서 어떻게 적용되고 사용되었는지를 살펴본다.
-
본 연구는 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 가상전장 모델링 및 시뮬레이션 방법론을 제안한다. 기존 군체계에 관련된 모델링 기술은 물리적 모델링, 비쥬얼 모델링, 또는 개념적 모델링 등 개별 기능중심의 단편적 플랫폼 모델링에 그치고 있으며, 무기체계 분석 시뮬레이션도 개별 단위체 중심으로 평가되어져서, 다양하고 종합적인 그리고 상호운영성과 재사용성 등을 고려한 통합 모델링 및 시뮬레이션 환경을 제공하지 못하는 단점을 갖는다. 따라서 본 논문에서는 개별 전투병력에서부터 첨단 무기체계에 이르는 다양한 전장 요소들을 계층 구조적으로 통합함으로써 장에서 발생될 수 있는 개별 전투병력의 미시적 행동 특성뿐 아니라 분대/중대/대대/사단급 단위의 거시적 전략/전술에 대한 묘사까지도 가능한 가상전장 모델링 및 시뮬레이션 환경을 제안한다. 제안된 방법론은 분대 단위의 가상 전장 환경에 대한 사례연구를 통해 검증하였으며, 향후 연구로는 대단위 가상전장에 대한 묘사를 위한 HLA 분산 시뮬레이션 기술의 적용에 대한 연구가 필요할 것이다.
-
현재 게임시장에서는 사용자가 직접 게임을 체험하는 체감형 게임기가 활발히 개발되고 있다. 대다수의 제품들은 운동을 재현하기 위하여 6개의 축으로 이루어진 Stewart 형의 모션 플랫폼을 사용하고 있다. 본 연구개발에서 시도되고 있는 게임기는 모션이 가미된 콘솔형 아케이드 시뮬레이션 게임기에 해당되는데, 인간의 감성인자중 운동감성에 바탕을 둔 운동 재현을 고려하여 워시아웃(Washout) 알고리즘을 적용하였고, 일반적으로 6개의 축으로 구현하는 운동 자유도를 짐발(Gimbal)형으로 재현하고자 하였다. 또한 실시간 스케줄러와 H/W 입출력 및 통신 드라이버에 대한 개발을 수행하였으며, 게임용 실시간 시뮬레이션에 적합한 정확도와 실시간성을 유지하도록 롤러코스터 상에서 이루어지는 차량운동이 모델링 되었다. 특히, 연구사례를 찾기 어려운 짐발형 운동판에 대한 워시아웃 필터를 시뮬레이터 탑승자의 감성공학적 특성을 반영할 수 있도록 설계하였다.
-
PC 및 게임 소프트웨어의 급격한 발달로 가상현실 구현에 필요한 그래픽 환경은 성숙단계에 진입하였다. 현재 국내에서 개발되는 게임 소프트웨어는 PC사용자를 겨냥한 제품이 대부분이다. 토요일 휴무제의 도입에 따른 문화 콘텐츠 시장의 확대, 가족이 즐길 수 있는 테마 공원의 성장성 등을 고려할 때 기존의 PC 게임과 차별화 되는 운동감을 포함한 가상현실 게임 제품의 개발이 요망된다. 잘 알려진 6자유도 운동 시뮬레이션 방식인 Stewart 방식은 구현 가격이 고가이고 운동범위가 작아 게임용으로 상용화하기 어렵다. 본 연구에서는 2대의 AC 서보모터를 이용하여 roll과 pitch의 2자유도만 구현하나, 각 축으로 자유로운 회전이 가능하여 탑승자의 스릴감을 향상시킬 수 있는 저가형 운동의자를 개발하였다. 2 자유도로 회전하는 외부와 차단된 캐빈 내부에는 40인치 스크린과 프로젝터가 설치되어 롤러코스터 게임의 몰입감을 향상시켰다. 롤러코스터 가상현실을 대상으로 운동감을 극대화하기 위한 워시아웃 (washout) 필터의 설계 알고리즘이 제시된다. 탑승자들의 감성 평가를 객관화하기 위한 데이터 베이스 구축방안이 서술된다
-
부대기동 및 실사격을 적용한 군사훈련이 가장 사실적이며 현실감이 있지만, 부대기동에 따른 교통체증 유발과 실사격 훈련에 대한 민원 증가로 인하여 실기동에 의한 군사훈련을 실시하기에는 많은 어려움이 있다. 그러므로 실사격 훈련의 제한 및 통제형 선형훈련으로 인하여 현장감이 저하되고 학습효과가 상대적으로 떨어지게 되는 단점을 극복하기 위하여, 미국, 영국, 독일, 프랑스 등 군사선진국들은 실전적 훈련묘사 및 정밀 훈련분석이 가능한 과학화 전투훈련장을 구축하여 군사훈련의 성과를 높이고 있다. 국내에서도 육군 과학화 전투훈련장(KCTC) 구축사업이 현재 진행중에 있다. 과학화 전투훈련은 일반적으로 마일즈 장비와 시뮬레이션을 사용하여, 지휘/통제/통신 및 기동, 전투근무 지원에 이르는 군사훈련 전과정을 모의하며, 직/곡사화기 교전, 화학 및 지뢰지대 운용, 항공지원 등 전투과정을 재현함으로써 훈련에 참여하는 지휘관과 병사로 하여금 현장감 있는 전투훈련을 유도한다. 이러한 과학화 전투훈련이 실제 훈련과 동일한 훈련효과를 창출하기 위해서는, 신뢰성 있는 교전 피해평가가 필요하다. 예를 들어, 곡사화기에 의한 살상범위, 피해정도 등이 실무부대 전투결과들과 큰 차이가 발생하면 소기의 훈련목적을 달성할 수 없다. 본 고는 과학화 전투훈련장의 전투피해평가 자료체계에 대한 객관적이고 신뢰성 있는 자료검증방법을 제시하여, 향후 과학화 전투훈련의 신뢰성 제고에 기여하고자 한다.
-
실시간 운영체제(Real-Time Operating System: 이하 RTOS라 함) 개발환경에서 제공하는 도구 중에 하나인 RTOS 시뮬레이터는 타겟 하드웨어가 호스트에 연결되어 있지 않아도 호스트에서 응용프로그램의 개발과 디버깅을 가능하게 해주는 타겟 시뮬레이션 환경을 제공해 줌으로서, 개발자로 하여금 빠른 시간 내에 응용프로그램을 개발할 수 있도록 지원하며 하드웨어 개발이 완료되기 전에도 응용프로그램을 개발할 수 있게 해 준다. 그러한 이유로 현재 대부분의 상용 RTOS 개발환경에서는 RTOS 시뮬레이터를 제공하고 있다. 그러나 현재 상용 RTOS 시뮬레이터들은 대부분 RTOS의 기능적인 부분들만 호스트에서 동작하도록 구현되어 있어서 RTOS나 RTOS 응용프로그램이 실제 타겟에서 실행될 때의 실질적인 시간 추정이 불가능하다. 이러한 문제점은 실시간 시스템이 정해진 시간 내에 결과를 출력해야 하는 시스템임을 감안한다면 RTOS 시뮬레이터의 가장 큰 결점이 되기 때문에 실행시간 추정 기능을 가지면서 실용화도 가능한 RTOS 시뮬레이터가 필요하다. 본 연구에서는 이러한 문제점을 해결하여 RTOS와 RTOS 응용프로그램이 실제 타겟에서 처리될 때의 실행시간 추정이 가능하고 상용화가 가능한 기계 명령어 기반(machine instruction-based)의 RTOS 시뮬레이터를 연구 개발하였다. 나아가 실행시간의 주요 요소인 파이프라인과 캐쉬의 영향도 고려함으로서 실행시간 추정의 정확도를 향상시켰다 본 연구에서 사용된 RTOS는 한국전자통신연구원(ETRI)에서 2000년에 개발된 Q+이고, Q+가 동작하는 타겟 하드웨어는 ARM 계열의 StrongARM SA-110 마이크로프로세서와 21285 주제어기가 장착된 EBSA-285 보드이다. 측정하면서 수행하였다. 검증 결과 random 상태에서는 문헌자료에 부합되는 예측결과를 보여주었으나, intermediate와 constant 상태에서는 문헌보다 다소 낮은 속도를 보여주었다 이러한 속도차는 추후 현장 데이터를 수집하여 보다 실질적인 검증을 통하여 조정되어야 할 것으로 판단된다.지발광(1.26초)보다 구애발광(1.12초)에서 0.88배 감소하였고, 암컷에서 정지발광(2.99초)보다 구애발광(1.06초)에서 0.35배 감소하였다. 발광양상에서 발광주파수는 수짓의 정지발광에서 0.8 Hz, 수컷 구애발광에서 0.9 Hz, 암컷의 정지발광에서 0.3 Hz, 암컷의 구애발광에서 0.9 Hz로 각각 나타났다. H. papariensis의 발광파장영역은 400 nm에서 700 nm에 이르는 모든 영역에서 확인되었으며 가장 높은 첨두치는 600 nm에 있고 500에서 600 nm 사이의 파장대가 가장 두드러지게 나타났다. 발광양상과 어우러진 교미행동은 Hp system과 같은 결과를 얻었다.하는 방법을 제안한다. 즉 채널 액세스 확률을 각 슬롯에서 예약상태에 있는 음성 단말의 수뿐만 아니라 각 슬롯에서 예약을 하려고 하는 단말의 수에 기초하여 산출하는 방법을 제안하고 이의 성능을 분석하였다. 시뮬레이션에 의해 새로 제안된 채널 허용 확률을 산출하는 방식의 성능을 비교한 결과 기존에 제안된 방법들보다 상당한 성능의 향상을 볼 수 있었다., 인삼이 성장될 때 부분적인 영양상태의 불충분이나 기후 등에 따른 영향을 받을 수 있기 때문에 앞으로 이에 대한 많은 연구가 이루어져야할 것으로 판단된다.태에도 불구하고 [-wh]의미의 겹의문사는 병렬적 관계의 합성어가 아니라 내부구조를 지니지 않은 단순한 단어(minimal
$X^{0}$ 생산라인에서 시스템의 생산율을 높이기 위해서는 각 Stage에 새로운 기계를 추가하거나, 버퍼를 설치할 수 있다. 새로운 기계를 추가하게 되면, 그 Stage의 생산속도를 증가시켜 전체 시스템의 생산율을 높일 수 있고, 버퍼를 설치하게 되면 Starvation과 Blocking을 줄여 생산율을 높일 수 있다. 본 연구에서는 각 Stage에서 고장과 수리가 확률적으로 발생하는 여러 대의 기계가 있고, 유한한 용량의 버퍼가 있을 때, 전체 시스템의 생산율을 구하는 방법을 제안한다.과거 공급사슬(SCM)에 관한 연구는 재고관리, 생산계획, 물류흐름의 최적화에 대하여 개별적으로 연구가 이루어졌다. 하지만 최근의 연구는 이러한 분야들을 통합하여 관리하는 것이 더 효과적이라는 연구결과가 발표되고 있으며 특히 생산비와 물류비를 동시에 최소화하는 방안의 연구가 활발히 이루어지고 있다. 본 연구는 수송시간과 재고에 대하여 제약을 가지는 공급망에서 최적의 생산을 결정하는 연구를 수행하며, 개발한 수학적 모형을 이용하여 예제를 통해 모델에 대한 최적값을 제시하였다.92∼3년 A 라인에서 처음으로 Bay 내에 Conveyor (Intra) 사용한 Stocker to Equipment에서 Material(Lot) Moving을 위한 Project를 실시하였으나 예상과는 달리 Conveyor Capability가 부족하여 장비에서 Rundown 현상이 발생하였다. 정상적인 Simulation없이 Design한 Conveyor System은 막대한 금전투자, 인력투자, 설치Testing 철거 등으로 인한 라인 작업방해 등 막대한 손실을 남기는 실패를 가져왔다. 본 연구에서는 이미 장비가 Setup되어 Running중에 있는 반도체 라인 환경 또는 신규로 새로운 라인을 Design할 때 사람을 대신하여 Bay내에서 Lot을 Stocker에서 장비 또는 장비에서 장비로 이동을 Conveyer를 사용할 경우 적정 Conveyor Capability를 산정 하는데 그 목적이 있다.Memory의 공정기간은 2∼3개월 정도, 공정은 수백가지에 이를 정도로 많기에 defect은 존재할 수밖에 없다. 많은 defect이 있다면 어쩔 수 없겠지만 적은 defect이 발생한 경우에는 해당 die를 reject시키는 것보다는 repair해서 사용하는 것이 memory생산 업체 입장에서는 보다 효율적이고 원가 절감 차원에서 필수적이다. 이와 같은 이유로 laser repair라는 공정이 필요하고 laser repair공정의 정확한 target을 설정하기 위해 redundancy analysis가 필요하게 되었다. 지금까지 redundancy analysis는 장비 개발 업체에서 제공하는 경우가 대부분 이었고 각 장비 제조 업체별로 redundancy analysis algorithm을 개발하여 제공하여왔기에 동일한 defect 유형에 분석하는 redundancy analysis time이 각 장비 업체 별로 다른 경우가 대부분이었다. 이에 본 연구에서는 기존의 redundancy analysis algorithm의 개념에서 벗어나 defect 유형별로 simulation한 후 redundancy analysis를 진행함으로써 redundancy analysis에 소요되는 시간을 절약함으로써 원가 경쟁력 강화를 하고 correlation 개념을 업무에 적용하는데 목적이 있다심화되는 경쟁환경에서 우위를 점하기 위해서는 제조 시스템의 수행도를 관리하고 개선하는 활동이 필요하다. 본 연구는 페트리넷(Petri net)과 시뮬레이션을 사용하여 제조 시스템 수행도의 하나인 산출율을 향상시키는 방법론을 제안하였다. 시뮬레이션은 제조 시스템의 수행도 평가에 많이 사용되나, 시스템의 개선방향에 대한 분석 능력이 취약하다. 한편, 페트리넷은 정확한 분석을 수행할 수 있으나, 대상 시스템이 복잡해짐에 따라 분석 능력이 현저히 감소된다. 본 연구에서는 페트리넷의 복잡도를 증가시키는 주요 원인 중 하나인 자원 공유를 분리된 페트리넷으로 표현함으로써 페트리넷의 분석 능력을 유지하고자 하였다. 또, 이를 바탕으로 자원 공유에 관련된 파라미터에 대한 회귀분석모형을 도출하였다. 이 회귀분석모형에 대한 최적화 과정에 의해 자원의 적절한 배치 혹은 제품비율에 대한 개선 방향을 얻어낼 수 있다. 이러한 페트리넷 기반 분석 방법과 시뮬레이션 방법을 동시에 사용함으로써 시뮬레이션 모형에서 산출율을 개선할 수 있으며, 실제 제조 시스템에 적용할 수 있을 것이다.The road sign in dynamic traffic system is an important element which affects on human cognitive performance on driving. Web-based vision system simulator was developed to examine the cognition time of the road sign in dynamic environment. This experiment was designed in within-subject design with two factors; vehicle speed and the amount of information of the traffic sign. It measured the cognition time of the road sign through two evaluation methods; the subjective test with vision system simulator and computational cognitive model. In these two evaluations of human cognitive performance under the dynamic traffic environment, it demonstrated that subject's cognition time was affected by both the amount of information of traffic sign and driving speed.반도체 공정은 복잡하고 다양한 물리, 화학작용을 수반하며, 폭넓은 데이터 발생 및 관리에도 불구하고 공정진행시 내부 특성의 복잡함 때문에 효율적인 모델링이 어려웠다. 또한 원하는 출력을 얻기 위한 제어입력의 선정도 용이하지 않으므로 현재의 최적공정운영은 전문가의 경험에 의존하여 많은 시행 착오를 거쳐 수행되고 있다. 본 논문에서는 반도체 공정의 최적운영을 위해 다음 세 단계로 나누어 연구를 수행하였다. 첫째, 반도체 공정을 설비를 기반으로 컬러드 페트리 넷을 이용하여 모델링하고 둘째, Run-to-Run control에 기반한 최적공정운영 관리모델을 실험하고 셋째, 지식기반 데이터베이스를 기반으로 하는 지능적인 적응형 공정관리모델(Adaptive Process Control model)의 프레임 웍을 제안한다.In this paper, the design of 12bit pipeline BiCMOS A/D converter presented. A BiCMOS operational amplifier and comparator suitable for use in the pipeline A/D converter. The main features is low distortion track-and-hold with 0-300MHz input bandwidth, and a proprietary 12bit multi-stage quantizer.JLBS는 multi-server multi-queue 방식을 채택하고 있으며, 각 tool별로 할당된 license 수에 비례하여 system을 할당한다. 그러나 이러한 방식의 문제점은 특정 tool에만 job이 집중될 경우 비효율적이다. 즉 특정 system은 모두 사용되고 있고, queue에는 많은 job이 대기하고, 여타 tool에 해당하는 queue에는 대기하는 job이 없어서 system이 그냥 놀고 있는 현상이 발생한다. 본 논문에서는 이러한 단점을 극복하기 위해 각 tool에 license수에 비례하여 할당되었던 system을 모든 tool들이 system을 공유할 수 있도록 하는 방법을 제안했다. 대신 system의 숫자는 줄이고, license의 숫자는 더 할당하는 방법으로, 기존의 방법보다 더 효율적으로 나타났다.궤도차량 운동의 실시간 시뮬레이션을 위해서 실시간 시간제약 조건을 만족하기 위한 모델링을 시도하였다. 단위 블록 열차로 연결된 전체 차체를 질점으로 가정하여 모델을 단순화함으로써 차량 설계 시 사용되는 궤도 차량 모델보다 실시간성을 향상시키고자 하였다. 당 모델에서 궤도차량의 운동은 트랙의 형상에 구속되는데, 차량의 운동 궤적은 궤도의 형상에 의해 결정된다. 단, 매 단위 시간마다에서 궤도 차량의 위치는 뉴턴의 제2법칙으로 결정된다. 본 모델링은 몇 개의 단위 트랙을 설정하여 이들의 조합으로 전체트랙을 설계할 수 있도록 사용자가 임의로 설계한 전체트랙에서 바로 실시간으로 시뮬레이션할 수 있는 특징을 갖는다. 당 궤도차량 운동 모델은 전동차, 철도, 롤러코스터의 궤도 설계 등에 사용될 수 있으며, 주 용도는 롤러코스터 게임 시뮬레이터에서 동 특성을 비교적 엄밀하게 시뮬레이션 하는데 있다.APESS(Advanved Plant Engineering & Simulation System) is a dynamic simulation software for power plant which is being developed by Doosan Heavy Industries & Construction Co., Ltd. This Paper represents the GUI implementation of APESS on Windows NT/2000 operating system.The dynamic analysis is performed for cold, warm, and hot startups and shutdown. The operating characteristics of an horizontal drum type HRSG are analyzed as well. This analysis was performed by ProTRAX which is a commercial software developed by TRAX Corp.이 논문에서는 강화전화국 화재피해로 인하여 국사내에서 운용중인 시스템 사용여부를 판단하기 위하여 155Mbps 동기식광전송장치를 대상으로 운용환경 특성중 온도상승에 따른 시스템 신뢰도를 분석하였다. 신뢰도 분석방법은 MIL-HDBK-2l7F의 부품고장율 산출방법을 기본으로 온도상승에 따른 유니트별 MTBF를 산출하고 RBD 분석을 통한 시스템 신뢰도를 분석하였으며 운용중인 유니트중 15매의 유니트를 샘플링하여 유니트별 기능시험을 실시하고 이를 시스템에 실장하여 Burn-In 환경시험을 실시하였다. 온도상승에 따른 신뢰도 분석결과와 유니트별 기능시험과 시스템 환경시험 결과 기능이 정상적으로 수행되어 622Mbps 동기식광전송장치는 지속적으로 운용이 가능함으로써 다른 장치 또한 화재로 인한 온도상승이 시스템 기능에 영향을 미치지 알아 지속적으로 운용 및 서비스제공이 가능함을 알수 있다.This paper focuses on the measurement of increased work efficiency expected from the information system through random interactions of the organizational behavioral factors whose attributes can be changed with the implementation of the information systems. Specifically the work reported here is concerned with modeling and analyzing the random interrelationships among the organizational behavioral factors which an information system will have impact on throughout the time horizon of its implementation in terms of office productivity. In addition, it is also concerned with developing a multi-factor analysis model based on random interactions to be used to assess the impact of information systems.최근 정보화 사회의 정착으로 인해 개인의 정보통신 인프라에 대한 의존도가 높아졌고, 정보통신 인프라에 대한 사이버테러의 위협이 증가되었다. 이로 인해 정보통신 기술 영역의 화두로 등장하고 있는 요소 기술 중 하나가 정보보안 기술이다. 해킹기술과 정보보안기술은 창과 방패의 관계를 갖으며, 다양한 해킹기술의 등장과 함께 나날이 새로운 정보보안 기술이 등장하고 있다. 특히, 공격자의 행동 특성에 대한 연구와 네트워크와 시스템의 특성 연구는 이들 중 중요한 연구 주제이다. 본 논문은 이러한 정보보안기술 영역에서 시뮬레이션 기술이 활용되고 있는 영역에 대해서 소개하고자 한다. 특히, 본 영역에서 두각을 나타내고 있는 몇 가지 연구 결과를 소개하여 국내 시뮬레이션 관련 기술연구자들이 정보보안분야에 기여할 수 있는 방향을 고려해 고자 한다.시뮬레이션은 지난 수년간 급속도로 발전해 온 웹의 다양한 활용 분야 중의 하나이다. 그동안 특히 JAVA를 이용한 웹 기반 시뮬레이션의 구현에 대한 연구가 활발히 이루어져 왔다. 본 논문에서는 지금까지 연구되어온 주요 웹기반 분산 시뮬레이션 언어들의 구현환경 및 특성들에 대한 고찰을 소개하고 이들 언어를 활용한 전용시뮬레이터의 설계를 제안한다. 고찰에서는 웹기반 시뮬레이션언어들의 개발시기, 개발자, 개발환경 및 다른 기술들의 적용 등을 조사하여 이들의 특성에 대한 비교를 정리하였다. 그리고 웹 특성에 부합될 수 있는 구체적인 시스템으로서 자동창고시스템(AS/RS)을 선택하여, 기존의 웹기반 시뮬레이션 언어들의 클래스 라이브러리 함수와 구현환경 등을 지원 받아 AS/RS 전용 시뮬레이터의 개발을 위한 설계를 제시하였다.네트워크 보안은 정보통신 및 인터넷 기술이 발전함에 따라 그 중요성과 필요성이 더욱 절실해지고 있다. 본 연구에서는 네트워크 보안의 대표적인 침입 차단 시스템의 패킷 필터 및 네트워크 구성요소들을 모델링하였다. 각 모델은 DEVS 모델을 참조한 MODSIM III 기반의 기본 모델(Basic Model)과 결합 모델(Compound Model)의 두 가지 유형으로 정의하였다. 기본 모델은 독립적인 기능을 수행하는 단위 모델을 표현하고, 결합 모델은 여러 개의 모델이 연동되어 상위 레벨의 시스템을 표현한다. 시뮬레이션을 위한 모델링과 그래픽 기능이 강력한 MODSIM III를 기반으로 모델들을 비롯한 시뮬레이션 환경을 구현하였다. 대상 네트워크 환경에서 사용한 공격은 서비스 기부 공격 형태인 SYN flooding 공격과 Smurf 공격을 발생하였다. 이 공격들에 대하여, 패킷 필터 모델에 다양한 보안 정책을 적용하여 시뮬레이션을 실행하였다. 본 연구에서의 시뮬레이션을 통하여, 과거의 단순 패킷 필터링에서 진일보한 Stateful Inspection의 우수한 보안 성능과, 보안 정책의 강도를 점점 높였을 때 보안 성능이 향상되는 점을 검증하였다.멀티미디어 환경에서 많은 패킷 스위치 네트워크로부터 발생되는 트래픽은 burstiness성질이 상당히 넓은 범위의 time scale상에 존재하고, 트래픽 특성이 self-similar현상을 보이고 있다는 것이 알려지고 있다. 본 논문에서는 Shared-Buffer를 이용한 ATM 스위치 buffer관리방법을 적용하여 입력포트에 self-similar 트래픽이 들어올 때 출력포트의 long-range dependency의 변화를 분석하며 아울러 큐잉 지연, 셀 손실률 그리고 이용도(utilization)등이 self-similar 트래픽에 미치는 영향을 분석할 것이다.인터넷은 상거래의 중요한 매체로서 빠르게 변화해 가고 있다. 많은 인터넷서비스공급자들이 현재 상용 서비스를 하고 있으며 이들의 중요한 비즈니스 모델중의 하나가 인터넷 광고이다. 인터넷광고를 서비스하는 기술에서 가장 중요한 부분은 인터넷서비스수요자중 정의된 타깃을 가려낼수 있는 타깃팅기술이다. 본 논문에서는 인터넷 광고 서버의 타깃팅 엔진을 테스트할 수 있는 테스트 프레임워크를 설계하고 구현한다. 제안된 테스트프레임워크는 엔진의 기능 및 성능 테스트를 할 수 있다. 제안된 테스트 프레임워크는 다양한 인터넷 광고 서버시스템의 컴포넌트들에 대해 일관된 테스트 사용법과 형식화된 출력을 보여주며 플랫폼에 독립적이도록 자바언어로 개발되었다. 또한 기존에 개발된 테스트에 새롭게 개발된 테스트를 쉽게 통합할 수 있다. 다양한 형태의 테스트가 가능하도록 아주 일반적인 클래스 구조를 갖게 설계되었다.IEEE 802.11의 매체 접근 제어 MAC 프로토콜은 두가지 운영 방법을 제공한다. 하나는 실시간 응용 서비스가 아닌 데이터를 지원하기 위한 임의 접근 (random access)모드이고 다른 하나는 실시간 응용 서비스를 지원하기 위한 폴링 (polling) 모드이다. 폴링 모드는 PCF (Point Coordination Function) 라 불리우는 비경쟁 (non contention) 방식의 MAC 프로토콜이다. PCF 는 노드의 지연 (delay)의 증가와 처리율(throughput) 의 감소가 가장 큰 문제가 된다. 처리율 향상을 위해 ERR (Embedded Round Robin) 방식이 제안되었다. 그러나 ERR은 노드의 지연이 여전히 문제로 남아있다. 본 논문에서는 노드의 지연과 처리율을 동시에 향상시킬 수 있는 QRR (Request Round Robin)을 제안한다. 시뮬레이션에 의하여 제안한 QRR 이 ERR보다 성능향상이 됨을 보인다.This paper proposes a methodology for development of protocol models. The methodology attempts to employ two modeling environments in models development, NS2 and DEVSim++, which will interoperate during simulation. NS2 is a widely used network simulator in protocol research, which employs an informal modeling approach. Within the approach time and state information of protocol models are not explicitly described, thus being hard to validate model. On the other hand the DEVS formalism is a mathematical framework for modeling a discrete event system in a hierarchical, modular manner. In DEVS, model's time and state information is described explicitly, By using DEVS formalism, models can easily be validated and errors in the modeling stage can be reduced. However, the DEVS simulator, DEVSim++, supports a small amount of models library which are required to build simulation models of general communication network. Although NS2 employs an informal modeling approach and models validation is difficult, it supports abundant models library validated by experimental users. Thus, combination of DEVS models and NS2 models may be an effective solution for network modeling. Such combination requires interoperation between DEVSim++ simulator and NS2 simulator. This paper develops an environment for such interoperation. Correctness and effectiveness of the implemented interoperation environment have been validated by simulation of UDP and TCP models.
이메일무단수집거부
- 본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나 그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며, 이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
- [게시일 2004년 10월 1일]
이용약관
-
제 1 장 총칙
- 제 1 조 (목적) 이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
- 제 2 조 (용어의 정의) ① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을 말합니다. ② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여 받은 자를 말합니다. ③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을 말합니다. ④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
- 제 3 조 (이용약관의 효력 및 변경) ① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다. ② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의 초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을 변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전 내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
- 제 4 조(약관 외 준칙) ① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다. ② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
-
제 2 장 이용계약의 체결
- 제 5 조 (이용계약의 성립 등) ① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한 온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다. ② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을 포함합니다.
- 제 6 조 (회원가입) 서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
- 제 7 조 (개인정보의 보호 및 사용) 당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
- 제 8 조 (이용 신청의 승낙과 제한) ① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다. ② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다. - 이용계약 신청서의 내용을 허위로 기재한 경우 - 기타 규정한 제반사항을 위반하며 신청하는 경우
- 제 9 조 (회원 ID 부여 및 변경 등) ① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다. ② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를 해지하고 재가입해야 합니다. ③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
-
제 3 장 계약 당사자의 의무
- 제 10 조 (KISTI의 의무) ① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록 하여야 합니다. ② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다. ③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를 거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야 합니다.
- 제 11 조 (회원의 의무) ① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며, 허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다. ② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된 ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다. ③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
-
제 4 장 서비스의 이용
- 제 12 조 (서비스 이용 시간) ① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을 원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에 서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를 통해 사전에 공지합니다. ② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만 이 경우 그 내용을 공지합니다.
- 제 13 조 (홈페이지 저작권) ① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고 있습니다. ② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을 받아야 합니다. ③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에 합치되게 인용할 수 있습니다. ④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우 저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
- 제 14 조 (유료서비스) ① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에 당 사이트 홈페이지를 통하여 회원에게 공지합니다. ② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
-
제 5 장 계약 해지 및 이용 제한
- 제 15 조 (계약 해지) 회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
- 제 16 조 (서비스 이용제한) ① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는 경우 서비스 이용을 제한할 수 있습니다. - 2년 이상 서비스를 이용한 적이 없는 경우 - 기타 정상적인 서비스 운영에 방해가 될 경우 ② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의 일시정지, 이용계약 해지 할 수 있습니다.
- 제 17 조 (전자우편주소 수집 금지) 회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
-
제 6 장 손해배상 및 기타사항
- 제 18 조 (손해배상) 당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
- 제 19 조 (관할 법원) 서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
- [부 칙] 1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.