• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.382-384
• /
• 2000

현재 기업들은 거의 모든 부분이 전산화 작업으로 이루어지고 있으며, 기업의 중요한 업무는 모두 방대한 시스템이 사람을 대신해서 처리해 주고 있는 실정이다. 하지만 시스템 유지보수의 체계적인 프로세스에 대해서는 현재 연구된 바가 없어 쉽게 적용할 수 없는 문제가 존재한다. 재공학은 재사용하려는 소프트웨어를 분석, 재정의, 재문서화 등의 소프트웨어 역공학 방법을 통하여 좀더 효율적으로 소프트웨어를 분석할 수 있고, 순공학을 통해 문제점들의 교환과 새로운 구조와 시스템의 수정을 통해 더욱 경제적인 시스템을 만들 수 있다. 객체지향 어플리케이션의 Refactoring에서는 대표적으로 클래스간의 공통성을 추출하고, 이를 일반화시켜 추상클래스를 생성 및 삭제, 이동하는 과정을 통해 소프트웨어의 구조를 변경시켜 시스템의 성능향상을 도모하게 된다. 본 논문에서는 시스템의 재사용을 위한 실증적인 객체지향 Refactoring 기법을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.558-560
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)에 대해서 기술한다. ATM 은 임무 위급 시스템과 같은 실시간 시스템을 명세, 분석 및 검증할 수 있는 정형 기법이다. ATM 은 모드(mode), 전이(transition), 포트(port)로 구성된다. 모드는 머신의 압축된 상태를 의미하고 전이는 모드와 모드 사이의 변화를 말한다. 포트는 ATM 들 사이의 상호작용을 위한 진입을 나타내기 위한 것이다. ATM 은 소프트웨어 순환 공학을 위해 디자인 되었다. ATM은 재/역공학적 측면에서 계산 이론과 더불어 기존의 실시간 시스템의 소스코드에 대한 디지안 및 환경 정보를 나타낸다. 본 논문은 병렬성, 병렬적으로 동작하는 엔터티들 사이의 제어 정보이 흐름, ATM 타입과 클래스로부터의 인스턴스, 비/동기적 이벤트, 포트와 이벤트 타입, 포트의 타입, 통신, 입/출력, 예외처리, 시간에 관한 요구사항, 다수를 대상으로 하는 통신 주기적 작업등과 같은 ATM의 여러 개념을 기술하고 이러한 속성들을 Producer-Buffer-Consumer 예제로 살펴본다.

• Journal of Internet Computing and Services
• /
• v.6 no.2
• /
• pp.117-126
• /
• 2005

The current text based XML document systems are editing text and don't perform syntax check. As a result, the validity of an edited XML document can't be decided it is well-formed or valid until it is parsed. This paper describes a design and implementation of the syntax-directed editing system for XML documents. Because this is tree-based system, it is easy to extend XML document. And this system is designed to validate XML documents in real-time, It is expected that this paper contributes XML related application developments.

• Journal of architectural history
• /
• v.3 no.1
• /
• pp.143-159
• /
• 1994

Ornament in late nineteenth century Art Nouveau movement, especially abstract ornament in Viennese Art Nouveau, has a very complex aesthetical background. Ornament, for them was not just decorations in outer appearance, but a determinant element of formal languages. Abstract ornament in Viennese Art Nouveau has its theoretical and aesthetical bases in the Interpretation of nature, that is, the theory of the abstract ornament was founded on a new interpretation of nature, which, in its turn, was derived from the differentiational selection of the contemporary views of nature. The modernity of abstract ornament consists in the very fact that it was founded on a new interpretation of nature. This study alms at reviewing how the new interpretation of nature by abstract ornament criticized, rejected and accepted the contemporary views of nature. The overall tendency of this study is to synthesize and analyze the historical background of Viennes Art-Nouveau in regard to aesthetic theories of nature. The analysis method of this study is interpretation of written documents which are related to the issue.

• The Research Journal of the Costume Culture
• /
• v.18 no.4
• /
• pp.687-702
• /
• 2010

The purpose of this study is to study the inner meaning and formative with distorted and atypical Informel image, body image expressed in modern fashion. Method of the study is as follow. The study method examined philosophy of art 19th century?in order to consider interconnections between social and cultural characteristics of expressionistic abstract art, a form of Informel and changed physical style. Based on this method, the Informel image that appeared in the plastic arts in terms of artistic significance and aesthetic value was examined. Based on the above discussion on modern fashion Informel images were expressed in any formative characteristics were considered. The results of this study are as follows. Contingencies through the spontaneous act of art to transcend the image of atypical lines formed elements of coincidence, was developed. Liberation was expressed from liberation of physical boundaries and created outward expansion of the free formative. Atypical was organic forms pursuing spontaneous plasticity and diversity, and appeared in the form of distortion and deformation.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.379-381
• /
• 1999

