• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2347-2350
• /
• 2002

본 논문에서는 일반 데스크탑 PC의 디스플레이 성능에 적합하도록 작성된 유선의 웹 문서를 무선 인터넷 환경의 핸드헬드 계열 소형 단말에서도 효율적으로 표현하기 위한 변환 기법을 제시한다. 이는 기존의 단순한 텍스트 위주의 추출 및 형식의 변환과는 달리, 분석 및 변환을 위한 최소 내용 단위를 설정하고, 이들의 재배치를 통하여 원본 웹 문서의 정보를 보다 정확히 반영한다. 또한 새로운 인덱스 형식으로의 재표현을 통하여 기존의 페이지 조각과 계층적 구조의 인덱스 링크를 이용한 인터페이스보다 편리한 검색 및 페이지 이동을 제공한다. 이 기법은 보다 많은 정보를 복잡한 구조로 표현하는 현재의 웹 문서 특징을 반영하고, 이동 단말들의 고성능화 추세와 함께 화려한 무선 인터넷을 요구하는 사용자들을 고려한 것이다. 전체 변환 과정은 Layout-Forming Tag Analysis Algorithm, Component Grouping Algorithm Component Block Classification Method, Index Generation Method로 구성된다. 변환 시스템의 구성 모듈별 설계와 프로토타입의 구현을 통하여 제안하는 알고리즘 및 변환 방법을 평가하였고, 실제 웹 문서에 대한 실험 결과에서 단말의 소형 화면에 적합하게 변환된 모습을 확인하였다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.6
• /
• pp.667-673
• /
• 2004

The XML is emerging as standard language for data exchange on the Web. Therefore the demand of XML Schema(W3C XML Schema Spec.) that verifies XML document becomes increasing. However, XML Schema has a weak point for design because of its complication despite of various data and abundant expressiveness. This paper shows a simple way of design for XML Schema using a fundamental means for database design, the Entity-Relationship model. The conversion from the Entity-Relationship model to XML Schema can not be directly on account of discordance between the two models. So we present some algorithms to generate XML Schema from the Entity-Relationship model. The algorithms produce XML Schema codes using a hierarchical view representation. An important objective of this automatic generation is to preserve XML Schema's characteristics such as reusability, global and local ability, ability of expansion and various type changes.

• The KIPS Transactions:PartD
• /
• v.12D no.1 s.97
• /
• pp.1-12
• /
• 2005

The XML is emerging as standard language for data exchange on the Web. Therefore a demand of XML Schema(W3C MLL Schema Spec.) that verifies XML document becomes increasing. However, XML Schema has a weak point for design because of its complication despiteof various data and abundant expressiveness. This paper shows a simple way of design for XML Schema using a fundamental means for database design, the Entity-Relationship model. The conversion from the Entity-Relationship model to XML Schema can not be directly on account of discordance between the two models. So we present some algorithms to generate XML Schema from the Entity-Relationship model. The algorithms produce XML Schema codes using a hierarchical view representation. An important objective of this automatic generation is to preserve XML Schema's characteristics such as reusability, global and local ability, ability of expansion and various type changes.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.328-333
• /
• 2000

인터넷이 전세계적으로 급속히 확대되면서 인터넷 사용자의 수는 기하급수적으로 증가하고 있으며 이로 인하여 기존의 인터넷 망 계층 프로토콜인 IPv4에서 지원하는 인터넷 주소공간은 얼마 가지 않아 고갈될 것으로 예상된다. 따라서 차세대 인터넷 망 계층 프로토콜인 IPv6로의 전이는 필연적으로 이루어질 것이다. 그러나 현재의 인터넷 환경에서 IPv6로의 동시 전환은 현실적으로 불가능하며 향후 IPv6 환경의 확산에 대처하기 위해서는 IPv4에서 IPv6로의 효과적이고 점진적인 전이 방안에 대한 연구가 필요하다. 본 논문에서는 이러한 전이 방안 중에서 IPv4 및 IPv6 단일 구조를 지닌 호스트들로 구성된 네트워크간의 원활한 통신을 지원하기 위한 IPv4/IPv6 프로토콜 변환모듈을 설계 및 구현 하였으며, 이를 위하여 IP 패킷 구조를 분석하고 이를 토대로 IP 프로토콜 변환모듈의 기능 구조를 정의하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.572-575
• /
• 2012

