• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.760-762
• /
• 2004

순수 함수형 프로그래밍 언어 Haskell에서의 데이터 추상은 대수 데이터형과 관련 함수로 묶어진 모듈의 인터페이스만을 노출함으로써 이루어진다. 이러한 데이터 추상에 대한 제한된 용법은 프로그램 설계에 있어 유용하게 사용되는 패턴 매칭을 제약하고, 파일 단위의 추상을 요구함으로써 데이터 구조 단위의 데이터 추상을 불가능하게 한다. 본 논문은 Haskell의 제한된 데이터 추상 문제를 해결하기 위한 방법으로 패키지 데이터형을 제안한다. 패키지 데이터형은 더 작은 단위로 데이터 추상을 가능하게 하고 패턴 매칭을 제악하지 않고 자유롭게 사용할 수 있게 한다.

• 한국콘텐츠학회논문지
• /
• 제22권10호
• /
• pp.225-238
• /
• 2022

본 연구의 목적은 중국에서 대표적인 지역 역사 박물관 심벌마크의 조형적 표현 특징과 규칙을 살펴보고 유형별 심벌마크에 대한 중국 소비자의 선호도를 연구하는데 있다. 먼저 중국 상위 100위 내 박물관 중 지역 역사 박물관 심벌마크의 조형적 표현 주제, 표현 유형, 표현 경향을 분석했다. 다음으로 주제와 표현 유형 간의 관계를 통해 디자인 규칙을 연구했다. 마지막으로 설문조사를 통해 주목성, 전달성, 친근성, 독창성, 심미성, 종합 선호도 등 6가지 측면에서 선호도를 분석했다. 연구 결과에 따르면 주제 측면에서 지역 역사 주제를 표현하는 경우가 가장 많았다. 표현 유형의 경우, 구상형과 한자의 형상화를 사용하는 심벌마크가 가장 많았다. 그리고 유형별 표현 내용과 특징을 살펴본 결과, 다음과 같이 몇 가지 특징을 도출할 수 있었다. 먼저, 구상형을 통해 지역 역사, 건축, 지역 자연 생태 환경 주제를 표현하는 경우가 많다. 그리고 추상형을 통해 이념을 표현하고 기하학적 도형을 통해 이념과 건축의 부분적 특징을 표현하였다. 문자, 구상형(건축, 지역 역사, 지역 자연 생태 환경 주제), 추상형(이념 주제) 세 가지 형식을 결합하고 혼합형인 문자의 형상화, 추상 및 문자 혼합형, 구상 및 추상 혼합형, 구상 및 추상 문자 혼합형으로 표현하였다. 조사 결과에 따르면 중국 관람객은 심벌마크 표현 유형에서 구상형, 표현 내용에서 지역 역사 주제에 대한 선호도가 가장 높은 것으로 나타났다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권5호
• /
• pp.336-344
• /
• 2002

병행 객체지향언어에서 상속성과 병행성은 가장 중요한 특성이다. 하지만, 상속성과 병행성은 상충적인 특성을 가지고 있기 때문에 이들을 병행으로 사용할 경우, 객체 내부의 코드 재정의를 요구하는 상속변칙이 발생된다. 본 논문에서는 캡슐화의 손상 없이 상속변칙을 해결하기 위해 상태 추상화 개념을 도입하였다 이를 통해 캡슐화된 객체의 내부 상태를 추상형 상태로 사상하였고, 효율적인 상속을 위해 상속 인터페이스를 설계하였다. 추상형 상태 집합을 가진 상속 인터페이스를 통해 메소드의 재정의가 발생하더라도 상속 계층 내에 존재하는 클래스들에 미치는 영향을 제거함으로써 상속변칙 문제를 해결하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권5호
• /
• pp.326-335
• /
• 2002

