• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 추계학술대회 논문집 전력기술부문
• /
• pp.245-247
• /
• 2003

Zone 3 of the distance relay is used to provide the remote back-up protection in case of the failure of the primary protection. However, the risk for mal-operations under stressed conditions such as heavy loading, voltage and transient instability is usually high. Zone 3 is used in combination with the derivatives of the voltage, and current, etc to prevent mal-operations. Sometimes, the impedance characteristics that restrict the tripping area of relay are used to avoid the mal-operations due to load encroachment. This paper presents a novel zone 3 scheme based on combining the steady-state components(i.e. 60Hz) and the transient components(TCs) using a state diagram that visualizes the sequence of studies that emanate from the sequence of events. The simulation results show that the novel zone 3 distance relay elements using the proposed method operates correctly for the various events.

• Kyungpook Mathematical Journal
• /
• 제57권1호
• /
• pp.145-161
• /
• 2017

If a virtual knot diagram can be transformed to another virtual one by a finite sequence of crossing changes, Reidemeister moves and virtual moves then the two virtual knot diagrams are said to be homotopic. There are infinitely many homotopy classes of virtual knot diagrams. We give necessary conditions by using polynomial invariants of virtual knots for two virtual knots to be homotopic. For a sequence S of crossing changes, Reidemeister moves and virtual moves between two homotopic virtual knot diagrams, we give a lower bound for the number of crossing changes in S by using the affine index polynomial introduced in [13]. In [10], the first author gave the q-polynomial of a virtual knot diagram to find Reidemeister moves of virtually isotopic virtual knot diagrams. We find how to apply Reidemeister moves by using the q-polynomial to show homotopy of two virtual knot diagrams.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권6호
• /
• pp.443-450
• /
• 2009

시스템 개발 초기 단계에 시스템의 기능적 요구사항이 제대로 반영되었는지를 검사하기 위해 시뮬레이션 기법을 이용한다. 일반적으로 시뮬레이션은 순차도에 나타난 추상적 시나리오를 바탕으로 상태머신을 직접 또는 랜덤으로 수행하는 행태로 진행된다. 시뮬레이션은 분석자가 직접 수행해야 하므로 많은 시간과 노력이 소요된다. 이 논문에서는 순차도 기반의 상태 머신의 시뮬레이션의 자동화 기법을 제공한다. 일반적으로 순차도와 상태머신의 추상화 레벨이 달라서 순차도에서 상세 시뮬레이션 트레이스를 추출하기가 쉽지 않다. 이 연구에서는 상태 머신을 LTS 모델로 변환하여 합성적 분석, 트랜지션 축약 등의 분석 방법을 적용하여 순차도와 동일한 추상화 레벨로 변환한 다음, 시나리오 포함여부를 검사한 후 해당 시나리오의 상세 시뮬레이션 트레이스를 생성한다. 이러한 시뮬레이션 트레이스는 순차도에 기술된 시나리오를 기반으로 시뮬레이션을 자동으로 수행할 뿐만 아니라, 특정 시스템 상태까지 자동 시뮬레이션할 수 있으므로 시뮬레이션을 효율적으로 진행할 수 있다.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2004년도 학술대회지
• /
• pp.106-110
• /
• 2004

In any large heavy industry like that of ship building, there exist a lot of complications for the arrangement of building blocks optimally for the minimal space consumption. The major problem arises at yard because of laxity in space for arranging the building blocks of ship under construction. A standardized erection sequence diagram is generally available to provide the prioritised erection sequence. This erection sequence diagram serves as the frame work. In order to make a timely erection of the blocks a post plan has to be developed so that the blocks lie in the nearest possible vicinity of the material handling devices while keeping the priority of erection. Therefore, the blocks are arranged in the pre-erection area. This kind of readiness of blocks leads to a very complex problem of space. This arises due to the least available space leading to an urgent need of an availability of intelligent spatial schedule without compromising the rate of production. There exists two critical problems ahead namely, the spatial occupation layout of pre-erection area and the emptying pattern in the spatial vicinity. The block shape is assumed be rectangular. The related input data's are the dates of erection (earliest as well as the latest), geometrical parameters of block available on pre-erection area, slack time and the like.

• 정보처리학회논문지D
• /
• 제13D권7호
• /
• pp.923-930
• /
• 2006

