• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.610-612
• /
• 2002

본 논문에서는 복잡 배경을 포함한 비디오 영상에서 객체 변형 및 겹침에 강건한 칸투어 추적 방법을 제안한다. 복잡 배경에서의 칸투어 추출 문제를 해결하기 위해 텍스처 분석과 노이즈 필터링 과정을 거치며, 보다 객체 원형에 가까운 칸투어 추출을 위해 각 칸투어 포인터 간 최소 경로 측정 알고리즘을 적용한다. 객체 추적 방법에 있어서 추출된 칸투어 정보는 연속된 프레임 상에서 객체 움직임이 발생했을 때 추적 위치를 판별하기 위한 모션 벡터로 사용되며, 시점에 따라 형태가 변하는 상황을 포함한 팬, 틸트, 줌에도 안정적 추적이 가능하게 하기 위해, 폐곡선을 이루는 각 칸투어 포인터들의 움직임 벡터와 칸투어내 면적의 변화에서 측정되는 이동도 측정을 통하여 객체 위치 추적을 가능하게 하였다. 또한 매 추적 과정을 진행함에 있어서 다른 객체의 겹침 및 모양변형 발생여부 검사과정을 통하여, 안정적인 추적이 가능하게 하였다. 본 논문에서 제안한 방법의 성능을 검증하기 위해 다양한 배경을 갖는 복잡 배경에 존재하는 비정형 객체를 대상으로 실험하였고, 제안된 방법이 효율적임을 확인할 수 있었다.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2004.03a
• /
• pp.57-62
• /
• 2004

현재 모바일 환경에서 위치 데이타를 활용하는 LBS(Location Based Services)나 Telemetics 같은 분야가 새로운 화제로 대두되었으며, 관련된 다양한 이동 객체 관리 시스템이 국내외에서 개발되고 있다. 이러한 시스템은 위치 데이타의 효율적인 저장 및 검색을 지원해야 하며, 또한 저장 및 검색의 효율성과 안전성을 검증하기 위해 다양한 데이타 셋을 이용한 테스트 및 성능 평가가 요구되고 있다. 그리고, 이 경우에 특정 상황을 가정한 임의 데이타 셋보다 실제 환경에 가까운 데이타 셋을 이용한다면 보다 정확한 테스트와 성능 평가가 가능할 것이다. 본 논문에서는 이러한 필요성을 해결하기 위해 실제 환경에서의 지형 지물과 같은 다양한 고정 객체와 지형 지물상에서 이동하는 다양한 이동 객체를 고려하여 위치 데이타를 생성하는 기법을 연구하였다. 특히, 고정 객체 및 이동 객체의 위치 데이타를 표현하는데 있어 OGC(Open GIS Consortium)에서 제안한 지리 데이타 공유 및 저장의 표준인 GML(Geography Markup Language) 명세에 기반한 GML 문서를 사용하였다. 즉, 본 논문에서는 다양한 이동 객체 관리 시스템이 실제 환경에 가까운 테스트 및 시뮬레이션을 수행할 수 있도록 하기 위해 GML 기반 이동 객체 위치 데이타 생성자를 개발하였으며, 생성된 데이타 셋은 LBS나 Telemetics는 물론 4D GIS 분야에서 보다 정확한 테스트 및 성능 평가를 위해 활용될 수 있을 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.04a
• /
• pp.1466-1469
• /
• 2011

플러그인 프레임워크는 기존 M&S 프레임워크에서의 문제점인 구성요소 간 높은 종속관계 및 낮은 유연성을 해결하고자 개발된 프레임워크 설계 방식으로, 프레임워크를 구성하는 컴포넌트를 플러그인으로 제공하여 구성요소의 추가 및 변경이 동적으로 이루어질 수 있게 한다. 또한 플러그인 컴포넌트간 통신을 위한 메시지 구조 정의가 실행 시점에 동적으로 결정되어, 컴포넌트 간 상호 독립적인 인터페이스를 보장해준다. 하지만, 플러그인 컴포넌트들의 조합이 이뤄진 상태에서 전체적인 메시지 연결 흐름이 원활하기 위해서는 각 컴포넌트에서 개별적으로 작성된 인터페이스에 대한 검증이 사전에 이뤄줘야 한다. 이에 본 논문에서는 XML 기반으로 작성된 객체 모델 명세서에 대한 무결성과 중복성을 검증할 수 있는 객체 모델 명세서 검증 도구에 대해 제안하고 이에 대한 설계내용을 설명하도록 한다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.10
• /
• pp.2453-2460
• /
• 1997

