• 호남수학학술지
• /
• 제39권1호
• /
• pp.101-113
• /
• 2017

Let G be a semialgebraic group which is not necessarily compact. Let X be a proper semialgebraic G-set whose orbit space has a semialgebraic structure. In this paper we prove that X has a finite open straight G-CW complex structure.

• Kyungpook Mathematical Journal
• /
• 제53권3호
• /
• pp.341-348
• /
• 2013

In this paper, the concept of supra $b$-irresolute maps is introduced and several properties of it is investigated. Furthermore, the notion of supra $b$-connectedness is defined and researched by means of supra $b$-separated sets.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2002년도 추계학술대회 및 정기총회
• /
• pp.22-24
• /
• 2002

Computation with fuzzy numbers is a prospective branch of a fuzzy set theory regarding the data processing applications. In this paper we consider an open problem about distributivity of fuzzy Quantities based on the extension principle suggested by Mares (1997). Indeed, we show that the distributivity on the class of fuzzy numbers holds and min-norm is the only continuous f-norm which holds the distributivity under f-norm based fuzzy arithmetic operations.

• 대한수학회논문집
• /
• 제24권4호
• /
• pp.523-528
• /
• 2009

In this paper, we consider the existence of solutions to some generalized vector quasi-equilibrium-like problem under a c-diagonal quasi-convexity assumptions, but not monotone concepts. For an example, in the proof of Theorem 1, the c-diagonally quasi-convex concepts of a set-valued mapping was used but monotone condition was not used. Our problem is a new kind of equilibrium problems, which can be compared with those of Hou et al. [4].

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 추계학술발표대회
• /
• pp.169-171
• /
• 2013

Cloud computing provides access to big volumes of data and computational resources through various services. Cloud computing also supports to process these volumes of data using set of computers. Cloud computing can satisfy resource requirements through virtualization technology. Eucalyptus is an open source cloud computing environment helps the users to setup their own private cloud based on virtualization. In this paper, monitoring of virtual machines is explained with the eucalyptus cloud setup.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제30권3호
• /
• pp.237-248
• /
• 2023

The aim of this paper is to study the concept of s-topological d-algebras which is a d-algebra supplied with a certain type of topology that makes the binary operation defined on it d-topologically continuous. This concept is a generalization of the concept of topological d-algebra. We obtain several properties of s-topological d-algebras.

• 한국컴퓨터그래픽스학회논문지
• /
• 제30권1호
• /
• pp.1-10
• /
• 2024

본 연구는 혼합현실과 가상현실을 포함하는 몰입형 가상환경에서 OpenAI의 ChatGPT를 활용한 가상 보조 에이전트의 인터페이스 응용에 관한 새로운 방법을 제안한다. 제안하는 응용 방법은 사용자의 질의에 응답하는 정보 에이전트와 사용자의 요구에 맞춰 가상 객체, 환경 등을 제어하는 제어 에이전트로 구성된다. 이를 위해, Unity 3D 엔진, OpenAI, 그리고 가상현실과 혼합현실 사용자 참여를 위한 패키지 및 개발 도구를 통합하는 개발환경을 설정한다. 그리고 음성 입력으로부터 질문 쿼리에서 답변 쿼리, 또는 제어 요구 쿼리에서 제어 스크립트로 생성으로 연결되는 작업 흐름을 설정한다. 이를 기반으로 혼합현실, 가상현실 체험 환경을 직접 제작하고 에이전트의 성능 확인을 위한 실험을 정보 에이전트의 반응 시간, 제어 에이전트의 정확도로 나누어 진행하였다. 결과적으로 제안하는 인터페이스 응용을 통해 사용자 친화적이고 단순하고 반복적인 작업에서의 효율을 높이는데 유용할 수 있음을 확인하였다. 우리는 새롭게 제안하는 인터페이스를 통해 몰입형 가상환경에서 인터페이스로의 응용에 관한 새로운 방향성을 제시하고 발견된 문제점과 현재까지의 한계점을 분명히 밝힌다.

• 정보관리학회지
• /
• 제34권3호
• /
• pp.251-267
• /
• 2017

