• 한국지구과학회지
• /
• 제32권3호
• /
• pp.294-305
• /
• 2011

본 연구에서는 과학영재학생들과 일반학생의 행동특성 차이를 알아보고자 하였다. 이를 위하여 과학영재 40명(남 27명, 여 13명)과 일반학생 38명(남 21명, 여 17명)을 연구의 대상으로 선정하고, 논리적 사고력, 과학탐구능력, 창의력, 지구과학창의력, 과학적 태도, 자기주도적 학습능력, 인지양식을 검사하였다. 그 결과 첫째, 과학영재들은 94.74%, 일반학생은 36.36%가 형식적 조작기에 도달해 있다. 둘째, 과학영재들은 일반학생보다 과학탐구능력 8.11점, 창의력 8.27점, 지구과학창의력 6.73점, 과학적 태도 10.79점, 자기주도적 학습능력 21.66점 높게 나타났다. 셋째, 과학영재의 약 70.0%와 일반학생의 약 60.53%가 장독립적인 사고를 하고 있는 것으로 나타났다. 이러한 본 연구의 결과는 과학영재교육의 본질과 효율성 극대화를 위해 과학영재의 높은 행동 특성이 반영되어야 함을 의미한다.

• 한국학교수학회논문집
• /
• 제17권4호
• /
• pp.613-627
• /
• 2014

2009 초등학교 교육과정에 따라 2014년에 처음으로 출간된 교과서 ${\ll}$수학 4-2${\gg}$에서는 이전 교육과정에 따른 교과서에서는 취급하지 않았던 오목다각형을 새롭게 취급하고 있다. 그러나 본 논문에서는 오목다각형의 취급을 재고할 필요가 있음을 보이기 위해, 먼저 다각형에 관해 논의한 후에, 2009 초등학교 교육과정은 오목다각형의 취급을 허용하고 있는가와 오목다각형의 취급에서 논리적 비약은 없는가의 두 관점에서 오목다각형 취급과 관련한 문제점에 관하여 논의했다. 그리고 다음과 같은 이유에서 오목다각형을 취급하는 것을 재고할 필요가 있다는 것을 결론으로 제시했다. 첫째, 오목다각형의 취급에 관한 공론화 과정이 없었다. 둘째, 2009 초등학교 교육과정에서 오목다각형의 취급을 정당화해 주는 근거를 찾을 수 없다. 셋째, 오목다각형의 취급에 논리적 비약이 있다. 넷째, 오목다각형의 취급에서 일관성이 없다.

• 대한공간정보학회지
• /
• 제6권2호
• /
• pp.91-103
• /
• 1998

국가기본도 수치지도자료는 향후 정보시대의 기반정보로 1995년이래 시작된 1차사업을 완료하고 자료의 유통이 이루어지고 있다. 일반적으로 수치지도의 품질은 자료의 연혁, 위치정확돈 속성정확도, 논리적 일관성 및 완전성에 의해 좌우되며, 다양한 응용분야의 기초정보로 사용하기 위해서는 신뢰성 있는 풀질 확보가 이루어져야 한다. 본 연구에서는 국가기본도 수치지도자료 제작과정에서의 오류유형을 분석하여 주로 자료의 논리적 일관성과 완전성을 확보할 수 있는 자동검수프로그램을 개발하고, 위치정확도를 향상시킬 수 있는 제작방법을 제안함으로써 수치지도정보의 품질유지 및 정확도향상을 통해 고품질 수치지도제작에 기여하는데 목적이 있다. 본 연구의 수행결과, 수치지도의 GIS분야 응용분야에서 주요한 자료의 논리적일관성과 완전성을 확보할 수 있는 자동검수 프로그램을 개발하였으며, 고품질 수치지도제작방법을 제시함으로써 국가기본도 수치지도 데이터베이스의 품질확보 및 정확도향상에 기여할 수 있음을 알 수 있었다.

• 정보교육학회논문지
• /
• 제11권4호
• /
• pp.461-470
• /
• 2007