본 논문은 스테레오 시각에서 3차원 정보를 얻기 위해 변형된 Census 변환과 적응적 윈도우를 이용한 다해상도 스테레오 영상 정합 방법을 제안하고자 한다. 영역 기반 기법으로 스테레오 영상의 대응점을 찾기 위해 탐색 화소 주변 영역의 기울기를 계산하여 윈도우의 크기 및 모양을 적응적으로 결정하고, 윈도우 영역의 정합 비용 함수는 변형된 Census 변환과 AD 연산 결과의 가중합으로 구한다. 정합 과정에서 계산복잡도를 줄이기 위해 계층적 다해상도 구조를 적용하여 영상 피라미드를 만들고, 정합의 정확성을 향상시키기 위해 정합 영역에 변위 평활성과 같은 제약 조건을 적용하여 변위를 전파하는 방법을 사용한다. 실험을 통해 제안한 방법이 변위 탐색 시간을 감소시킬 뿐만 아니라 정합의 타당성이 보장됨을 확인하고자 한다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.14 no.1
• /
• pp.65-76
• /
• 2001

본 연구의 목적은 평판의 모서리 둔각이 135도까지를 갖는 재료적 비선형 경사평판을 해석하기 위해 C°-계층적 평판요소를 개발하는 것이다. 기하학적 변환을 통해 경사진 경계조건은 직각좌표계의 좌표변환을 이용하여 해결할 수 있다. 여기서, 경사경계는 경사진 변 전체 또는 경사교량의 교좌위치와 관련된 몇 개의 선택지점만을 고려할 수 있게 하였다. 이 목적을 위해 경사교량의 교좌장치의 이동방향을 설명할 수 있도록 1차 전단변형을 갖는 Reissner/Mindlin 평판이론에 기초를 둔 5-자유도 경사평판요소가 정식화되었다. 한편, 평판의 극한내하력을 추정하기 위해 von-Mises 항복기준에 기초를 둔 소성유동법칙을 갖는 증분소성이론이 채택되었다. 또한, ADINA 소프트웨어에 의한 h-version 모델과 제안된 p-version 모델을 사용하여 경사각, 경계조건과 하중의 변화에 따른 영향을 조사하였다. 해석결과는 이론값과 문헌에 보고된 수치해석값과 비교되었다. 자유도 수에 따른 정확도를 비교기준으로 한다면, 본 연구에서 제안된 해석모델은 지금까지 개발된 가장 효율적 도구의 하나라고 할 수 있다.

• The KIPS Transactions:PartD
• /
• v.9D no.2
• /
• pp.195-202
• /
• 2002

Information exchange on XML such as B2B electronic commerce is spreading. Therefore the systematic and stable management mechanism for storing the exchanged information is needed. For this goal there are many research activities for connection between XML application and relational database. But because XML data have hierarchical structures and relational database can store only flat-structured data, we need to store XML data in object-oriented database that support hierarchical structure. Accordingly the modeling methodology for storing XML data in object-oriented database is needed. In this parer, the transforming methods based on object model from XML DTD to object-oriented database schema is proposed. For this, we first introduce mapping methods that map XML DTD to object model and then we propose soem methods that transform from the object model to object-oriented database schema.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.411-414
• /
• 2002

상태도의 계층구조를 이용하여 모형 검사를 수행하는 연구들이 있었다. 기존 연구들은 상태도를 SMV 입력언어로 변환할 때, 계층 구조를 유지하였다. 비록 이러한 연구가 계층형 모형검사의 초기 시도에 기여를 했지만, SMV는 평탄화 된 구조를 이용한다는 점에서 실효성은 없다. 본 연구에서는, 계층구조를 평탄화 시킨 후 상태도를 병행적으로 실행되는 여러 개의 독립된 기계로 분리한다. 따라서, 상태도의 구조가 단순해지고 SMV 언어로 쉽게 상태도를 변환할 수 있다. 본 연구의 목적은 SMV를 이용하여 상태도를 모형 검사 할 때 SMV의 능력을 최대한 활용하고자 한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.4
• /
• pp.1072-1086
• /
• 1998

Transform, subband, and wavelet transform decompositions are powerful linear transformation tools in image coding because of their decorrelating effects on image pixels, the concentration of energy in a few coefficients, their multirat/multiresolution framework, and their frequency splitting, which allows for efficient coding matched to the statistics of each frequency band and to the characteristics of the human visulal system. Thus, a growingbody of research has bee performed to extend these tools in various kinds of modified formations. Hence, in this paper, an overall survey to achieve a general view on these transformation tools have been attempted. Starting from basic tools such as orthogonal transforms, lapped transforms, QMF(quadrature mirror filter) subband filter banks, and wavelet transforms, their hierarchical extensions, vector extensions, and linear time-varying extensions are investugated in detail.