본 연구는 KCI 등재지 1,890종을 대상으로 국내 학술지의 오픈액세스의 주요 특성을 분석하고자 하였다. 이를 위해서 학술지의 오픈액세스 특성을 무료접근과 자유로운 재사용이라는 2가지 측면으로 구분하였다. 분석결과, 국내 학술지의 오픈액세스 특성은 무료접근적 성향이 강하였다. 학술지 홈페이지를 기준으로 보면 67%가 로그인 없이 무료로 접근할 수 있었고 무료DB를 기준으로 보면 48%가 무료로 접근할 수 있었다. 반면 자유로운 재사용적 성향은 무료접근적 성향에 비해 약한 것으로 나타났다. 전체 등재지 중에서 14%만이 CC 라이선스를 부여하고 있었다. 또한 주제분야간에 오픈액세스 성향의 차이가 분명하게 나타났다. 의약학, 자연과학, 농수해양, 공학 분야가 인문학, 사회학, 예술체육, 복합학 분야에 비해 오픈액세스 성향이 상대적으로 강한 것으로 나타났다. 그 이유는 해당 주제분야의 학술지 유통을 지원해 주는 기관의 존재 유무에 따라 차이가 발생한 것으로 보인다. 이런 문제를 해결하기 위해서는 주제분야와 상관없이 국내 학술지의 오픈액세스 정책을 수립하고 지원하는 오픈액세스 거버넌스 체제가 구축될 필요가 있다.

• 영재교육연구
• /
• 제24권1호
• /
• pp.63-80
• /
• 2014

자유탐구는 영재학습자를 위한 대표적인 교수학습 방법 중 하나이다. 그러나 자유탐구는 매우 복합적인 학습과정이기 때문에 이를 성공적으로 수행하기 위해 영재들은 다양한 영역에 걸친 복합적인 역량들을 개발해야 한다. 본 연구는 과학영재들이 자유탐구를 통해 보다 전문가 수준에 가까운 연구역량을 키우고, 차별화된 산출물을 내놓는 과정에서 비계로 활용할 수 있도록 연구단계별 질문목록을 개발하였다. 이를 위해 연구방법론, 학술적 글쓰기, 탐구와 관련된 학습 연구 등 자유탐구와 관련될 수 있는 다양한 분야의 문헌들을 검토하였다. 이를 바탕으로 자유탐구를 인지적, 초인지적, 사회문화적 과정으로 규정하여 질문목록의 개발발향을 설정하였다. 이어서 자유탐구의 목표를 상세화한 후에 연구의 단계를 범주화하는 모형을 개발하고, 각 연구단계별로 탐구의 성공적인 수행에 도움이 되는 주요 질문들을 개발하였다. 끝으로 본 질문목록을 활용하여 영재 학생의 자유탐구를 지도할 때 유의할 점들을 논의하였다.

• 정보처리학회논문지A
• /
• 제17A권1호
• /
• pp.9-18
• /
• 2010

OpenMP와 같은 공유 메모리 기반의 병렬 프로그램에서 발생하는 경합은 프로그래머가 의도하지 않은 비결정적인 수행 결과를 초래하므로 반드시 탐지되어야한다. 이러한 경합의 존재를 수행 중에 검증하는 기존의 기법들은 내부적 비결정성이 존재하지 않는 프로그램에 대해서만 가능하다. 하지만 이 조건을 만족하지 못한다면 경합검증을 위해서 각 임계구역마다 적어도 N! 만큼의 프로그램 수행이 필요하다. 여기서 N은 탐지 대상 프로그램이 가진 최대 병렬성을 의미한다. 본 논문에서는 프로그램 슬라이싱을 이용하여 내부적 비결정성을 가진 프로그램에 존재하는 비결정적 접근사건을 정적으로 분석하고, 이 정보를 이용하여 한번의 수행으로 실제 경합뿐만 아니라 잠재적 경합까지 탐지할 수 있는 경합 전처리기를 제안한다. 제안된 도구는 OpenMP 병렬 프로그램에서 발생할 수 있는 비결정적 접근사건들에 대해서 항상 결정적으로 감시할 수 있으므로 임계구역 가진 프로그램 모델에 적용할 수 있는 어떠한 경합탐지 프로토콜을 사용하더라도 경합 검증이 가능하다. 본 도구의 실험적 증명을 위해서 비결정성이 포함된 합성 프로그램, 공인된 벤치마크 프로그램인 OpenMP Microbenchmark, NAS Parallel Benchmark, 그리고 OpenMP 응용 프로그램을 이용하여 제안된 도구의 정확성을 보인다.