• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.51-53
• /
• 2000

시공간 추론에 관한 연구는 그 역사가 오래되었으며 지난 수 십년 동안 매우 많은 이론적인 연구 결과를 얻었다. 그러나, 이와 관련된 응용분야의 연구는 거의 진척되지 않았기 때문에 시공간 추론의 이론과 응용 사이의 간격을 줄이고 실제 활용 가능한 시스템 개발을 위해서는 관련 이론을 토대로 한 응용 시스템의 개발이 필요하게 되었다. 따라서, 이 논문에서는 그 동안 연구된 시공간 추론의 이론을 특정 응용 분야인 전장분석에 적용하여 전장분석 및 평가에 중요한 영향을 미치는 미상의 부대, 미확인 부대, 주타격 방향을 추론하고, 부대의 이동 위치 및 이동시간을 추동하는 시공간 추론 시스템을 설계 및 구현하였다.

• Korean Journal of Logic
• /
• v.14 no.3
• /
• pp.1-26
• /
• 2011

This essay attempts to evaluate the pessimistic induction within the case of the historical development of space-time theories, which are claimed to undergo a radical ontological change providing evidence for the pessimistic induction. In my view, this claim misleads us to see the discontinuity of the structure of classical and relativistic space-time by means of a doubtful interpretation of space-time theories, which holds that space-time causally explains the phenomena of motions.

• Journal for History of Mathematics
• /
• v.22 no.3
• /
• pp.273-292
• /
• 2009

According to historical commentators such as Newton and Einstein, bodily behaviors are causally explained by the geometrical structure of space-time whose existence analogous to that of material substance. This essay challenges this conventional wisdom of interpreting space-time geometry within both Newtonian and Einsteinian physics. By tracing recent historical studies on the interpretation of space-time geometry, I defends that space-time structure is a by-product of a more fundamental fact, the laws of motion. From this perspective, I will argue that the causal properties of space-time cannot provide an adequate account of the theory-change from Newtoninan to Einsteinian physics.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.01a
• /
• pp.47-49
• /
• 2023

사회적으로 복잡한 문제들이 시공간 형태로 문제 표현이 가능하고 이를 활용하여 문제를 해결하기 위한 연구들이 진행 중이다. 특히, 시뮬레이션 이론 중 하나인 BM-DEVS는 시공간 논리를 적용하여 실세계에서 일어나는 문제들을 시공간 규칙으로써 표현하였고 이를 모델에 적용하여 시스템에서 행위를 모니터링한다. 하지만 BM-DEVS에서는 시스템 차원에서 정의된 시공간 규칙들을 평가하기 위하여 Büchi 오토마타로의 변환과 오토마타를 모델들에 반영할 수 있어야 한다. 이를 위하여 시스템을 구축하는 모델러가 직접 규칙을 오토마타로 변환하는 작업을 해야하며 이에 대한 오토마타를 모델에 적용하기까지는 많은 시간이 소요된다. 이러한 문제를 해결하기 위해 본 논문에서는 모델링의 단순화를 위하여 시공간 규칙을 모델들에 자동적으로 적용하는 방법에 대하여 소개한다.

• Korean Journal of Cognitive Science
• /
• v.19 no.4
• /
• pp.369-396
• /
• 2008

The purpose of this article is to investigate the effect of visual working memory, the types and contents of graphic annotations on English learning. The participants of the experiments were 5th and 6th graders. The result showed that animation was effective only in the word test for children with large visual working memory, whereas text-only-annotation yielded better performance in the comprehension test in Experiment 1. The effect of relevance of animations was tested in Experiment 2. Context-relevant-animations yielded better comprehension than the animations denoting the typical meaning, whereas the opposite pattern was reported in the word test. The result of the two experiments was interpreted in terms of cognitive load theory and the generative theory of multimedia learning.

• Review of Korea Contents Association
• /
• v.3 no.2
• /
• pp.64-74
• /
• 2005

• Proceedings of the Korea Water Resources Association Conference
• /
• 2010.05a
• /
• pp.2016-2020
• /
• 2010

기존에 국내외에서 적용되는 지하수 함양량 추정방법인 기저유출 분리법, 연단위 물수지 분석법, 지하수위변동법 등은 집중형 개념을 기반으로 하거나 국지적인 규모로 다뤄지기 때문에 함양량의 시공간적 변동성을 나타내기에는 한계가 있다. 따라서 본 연구에서는 시공간적으로 변하는 지하수 함양량을 정량적으로 추정할 수 있는 기법을 이용, 실제 유역에 적용하였다. 이를 위해 강우-유출 모형은 수문성분 해석 이론이 잘 정립된 SWAT모형과 SWAT모형의 지하수 부분을 MODFLOW모형으로 대체한 SWAT-MODFLOW모형을 선택하였고, 분석 대상유역인 정읍지역을 대상으로 각 소유역 및 수문학적 반응단위(Hydrologic Response Unit: HRU)별로 토지이용과 토양통 특성을 반영하여 지하수 함양량의 시공간적인 변화를 산정하였다. 2001년부터 2008년까지의 소유역별 일단위 지하수 함양량을 산정하였으며, 함양량의 시 공간적 변동성을 분석한 결과 월평균 함양량의 경우 대략 280mm 범위 내에서 유역의 토지이용 및 토양특성, 경사 등에 따라 매우 비 균질하게 분포하는 것을 확인할 수 있었다. 이렇게 산정한 함양량은 지역지하수 관리계획에 유연하고 합리적으로 적용될 수 있을 것으로 판단된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.629-631
• /
• 2003