최근에 지연 계산 함수형 언어를 자바 프로그램으로 변환함으로써 지연 계산 함수형 언어 프로그램에 대해 코드 이동성을 제공하려는 연구가 있었다. 이러한 연구들은 자바와 지연 계산형 함수형 언어의 추상 기계가 가지는 구조적 유사성에 바탕을 두고 있다. 지연 계산 함수형 언어에 대한 추상 기계인 STGM(Spineless Tagless G-machine)과 자바 언어에 대한 추상 기계인 JVM(Java Virtual Machine)은 기억장소 재활용 체계와 스택 기계 구조를 가진다는 점에서 공통된 특징을 가지고 있다. 그러나 현재가지의 지연 계산 함수형 언어로부터 자바로의 변환 구조는 이와 같은 추상 기계 구조상의 공통점을 충분히 이용하지 못하였다. 본 논문에서는 STGM의 계산 모델을 eval-apply 모델로 새로이 정의함으로써 STGM과 JVM의 공통점을 충분히 이용하는 새로운 변환 구도를 제안한다. 새로이 제안된 변환 구도에서는 자바 스택(Java Virtual Machine Stack)을 사용하여 함수 계산을 수행하도록 함으로써 스택 시뮬레이션으로 인해 나타나는 자바에서의 배열 접근 부담을 제거하였다. 본 논문의 변환 구도에 의해 자바로 변환된 벤치마크 프로그램들은 기존의 변환 구도에 의해 변환된 경우보다 JDK 1.3에서 빠르게 동작한다.

• 정보처리학회논문지D
• /
• 제16D권2호
• /
• pp.223-236
• /
• 2009

OMG가 개발한 비즈니스 프로세스 모델링 언어인 BPMN은 하위 프로세스를 하나의 노드로 나타낼 수 있게 하여, 사용자가 프로세스의 세부사항으로부터 추상화된 뷰(view)를 볼 수 있도록 한다. 이러한 능력은 수평적 추상으로 불릴 수 있는 유용한 추상의 방향이다. 그러나 다양한 비즈니스 이해당사자(stakeholder)들이 비즈니스 프로세스를 자신의 관심(interest)의 관점에서 볼 수 있기를 희망하는 경우에는 수직적 추상이라는 다른 종류의 추상능력이 필요하다. 예를 들어, 이해당사자들이 특정 수행자집단의 관점에서 프로세스를 보기를 원할 수도 있고, 특정한 목표들의 관점에서 프로세스를 보고자 할 수도 있다. 이 논문은 슈퍼에지(super edge)의 개념을 도입하여 BPMN의 수평적 추상능력을 확장하고, 나아가 '관점속성(aspect attribute)'과 '관심명세(interest specification)'의 개념과 기호를 도입하여 BPMN이 수직적 추상능력을 갖도록 확장한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
• /
• pp.1009-1012
• /
• 2001

일반적으로 크고 복잡한 소프트웨어 시스템은 커다란 다이아그램의 집합으로 구성되지만 이들 각각의 다이아그램들이 일관성이 있고 완전한가를 알기는 매우 어렵다. 이러한 문제를 해결하기 위하여 [1]에서는 최근 객체지향 개발에서 많이 사용되고 있는 UML 다이아그램들에 대한 일관성과 완전성을 검사하기 위하여 각 다이아그램들을 ER 모델로 표현하고, 각 다이아그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하였다. 이렇게 통합된 다이아그램은 일편의 집합과 함수들을 사용하여 정형적으로 명세되며, 이러한 정형 명세를 기반으로하여 일관성과 완전성 검사를 수행하기 위한 규칙을 제공하였다. 그러나 [1]에서 정형적으로 명세된 집합과 함수를 실제로 사용하기 위해서는 우리가 알고있는 정형 명세 언어로 변환할 필요성이 있다. 따라서 본 논문에서는 이러한 집합을 추상자료형으로 명세하여 정의하고, 추상자료형으로 표현된 명세를 우리가 잘 알고 있는 Z 명세로 변환하여 검증 도구를 설계하는 기초로 사용하고자 한다. Z 명세는 쉽게 실행가능한 형태로 변환되어 검증 시스템을 구축할 수 있게 된다.

• 한국의상디자인학회지
• /
• 제6권2호
• /
• pp.77-87
• /
• 2004

The purpose of this study was to analize the types of symbol concretely, one of a constituent elements of brand, using in Apparel Brands and to examine the meaning of symbol in the internet site of each brand and to evaluate the symbols in the aesthetic dimension and to suggest a basic data of the branding strategy for marketers. For this purpose, 41 Apparel Brands were selected from fashion magazine and the types of symbol used in the Apparel Brands were classified into three types. According to the formative characters of symbol, there were word symbol, descriptive symbol and abstractive symbol. The results of the study were following: the order was the descriptive symbol, word symbol, and abstractive symbol. The percentages of using symbols were descriptive symbol(61%), word symbol(29%), and abstractive symbol(l0%). The Apparel Brands used the most frequently the descriptive symbol that represents or symbolizes a concrete object to represent the image of brand. The abstractive symbol that use a graphic style or geometrical form to deliver the character of brand was used lowest. From this results, we could find that the descriptive symbol was used to deliver/notify the character or image of company's own brand easy and quickly to consumers in symbolic meaning making use of a concrete object such as a animal, plant, specific object or fictitious person, etc than word or abstractive symbol.

