• Proceedings of the Korea Water Resources Association Conference
• /
• 2017.05a
• /
• pp.177-177
• /
• 2017

최근 ADCP 등 첨단장비를 활용한 유량 및 하상측정, 각종 하천기본계획 수립 시 확보되는 횡단측정 자료, 식생 및 서식처 등 하천환경과 생태자료, 드론 등을 활용한 영상자료 등 방대한 하천 정보가 확보되고 있으며, 다기능보 등 다양한 하천구조물 및 친수구역이 증가하는 등 이전과 비교하여 괄목할만한 수준으로 정보의 양이 증가하고 있다. 이에 따라 다양한 하천정보를 체계적으로 저장, 관리, 공유하기 위하여 표준화된 데이터 모델(Data Model)의 수립이 필요하다. 하천 정보의 경우 하천 시설물, 하천 단면측량 자료, 하천 시계열 측정 자료 등이 특정 하천을 중심으로 관리되는 반면, 기존 데이터 모델 연구에서는 특정 주제도에 기반하여 하천 정보가 레이어 형식으로 제공되어 상호 연계되지 않아 하천 정보의 효율적 관리측면에서 적합하지 않았다. 또한 신규 정보를 추가 시 기존 데이터 모델의 과다한 수정이 필요하고, 기존의 데이터 모델의 경우 표준화되지 않아 활용성이 매우 낮고, 유역중심으로 구성되어 특정 조건에 해당되는 하천 정보 검색이 어려운 단점이 존재하였다. 본 연구에서는 기존의 주제도 및 레이어 형식으로 구성되어 있던 데이터 모델 형식에서 벗어나 하천흐름선을 기준으로 데이터모델을 구축하는 방안을 제시하였으며, 하천흐름선과 하천 시설물, 단면 측량 자료, 계측 자료를 순차적으로 수용하고, 기존에 존재하지 않던 하천 정보의 추가 시 기존 데이터 모델의 형식을 수정하지 않고 유연하게 대응할 수 있는 관계형 데이터 모델을 구상하였다. 또한, 하천과 유역의 논리적 저장방안 고려하여 한 개의 하천을 다수의 세그먼트(Reach)로 구분하여 코드(Reach Code)를 부여하는 방안을 제시하였으며, 구상한 데이터모델을 통하여 국가하천과 지방하천 등 유역의 다양성을 포함하는 한강권역의 섬강유역을 시범하천으로 구축하였다. 제시된 하천 정보 데이터 모델을 활용하여 DB를 구축한다면 하천망을 기준으로 하천 정보가 저장되고, 기존의 유역단위의 하천 정보 제공 방식에서 하천과 유역을 모두 포함하여 검색 가능한 시스템을 구축하여 하천 정보의 관리와 제공이 수월해질 것으로 기대된다.

• Journal of Science Education
• /
• v.48 no.1
• /
• pp.15-30
• /
• 2024

This study aimed to analyze students' cognitive levels and the cognitive demands of mathematical concepts related to science to understand why students struggle to comprehend scientific concepts and tend to avoid learning them. Initially, the mathematics and science curricula of the 2015 revised curriculum were examined to extract learning elements related to mathematics within middle school science content. The Curriculum Analysis Taxonomy (CAT) was then employed to analyze the cognitive levels required by the learning content. In the domain of chemistry, among a total of 20 learning elements related to mathematics, 12 required an understanding at the level of initial formal manipulation (3A), while 3 necessitated comprehension at the level of later formal manipulation (3B). It was noted that cognitive logic types such as proportional reasoning, mathematical manipulation, and measurement skills were prominently employed in elements corresponding to both 3A and 3B. As for biology, out of 7 learning elements related to mathematics, 3 required an understanding at the level of initial formal manipulation (3A), and 2 necessitated comprehension at the level of later formal manipulation (3B). Elements corresponding to both 3A and 3B in biology predominantly involved correlational logic, indicating a somewhat different cognitive challenge compared to the domain of chemistry. Considering that the average percentage of middle school students capable of formal thinking, as analyzed through the GALT short form, was 12.1% for the first year, 16.6% for the second year, and 29.3% for the third year, it can be concluded that the cognitive demands of mathematics-related chemistry and biology learning content are relatively high compared to students' cognitive levels.

• Journal of the Korea Computer Industry Society
• /
• v.6 no.2
• /
• pp.373-378
• /
• 2005

Computer-Mediated Communication (CMC) based on electronic bulletin board system (e-BBS) has been widely used for various educational purposes since the advent of the Internet. Instructors can achieve pedagogical goals by analyzing the contents of postings. They can be benefited technically from analytic information on discussion activities. Studies on content analysis and social presence in communication have been traditionally done by social studies. However, researches on computational and logical analysis of the phenomenon are rare. To do that we propose a formal model to represent and analyze communication activities logically. The model consists of interactivity vector providing a formal representation of discussion activities and interactivity chart providing a graphical representation of interactivity vector. The formal approach can be used as a useful technical assistance to analyze and compare discussion groups computationally.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

• Korean Journal of Logic
• /
• v.18 no.1
• /
• pp.39-64
• /
• 2015

The most difficult problem for mathematical Platonism is the epistemological problem raised by Paul Benacerraf and Hartley Field. Recently, Mark Balaguer argued that his version of mathematical Platonism, Full Blooded Plantonism (FBP), can solve the epistemological problem. In this paper, I show that there are serious problems with Balaguer's argument. First, I analyse Balaguer's argument and reveal a formal defect in his argument. Then I raise an objection based on an analogical argument. Finally, I disarm some potential moves from Balaguer.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.6
• /
• pp.1260-1268
• /
• 2005