프로그래밍 학습은 지식기반사회에서 요구하는 문제 해결력과 논리적 사고력을 향상시킬 수 있다. 그러나 기존의 프로그래밍 교육은 대부분 외국어 기반의 프로그래밍 언어를 사용하여 문제 해결력과 논리적 사고력의 향상 보다는 명령어의 습득과 코딩과정에 많은 시간을 소요하고 학습자들은 흥미를 잃기 쉬웠다. 이러한 문제를 해소하고자 본 연구에서는 매우 추상적인 프로그래밍 작업을 로봇이라는 구체물을 통하여 결과를 확인할 수 있도록 하여 프로그래밍 학습의 흥미를 진작할 수 있는 방안을 제안 하였다. 또한 초등학생들이 쉽게 사용할 수 있는 RCX 기반 로봇 프로그래밍 언어의 한글 컨버터를 설계 개발하였다. 그리고 개발된 도구를 방과후학교 컴퓨터반 학생들을 대상으로 6개월간 적용한 결과 학습자들은 긍정적인 반응을 보였다.

• 한국멀티미디어학회논문지
• /
• 제15권8호
• /
• pp.1059-1066
• /
• 2012

오늘날 스마트폰의 발전으로 스마트폰 내장 센서를 통해 사용자의 개인 정보를 쉽게 파악 할 수 있고 원한다면 사용자의 위치를 실시간으로 알아낼 수 있다. 그리하여 센서를 통해 추출된 데이터를 통해 동작인식과 생활 패턴 인식에 관한 연구가 급증하고 있다. 본 논문에서는 기존의 동작 인식 연구에서 추출되는 데이터를 정형화하기 위해 동작 데이터를 모델링하였다. 본 논문의 일상 동작 모델링은 이론적 분석이다. 동작을 크게 두 가지로 분류시켜 가속도 센서만으로 인식 가능한 기본 동작을 물리적 동작으로 정의하고 그 외 목적과 대상, 장소를 포함하는 모든 동작을 논리적 동작으로 분류시켰다. 모델링 된 데이터를 기반으로 각 동작의 특성에 맞게 가시화 하는 방안을 제안하였다. 본 연구를 통해 인간의 일상생활을 동작별로 간편하게 표준화 할 수 있고 기존의 동작 인식 연구에서 추출되는 동작 데이터를 사용자의 요구에 따라 가시화 할 수 있다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 추계종합학술대회
• /
• pp.615-618
• /
• 2003

관계형 데이터베이스의 설계 과정은 요구사항 분석, ER 모델을 이용한 개념적 설계, 논리적 설계, 그리고 물리적 설계 과정으로 구성된다. 논리적 설계과정은 ER 다이어그램으로 구성된 개념적 스키마를 관계형 스키마로 전환하여 정규화시키는 과정으로 이루어진다. 이런 기존의 설계 과정에서 요구사항의 분석후 개념적 스키마를 도출하는 개념적 설계 과정이 명확치 않음으로 인해서, 실제 데이터베이스 설계현장에서 적용하기 어려운 점이 있다. 본 논문에서는 작업과정이 모호한 개념적 설계를 제거함으로 보다 체계적으로 데이터베이스 스키마를 설계할 수 있는 방법을 제안한다. 구조적 설계 방법을 이용하여 자료흐름도를 작성하고, 자료흐름도의 자료저장소에 파악된 애트리뷰트를 이용하여 관계합성으로 관계형 스키마를 도출한다. 관계형 스키마를 정규화하고, 정규화된 테이블로부터 데이터의 의미를 파악하여 테이블 관계도를 작성함으로써 최종 논리적 스키마를 결정한다.

• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.385-390
• /
• 2005

`집합 제한 논리 언어`는 `집합 이론`을 프로그래밍에 도입한 언어이다. 본 논문은 A. Dovier 연구팀이 제안한 집합 제한 문제 풀이(solver) 절차를 소개하고, 이 절차가 논리 언어 Prolog 상에서 어떻게 구현 가능한 지를 보인다. 이 절차는 `다시쓰기 규칙(rewrite rule)`으로 표현되어 있는데 이 표현의 특징은 일반 프로그래밍 언어가 표현하기 힘든 비결정적 규칙 적용(nondeterministic rule application)과 수학적 변수 (mathematical variable)를 사용한다는 점이다. 본 연구에서는 이들 특징이 Prolog 언어에서 제공되는 비결정적 제어 (nondeterministic control), 논리적 변수(logical variable) 및 리스트(list) 자료구조의 사용으로 쉽게 구현 가능함을 보인다. 본 연구의 구현은 다음과 같은 의의를 가지고 있다. 첫째 본연구는 이 언어의 모든 기능을 완전하게 구현하였다는 점이다. 둘째 본 연구에서는 이 언어의 구현 방법을 누구나 알기 쉽게 기술하였다는 점이다. 셋째 기존의 구현이 상업적 Prolog인 SICStus Prolog를 사용하여 구현한 것과는 달리 본 구현은GNU GPL(General Public License)을 가지는CIAO Prolog를 사용하여 구현하였기 때문에 누구나 자유롭게 사용할 수 있는 점이다. 넷째 본 연구에서 개발된 소스 코드는 공개 소프트웨어이기 때문에 누구나 자유롭게 사용, 수정 및 배포할 수 있다는 점이다.