• 한국생활과학회지
• /
• 제15권3호
• /
• pp.405-416
• /
• 2006

We, in this thesis, examined the similarities and differences of bat patterns in China and Korea, along with a consideration of how two peoples understood bats and how their understanding of bats developed and also influenced the bat patterns. As for research period, the Ming(明) dynasty and the Qing(淸) dynasty in China and the Chosun dynasty in Korea were considered. The subjects of this study included clothes, personal ornaments, and embroidery. This research was done by comparing and analyzing the similarities and differences of two countries' bat patterns. The results of comparing and analyzing Chinese and Korean bat patterns were as follows: In terms of similarity, people of two countries understood bat patterns as the symbol of happiness. Therefore, they were used in clothes, personal ornaments, and daily necessities. In terms of difference, bat patterns of two countries had different shapes. In China, colorful and realistic single bat patterns were shown as intensive composition, whereas in Korea plain and simple bat patterns were used. These differences resulted from different way of understanding of bat patterns. It can be concluded that the bat patterns can be a great cultural commodity with high commercial values, if the traditional pattern is used as a unique element of the Oriental designs and altered and developed to attract consumers' attention.

• 한국음향학회지
• /
• 제20권4호
• /
• pp.42-47
• /
• 2001

본 연구의 목적은 비 시각환경에서 웹 서비스를 위한 언어인 VoiceXML을 기존의 자동응답 시스템에 적용하기위해 VoiceXML문서의 마크-업을 인식하고, 문서가 문서 형정의 (DTD)에 적합한지를 검사하여 적합성이 확인되면 추상구문트리를 생성하는 DI 파서 (Document Instance Parser)와 생성된 추상구문트리를 이용하여, Voice-XML문서를 번역해주는 해석기를 제안하고자 한다. VoiceXML해석기는 DI 파서와 실행기로 구성되어 있으며, DI 파서는 Recursive descent 파싱 기법을, 실행기는 VXML 포럼에서 제안한 FIA (Form Interpretation Algorithm)를 사용하였다. 본 시스템은 VoiceXML 언어를 효율적으로 실행할 수 있는 환경 제공 및 시스템 개발의 편의성과 효율성을 위해 모듈화 설계가 가능한 자바언어를 사용함으로써 이 기종간의 이식성이 뛰어난 특징이 있다.

• Applied Microscopy
• /
• 제39권2호
• /
• pp.141-147
• /
• 2009

노래기는 눈의 기능이 퇴화된 야행성 동물로서, 외부 환경으로부터 오는 자극을 감지하는 발달된 촉각을 가진 대표적인 절지동물이다. 계림갈퀴노래기 촉각의 미세구조를 주사전자현미경을 이용하여 분석한 결과, 대형의 말단원추 감각기 (AP) 4개와 모상 감각모 (CS), 관상 감각모 (TS), 추상 감각모 (BS) 등 3종류의 감각모가 구분되었다. 기계적 자극을 수용하는 모상 감각모와 관상 감각모는 말단 마디를 제외한 모든 마디에 고루 분포되어 있었고, 화학적 자극을 수용하는 추상 감각모는 제5마디부터 제7마디까지의 원위 말단부에 형성된 큐티클 함몰부에서만 특이적으로 관찰되었다. 추상 감각모는 미세구조적 특징에 따라 다시 3종류가 구분되었는데, 길이가 긴 제1형 ($BS_1$)은 제5마디에 분포되어 있었고, 길이가 짧은 제2형 ($BS_2$)은 제6마디에, 그리고 가시모양의 제3형 ($BS_3$)은 제7마디에만 분포되어 있음이 확인되었다. 특히, 노래기 종류에 따라 촉각에 분포된 추상 감각모의 개수와 분포 양상 등은 종간의 차이가 현저하여 분류학적 형질로 적용할 수 있을 것으로 사료된다.