• 한국통신학회논문지
• /
• 제8권1호
• /
• pp.23-29
• /
• 1983

본 논문은 신뢰성과 abstract data type을 효과적으로 뒷받침할 수 있도록 object에 기초를 둔 운영체제의 구성에 대하여 논하였다. 신뢰성을 위하여 모든 object는 capability에 의해서만 access가 가능하도록 access right을 규정하였으며 모든 program 모듈은 protection domain을 갖도록 하여 이에 대한 효율적인 domain변경이 제시되었다. 또한 abstract data type을 위하여 type manager를 이용하였다.

• Nonlinear Functional Analysis and Applications
• /
• 제26권1호
• /
• pp.93-104
• /
• 2021

In this paper, we present a fixed point theorem for a family of generalized condensing multimaps which have ranges of the Zima-Hadžić type in Hausdorff KKM uniform spaces. It extends Himmelberg et al. type fixed point theorem. As applications, we obtain some new collective fixed point theorems for various type generalized condensing multimaps in abstract convex uniform spaces.

• 충청수학회지
• /
• 제34권4호
• /
• pp.345-353
• /
• 2021

In this paper, first, we present new fixed point theorems for Mönch type multimaps on abstract convex uniform spaces and, also, a fixed point theorem for Mönch type multimaps in Hausdorff KKM L𝚪-spaces. Second, we show that Mönch type multimaps in the better admissible class defined on an L𝚪-space have fixed point properties whenever their ranges are Klee approximable. Finally, we obtain fixed point theorems on 𝔎ℭ-maps whose ranges are 𝚽-sets.

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

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

• 대한수학회지
• /
• 제43권5호
• /
• pp.967-990
• /
• 2006

In this paper, we evaluate first variations, conditional first variations and conditional Fourier-Feynman transforms of cylinder type functions over Wiener paths in abstract Wiener space and then, investigate relationships among first variation, conditional first variation, Fourier-Feynman transform and conditional Fourier-Feynman transform of those functions. Finally, we derive the conditional Fourier-Feynman transform for the product of cylinder type function which defines the functions in a Banach algebra introduced by Yoo, with n linear factors.

• 대한수학회보
• /
• 제50권1호
• /
• pp.305-320
• /
• 2013

Topological semilattices with path-connected intervals are special abstract convex spaces. In this paper, we obtain generalized KKM type theorems and their analytic formulations, maximal element theorems and collectively fixed point theorems on abstract convex spaces. We also apply them to topological semilattices with path-connected intervals, and obtain generalized forms of the results of Horvath and Ciscar, Luo, and Al-Homidan et al..

• 한국초등과학교육학회지:초등과학교육
• /
• 제38권2호
• /
• pp.275-286
• /
• 2019

The purpose of this study is to investigate the features of inquiry activities using technology in the 2015 revised elementary science digital textbooks. For this, we analyzed the features of inquiry context and inquiry method presented in inquiry activities using three kinds of technology: Virtual experiment, virtual reality and augmented reality. As a result, firstly, the most common types of 77 inquiry activities were realistic type which shows the phenomenon actually and vividly as possible and realistic-abstract type which shows the phenomena with the abstract concepts. Second, the ways of using three technologies were different depending on the processes of inquiry and the sub-domains of science. For example, virtual experiment technologies were mostly used in the contents of physics and chemistry with the inquiry context of realistic-abstract type for investigating the relationship between variables of experiments and describing the phenomena mechanically. On the other hand, virtual reality and augmented reality techniques tended to be used more frequently in biology and earth science contents with the inquiry context of realistic type for observing and describing the phenomena. Finally, we discussed educational implications in terms of developing and applying technology-based inquiry activities.

• 복식
• /
• 제67권1호
• /
• pp.56-73
• /
• 2017

The purpose of this study is to categorize the lotus patterns of traditional Korean fabrics. This study collected 169 fabrics of Korean lotus flower patterns and then made a list of era, configuration of pattern, type of artifact, findspot and holding institutions. It analyzes the characteristics of 251 kinds of lotus woven on 169 Korean fabrics, 251 kinds of lotus on 169 fabrics divided into Realistic Type, Design Type, and Abstract Type. They consist of 213 kinds of Design Type(84.8%), 21 kinds of Realistic Type(8.4%), and 17 kinds of Abstract Type(6.8%). The largest part of lotus patterns is Design Type. Design Types are subdivided into 14 types. This result contrasted with the conclusion of the research paper about peony patterns in Traditional Korean Textiles. The largest part of peony patterns was Realistic Types. Realistic Types of lotus patterns in Korean textiles are subdivided into 6 types. Korea has more diverse forms and a higher ratio of Realistic Types than China and this can be interpreted to reflect that there is a tendency in Korea to prefer natural patterns. Besides abstract Types are subdivided into 3 types. When the lotus flower patterns of Korea and China are categorized and similar types are compared, there are some unique patterns that appear only in Korea or China. Not only that, similar types display differences in pattern arrangement methods and portrayal among the two countries. If such study results are utilized, they can be grounds for distinguishing the production area of lotus flower textile fabrics when they are newly excavated in the future.

• Asia pacific journal of information systems
• /
• 제30권4호
• /
• pp.695-718
• /
• 2020

Based on the Construal Level Theory, we aim to study a most favorable fit among the advertising model, media type, and message construals, which are important factors in an advertisement. A two (social distance of the ad model in an ad: distal (low similarity) vs proximal (high similarity) by two (social distance of a media type: distal (portal) vs. proximal (SNS)) by two (message construal: abstract vs concrete) laboratory experiment was conducted to examine attitude changes on ad messages. The results show that abstract messages were more effective in attitude toward advertisement and purchase intention under the distal social distance (i.e. advertising model in low-similarity and portal media type) while concrete messages were so under the proximal social distance and SNS media type.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 1994년도 한국우주과학회보 제3권1호
• /
• pp.23-35
• /
• 1994

No Abstract. See Full-text