RISS 학술연구정보서비스

검색
다국어 입력

http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.

변환된 중국어를 복사하여 사용하시면 됩니다.

예시)
  • 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
  • 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
닫기
    인기검색어 순위 펼치기

    RISS 인기검색어

      검색결과 좁혀 보기

      선택해제
      • 좁혀본 항목 보기순서

        • 원문유무
        • 원문제공처
          펼치기
        • 등재정보
          펼치기
        • 학술지명
          펼치기
        • 주제분류
          펼치기
        • 발행연도
          펼치기
        • 작성언어
        • 저자
          펼치기

      오늘 본 자료

      • 오늘 본 자료가 없습니다.
      더보기
      • 무료
      • 기관 내 무료
      • 유료
      • KCI등재

        OHT 제어기 검증을 위한 가상환경 HIL 시뮬레이션

        이관우,이웅근,박상철,Lee, Kwan Woo,Lee, Woong Geun,Park, Sang Chul 한국시뮬레이션학회 2019 한국시뮬레이션학회 논문지 Vol.28 No.4

        본 논문에서는 반도체 FAB에서의 OHT의 제어기를 검증하는 HIL(Hardware-In-the-Loop) 시뮬레이션 방법론을 제안한다. 반도체 FAB의 OHT 네트워크에는 수많은 OHT들이 동시에 운영될 수 있으므로 OHT 제어기에 대한 완벽한 검증은 물류 설비 안정성을 보장하는 데 매우 중요하다. 제어기는 정상적인 상황에 대해서 뿐 아니라 예측하기 힘든 비정상적인 상황에 대해서도 고려하여 설계되어야 한다. 따라서 본 연구에서는 제어기의 검증을 위해 비정상 상황을 생성할 수 있는 레일 네트워크와 OHT를 포함한 가상 환경을 사용하는 HIL 시뮬레이션 방법론을 제안한다. 제안되는 HIL 시뮬레이션 방법은 구현되었고, 다양한 예제를 통해 테스트 되었다. This paper presents a HILS(Hardware-In-the-Loop Simulation) approach for the verification of the OHT (Overhead Hoist Transport) controller in a semiconductor FAB. Since hundreds of OHTs can run simultaneously on the OHT network of a FAB, the full verification of the OHT controller is very essential to guarantee the stableness of the material handling system. The controller needs to fully consider not only normal situations but also abnormal situations that are difficult to predict. For the verification of the controller, we propose a HILS approach using a virtual environment including OHTs on a rail network, which can generate abnormal situations. The proposed HILS approach has been implemented and tested with various examples.

      • KCI등재

        특성 지향의 제품계열공학을 위한 애스팩트 구현 패턴

        이관우,Lee, Kwan-Woo 한국정보처리학회 2009 정보처리학회논문지D Vol.16 No.1

        특성 지향 제품계열공학은 특성 관점에서 제품계열의 핵심자산을 개발하고 이를 활용하여 제품을 개발하는 접근방법으로서, 이를 위한 첫번째 단계는 하나의 특성을 하나의 모듈화된 단위로 구현하는 것이다. 관점 지향 프로그래밍은 특성 구현의 모듈화를 향상시키기 위한 효과적인 메커니즘을 제공한다. 하지만, 특성이 일반적으로 서로 독립적이지 않기 때문에 어떤 특성 구현 모듈의 변화는 다른 특성 구현 모듈에 변화를 일으키거나 원하지 않는 부작용을 야기시킬 수도 있다. 뿐만 아니라, 하나의 특성이 제품에 결합되는 시점이 컴파일 시점에서부터 로드 시점, 실행 시점에 이르기까지 다양할 수 있으므로, 특성이 언제 제품에 결합하느냐에 따라 다르게 구현되어야 할지도 모른다. 따라서, 본 논문에서는 각 특성 구현 모듈이 다른 모듈과 독립적이 되도록 하기 위해서, 특성 구현 모듈로부터 특성 의존성 및 특성 결합 시점을 효과적으로 분리시킬 수 있는 애스팩트 패턴을 제안한다. 이러한 패턴들은 특성 구현 모듈이 특성의 선택에 따라서 다른 모듈에 영향을 주지 않고 유연하게 합성될 수 있도록 한다. 이와 같은 접근 방법을 예시하고 평가하기 위해 공학용 계산기 제품계열을 사용한다. Modular implementation of a feature is a first step toward feature-oriented product line engineering, which develops and then utilizes core assets to configure products in terms of features. Aspect-oriented programming provides effective mechanisms for improving the modularity of feature implementations. However, as features in general are not independent of each other, changes in the implementation of one feature may cause changes to or side effects in the implementation of other features. Moreover, since the time at which a feature is incorporated into products, called feature binding time, may be various from compile time through load time to run time, a feature may have to be implemented differently depending on when the feature is bound into a product. To make each feature implementation module as independent as possible, this paper proposes aspectual implementation patterns that can effectively separate feature dependencies as well as feature binding time from feature implementation modules. These patterns enable flexible composition of feature implementation modules without affecting other modules according to feature selection. The approaches are demonstrated and evaluated based on a product line of scientific calculator applications.

      • KCI등재

        휘처-아키텍처 대응을 통한 UML 기반 FORM 아키텍처의 가변성 모델링 및 관리

        이관우,Lee, Kwan-Woo 한국정보처리학회 2012 정보처리학회논문지D Vol.19 No.1

        FORM 아키텍처 모델은 소프트웨어 프로덕트 라인 내의 제품 개발에 재사용될 수 있는 아키텍처로서 FORM 방법론의 핵심적인 역할을 한다. 하지만 기존의 FORM 아키텍처 모델을 실무에 적용할 때 다음과 같은 문제점들이 있다. 첫째, UML(Unified Modeling Language)과 같이 표준화된 모델이 아니므로, 이 모델을 작성하기 위해서는 고유한 모델링 도구가 필요하다. 둘째, FORM 아키텍처 모델은 휘처모델과의 대응 관계를 통해 가변성을 관리만 할 뿐, 아키텍처의 가변성을 명시적으로 나타내지 않았다. 본 논문에서는 이러한 FORM아키텍처 모델의 문제점을 해결하기 위해서, 먼저 FORM 아키텍처 모델을 UML 모델로 표현할 수 있는 방법을 개발하였다. 이는 FORM 아키텍처 모델링에 다양한 UML모델링 도구를 이용할 수 있는 장점이 있다. 또한, 휘처모델과의 대응관계를 통해서 FORM 아키텍처 모델의 가변성을 효과적으로 관리할 뿐만 아니라 표현 할 수 있는 방법을 개발하였다. FORM(Feature-Oriented Reuse Method) is one of representative product line engineering methods. The essence of FORM is the FORM architecture models, which can be reused in the development of multiple products of a software product line. The FORM architecture models, however, have the following problems when applied in practice. First, they are not standardized models like UML(Unified Modeling Language) and therefore they can be constructed only through a specific modeling tool. Second, they do not represent architectural variability explicitly. Instead their variability is only managed through a mapping from a feature model. To address these two problems, we developed at first a method for representing the FORM architecture models using UML, which enables the FORM architecture models to be constructed through various available UML modeling tools. Also, we developed an effective method for representing as well as managing the variability of the FORM architecture models through a mapping from a feature model.

      • KCI등재후보
      • KCI등재

        다중 관점 제품계열아키텍처의 가변성 관리 및 일관성 검사를 위한 특성 지향 접근방법

        이관우,Lee, Kwan-Woo 한국정보처리학회 2008 정보처리학회논문지D Vol.15 No.6

        제품계열아키텍처는 제품에 따라 선택될 수 있는 가변요소를 포함하고 있는 아키텍처이다. 제품계열아키텍처부터 특정 제품을 위한 유효한 아키텍처를 유도하기 위해서는 제품계열아키텍처 내의 가변요소들을 체계적으로 관리해야 한다. 본 논문에서는 특성모델과 제품계열아키텍처 모델간의 명시적인 대응관계를 통해서 제품계열아키텍처의 가변성을 관리한다. 하지만, 이들 모델 간의 대응관계가 올바르지 않거나, 제품계열 아키텍처의 구성요소들 간에 일관성이 없다면, 제품계열아키텍처의 가변성 관리가 올바르게 이루어지지 않게 된다. 따라서 본 논문에서는 먼저, 제품계열아키텍처를 개념, 프로세스, 배치, 모듈의 네 가지 관점의 모델로 정의하고, 특성 모델과 이들 모델 사이의 대응관계를 정형적으로 정의 한다. 이를 바탕으로 제품계열아키텍처의 올바른 가변성 관리를 위해서, 제품계열아키텍처 모델의 일관성, 다른 관점의 아키텍처 모델간의 일관성, 특성모델과 제품계열아키텍처 모델간의 일관성 검사를 위한 규칙을 정의한다. 이러한 일관성 규칙은 제품계열아키텍처로부터 유효한 제품 아키텍처를 유도하기 위한 이론적 기반을 제공한다. Product line architectures include variable parts to be selected according to product specific requirements. In order to derive architectures that are valid for a particular product from product line architectures, variabilities of product line architectures must be systematically managed. In this paper, we adopt an approach to variability management of product line architectures through an explicit mapping between a feature model and product line architecture models. If this mapping is incorrect or there exists inconsistency among product line architectural elements, variabilities of product line architectures cannot be managed correctly. Therefore, this paper formally defines product line architectural models in terms of conceptual, process, deployment, and module views, and mapping relationships between the feature model and the architectural models. Consistency rules for correct variability management of product line architectures are defined in terms of consistency in each of product line architecture model, consistency between different architectural view models, and consistency between a feature model and product line architectural models. These consistency rules provide a theoretical foundation for deriving valid product architecture from product line architectures.

      • KCI등재

        괴테의 동화 고찰 - 대립의 극복을 통한 이상세계의 구현

        이관우 ( Kwan Woo Lee ) 한국독일언어문학회 2014 독일언어문학 Vol.0 No.65

        Das Marchen≫, das Goethe an das Ende der ≪Unterhaltungen deutscherAusgewanderten≫ stellte, ist zeitgenossischen und spateren Lesern oft einRatsel gewesen. Goethe selbst hat uber dieses Erzeugnis seiner Phantasiefast vollig geschwiegen. Das Marchen stellt den Prozess organischenWerdens dar, und die vielen Personen, die in dem Marchen auftreten,symbolisieren das Werden der poetischen Form selbst.Bilder und Szenen verbinden sich zu einem Geschehen, dessen Realitatdie des Traumes ist. Die Gesetze derNatur haben keine Gultigkeit. Esherrscht trotzdem eine fur alle gleichermaßen verbindliche Gesetzmaßigkeit,die nicht der Natur folgt, sondern einer bosen Verzauberung entspringt, dieauf allen lastet.Die schone Lilie ist unglucklich, weil durch ihre Beruhrung allesLebendige getotet wird. Der junge Konigssohnist durch ihren Blick allerKraft und Herrschaft beraubt und irrt zeitlos umher. Lilies Reich diesseitsdes Flusses ist in reiner Schonheit erbluht, aber es fehlt das Leben; diePflanzen konnen keine Fruchte tragen. Die Verbindung zum jenseitigenUfer ist nur unter gewissen Voraussetzungen gewahrleistet: allen in derMittagzeit auf dem Rucken der Schlange oder nur am Abend auf dem Schatten des Riesen oder im Kahn des Fahrmanns, der nur in einer Richtung - namlich fort von Lilies Reich - ubersetzen darf.

      • UML기반 프로덕트 라인 아키텍처 모델링의 가변성 표현 기법

        이관우 ( Kwan-woo Lee ),이지원 ( Ji-won Lee ) 한국정보처리학회 2011 한국정보처리학회 학술대회논문집 Vol.18 No.2

        프로덕트 라인 공학에서 프로덕트 라인 아키텍처는 가장 중요한 산출물 중에 하나이다. UML (Unified Modeling Language) 2.x 부터는 아키텍처를 모델링하기 위한 유용한 모델링 요소를 제공하고 있다. 이러한 UML을 이용하여 프로덕트 라인 아키텍처를 모델링하기 위해서는 가변성의 표현이 명시적으로 이루어져야 하지만, UML 자체에는 가변성을 표현하기 위한 방법 및 기법을 명시적으로 기술하고 있지 않다. 본 논문에서는 UML에서 제공하는 확장 메커니즘을 이용하여 가변성을 표현하는 방법을 제안한다. 즉, 모델링요소에 태그값(Tagged Value) 및 스테레오타입을 넣어주어 다양한 관점에서의 가변성을 표기하는 방법을 제안한다.

      연관 검색어 추천

      이 검색어로 많이 본 자료

      활용도 높은 자료

      해외이동버튼