ODBC가 가지는 제한을 극복하고 컴포넌트 기술을 적용하기 위해, OLE DB라는 새로운 데이터 접근 기술이 개발되었다. OpenGIS에서는 공간/비공간 데이터의 상호운용을 지원하기 위해 데이터 모델의 표준으로 추상 명세를 제안하고, 구현 기술로써 OLE DB를 제안하고 있다. 본 논문에서는 Gothic, MGE를 대상으로 하여 OpenGIS OLE/COM 구현명세중 핵심이 되는 OpenGIS 공간데이터 제공자를 설계, 구현하였다. 또한 기존의 OpenGIS 관련 논문과는 달리 두 개의 GIS 서버를 대상으로 하여 상호운용성을 검증하였다. 본 논문에서 제시한 공간 데이터 제공자는 서로 다른 GIS S/W에 분산 저장된 공간 데이터의 접근을 가능하게 해 주기 때문에 분산환경에서 컴포넌트화된 GIS소프트웨어 개발에 활용될 수 있을 것이다.

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

모델기반 아키텍처 MDA (Model Driven Architecture)는 소프트웨어 개발의 추상화 수준을 높이기 위한 최근의 개발 아키텍처이며 완벽한 이해성을 확보하기 위해서 구체적인 구현기술은 반드시 개발자에게 추상적으로 (encapsulation) 숨겨져야 한다. 즉, 개발자는 자동적으로 실행 가능한 시스템으로 변환하는 플랫폼에 구애 받지 않는 모델들 PIM(Platform Independent Model)만을 고려하게된다. 본 논문에서는 MDA 를 캠퍼스 안내 앱에 적용하여 개발함으로써 모바일 디바이스 및 OS 에 독립된 어플리케이션을 개발 방법론을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2021.05a
• /
• pp.290-292
• /
• 2021

최근 인코더-디코더 구조의 자연어 처리모델이 활발하게 연구가 이루어지고 있다. 인코더-디코더기반의 언어모델은 특히 본문의 내용을 새로운 문장으로 요약하는 추상(Abstractive) 요약 분야에서 널리 사용된다. 그러나 기존의 언어모델은 단일 문서 및 문장을 전제로 설계되었기 때문에 기존의 언어모델에 다중 문장을 요약을 적용하기 어렵고 주제가 다양한 여러 문장을 요약하면 요약의 성능이 떨어지는 문제가 있다. 따라서 본 논문에서는 다중 문장으로 대표적이고 상품 리뷰를 워드 임베딩의 유사도를 기준으로 클러스터를 구성하여 관련성이 높은 문장 별로 인공 신경망 기반 언어모델을 통해 요약을 수행한다. 제안하는 모델의 성능을 평가하기 위해 전체 문장과 요약 문장의 유사도를 측정하여 요약문이 원문의 정보를 얼마나 포함하는지 실험한다. 실험 결과 기존의 RNN 기반의 요약 모델보다 뛰어난 성능의 요약을 수행했다.

• Korean Institute of Interior Design Journal
• /
• v.19 no.2
• /
• pp.42-53
• /
• 2010

건축에 있어서 이론과 실제의 관계 문제는 오랫동안 건축 담론에 대한 주요 대상이 되어왔다. 이는 건축에서의 발전이 역사적으로 동시대의 사회적, 문화적, 경제적 환경의 진화와 더불어 진행되어 왔기 때문이며, 건축작업 선상에서 대두되는 이론과 실제의 관계와 맥락성이 건축의 주체성에 매우 중요한 요소로 여겨지기 때문이기도 하다. 1960년대부터 불거진 포스터모던주의의 사고적 영향은 건축분야의 의미와 가치에 있어서 학문과 실무분 야에서 새롭게 재조명되기 시작하였고, 기존 건축고유의 영역을 벗어나, 역사, 이론, 비평, 기술 및 디자인 분야로 확장되어 새롭고 다양한 접근 방법과 그 방식에 대한 고민을 추구하기 시작하였다. 건축작업에 중요한 근거를 제시해주는 비평적 사고를 유지하기 위하여, 이론적인 아이디어에서 실질적인 실무로서의 투사방법, 그리고 그 사이의 절충을 지속하기 위함은 특히 현대사회에서 더욱 복합적이며 다면적인 질문이 되고 있다. 이 논문은 건축의 투사 방법에 있어서 현대 건축가들이 자신들의 이론적인 관점과 그 관점을 건축적으로 가시화 시키는 관계성을 관찰하고, 어떻게 본인만의 논리와 프로세스를 추구하고 지속하는가에 대한 점을 연구하는데에 그 목적이 있다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.45 no.7
• /
• pp.566-573
• /
• 2017

A type certificate is required to ensure the safety of aircraft design. If a person is to pursue major design change to the certified aircraft, an applicant has to apply for a new type certificate, an amended type certificate, or a supplemental type certificate appropriately. Design changes to be applied for a supplemental type certificate are abstractly defined in ICAO, FAA, and EASA regulations. In this paper, authors reviewed certification procedures regarding design changes, analysed certification examples of leading countries, and presented the criteria to determine "major design changes not extensive" for a supplemental type certificate.