본 논문에서는 무기체계 임베디드 소프트웨어의 시간 요소를 고려한 TFM(Time Factor Method) 기반의 시스템 테스트 모델을 설계하고, 적용사례를 통하여 결과를 제시한다. 이를 위해 무기체계 임베디드 소프트웨어의 특징과 시스템 테스트 그리고 객체지향 모델의 표현방법인 UML 표기법에 대하여 알아보고, 시스템 테스트 모델 설계를 위한 TFM 접근 방법으로 시간 요소를 고려한 테스트 방법과 시간 요소 측정 방법 그리고 테스트 케이스 선정 알고리즘을 제시한다. 무기체계 임베디드 소프트웨어의 TFM 기반 시스템 테스트 모델은 세 가지 요소 (X,Y,Z) 로 구성되며, 'X' 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, 'Y' 에서는 Sequence Diagram과 관련된 객체를 식별하고, 'Z'에서는 Timing Diagram을 통하여 식별된 각 객체들의 실행시간을 측정한다. 또한 제안한 W:M 기반 시스템 테스트 모델을 '다기능 미사일 방어시스템'에 적용하여 테스트 케이스를 추출하는 방법을 제시한다.

• 시스템엔지니어링학술지
• /
• 제15권1호
• /
• pp.1-8
• /
• 2019

Reverse engineering involves examining a system or component so as to comprehend its structure, functionality, and operation. Creation of a system model in reverse engineering can serve several purposes: test generation, change impact analysis, and the creation of a new or modified system. When attempting to reverse engineering a system, often the most readily accessible information is the system description, which does not readily lend itself to use in Model Based System Engineering (MBSE). Therefore, it is necessary to be able to transform this description into a diagram, which clearly depicts the behavior of the system as well as the interaction between components. This study demonstrates how sequence diagrams can be extracted from the systems description. Using MBSE software, the sequence diagrams for the Engineered Safety Features Component Control System (ESF-CCS) of the Nuclear Power Plant are created. Sequence diagrams are chosen because they are a means of representing the systems behavior and the interaction between components. In addition, from these diagrams, the system's functional requirements can be elicited. These diagrams then serve as the baseline of the reverse engineering process and multiple system views are subsequently be created from them, thus speeding up the development process. In addition, the use of MBSE ensures that any additional information obtained from auxiliary sources can then be input into the system model, ensuring data consistency.

• 한국정밀공학회지
• /
• 제20권9호
• /
• pp.188-196
• /
• 2003

In order to increase competitiveness and to gain economic benefit, companies ask more and more how to recycle their products in a efficient way. So far, to answer this question, companies are not sufficiently supported by suitable methods specially in the area of disassembly process planning. For this reason, we develop in collaboration with an industrial partner a new method for generating an optimal disassembly sequence. In the presented paper this method will be described in detail by considering the exiting assembly information, disassembly method and disassembly depth. PLM (Profit-Loss Margin) curve that is used to determine disassembly depth consists of profit value, disassembly cost and disassembly effect. Using assessment parameters, generated alternative disassembly sequences are evaluated and optimal disassembly sequence is proposed. This method is applied to generate the optimal disassembly sequence of Door Trim as an example.

• 시스템엔지니어링학술지
• /
• 제11권2호
• /
• pp.75-83
• /
• 2015

This paper describes modeling & simulation(M&S) model for dynamic analysis of helicopter rotor blades. Simulation model is developed using Dymola tool which implements the open source language - Modelica. Modelica is appropriate for developing multibody dynamic analysis model. To develop an M&S model efficiently, model based systems engineering(MBSE) is applied. Some diagrams such as requirement diagram, block definition diagram and sequence diagram etc. are drawn to capture the concept of M&S model. This activity is done utilizing the open source tool - Papyrus.

• 한국컴퓨터정보학회논문지
• /
• 제7권4호
• /
• pp.157-162
• /
• 2002

본 연구는 UML을 이용해 유스케이스에 의한 순차 다이어그램을 도출하여 클래스 다이어그램을 만든후 그 클래스 다이어그램에 의해서 XML 모델링과 데이터 모델링을 구현하고자 한다. XML 모델링을 위해 UML 클래스를 XML 문서로 변환시키는 가이드라인을 제시하고, 제시한 방법에 파라 UML 클래스를 XML DTD로 도출하는 예를 보일 것이며, 한편 데이터 모델링은 UML클래스를 관계형 데이터베이스 스키마와 객체-관계 데이터베이스 스키마 그리고 객체지향 데이터베이스 스키마로 변환시키기 위한 통합 설계 변환 방법을 제시하며, 제시한 변환 방법에 따라 각각의 데이터베이스 스키마를 구현했다.

• 한국컴퓨터산업학회논문지
• /
• 제7권3호
• /
• pp.179-184
• /
• 2006

많은 기업들은 정보기술의 발전과 더불어 이익을 증대시키고 비용을 절감하기 위하여 정보화 시스템을 도입하고 있다. 본 논문에서는 객체지향 방법론 설계 도구인 UML을 사용하여 AS-IS를 구축하고 닷넷 환경의 유스케이스 다이어그램, 시퀀스 다이어그램, 컴포넌트 다이어그램 등을 통하여 TO-BE 프로세스 모델을 설계한다. 그리고 소규모 회사 조직 시스템에 적용시키기 위하여 닷넷 기반으로 구축하면 컴포넌트 재사용 및 소프트웨어 생산성을 증진시킬 수 있다.