• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제25권1호
• /
• pp.147-166
• /
• 2011

본 고에서는 중학교 3학년 영재학생 5명을 대상으로 한 실험 수업 결과를 바탕으로 스프레드시트 환경에서 학생들이 생성수의 조건 변화에 따른 피타고라스 삼원수의 다양한 성질을 탐구할 수 있었음을 논하였고, 스프레드시트 환경이 스프레드시트의 구체적 수치로부터 학생이 발견하고 증명한 성질을 보다 일반적인 경우로 확장할 수 있는 기회를 줄 수 있었음을 논하였다. 또한 피타고라스 상원수의 다양한 성질을 탐구함에 있어서 교사의 적절한 안내가 필요함을 함께 논하였다.

• 대한수학회보
• /
• 제46권1호
• /
• pp.45-60
• /
• 2009

In this paper, we investigate homomorphisms in proper $JCQ^*$-triples and derivations on proper $JCQ^*$-triples associated to the following Pexiderized functional equation $$f(x+y+z)=f_0(x)+f_1(y)+f_2(z)$$. This is applied to investigate homomorphisms and derivations in proper $JCQ^*$-triples.

• 정보과학회 논문지
• /
• 제41권10호
• /
• pp.762-773
• /
• 2014

시맨틱 웹상에서 RDFS로 표현된 데이터의 사용 증가로 인하여, 대용량 데이터의 추론에 대한 많은 요구가 생겨나고 있다. 많은 연구자들은 대용량 온톨로지 추론을 수행하기 위해서 하둡과 같은 고가의 분산 프레임워크를 활용한다. 그러나, 적절한 사이즈의 RDFS 트리플 추론을 위해서는 굳이 고가의 분산 환경 시스템을 사용하지 않고 단일 머신에서도 논리적 프로그래밍을 이용하면 분산 환경과 유사한 추론 성능을 얻을 수 있다. 본 논문에서는 단일 머신에 논리적 프로그래밍 방식을 적용한 대용량 RDFS 추론 기법을 제안하였고 다중 머신을 기반으로 한 분산 환경 시스템과 비교하여 2억개 정도의 트리플에 대한 RDFS 추론 시스템을 적용한 경우 분산환경과 비슷한 성능을 보이는 것을 실험적으로 증명하였다. 효율적인 추론을 위해 온톨로지 모델을 세부적으로 분리한 메타데이터 구조와 대용량 트리플의 색인 방안을 제안하고 이를 위해서 전체 트리플을 하나의 모델로 로딩하는 것이 아니라 각각 온톨로지 추론 규칙에 따라 적절한 트리플 집합을 선택하였다. 또한 논리 프로그래밍이 제공하는 Unification 알고리즘 기반의 트리플 매칭, 검색, Conjunctive 질의어 처리 기반을 활용하는 온톨로지 추론 방식을 제안한다. 제안된 기법이 적용된 추론 엔진을 LUBM1500(트리플 수 2억개) 에 대해서 실험한 결과 166K/sec의 추론 성능을 얻었는데 이는 8개의 노드(8 코아/노드)환경에서 맵-리듀스로 수행한 WebPIE의 185K/sec의 추론 속도와 유사함을 실험적으로 증명하였다. 따라서 단일 머신에서 수행되는 본 연구 결과는 트리플의 수가 2억개 정도까지는 분산환경시스템을 활용하지 않고도 분산환경 시스템과 비교해서 비슷한 성능을 보이는 것을 확인할 수 있었다.

• 충청수학회지
• /
• 제19권1호
• /
• pp.27-36
• /
• 2006

In [1], the concept of generalized (${\theta}$, ${\phi}$)-derivations on rings was introduced. We introduce the concept of linear ${\theta}$-derivations on $JB^*$-triples, and prove the Cauchy-Rassias stability of linear ${\theta}$-derivations on $JB^*$-triples.

• Korean Journal of Mathematics
• /
• 제27권4호
• /
• pp.1109-1118
• /
• 2019

In this paper, we introduce the notion of residuated and Galois connections on adjoint triples and investigate their properties. Using the properties of residuated and Galois connections, we solve fuzzy relation equations and give their examples.

• Korean Journal of Mathematics
• /
• 제21권3호
• /
• pp.351-363
• /
• 2013

We study the properties of weak extended order algebras having adjoint pairs (triples) or Galois pairs. In particular, we investigate the various laws on weak extended order algebras.

