• 대한수학회보
• /
• 제59권5호
• /
• pp.1131-1144
• /
• 2022

In this paper, we establish several basic formulas among the double-integral transforms, the double-convolution products, and the inverse double-integral transforms of cylinder functionals on abstract Wiener space. We then discuss possible relationships involving the double-integral transform.

• 충청수학회지
• /
• 제23권4호
• /
• pp.793-800
• /
• 2010

We investigate the existence and uniqueness of almost automorphic mild solutions of the semilinear abstract differential equations.

• 대한수학회보
• /
• 제49권6호
• /
• pp.1147-1161
• /
• 2012

In this paper, a coincidence theorem for a compact ${\Re}\mathfrak{C}$-map is proved in an abstract convex space. Several more general coincidence theorems for noncompact ${\Re}\mathfrak{C}$-maps are derived in abstract convex spaces. Some examples are given to illustrate our coincidence theorems. As applications, an alternative theorem concerning the existence of maximal elements, an alternative theorem concerning equilibrium problems and a minimax inequality for three functions are proved in abstract convex spaces.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 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.

• 정보관리연구
• /
• 제23권2호
• /
• pp.1-13
• /
• 1992

본(木) 연구(硏究)에서는 자동색인(自動索引)의 색인어(索引語) 추출(抽出)에 있어 주요한 색인원(索引源)이 되는 표제(標題)와 초록(抄錄)등의 색인성을 비교 분석하였다. 결과는 표제만을 혹은 초록(抄錄)만을 색인원(索引源)으로 선정할 경우에 적절한 색인어(索引語)를 추출할 수가 없었으며, 표제(標題)와 초록(抄錄)을 동시에 색인원(索引源)으로 선정할 경우가 좀 더 적절한 색인어(索引語)를 확보할 수가 있었다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 추계학술대회
• /
• pp.655-656
• /
• 2010

색의 연상이란 색의 인상에 의해 그것과 관계있는 사물이나 사건 또는 경험을 떠올리는 것을 말한다. 이러한 연상의 종류에는 크게 구체적 연상과 추상적 연상이 있다. 본 논문에서는 구체적 연상과 추상적 연상의의 특징과 예를 살펴보고 대표적인 색들이 갖는 구체적 연상과 추상적 연상들을 살펴보도록 한다. 또한 색채 연상의 공통점과 난이도에 대해 알아보도록 한다.

• 한국게임학회 논문지
• /
• 제17권5호
• /
• pp.7-18
• /
• 2017

본 연구는 게임의 아트가 구상을 향하는 것과는 달리 감성게임의 아트는 추상을 향하는 것에 주목하여 '형태'와 '색채'를 고찰한다. 우선 형태와 색채를 각각 연구자모델과 NCS 색 체계를 통해 정량적으로 분석하였고, 그 결과 형태는 '추상'으로 색채는 '파스텔 애쉬'로 도출되었다. 도출된 결과를 토대로 '감성'게임이 추상적 형태와 평면적 색채를 지향하고 있음을 주장하며, 보링거의 추상충동과 보드리야르의 파스텔의 질서를 통해 주장을 뒷받침하고 있다.

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

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

• 한국컴퓨터정보학회논문지
• /
• 제12권1호
• /
• pp.25-32
• /
• 2007

본 논문은 다양한 모션캡처 하드웨어 장비에 독립적인 응용 프로그램을 작성할 수 있도록 단일화된 추상 레이어를 설계하고 구현하였다. 설계한 추상레이어의 기능을 테스트하고 검증하기 위하여 광학식 모션캡처 시스템과 기계식 모션 캡처 시스템을 각각 AOA 파일과 BVH 파일을 이용하여 에뮬레이션 하였다. 응용 프로그램에서 추상레이어 함수의 호출에 의해 광학식 및 기계식 모션캡처 시스템을 각각 구동하고 시간에 따른 프레임 데이터를 Direct3D를 이용하여 애니메이션 하였다.

• 정보과학회 논문지
• /
• 제44권10호
• /
• pp.1034-1044
• /
• 2017

본 연구에서는 추상 도달가능성 그래프(ARG) 기반의 소프트웨어 모델체킹에서 그래프 탐색전략을 설정할 수 있는 새로운 방법을 제시한다. ARG의 여러 실행 경로를 하나로 묶어 모델체킹 성능을 향상시키는 기법인 블록 인코딩(Block Encoding) 기법을 활용하는 경우 기존의 기법들은 인코딩 전의 ARG에서 인코딩을 효과적으로 수행할 수 있는 탐색전략만을 고려하였을 뿐 실제 모델체킹의 성능을 좌우할 수 있는 인코딩 후의 ARG에 대한 탐색전략을 고려하지 못하는 문제가 있었다. 본 연구에서는 기존 연구에서 제시된 탐색 기법을 사용하여 블록 인코딩을 효과적으로 수행하는 동시에 인코딩된 후의 ARG에 대한 탐색 순서를 고려할 수 있는 이중 탐색전략 기법을 제시한다. 또한 탐색 순서의 변화가 모델체킹의 성능에 미치는 영향을 확인하기 위하여 제시하는 기법을 오픈소스 모델체킹 도구에 구현하고 벤치마크 실험을 수행하였으며 탐색전략이 달라지면 모델체킹의 성능이 달라지는 현상을 확인하였다.