대부분의 상용 CIS 소프트웨어에서는 시공간분석 결과를 2 차원상에 가시화 하거나 해당 분석결과를 단순히 출력해 주는 형태이다. 3차원상의 질의 볼륨에 대한 3차원 공간분석 또한 이론 및 실험적으로 많은 연구가 이루어져 왔으나, 3 차원상의 공간분석 결과 가시화 기능을 통합한 시스템은 아직까지 미흡한 실정이다. 본 논문에서는 3 차원상의 공간연산 및 3 차원에 시간속성을 부가한 4 차원 시공간 연산을 처리할 있는 4 차원 CIS 시스템을 소개한다. 제안된 기법은 2차원 수치지도와 3 차원 부가속성을 가진 데이터베이스를 이용하여 2 차원, 3 차원, 미디어 데이터간의 상호연계 및 통합된 가시화 프레임워크를 제공한다. 또한 가상세계 매핑기법을 이용하여 수작업에 의존한 별도의 이미지 프로세싱 과정 없이도 비디오상의 특정 프레임의 건물에 대한 속성질의 및 2D/3D 간의 상호 연계 기능을 제공할 수 있다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2015.05a
• /
• pp.468-468
• /
• 2015

일반적으로 겨울철 강수는 기온에 따라 강우와 강설로 분류된다. 특히 기온이 임계온도보다 낮을 경우, 강수는 강설의 형태로 지표면에 도달하여 적설되어진다. 겨울철 산간에 적설된 눈은 봄철이 되어 기온이 상승함에 따라 융설(snowmelt)이 발생하여 유역의 유출에 기여한다. 이러한 융설은 기온이 영하로 내려가는 11-4월에 해당하는 갈수기에 유출량 등의 수문성분에 영향을 미치고 있다. 특히 제주유역의 경우, 고도에 따른 강수량, 기온의 차이가 매우 크므로 강설, 융설 현상의 시공간적인 발생에 대한 연구가 더욱 요구된다. 따라서, 본 연구에서는 제주유역의 강설, 융설 발생의 시공간적인 평가를 위해서 융설모의가 가능한 SWAT-K를 한천유역에 적용하여, 그 결과를 분석하였다. 융설모의 이론을 검토하고, 실제 대상유역에 융설을 고려하기 위한 매개변수를 설정하고, 월별, 소유역별로 강설, 융설 발생현황을 평가하였다.

• The Bulletin of The Korean Astronomical Society
• /
• v.38 no.1
• /
• pp.75.1-75.1
• /
• 2013

자체의 중력 효과를 고려하는 구대칭 완전 유체 전산모사 연구를 위해 일반상대론적 유체역학 코드를 이 분야 연구자들을 위한 공개용으로 개발하였다. 이 코드는 3+1 ADM(Arnowitt-Deser-Misner) 공식과 등방 공간 좌표를 사용하였다. 시공간 기하를 구하기 위해 극한값 썰기 (maximal slicing) 조건과 함께 세 개의 제한 방정식을 풀었고, 시공간을 채우는 물질인 유체는 근사 리만 해법을 사용한 HRSC (high resolution shock capturing) 기법으로 오일러 관찰자 시점에서 풀었다. 이 코드의 수렴성과 정확성을 검증하기 위해 상대론적인 구대칭 충격파 비교 분석, 블랙홀로 빨려 들어가는 상대론적 구대칭 강착, TOV(Tolman-Oppenheimer-Volkoff) 별 및 OS (Oppenheimer-Snyder) 붕괴 코드 테스트를 수행하였다. 특히, 이 코드의 동적 진화 테스트인 OS 붕괴의 경우 해석적인 해와 결과를 비교하기 위하여 좌표변환을 수치 계산으로 수행하였다. 아인슈타인의 일반상대성 이론을 넘어서는 변형된 중력이론 중 하나로 최근 제시된 EiBI(Eddington-inspired Born-Infeld) 이론에서 TOV 별의 해가 일반상대성 이론과 어떠한 차이를 보이는지 살펴 보았고, 그 이론에서도 물질이 붕괴하여 블랙홀을 만드는 경우 특이점이 형성되는지 고찰해 보았다.