• 대한수학회논문집
• /
• 제18권2호
• /
• pp.215-223
• /
• 2003

Parks [7] showed that there is an one to one correspondence between good pairs of subgroups in G and irreducible monomial characters of G. This provides a useful criterion for a group to be monomial. In this paper, we study relative monomial groups by defining triples in G, and find relationships between the triples and irreducible relative monomial characters.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2008년도 제39차 동계학술발표논문집 16권2호
• /
• pp.411-416
• /
• 2009

웹 온톨로지 언어의 개발에 따라 웹 온톨롤지를 저장하기 위한 다양한 저장소들이 개발되었으며 이러한 웹 저장소는 관계형 데이터베이스 모델을 기반으로 하고 있다. 또한 웹 온톨로지 데이터를 검색하기 위한 질의 언어로서 W3C에서 SPARQL을 제안하였다. 웹 온톨로지 저장소로서 관계형 데이터베이스가 활발히 개발되고 SPARQL의 이용이 증가함에 따라 SPARQL을 SQL로 변환 하는 알고리즘의 필요성이 대두되었다. 지금까지 제안된 변환 알고리즘들은 SPARQL-to-SQL 변환 알고리즘이 저장소 구조에 종속적이라는 문제점이 있다. 이를 해결하기 위하여 관계형 뷰를 기반으로 저장소에 독립적인 변환 알고리즘을 활용할 수 있는 모델이 제안되었다. 그러나 제안된 모델에서 변환 알고리즘을 독립적으로 활용하기 위해서는 사전에 사용자가 SQL 문을 작성하여 수동적으로 뷰를 생성해 주어야 한다. 이 경우 수동적인 SQL 작성으로 인한 불편함과 사용자의 실수로 인한 SQL문의 오류가 생길 수 있다는 문제점이 있다. 따라서 이 논문에서는 이러한 문제점을 해결하기 위하여 다양한 웹 온톨로지 저장소 모델 OWL 관련 시스템 개발에 가장 많이 사용되고 있는 Jena 저장소를 이용하여 독립적 저장소 활용을 위한 뷰 생성 독인 Jena-to-TRIPLES 변환 도구를 제안한다.

• 인터넷정보학회논문지
• /
• 제7권2호
• /
• pp.9-21
• /
• 2006

온톨로지를 사용하여 웹 서비스 검색 기능을 향상시키려는 연구가 진행되고 있다. 그 중 DAML, DAML+OIL를 이용하여 UDDI를 검색하는 방안이 제안되었다. 하지만 이 방식은 UDDI 검색에 적합한 연산자들을 사용해야 하는 불편함과 그에 따른 온톨로지를 정의해 주어야 하는 번거로움이 존재한다. 이러한 문제점을 해결하기 위해 본 논문에서는 시맨틱 웹 환경에서 정보검색 및 의미적인 추천을 위한 N-Triple 처리, 핵심 Triple 추출을 위한 필터링, Triple 통합, Triple간 의미적 연결, Triple 탐색 기법을 제시하고 더 나아가 제시된 기법으로 시스템을 설계하고 구현한다. 끝으로 가상의 시맨틱 웹 환경에서 제안된 시스템을 실험하여 본 논문의 유용성을 입증한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2021년도 추계학술대회
• /
• pp.236-239
• /
• 2021

AI 기술의 성장과 함께 지식 그래프의 크기는 지속적으로 확장되고 있다. 지식 그래프는 주로 트리플이 연결된 RDF로 표현되며, 많은 RDF 저장소들이 RDF 데이터를 압축된 형태의 ID로 변환한다. 그러나 RDF 데이터의 크기가 특정 기준 이상으로 클 경우, 테이블 탐색으로 인한 높은 처리 시간과 메모리 오버헤드가 발생한다. 본 논문에서는 해시 ID 매핑 테이블 기반 RDF 변환을 분산 병렬 프레임워크인 맵리듀스에서 처리하는 방법을 제안한다. 제안한 방법은 RDF 데이터를 정수 기반 ID로 압축 변환하면서, 처리 시간을 단축하고 메모리 오버헤드를 개선한다. 본 논문의 실험 결과, 약 23GB의 LUBM 데이터에 제시한 방법을 적용했을 때, 크기는 약 3.8배 가량 줄어들었으며 약 106초의 변환 시간이 소모되었다.