• Title/Summary/Keyword: Sequence diagram

Search Result 202, Processing Time 0.031 seconds

An Enhanced Zone 3 Algorithm of a Distance Relay using Transient Components and State Diagram (과도성분과 상태도를 이용한 거리 계전기의 향상된 Zone 3 알고리즘)

  • Heo, J.Y.;Kim, C.H.;Park, N.O.
    • Proceedings of the KIEE Conference
    • /
    • 2003.11a
    • /
    • 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.

  • PDF

Polynomials and Homotopy of Virtual Knot Diagrams

  • Jeong, Myeong-Ju;Park, Chan-Young;Park, Maeng Sang
    • Kyungpook Mathematical Journal
    • /
    • v.57 no.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.

An Automatic Simulation Technique for UML State Machine Diagrams based on Abstract Scenarios in Sequence Diagrams (순차도의 추상 시나리오 기반의 UML 상태 머신 다이어그램 시뮬레이션 기법)

  • Guo, Hui;Lee, Woo-Jin
    • Journal of KIISE:Software and Applications
    • /
    • v.36 no.6
    • /
    • pp.443-450
    • /
    • 2009
  • In an earlier development phase, the simulation technique is one of the key analysis methods for checking the correctness of system's functional requirements. In general, simulation is manually or randomly performed by executing state machine diagrams according to the requirement scenarios. Therefore, simulation is one of the most effort-consuming tasks. In this paper, an automatic simulation technique of state machine diagrams is provided according to the scenarios of the sequence diagrams. It is not easy to generate detailed simulation traces from sequence diagrams due to different abstraction levels between sequence diagrams and state machine diagrams. In order to adjust for different abstraction levels, state machine diagrams and sequence diagrams are transformed into LTS models and compositional analysis and transition reduction are performed. After checking behavior conformance between them, detailed simulation traces for the state machine diagrams are generated. These simulation traces are used not only for performing automatic simulation but also for assisting analyzers to reach a specific system state in order to guide further efficient simulation.

Spatial Scheduling in Shipbuilding Industry

  • Duck Young Yoon;Varghese Ranjan;Koo Chung Kon
    • Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
    • /
    • 2004.05a
    • /
    • 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.

  • PDF

Design and Application of the TFM Based System Test Model for the Weapon System Embedded Software (무기체계 임베디드 소프트웨어에 대한 TFM 기반 시스템 테스트 모델 설계 및 적용)

  • Kim, Jae-Hwan;Yoon, Hee-Byung
    • The KIPS Transactions:PartD
    • /
    • v.13D no.7 s.110
    • /
    • pp.923-930
    • /
    • 2006
  • In this paper we design the system test model for the weapon system embedded software based on the Time Factor Method(TFM) considering time factors and suggest the results through the case study. For doing this, we discuss the features, system tests and the object-oriented model based UML notations of the weapon system embedded software. And we give a test method considering time factors, a measuring method to time factors, and a test case selection algorithm as an approach to the TFM for designing the system test model. The TFM based system test model consists of three factors (X, Y, Z) in the weapon system embedded software. With this model, we can extract test cases through the selection algorithm for a maximum time path in 'X', identify the objects related to the Sequence Diagram in 'Y' and measure the execution time of each objects which is identified by the Timing Diagram in 'Z' Also, we present the method of extracting the system test cases by applying the proposed system test model to the 'Multi-function missile defense system'.

Application of Sequence Diagrams to the Reverse Engineering Process of the ESf-ccs

  • Hasan, Md. Mehedi;Elakrat, Mohamed;Mayaka, Joyce;Jung, Jae Cheon
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.15 no.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.

Method for Generating Optimal Disassembly Sequence of End-of-Life Car′s Parts (폐자동차 부품의 최적 분리순서 생성을 위한 방법론)

  • 박홍석;최홍원;목학수;문광섭;성재현
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.20 no.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.

Development of M&S Model for Helicopter Rotor Blades Dynamic Analysis using Modelica (Modelica를 이용한 헬기 로터 블레이드 동적해석 M&S 모델 개발)

  • Park, Joongyong
    • Journal of the Korean Society of Systems Engineering
    • /
    • v.11 no.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.

A Web-based Unified Design Methodology using XML Applications (XML을 이용한 웹기반 정보 관리 통합설계 방법론)

  • 김경수;신현철;장희선
    • Journal of the Korea Society of Computer and Information
    • /
    • v.7 no.4
    • /
    • pp.157-162
    • /
    • 2002
  • In this paper, we implement the XML and data modeling by the UML tool, in which the class diagram is constructed from the sequence diagram after making the use case diagram. For the XML modeling. the guiding line will be presented to transform the UML class into the XML document, and then an example to draw the XML DTD from the UML class will be also shown. Furthermore, through the proposed data modeling, the integrated design methods for the transformation of the UML class into relational database schema. object-relational database schema and object-oriented database schema also will be proposed. Finally, we will be presented schema for each database system.

  • PDF

Design of the Business Management System Based on .NET Using UML (UML을 이용한 닷넷기반의 경영관리시스템에 대한 설계)

  • Lee Sang-Young
    • Journal of the Korea Computer Industry Society
    • /
    • v.7 no.3
    • /
    • pp.179-184
    • /
    • 2006
  • many corporation introduce information system by method to maximize profit and to reduce expense within flood of information along with development of Information Technology. In this paper, construed AS-IS using UML that is an object intention methodology design tool via process of TO-BE process model design and so on to base Use Case diagram, sequence diagram, component diagram make out that do and this is Microsoft's .NET And wished to raise reusability of component and development productivity of software as that embody smaller enterprise type business administration system that .NET-based relationship extension is possible.

  • PDF