• 한국통신학회논문지
• /
• 제19권9호
• /
• pp.1748-1758
• /
• 1994

최근에 이동통신의 수요가 급격히 증가하고 있으며, 음성뿐만 아니라 종합정보통신망(ISDN)에서 제공되는 데이터, 팩스, 영상 등의 비음성계 서비스가 요구되고 있다. 따라서 본 논문에서는 PCS 시스템의 기본 핵심기술로 활용될 수 있는 디지털 셀룰러 CDMA 시스템용 음성/데이터 집적 서비스 방안들을 제시하고 컴퓨터 심뮬레이션을 통하여 각 집적 서비스 방안의 성능을 비교 분석한다. 컴퓨터 시뮬레이션 결과, CDMA의 한 논리채널을 여러 단말기가 할당받아 PRMA 방식으로 경쟁하는 PR-CDMA 음성/데이타 집적 서비스 방안이 CDMA 방식의 단점인 고정 채널갯수의 한계와 채널이용율의 저하를 극복할 수 있어 전용단말기나 음성/데이타 집적단말기를 이용한 광대역 CDMA 음성/데이타 집적서비스 방안 보다 모든 면에서 우수한 성능을 나타냄을 알 수 있었다.

• 한국통신학회논문지
• /
• 제41권12호
• /
• pp.1914-1924
• /
• 2016

본 논문은 5G 모바일 네트워크에서 가상화 기반의 이동통신 코어망인 Virtualized Evolved Packet Core(vEPC) 환경을 고려하여, 가입자의 종류 및 트래픽 식별에 따라 동적으로 End-to-end 서비스를 제공하기 위한 기술인 Service Function Chaining(SFC)을 적용하기 위한 구조 및 메시지 절차를 제안한다. SFC 기술은 네트워크 기능들을 물리적인 연결에 상관없이 선택적으로 제공하기 위한 기술로써, 가상화 기반 네트워크 기술인 Network Function Virtualization(NFV)기반의 네트워크 환경에서 서비스 제공을 위한 주요 기술로 예상된다. 특히, 5G 모바일 코어 네트워크는 분산 코어 형태로 구축될 것으로 예상되기 때문에 본 논문에서는 이를 고려하여 계층적 SFC(hSFC: Hierarchical SFC) 구조를 적용하였다. 본 논문에서는 제안하는 구조 및 구조 내에서의 SFC를 이용한 경로 설정 메시지 절차를 정의하고 오픈소스 기반의 테스트베드 설계를 통해 이를 구현하고자 하였다.

• 대한전기학회논문지:전력기술부문A
• /
• 제53권12호
• /
• pp.637-644
• /
• 2004

This paper proposes an expert system with the knowledge learning capability which can enhance the safety and effectiveness of substation operation in the automated substation as well as existing substation by inferring multiple events such as main transformer fault, busbar fault and main transformer work schedule under multiple inference mode and multiple objective mode and by considering totally the switch status and the main transformer operating constraints. Especially inference mode includes the local minimum tree search method and pattern recognition method to enhance the performance of real-time bus reconfiguration strategy. The inference engine of the expert system consists of intuitive inferencing part and logical inferencing part. The intuitive inferencing part offers the control strategy corresponding to the event which is most similar to the real event by searching based on a minimum distance classification method of pattern recognition methods. On the other hand, logical inferencing part makes real-time control strategy using real-time mode(best-first search method) when the intuitive inferencing is failed. Also, it builds up a knowledge base or appends a new knowledge to the knowledge base using pattern learning function. The expert system has main transformer fault, main transformer maintenance work and bus fault processing function. It is implemented as computer language, Visual C++ which has a dynamic programming function for implementing of inference engine and a MFC function for implementing of MMI. Finally, it's accuracy and effectiveness is proved by several event simulation works for a typical substation.