• 대한수학회보
• /
• 제54권4호
• /
• pp.1229-1240
• /
• 2017

This paper presents a systematic study of the abstract harmonic analysis over spaces of complex measures on homogeneous spaces of compact groups. Let G be a compact group and H be a closed subgroup of G. Then we study abstract harmonic analysis of complex measures over the left coset space G/H.

• 건축역사연구
• /
• 제3권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.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1997년도 추계학술대회 발표논문집:21세기를 향한 정보통신 기술의 전망
• /
• pp.79-89
• /
• 1997

Logic programming has many advantages as a paradigm for parallel programming because it offers ease of programming while retaining high expressive power due to its declarative semantics. In parallel logic programming, one of the important issues is the compile-time parallelism detection. Static data-dependency analysis has been widely used to gather some information needed for the detection of AND-parallelism. However, the static data-dependency analysis cannot fully detect AND-parallelism because it does not provide some necessary functions such as the propagation of groundness. As an alternative approach, abstract interpretation provides a promising way to deal with AND-parallelism detection, while a full-blown abstract interpretation is not efficient in terms of computation since it inherently employs some complex operations not necessary for gathering the information on AND-parallelism. In this paper, we propose an abstract domain which can provide a precise and efficient way to use the abstract interpretation for the detection of AND-parallelism of logic programs.

• 한국동물학회:학술대회논문집
• /
• 한국동물학회 1997년도 공동 춘계학술대회
• /
• pp.56.1-56
• /
• 1997

No Abstract, See Full Text

• 한국동물학회:학술대회논문집
• /
• 한국동물학회 1999년도 한국생물과학협회 학술발표대회
• /
• pp.8-8
• /
• 1999

No Abstract, See Full Text

• 한국동물학회:학술대회논문집
• /
• 한국동물학회 1996년도 공동 춘계학술대회
• /
• pp.29.1-29
• /
• 1996

No Abstract, See Full Text

• 한국컴퓨터정보학회논문지
• /
• 제9권4호
• /
• pp.61-69
• /
• 2004

인간과 컴퓨터 사이의 복잡한 상호작용을 지원하기 위해서는 사용자 인터페이스의 설계가 중요하다. 고객의 요구사항을 수집하고 설계하기 위하여 매우 포괄적인 다방면의 지식이 요구된다. 사용자 인터페이스 설계자는 그래픽 전문가, 요구사항 분석가, 시스템 설계자, 프로그래머, 기술 전문가, 사회 행동과학자, 그리고 업무분야에 따라서 그 분야의 전문가를 필요로 한다. 따라서 다방면의 전문성을 만족시킬 수 있는 사용자 인터페이스를 설계하기 위하여 더 많은 연구가 요구되고 있다. 본 논문에서는 필드 추상화 객체, 태스크 추상화 객체, 트랜잭션 추상화 객체, 폼 추상화 객체 등의 4단계의 가시화 기법을 제안한다. 이 모델링 단계는 사용자 인터페이스에서 가시적 응집도를 향상시켜주고, 초보 설계자도 양질의 사용자 인터페이스를 개발할 수 있도록 지원한다.

• 한국조경학회지
• /
• 제36권6호
• /
• pp.1-11
• /
• 2009

본 연구는 현대조경의 추상유형에 관한 연구로서 현대조경의 탈장르적 경향과 건축, 조경, 예술 장르간의 하이브리드화에 의해 현대조경의 형태나 예술성은 과거의 픽쳐레스크식의 조경이 표현할 수 없었던 많은 부분들을 표현해 내고 있다. 이러한 영향으로 인해 현대의 조경은 한편의 거대한 추상예술을 보는 듯하고, 그 난해함은 정도를 더하고 있어 일반대중들 뿐만 아니라 전문 조경가들조차도 추상적 현대조경에 대한 해석이 분분하고 정확한 이해나 해석에 어려움을 토로하고 있어 현대조경의 추상성에 대한 연구가 제기되고 있다. 이에 본 연구는 조경, 건축, 미술 등 여러 다양한 예술분야에서 예술의 창작원리로 작용되어온 '추상성'에 대해 근본적인 탐구를 하여 추상에 대한 이론정립, 추상성 변천과정, 추상성의 현대적 의미를 파악하여, 조경학적 시각으로 각 예술분야와의 연계성을 밝히고 현대조경작가와 작품에서 표현되어 나타나는 추상형태, 추상언어, 추상특징을 추출해봄으로써 현대추상조경의 진리를 파악하고자 하였다. 본 연구를 통하여 현대조경의 추상유형은 다음과 같이 세 가지로 구분할 수 있다. $\cdot$연역적 추상조경(inductive abstract)은 논리적 과정에 의하지 않고 직관적이고 선험적인 정신성, 그리고 초월적 관념 표상을 의미하며 예술가의 내면의 세계 즉, 다시 말해서 외부 대상이 없이 예술가 자신의 관념이나 마음 속을 그리고자 하여 대상의 재현이 아닌 작가 내면의 표현 또는 표출되는 것이다. $\cdot$귀납적 추상조경(deductive abstract)은 전통적 사실주의에 입각하여 대상을 객관적 사실에 대해 지적이고 논리적인 사상(捨象)의 과정을 거쳐서 대상을 단순화하거나 왜곡, 과장, 확대된 논리적 조형성을 표현한다. $\cdot$복합적 추상조경(complex abstract)은 연역적 추상조경과 귀납적 추상조경이 복합적으로 나타난다. 이상으로 살펴본 바와 같이 현대조경의 추상유형에 관한 연구는 추상조경작품에 대한 가치를 재평가하는 계기가 될 수 있고 현대의 추상조경작품에 대한 이해를 높이며, 미래의 조경에 더욱 긍정적으로 작용할 것이다. 따라서 보다 심도 있는 연구와 이의 근본이 되는 추상성에 대한 연구는 앞으로도 지속되어야 한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.1356-1359
• /
• 1996

The paper studies design of a decentralized supervisory controller with 2-level hierarchical structure for complex discrete event systems. Hierarchical structure with strict output-control-consistency(SOCC) gives a more abstract model for high-level control. The decentralized controller for a simple and abstract high-level system is designed more easily if the decentralized supervisory control problem in 2-level hierarchical structure systems(DSCP2) is solvable.

• 한국동물학회:학술대회논문집
• /
• 한국동물학회 1998년도 한국생물과학협회 학술발표대회
• /
• pp.232.2-232
• /
• 1998

No Abstract, See Full Text