• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.172-174
• /
• 2006

본 연구에서는 시간 요소를 고려한 무기체계 소프트웨어의 시스템 테스트 모델을 제시한다. 이를 위해 컴포넌트 기반의 UML 표기법과 무기체계의 시간 제약 특징을 고려한 무기체계 소프트웨어의 시스템 테스트 모델인 TFM(Time Factor Method) 모델을 제안한다. TFM 모델은 세 가지 요소인 (X.Y,Z)으로 구성되어 있는데. "X" 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, "Y" 에서는 Sequence Diagram과 관련된 컴포넌트(오브젝트)를 식별하고, "Z"에서는 Timing Diagram을 통하여 식별된 각각의 컴포넌트의 실행시간을 측정한다. 또한 제안된 TFM 모델의 적용사례를 들어 테스트 케이스를 도출한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1543-1546
• /
• 2003

잘못된 명세로 인한 자원의 손실을 악기 위해서는 반드시 명세에 대한 검증이 필요하다. 객체지향 모델링 언어의 표준인 UML은 각각의 다이어그램이 사용자의 요구사항을 정확히 반영하고 있는지를 검증하기가 매우 어렵다. 본 논문은 UML의 여러 다이어그램 중 상태 다이어그램(Statechart Diagram)의 명세에 발생해서는 안되는 상태 또는 발생할 수 없는 상태와 같은 오류의 존재여부 등의 정확성을 검증하기 위해 CTL을 이용한 정형검증도구인 SMV를 이용한다. 이를 위해 UML의 상태 다이어그램에서 상태 정보와 상태 천이 정보를 추출하여 SMV로 변환하는 규칙을 찾아내어 UML의 상태 다이어그램의 정확성 검증을 수행하는 방법을 제안하고 자동으로 변환하는 툴을 설계한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.325-327
• /
• 2007

Software testing 은 소프트웨어 개발 과정 중에 1/3 을 차지 할 만큼 중요한 부분 중 하나이다. Software testing 는 Requirement 작성이 제대로 이루어져야만이 제대로 testing 을 할 수 있고, 그에 따라 정확한 결과를 얻을 수 있다. 그 만큼 Requirement 작성이 중요시 되고 있지만, 수동적으로 기술자에 의해서 작성되는 Requirement 에는 많은 문제점을 안고 있다. 본 논문에서는 Requirement를 Graph 하게 표현한 방법을 소개하고, 표현된 방식을 이용하여 다시 자연어로 표현할 수 있도록 Database 를 설계하는 방식을 제안한다. 그 결과로 Design 된 패턴들을 이용하여 Requirement 자연어로 기술한다. 이를 통하여 Requirment 기술 방식을 통일화 시킬 수 있으며, 기술자간에 의사소통을 원할하게 수행할 수 있으며, Software testing 의 중요 기반으로 제공할 수 있다.

• Journal of the Korean Ceramic Society
• /
• v.29 no.6
• /
• pp.489-495
• /
• 1992

The continuous compaction response of zirconia powders prepared by different processing treatments was investigated. Though the yield point could be or not below 1 MPa, the change of slope was always observed at high pressure range around 60 MPa. Powder compaction was mainly governed by second compaction stage and compaction rate was decreased with increasing forming pressure. Rotary vacuum dried powder favored a high compaction density, whereas freeze dried and calcined powders favored an increase in the pressing efficiency. In order to extract more reliable information about powder compaction, it was necessary to use not only compaction response diagram but also compaction rate diagram.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.11a
• /
• pp.163-170
• /
• 2002

해체 데이터베이스 구조 설계를 위하여 입력과 출력 항목 및 평가 대상 항목을 선정하였다. 해체 활동으로부터 발생되는 수많은 해체 정보들을 코드화하였다. 데이터베이스 구축에 사용되는 설계 도구들을 검토한 후 20여가지 설계 도구들 중 범용적으로 사용되고 있는 모델링 도구를 이용하여 사용자 요구사항으로부터 도출된 주요 해체 정보들간의 관계를 ERD(Entity Relationship Diagram)를 사용하여 규명하였으며, DFD(Data Flow Diagram)를 이용하여 해체 DB 시스템의 프로세스 흐름을 파악하였다 해체 데이터베이스 구현의 원할 한 진행을 위해 프로토타입을 설계하였다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.1
• /
• pp.72-75
• /
• 2006

Event trees are widely used graphical tool to denote the accident inintiation and escalation to more severe accident. But they have some drawbacks in that they do not have efficient way of updating model parameters and also they can not contain the information about dependency or independency among model parameters. A tool that can cure such drawbacks is an influence diagram. We introduce influence diagrams and explain how to update model parameters and obtain predictive distributions. We show that an event tree can be converted to a statistically equivalent influence diagram, and bayesian prediction can be made more effectively through the use of influence diagrams.

• Journal of KIISE:Software and Applications
• /
• v.27 no.4
• /
• pp.357-369
• /
• 2000

SMIL(Synchronized Multimedia integration Language) allows integrating a set of independent multimedia objects into a synchronized multimedia presentation. In this paper, I propose modeling rules, formal models, modeling function and an algorithm for SMIL documents using use case diagram and sequence diagram of UML(Unified Modeling Language), It will be used the use case diagram and collaboration diagram for object-oriented visualizing tool to describe the temporal behavior of the presentation. The main contribution of this paper is that developers of SMIL documents easily generate them using this rules and algorithm. And, the formal models and modeling functions provide an environment for processing object-oriented documents.

• Proceedings of the KSME Conference
• /
• 2003.04a
• /
• pp.822-827
• /
• 2003

Topological maps have drawn more attention recently because they are compact, provide natural interfaces, and are applicable to path planning easily. To build a topological map incrementally, Voronoi diagram was used by many researchers. The Voronoi diagram, however, has difficulty in applying to arbitrarily shaped objects and needs long computation time. In this paper, we present a new method for global topological map from the local topological maps incrementally. The local topological maps are created through a thinning algorithm from a local grid map, which is built based on the sensor information at the current robot position. A thinning method requires simpler computation than the Voronoi diagram. Localization based on the topological map is usually difficult, but additional nodes created by the thinning method can improve localization performance. A series of experiments have been conducted using a two-wheeled mobile robot equipped with a laser scanner. It is shown that the proposed scheme can create satisfactory topological maps.

• Journal of KIISE:Software and Applications
• /
• v.32 no.6
• /
• pp.486-501
• /
• 2005

XPDL is a XML-based language for process definition exchange that is proposed by WfMC. This paper propose a model which model XPDL document structure (Schema) using UML in order to define and to exchange workflow process, and make business flow understanding ease for inter-business cooperation. So, we define mapping rules in which map XPDL documents into UML class diagram and UML activity diagram. By these mapping rules, elements composing XPDL process meta-model are mapped into UML class diagram, and process activities are mapped into UML activity diagram. Also, we apply proposed mapping technique to model a workflow of (')Credit card state check system.(')

• The KIPS Transactions:PartA
• /
• v.19A no.4
• /
• pp.169-174
• /
• 2012

We present an algorithm that computes a 3 dimensional Voronoi diagram for a protein molecule in this paper. The molecule is represented as a set of spheres with van der Waals radii. The Voronoi diagram is constructed in the 3D space by finding the voxels containing it. For the feasibility of the computation, we represent the molecule as a BVH (bounding volume hierarchy), and our system is accelerated by modern graphics hardware with CUDA programming support. Compared to single-core CPU implementations, experimental results show 323 times faster performance in the computation time, when the space is partitioned into $2^{24}$ voxels.