• 한국CDE학회논문집
• /
• 제6권1호
• /
• pp.31-39
• /
• 2001

Presented in this paper are algorithms to compute the positions of vertices and equations of edges of the Voronoi diagram of a circle set. The circles are located in a Euclidean plane, the radii of the circles are not necessarily equal and the circles are not necessarily disjoint. The algorithms correctly and efficiently work when the correct topology of the Voronoi diagram was given. Given three circle generators, the position of the Voronoi vertex is computed by treating the plane as a complex plane, the Z-plane, and transforming it into another complex plane, the W-plane, via the Mobius transformation. Then, the problem is formulated as a simple point location problem in regions defined by two lines and two circles in the W-plane. And the center of the inverse-transformed circle in Z-plane from the line in the W-plane becomes the position of the Voronoi vertex. After the correct topology is constructed with the geometry of the vertices, the equations of edge are computed in a rational quadratic Bezier curve farm.

• 정보과학회 논문지
• /
• 제41권10호
• /
• pp.774-784
• /
• 2014

상태 머신 다이어그램 결함 주입을 통하여 강건성 테스트 케이스를 생성하기 위한 연구가 수행되고 있다. 그러나 기존의 연구들은 상태 머신 다이어그램의 구조적인 측면만을 단순 고려하고 있기 때문에 작은 크기의 모델임에도 불구하고 많은 결함이 주입될 수 있다. 본 논문에서는 강건성 테스트의 효과성은 유지한 채, 주입될 결함의 수를 줄이기 위한 결함 주입 방법을 제안한다. 제안 방법은 전자레인지 상태 머신 다이어그램을 이용하여 설명되었으며, 유효성을 검증하기 위하여 해쉬 테이블 상태 머신 다이어그램에 제안 방법을 적용하였다. 해쉬 테이블에 적용된 실험 결과, 제안 연구는 강건성 테스트의 효과성은 유지하였으며, 주입된 결함의 수는 43%, 생성한 테스트 케이스의 수는 63% 감소시킨 것을 확인할 수 있었다.

• 응용통계연구
• /
• 제19권1호
• /
• pp.163-170
• /
• 2006

역학(epidemiology) 또는 임상(clinic) 자료를 분석하기 위한 주효 측도의 선택에 대한 연구가 계속되고 있지만, 주효 측도들이 일반적인 함수 형태로만 표현되는 경우에는 주효 측도들의 특징이나 관계를 이해하는 것이 쉽지 않다. 이 논문에서는 주효 측도의 선택 문제 보다는 이변량 자료에 대한 주효 측도 중에서 위험도차이(risk different: RD), 상대위험률(relative risk: RR), 그리고 교차비(odds ratio: OR)를 방사형 그림(radar diagram)을 사용하여 나타내고 이 그림을 이용하여 이들의 특성이나 관계를 살펴보았다. 방사형 그림은 이 측도들을 이해하는데 좋은 도구가 될 것이다.

• 인터넷정보학회논문지
• /
• 제18권4호
• /
• pp.79-87
• /
• 2017

Company A, an embedded system manufacturer, provides its products to Company P which is the parent company of Company A. Both companies learned that they needed to find over 4,000 bugs before market release in order to meet the acceptable quality level. Traditionally, they had utilized time-series line graphs as their common performance measurement tool. These graphs compared accumulated numbers of bugs fixed with accumulated numbers of bugs found. Engineers in Company A had been under pressure to improve the process capacity because the line for bugs fixed was always below than the line for bugs found. By using a newly designed Bipolar diagram, engineers in Company A analyzed the process performance. And they were in a position to be more flexible for internal or inter-companies meeting. Authors explain an empirical study of a graphical and practical performance measurement tools relating to mainly the Bipolar diagram. As a result, the Bipolar diagram provides workload monitoring and performance measurement functions in a given timeframe by using the concepts of Optimum Process Line (or band) and Fair Process Capacity Zone.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권6호
• /
• pp.473-485
• /
• 2005

UML(Unified Modeling Language) 액티비티 다이어그램은 시스템의 동적인 측면을 표현하는데 적합하기 때문에 비즈니스 프로세스와 워크플로우를 모델링하는데 유용하게 사용된다 그러나 워크플로우 시스템에서 중요시 되는 시멘틱 정보 표현의 경우 OMG가 제공하는 UML 액티비티 다이어그램에 대한 시멘틱 정보를 표현하기 위한 지침만으로는 정확한 시멘틱 정보의 표현이 어렵다. 이에 본 논문에서는 워크플로우 시스템의 특성에 맞도록 ASM(State Machine) 시멘틱을 확장한 후 액티비티 다이어그램에 적용하여 워크플로우 시스템을 모델링하는 방안을 제시한다. 이와 같은 ASM 시멘틱을 기반으로 하는 정형적인 시멘틱에 대한 정확한 정의를 통하여 보다 효율적인 워크플로우 모델링이 가능하다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제31권3호
• /
• pp.257-277
• /
• 2017