Ladder Diagram(LD) is the most extensively used among PLC standard language for the design of control system. But LD has the disadvantages for data processing and maintenance. On the other hand, the Sequential Function Chart(SFC) graphic language is very powerful for describing the sequential logic control algorithm. SFC is based on flow chart, so control flow understanding is very easy and divergence can possible improving its ability. In this paper, we propose the efficient management elevator system using the action qualifiers and choice divergence. From the result, we confirm the SFC language reduced program memory capacity and processing time is faster than LD language.

• The Bulletin of The Korean Astronomical Society
• /
• v.39 no.1
• /
• pp.88.2-88.2
• /
• 2014

경희대학교 천문대는 한국과학창의재단에서 후원하는 2013년 과학문화 민간활동 지원사업의 일환으로 "청소년, 우주를 향해 미래를 쏘다!"라는 멘토링 프로그램을 2013년 7월 23일부터 2014년 2월 28일까지 진행하였다. 본 프로그램의 참가대상은 경기지역 고등학교 1, 2학년 학생 32명이 참가하였고, 대학생 멘토 8명과 팀으로 활동하였다. 본 프로그램의 목적은 달 탐사를 주제로 한 체험프로그램을 통해 청소년들의 우주개발의 현황을 체험할 수 있는 기회를 제공하고, 체험 프로그램을 활용하여 창의력, 협동심, 자신감을 함양시키며 이공계 분야의 비젼과 진로 방향을 제시하는 것이다. 본 프로그램은 6개의 주제로 총 10회 동안 진행되었으며, 각각의 주제는 우리나라 우주개발 현장체험, 달탐사의 필요성 체험, 발사체 및 탑재체의 이해와 체험, 청소년이 바라본 우리나라 달탐사의 미래, '우주로' 체험 캠프, 최종발표회이다. 프로그램은 체험, 조사, 발표 및 토의 형식으로 진행되었다. 본 프로그램에서 기대되는 성과는 조별 활동 및 다양한 체험 실습으로 협동심 및 인성을 함양하고, 천문학/공학 분야의 전공 대학생의 멘토링으로 논리적, 체계적, 비판적인 사고를 유도하고, 학연 협력을 활용한 현장학습으로 청소년들의 이공계에 대한 흥미를 유발하고 진로 방향을 제시하며, 다양한 체험 실습 및 미래 지향적인 컨텐츠를 활용하여 천문학 및 우주과학에 대한 호기심을 자극하는 것이다. 본 프로그램에서의 최종 성과물은 기존의 달탐사와 차별적인 주제와 방법론을 고안하여 논리적이고 창의적으로 우리나라의 달탐사에 대한 방법론적인 아이디어를 유도하는 것에 중점을 두었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.310-312
• /
• 2001

최근 인터넷상에서 DTD 기반의 XML 문서가 문서 교환의 표준 수단으로 등장하면서 B2B 상에서 XML 문서의 사용이 빠른 속도로 증가하고 있다. 그러나 B2B 환경에서 문서교환시스템은 각기 다른 형태의 문서구조의 사용으로 인하여 시스템의 통합 및 상호운용에 있어 많은 어려움이 있다. 이에 논리적으로는 유사한 문서 교환 시스템의 통합 및 상호운용에 있어서 XML 문서의 교환을 위해서는 상호 변환 모듈이 필요하다. 그러나 상호 변환 모듈 개발을 위한 표준화된 방법과 툴의 미비로 인하여 변환 모듈 개발과 유지 보수에 많은 비용이 소요된다. 본 연구에서는 논리적으로 비슷하지만 서로 다른 DTD 기반의 XML 문서를 상호 변환하는 변환기를 자동 생성하는 시스템(XTGen)을 설계하고 구현한다. 시스템은 XML 문서를 검증하고 DTD를 추출하는 컴포넌트(XDA), 검증된 DTD를 문서 구조 정보 형식으로 변경하는 컴포넌트(DDA), 문서 구조 정보를 보여주고 상호 변환을 위해 매핑 할 수 있도록 하는 컴포넌트(DIV), 두 문서간의 매핑 정보를 추출하는 컴포넌트(MDO), 추출된 매핑 정보를 바탕으로 2개의 XML 문서를 상호 변환하는 변환기를 생성하는 컴포넌트(TCG)로 구성된다. 본 연구에서는 제안한 XML 변환기 생성 시스템(XTGen)은 XML 문서들의 상호 변환을 위한 변환 모듈을 자동 생성함으로써 변환기 생성의 비용을 감소시킬 수 있고 변환 모듈의 표준화를 통해 유지 보수성을 높일 수 있다.

• Korean Journal of Optics and Photonics
• /
• v.13 no.5
• /
• pp.421-424
• /
• 2002

By using SOA (Semiconductor Optical Amplifier) based devices, an all-optical half adder has been successfully demonstrated at 10 Gb/s. All-optical XOR and AND gates are utilized to realize SUM and CARRY. Since SUM and CARRY have been simultaneously realized to form the all-optical half adder, complex calculation and signal processing can be achieved.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.2
• /
• pp.229-236
• /
• 1995

The conceptual world of sentence is composed f substantives(nouns) and verbal. The verbal is a semantic center of sentence, the substantives are placed under control of verbal, and they are combined in a various way. In this paper, the structural relation of verbal and substantives are analyzed and the phrase unit sentence which is derived from the result of morphological analysis is interpreted by a variable pattern net. This variable pattern net analyzes the phrases syntactically and semantically and extracts conceptual units of clausal form. This paper expands the traditionally restricted Horn clause theory to the general sentence, separates a simple sentence from a complex sentence automatically, constructs knowledge base by clausal form of logical conceptual units, and applies it to a question-answering system.