• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.760-762
• /
• 2004

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

• The Journal of the Korea Contents Association
• /
• v.22 no.10
• /
• pp.225-238
• /
• 2022

The purpose of this study is to explore the performance characteristics and laws of the symbol mark design of representative regional history museums in China, as well as the preferences of Chinese audiences for the symbol marks of different types of Chinese regional history museums. First, the performance theme, performance type, and type performance tendency of symbol mark modeling of the regional history museums among the top 100 museums in China are analyzed. Second, design laws based on the interrelationship of performance theme types and design performance types are explored. Finally, the questionnaire survey is carried out to explore preference from the aspects of attention, readability, closeness, originality, aesthetics and comprehensiveness. According to the results, the theme of regional history is the most in terms of themes. As for the modeling performance types, the concrete type and the visualization of Chinese character are the most. According to the content characteristics of different performance types, the following model characteristics are formed: expressing the theme of regional history, architecture, and regional natural ecological environment through the concrete type, expressing the concept through the abstract type, and expressing the concept and implying some building features through the geometric abstract figure. The three forms of the literal type, the concrete type expressing architecture, regional history, and regional natural ecological environment theme content, and the abstract type expressing concept are combined with each other, and expressed through the visualization of character, the mixture of abstract and literal type, the mixture of concrete and abstract type, and the mixture of concrete and abstract literal type in the mixture type. According to the survey results, Chinese audiences have higher preference for the concrete type in the symbol mark performance type and the regional historical theme in the performance content.

• Journal of KIISE:Software and Applications
• /
• v.29 no.5
• /
• pp.336-344
• /
• 2002

In concurrent object-oriented languages, inheritance and concurrence are the primary features. But concurrent objects and inheritance have conflicting characteristics thereby simultaneously use of them causes the problem, so called inheritance anomaly, which requires code redefinition of inherited methods to maintain integrity of objects. In this paper, to solve this inheritance anomaly without broken of encapsulation, we introduce the state abstraction concept and map internal states of the encapsulated object into abstract slates. And also, we design the inheritance interface for efficient inheritance. Through the inheritance interface containing abstract state set, though redefinition of the method is incurred, we can remove the influence of other classes in inheritance hierarchy. And also, we can solve the inheritance anomaly problems.

• Journal of KIISE:Software and Applications
• /
• v.29 no.5
• /
• pp.326-335
• /
• 2002

Recently there have been a number of researches to provide code mobility to lazy functional language (LFL) programs by translating LFL programs to Java programs. These approaches are basically baled on architectural similarities between abstract machines of LFLs and Java. The abstract machines of LFLs and Java programming language, Spineless Tagless G-Machine(STGM) and Java Virtual Machine(JVM) respectively, share important common features such as built- in garbage collector and stack machine architecture. Thus, we can provide code mobility to LFLs by translating LFLs to Java utilizing these common features. In this paper, we propose a new translation scheme which fully utilizes architectural common features between STGM and JVM. By redefining STGM as an eval-apply evaluation model, we have defined a new translation scheme which utilizes Java Virtual Machine Stack for function evaluation and totally eliminates stack simulation which causes array manipulation overhead in Java. Benchmark program translated to Java programs by our translation scheme run faster on JDK 1.3 than those translated by the previous schemes.

• The KIPS Transactions:PartD
• /
• v.16D no.2
• /
• pp.223-236
• /
• 2009

BPMN is a standard business process description notation developed by OMG. It allows the user to have an abstract view of a process that hides its details with the Collapsed Sub-Process notation. While it is a useful direction of abstraction that can be called the horizontal abstraction, a different kind of abstraction, the vertical abstraction, is necessary when different stakeholders of business would like to have different views of the business process form their own viewpoints of interest. For example, stakeholders may want to see a process from the viewpoint of a particular group of actors or from the viewpoint of a certain set of goals. This paper first extends horizontal abstraction capability of BPMN by introducing the notion of super edge and, moreover, adds the vertical abstraction capability to it by introducing the notions of 'aspect attribute' and 'interest specification' and notations for them.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1009-1012
• /
• 2001

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

• Journal of the Korea Fashion and Costume Design Association
• /
• v.6 no.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.

• Korean Journal of Human Ecology
• /
• v.15 no.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.

• The Journal of the Acoustical Society of Korea
• /
• v.20 no.4
• /
• pp.42-47
• /
• 2001

In this paper, we propose an interpreter, which recognizes the VoiceXML markups, verifies the validation of the document, and interprets the VoiceXML documents using DI parser and the generated AST by the parser. The VoiceXML interpreter consists of DI parser and executor, and the DI parser uses recursive descent parsing technology, and the executor uses FIA (Form Interpretation Algorithm) proposed by VXML forum. This system uses the Java language in order to develop the runtime environment for VoiceXML efficiently, thus this system has portability.

• Applied Microscopy
• /
• v.39 no.2
• /
• pp.141-147
• /
• 2009

The antennae of millipedes have a prominent function in detecting various types of environmental stimuli, and structural modification of the antennae is closely associated with the degree of sense recognition. Although the biological significance of the antennal sensillae to millipedes are widely understood, the structure and function of the antennal sensillae are still not clear and more precise analysis is required. We have analysed the ultrastructural characteristics of the antennal sensillae in a millipede Anaulaciulus koreanus koreanus using field emission scanning electron microscopy (FESEM). According to their morphological and substructural features, we could identify three different types of antennal sensillae as follows: trichoid sensilla (TS), chaetiform sensilla (CS) and basiconic sensilla (BS). The TS on the articles are long, blunt-tipped, almost straight hairs with deep longitudinal grooves in their lower parts whereas, the CS are long, sickleshaped bristles with longitudinal grooves acuminating toward the tip. The BS can be subdivided further into three subtypes which are the large-sized basiconic sensilla ($BS_1$), the small-sized basiconic sensillae ($BS_2$) and the spiniform basiconic sensillae ($BS_3$). The BS between the terminal segment and distal margins of the other segments are clearly discriminated in this species.