본 연구의 주된 목적은 크게 두 가지로 나눌 수 있다. 첫째, 최근 수학적 모델링이 강조되는 상황에서 보로노이 다이어그램과 들로네 삼각분할을 주제로 영재교육을 위한 수학적 모델링 프로그램을 개발하는 것이다. 둘째, 본 연구에서 개발한 수학적 모델링 프로그램을 실제 영재교육 수업에 적용한 결과를 분석하여 수학적 모델링 수업을 설계하는 현직교사와 융합형 영재프로그램을 개발하는 영재교사에게 도움을 주고자 한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 추계종합학술대회
• /
• pp.615-618
• /
• 2003

관계형 데이터베이스의 설계 과정은 요구사항 분석, ER 모델을 이용한 개념적 설계, 논리적 설계, 그리고 물리적 설계 과정으로 구성된다. 논리적 설계과정은 ER 다이어그램으로 구성된 개념적 스키마를 관계형 스키마로 전환하여 정규화시키는 과정으로 이루어진다. 이런 기존의 설계 과정에서 요구사항의 분석후 개념적 스키마를 도출하는 개념적 설계 과정이 명확치 않음으로 인해서, 실제 데이터베이스 설계현장에서 적용하기 어려운 점이 있다. 본 논문에서는 작업과정이 모호한 개념적 설계를 제거함으로 보다 체계적으로 데이터베이스 스키마를 설계할 수 있는 방법을 제안한다. 구조적 설계 방법을 이용하여 자료흐름도를 작성하고, 자료흐름도의 자료저장소에 파악된 애트리뷰트를 이용하여 관계합성으로 관계형 스키마를 도출한다. 관계형 스키마를 정규화하고, 정규화된 테이블로부터 데이터의 의미를 파악하여 테이블 관계도를 작성함으로써 최종 논리적 스키마를 결정한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권6호
• /
• pp.657-668
• /
• 2002

소프트웨어 생명주기는 요구분석, 설계, 구현, 유지보수 단계 등으로 구성되며, 각 단계의 산출물은 다양한 형태를 지니고 있다 이러한 산출물을 표준화한 것이 UML이며, 요구분석 단계에서는 클래스 다이어그램, 사용사례 다이어그램, 활동 다이어그램, 협력 다이어그램이 일반적으로 사용되고 있다. 기존의 UML 개발 도구들은 이러한 다이어그램을 파일에 저장하기 때문에, 다이어그램 정보를 검색하거나 다수의 개발자들이 참석하는 공동 작업시 어려움이 발생한다. 본 논문에서는 이러한 어려움을 해결하고 요구분석 단계에서의 산출물을 효율적으로 처리하기 위하여 다이어그램 정보를 데이타베이스에 저장하고 관리하는 방법을 제안한다. 이를 위해 클래스, 사용사례, 활동, 협력 다이어그램을 구성하고 있는 모든 요소들을 분류하고, 분류된 각 구성요소들을 관계형 테이블로 변환한다. 이렇게 변환된 테이블에 다이어그램 정보를 저장하고 다양한 형태의 질의를 통해 저장된 정보를 검색할 수 있도록 한다. 제안한 방법은 다이어그램 정보를 다수의 개발자가 공유하여 사용할 수 있으며 모델의 재사용에 편리성을 제공할 것이다.

• Journal of Information Processing Systems
• /
• 제2권2호
• /
• pp.114-123
• /
• 2006

We present in this paper the methodology for automatic generation of OWL-S service model ontology along with the results and issues. First, we extract information related to atomic services and their properties such as IOPE from the UML class diagram, and retrieve information related to the composition of services from the UML state-chart diagram. Then, the XSLT applications utilize the acquired information to generate the OWL-S service model ontology through the predefined mappings between OWL-S constructs for composite services and UML state-chart primitives. For the justification of generated service ontology, several validation checks are performed. Our service ontology generation method is general and fully automatic, as well as effective, in that it is achieved in an environment familiar to developers, and information needed to generate service ontology is provided necessarily during service development. It is also noticeable to facilitate representing the condition with GUI rather than a complex language such as OCL.

• Asia pacific journal of information systems
• /
• 제8권3호
• /
• pp.1-20
• /
• 1998

We propose an Executive Information Systems (EIS) Architecture for chief officers of the Air Force using data warehousing method. This architecture has two main proposes. The one is to provide the information for chief officers to control and command their organizations effectively by analyzing operation data at normal times. The other is to provide chief officers with the information about current situation so that they may make right and rapid decisions at emergency. The architecture introduced here is one that analyzes operational trends as well as current trends in a hierarchical organization environment. System analysis and design techniques for the Air Force EIS such as data flow diagram, system structure, entity-relational diagram, and third normal form of relational database were presented. After prototype screens are demonstrated, benefits of new EIS architecture were also discussed as a conclusion.