Among the method of developing software there are many object-oriented analysis(OOA) techniques, and the new ones are being introduced continuously. The present OOA techniques, however, have difficulty in the identification and the verification of the objects and tend to ignore high-level control aspects of the problem due to the initial partitioning of them on the basis of the data. As a result, it brings inaccurate understanding and faults in the software which is required by users. Therefore the purpose of this paper is to design the TOVERC to verify completeness and consistency through cross-reference between the state transition diagram and the methods of object model in order to reflect the requirements of users in the analysis of software considering this problem.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.61-63
• /
• 2002

본 논문에서는 UML을 이용하여 W3C XML Schema를 설계하기 위한 XML 모델링 방안을 제시하고, 아울러 교환되는 XML 데이터를 효율적으로 저장하기 위하여 관계형 데이터베이스 스키마 설계를 위한 통합 설계 방법론 제안한다. 또한 통합 설계 방법론의 객관적인 검증을 위하여, 기존의 Ronald Bourret의 방법을 사용하여 XML schema를 객체 모델로 변환하고 아울러 변환된 객체 모텔을 관계형 데이터베이스 스키마로 변환된 결과와 본 논문에서 제시한 UML를 이용한 데이터 모델링에 따른 관계형 데이터베이스 스키마와의 상호 일치함을 보임으로써 본 논문에서 제안한 통합 설계 방법론의 객관성을 검증하였다.

• Journal of KIISE:Software and Applications
• /
• v.34 no.9
• /
• pp.785-796
• /
• 2007

In object-oriented systems, objects are organized in hierarchies such that subtypes Inherit and specialize the structure and the behavior of supertypes. Behavioral compatibility is a very crucial issue to permit the substitution between object types, which supports the extension and evolution of object oriented system. This paper proposes successive methods rule that extending methods rule for checking behavioral compatibility between objects on the basis of their dynamic behaviors expressed in finite state machine which is one of the most frequently used notations for expressing dynamic behaviors of object. Based on the classical methods rule, successive methods rule is used for guarantee behavioral compatibility by checking the traces of two objects. And we describe an algorithm for verifying behavioral compatibility between objects using the successive methods rule.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.18 no.6
• /
• pp.191-201
• /
• 2019

A fast and accurate integrated traffic object detection framework was proposed and developed, harnessing a computer-vision based deep-learning approach performing automatic object detections, a multi object tracking technology, and video pre-processing tools. The proposed method is capable of detecting traffic object such as autos, buses, trucks and vans from video recordings taken under a various kinds of external conditions such as stability of video, weather conditions, video angles, and counting the objects by tracking them on a real-time basis. By creating plausible experimental scenarios dealing with various conditions that likely affect video quality, it is discovered that the proposed method achieves outstanding performances except for the cases of rain and snow, thereby resulting in 98% ~ 100% of accuracy.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.1B
• /
• pp.74-85
• /
• 2009

We propose an Agent-based Fault Tolerant Object Group model based on the agent technology and FTOG model with replication mechanism for effective object management and fault recovery. We define the five kind of agents - internal processing agent, registration agent, state handling agent, user interface agent, and service agent - that extend the functions of the FTOG model. The roles of the agents in the proposed model are to reduce the remote interactions between distributed objects and provide more effective service execution. To verify the effectiveness of the proposed model, we implemented the Intelligent Home Network Simulator (IHNS) which virtually provides general home networking services. Through the simulations, it is validated that the proposed model decreases the interactions of the object components and supports the effective fault recovery, while providing more stable and reliable services.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2012.11a
• /
• pp.85-87
• /
• 2012

본 논문에서는 객체기반의 모바일 콘텐츠 검색 기술에 대한 평가 항목, 평가 기준, 평가 방법을 설정하여 관련 기술의 성능을 객관적으로 검증하는 방법에 대해 설명한다.. 객체기반의 모바일 콘텐츠 검색 기술은, 다양한 분야에서 활용이 가능한데, 대표적인 서비스 분야는 e-Learning 분야, 문화재 정보검색 분야, 모바일 AR 분야, 스마트 TV 분야, 모바일 쇼핑분야, 모바일 영상 감시분야 등 매우 다양하다. 본 논문에서 제시한 객체기반 모바일 콘텐츠 검색 기술 평가 지침은 국내 디지털 콘텐츠 업계에서 개발, 생산하고 있는 객체기반의 모바일 콘텐츠 검색 기술의 품질을 객관적으로 평가할 수 있는 체계를 제공함으로써, 사용자는 표준화된 객체기반의 모바일 콘텐츠 검색 기술의 인증서의 내용을 토대로 자신의 목적에 따라 선택하여 사용할 수 있도록 하고, 기술 개발자들에게는 보다 우수한 객체기반의 모바일 콘텐츠 검색 기술의 개발을, 평가자에게는 공정한 평가를 가능하게 할 수 있다.