• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.262-267
• /
• 2004

This paper is concerned with a design method of two-degree-of-freedom controller by Coefficient Diagram Method (CDM). The two-degree-of-freedom control system satisfies both of tracking and disturbance rejection performances, but requires tuning of many parameters. By the proposed design method, these parameters can be obtained properly without any adjustment. Furthermore, the tracking and disturbance rejection performances can be simultaneously designed. The effectiveness of the proposed method is demonstrated by the simulation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.126-128
• /
• 2012

소프트웨어 시스템의 안전성을 보장하기 위해 여러 안전성 분석 기법들이 사용되고 있으며, 안전성 분석의 결과인 안전성 요구사항을 시스템이 만족하고 있는지 확인하는지 확인하는 안전성 평가과정이 수행되고 있다. 안전성 평가는 많은 시간과 비용이 드는 문제점을 가지고 있다. 본 논문은 안전성 평가에 드는 시간과 비용을 줄이기 위해 테스트 케이스를 이용하여 안전성 요구사항을 소프트웨어 개발의 가장 기본적인 검증기법인 테스팅을 이용하여 시스템이 만족하는지 확인하는 방법을 제안하고 핸드폰의 카메라 컨트롤러 예제를 이용한 사례 연구를 진행하였으며 이를 지원 위한 도구인 TC2SMV를 개발하였다. TC2SMV는 UML의 state chart diagram에서 생성된 test case들을 SMV 입력 프로그램으로 자동으로 변환하여 사용자가 SMV 모델체킹을 수행할 수 있는 환경을 제공한다.

• Asia pacific journal of information systems
• /
• v.11 no.1
• /
• pp.117-137
• /
• 2001

B2B(business-to-business) commerce has become the prime driver of contemporary electronic commerce. Under B2B commerce, corporations often must operate across organizational boundaries to share their business processes. Workflow management was proposed by Aalst(4, 5) to support several business partners that are involved in shared workflow processes in B2B commerce. We designed a messaging system for B2B workflow, where heterogeneous workflow management systems on each organization for trade were integrated. Based on Aalst's example in(4, 5), we analyzed B2B workflow by using class diagram, use case diagram, activity diagram, and statechart diagram of UML, and designed the messaging system, We also demonstrated a prototype system which was implemented by using Java API and XML. To compare with a holistic system such as EDI systems, the messaging system allows the business partners in B2B commerce to communicate with each other by dedicated messages and integrate each B2B interoperable workflow without any restrictions.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.10a
• /
• pp.634-637
• /
• 2010

This paper suggests the design of MVC model for an authorization tool of UML class diagram. In the design of MVC model, it is designed to define view, controller and model and perform the individual role of each component. The View represents GUI and the Controller is responsible for data input and output and the Model is to handle the business logic. The MVC model design for an authorization tool of class diagram gives the role independently and tries to be flexible with system by dividing into the suitable features of each component.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.11a
• /
• pp.278-281
• /
• 1999

In this paper, Squential circuit was implemented by decision diagram that can analyze and test large amount of functions easily. First of all, Memery device of multiple valued squential circuit was used D F/F, implemented with CMOS current mode. The opreation property of this circuit involved by PSPICE simulation. The result of Decision Diagram sequential circuit is simple and regular for selecting wire routing and posesses the property of analyze, testing. so it suitable for VLSI implementation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.694-696
• /
• 2001

근래의 소프트웨어 관련업계에서는 소프트웨어 개발 및 관리에 있어 소프트웨어구조를 중심으로 생산성 및 품질의 극대화를 추구하고 있다. 또한 소프트웨어 컴포넌트 관련 기술 및 컴포넌트 기반 소프트웨어 개발 방법론에 대한 연구도 활발히 진행중이며, 많은 응용기술들이 나오고 있다. 소프트웨어 구조는 소프트웨어를 컴포넌트로 구성하고 그 사이의 상호작용을 커넥터를 이용해 기술함으로서 전체적인 구조를 분석하고 유지하는데 필수적인 요소로 고려된다. 본 연구에서는 우리가 개발한 HappyWork라는 모델링 도구를 사용하여 소프트웨어 구조를 설계하는 기법을 설명한다. HappyWork를 이용한 소프트웨어 구조 설계 과정에는 System Context Diagram, Component Diagram, Component Sequence Diagram과 같이 세 가지 다이어그램이 사용되며, 이 Diagram들을 User, System, Component, Connector와 같은 네 가지 element들로 구성된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.939-942
• /
• 2013

빠르게 변화하는 현대 소프트웨어 산업에서 주변 환경에 대응해 시스템의 상태를 변화하며 요구사항을 만족시키는 자가적응 소프트웨어의 개념이 대두되고 있다. 본 연구는 기존의 UML diagram이 자가적응 소프트웨어의 특성을 표현하기에 부족한 점을 보완하기 위해 UML diagram을 확장했으며 자가적응 소프트웨어의 설계에 중요한 요소인 '상황'을 모델링하기 위해 기존 연구의 Situation model을 도입해 연계할 수 있도록 했다.

• Spatial Information Research
• /
• v.10 no.3
• /
• pp.439-453
• /
• 2002

Researches using DEM are actively progressed in field of water resource, and especially the extraction of watershed and stream based on topographic and hydrologic analysis, is widely used in GIS analysis recently. However, because it is extracted that watershed which is type of sliver polygon and stream which is type of straight line in low topographic region, they're not efficient for application. This study determined buffer zone from stream and tried smooth elevation change to buffer zone in order to efficiently extract abnormal watershed and stream being occurred in low topographic region. Especially, we applied equal-distance assignment model using Voronoi Diagram to determine smooth elevation change. Also, we extracted watershed and stream using stream recognition DEM and origional DEM, and evaluated the efficiency of research through comparing the shape of watershed and stream in low topographic region.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.12
• /
• pp.3829-3839
• /
• 2000

The UML(Unified Modeling Language) Class Diagram which is a part of structure of UML is fit for Object Modeling, and more recently, as the appearance of UXF(UML eXchange Format) UML Class Diagram by itself, can be exchanged in many other different system document. So this paper suggest the conversion system from UML Class Diagram to XML DTD. As this we can easily transformation and saving the UML Class Diagram that is the standard of Modeling Language to XML document which is so reusable. Also it can give a flexible method for the representation to the logical structure of document in various way because of converting XML DTD.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.6
• /
• pp.1291-1299
• /
• 2012

UML is a semantically rich language, but it is difficult to ensure consistency of the diagrams you have written. Therefore, in this paper, we propose cross checking rules to improve consistency between UML diagrams, especially between UML static diagram and dynamic diagram. We use metamodels in order to more clearly reflect interactions of UML elements in the checking rules and use OCL(Object Constraint Language) to accurately represent the checking rules. By comparing with the well-formedness rules of UML specification, we focus on consistency of UML diagrams. And we derive metamodels of static diagram and dynamic diagram, analysis the relationships of UML diagrams and finally, we test the usability of derived rules through a case study.