• Proceedings of the Korea Water Resources Association Conference
• /
• 2006.05a
• /
• pp.419-424
• /
• 2006

대청호로 유입하는 탁수의 감시와 저수지내의 시공간분포를 예측할 수 있는 실시간 탁수감시 및 예측시스템(RTMMS)을 개발하였다. RTMMS는 탁도와 수온 등 실시간 계측자료를 데이터베이스에 저장.조회하는 실시간 감시(Realtime Monitoring), 2차원 탁수예측 수치모델의 입력자료 생성(Input Data), 탁수예측 수치모델의 수행 (W2 Run), 모의결과의 조회 및 저수지 운영 시나리오별 탁수조절 효과분석을 위한 후처리 (Post-Process) 기능을 제공한다. 시스템의 GUI 화면은 개별 기능을 탭 형식으로 제공하여 사용자가 순차적으로 자료조회와 모델수행 그리고 결과분석을 쉽게 수행할 수 있도록 설계하였다. RTMMS는 강우사상 동안 유입하천의 수온예측을 위해 대기기온, 이슬점온도, 하천유량자료를 독립변수로 이용하는 다중회귀모델(DMR)을 사용하며, 탁도 예측은 유량과 SS 부하량의 상관관계를 이용하는 탁도예측모델(QLM)을 사용한다. 저수지로 유입한 탁수의 밀도류 거동과 시공간적인 탁도분포 예측은 2차원 횡방향 평균 수리 수질해석 모형인 CE-QUAL-W2를 채택하였다. 개발된 시스템은 2004년 홍수기를 대상으로 시범적용 하였으며, 그 결과를 실측자료와 비교하여 제시하였다. RTMMS는 저수지 탁수발생 현황조회, 취수원 도달시간 및 지속기간, 밀도류와 전도현상을 고려한 시공간 분포 예측, 발전 및 수문방류, 선택취수 등 다양한 저수지운영 시나리오에 따른 상.하류 영향 분석, 용수 이용자에게 탁도 예측정보의 제공 등 탁수를 고려한 저수지운영 의사결정지원 도구로써 매우 유용하게 활용 될 것으로 기대된다.

• Korean Journal of Logic
• /
• v.5 no.2
• /
• pp.39-66
• /
• 2002

일반적으로 엄밀한 방법을 통하여 증명되었다고 말해지는 괴델의 불완전성 정리는 일련의 전제와 배경지식이 요구된다고 하겠다. 이들 중에서 무엇보다도 중요한 것은 정리의 증명에 사용되는 메타언어상의 수학적 참에 대한 개념이다. 일단 확인할 수 있는 것은 "증명도, 반증도 되지 않지만 참인 산수문장의 존재"라는 불완전성 정리의 내용에서 괴델이 가정하고 있는 수학적 참의 개념이 구문론적인 증명개념으로부터 완전히 독립되어야 한다는 점이다. 문제는 그가 가정하고 있는 수학적 참의 개념이 도대체 무엇이어야만 하겠는가라는 점이다. 이 논문은 이 질문과 관련하여 내용적으로 3부분으로 나누어 질 수 있다. I. 괴델의 정리의 증명에 필요한 전제들 및 표의 도움을 얻어 자세히 제시되는 증명과정의 개략도를 통해 문제의 지형도를 조감하였다. II, III. 비트겐슈타인의 괴델비판을 중심으로, "일련의 글자꼴이 산수문장이다"라는 주장의 의미에 대한 상식적 비판 및 해석에 바탕을 둔 모형이론에 대한 대안제시를 통하여 괴델의 정리를 증명하기 위해 필요한 산수적 참에 관한 전제가 결코 "확보된 것이 아니다"라는 점을 밝혔다. IV. 괴델의 정리에 대한 앞의 비판이 초수학적 전제에 대한 것이라면, 3번째 부분에서는 공리체계에서 생성 가능한 표현의 증명여부와 관련된 쌍조건문이 그 도입에 필수적인 괴델화가 갖는 임의성으로 인해 양쪽의 문장의 참, 거짓 여부가 서로 독립적으로 판단 가능하여야만 한다는 점에(외재적 관계!) 착안하여 궁극적으로 자기 자신의 증명여부를 판단하게 되는 한계상황에 도달할 경우(대각화와 관련된 표 참조) 그 독립성이 상실됨으로 인해 사실상 기능이 정지되어야만 한다는 점, 그럼에도 불구하고 이 한계상황을 간파할 경우(내재적 관계로 바뀜!)항상 순환논법을 피할 수 없다는 점을 밝혔다. 비유적으로 거울이 모든 것을 비출 수 있어도 자기 스스로를 비출 수 없다는 점과 같으며, 공리체계 내 표현의 증명여부를 그 체계내의 표현으로 판별하는 괴델의 거울 역시 스스로를 비출 수는 없다는 점을 밝혔다. 따라서 괴델문장이 산수문장에 속한다는 믿음은, 그 문장의 증명, 반증 여부도 아니고 또 그 문장의 사용에서 오는 것도 아니고, 플라톤적 수의 세계에 대한 그 어떤 직관에서 나오는 것도 아니다. 사실상 구문론적 측면을 제외하고는 그 어떤 것으로부터도 괴델문장이 산수문장이라는 근거는 없다. 그럼에도 불구하고 괴델문장을 산수문장으로 볼 경우(괴델의 정리의 증명과정이라는 마술을 통해!), 그것은 확보된 구성요소로부터 조합된 문장이 아니라 전체가 서로 분리불가능한 하나의 그림이라고 보아야한다. 이것은 비트겐슈타인이 공리를 그림이라고 본 것과 완전히 일치하는 맥락이다. 바론 그런 점에서 괴델문장은 새로운 공리로 도입된 것과 사실은 다름이 없다.

• Journal of Intelligence and Information Systems
• /
• v.9 no.1
• /
• pp.139-155
• /
• 2003

This paper presents the new methodology of analyzing and classifying patterns of customers in mobile telecommunication market to enhance the performance of predicting the credit information based on the decision tree and neural network. With the application of variance selection process from decision tree, the systemic process of defining input vector's value and the rule generation were developed. In point of customer management, this research analyzes current customers and produces the patterns of them so that the company can maintain good customer relationship and makes special management on the customer who has huh potential of getting out of contract in advance. The real implementation of proposed method shows that the predicted accuracy is higher than existing methods such as decision tree(CART, C4.5), regression, neural network and combined model(CART and NN).

• Journal of Korea Technology Innovation Society
• /
• v.13 no.3
• /
• pp.423-445
• /
• 2010

This study purposes to suggest a next generation research and education environment which is possible by the linkage of two sectors based on cyberinfrastructure. It is to design a new research-education linkage system which can apply the results of R&D to the higher education in natural science and engineering areas. literatures were reviewed on new paradigms of R&D triggered by the advent of cyberinfrastrcuture. A couple of overseas and domestic cases of such paradigm were introduced. With the backgrounds of case studies and theoretical models, a new research-education linkage environment system was suggested. Specially e-AIRS system was introduced as an example of new model in Korea. In addition, some policy issues were discussed as related to the successful promotion of such programs.

• The Journal of the Korea Contents Association
• /
• v.14 no.5
• /
• pp.425-435
• /
• 2014

The research for extracting man-made features such as building and road from the aerial photograph or satellite imagery has been performed actively. As lately the resolution of digital aerial photographs was improved, unwanted features(noise) would be often detected. An edge detection algorithm is developed to make up for such a noise problem, make boundaries of wanted objects clear and extract only needed features. The algorithm developed in this research performs separating RGB channels, differencing between channels, transforming in to binary images, excluding noises and restoring shapes, and edge extraction in order. The images to be used for edge detection are prepared through bundle adjustment, DTM extraction, orthorectification and mosaicking. The roof edges of small building on preprocessed digital aerial orthophotos were extracted using the algorithm developed in this study. The validity of the algorithms was proved by comparing edge results of small building extracted in this study with those of conventional methods.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.15 no.1
• /
• pp.97-105
• /
• 1997

In order to conserve architecture accurately as original feature, we need to get the data which is measured in detail about the information of size, position, type, shape, and other terms for architectures. Recently, we need to get data fast and correctly, to compose and to update the database of geographic information system, but using existing method. it is difficult to update the data effectively in the rapid development of information industry. In this study, therefore, It is measured precisely architecture using accurate close-range photogrammetry The aims of this study are real-measured plan by processing acquired image through multi-image matching method if photogrammetry, suggesting the method which is able to draw in detail front plane and plane of well-established architecture, and giving data to obtain accurate size and 3-D coordinate using analytical method.

• Journal of Korean Society for Geospatial Information Science
• /
• v.24 no.1
• /
• pp.3-8
• /
• 2016

Due to the recent technical development and the enhancement of image resolution, Unmanned Airborne Vehicles(UAVs) have been used for various fields. A low altitude UAV system takes advantage of taking riverbed imagery at small rivers as well as land surface imagery on the ground. The bathymetric data are generated from the low altitude UAV system. The accuracy of the data is analyzed along water depths, comparing GPS observations and a DSM generated from UAV images. It is found that the depth accuracy of the geospatial data below 50 cm depth of water satisfies the regulation(${\pm}10cm$ spatial accuracy) of bathymetric surveying. Therefore this research shows that the geospatial data generated from UAV images at shallow regions of rivers can be used for bathymetric surveying.

• Proceedings of the Korea Contents Association Conference
• /
• 2003.05a
• /
• pp.74-87
• /
• 2003

A model of STS (Science-Technology-Society) creativity education program for the gifted and talented children has been developed, based on GENEPLORE thinking process and Knowledge development theory. The GENEPLORE creative thinking process, developed by Finke et al. (1990, 1992), has two phases such as generative phase and exploratory phase. And The knowledge development theories of Piaget (1977) and Gallagher(1981) assume that knowledge-bases are developed on the basis of empirical as well as reflective abstraction, which could imply that knowledge-bases are crucial in creative thinking process. The creativity education model for the gifted and talented of the present study attempted to integrate 'the individual, creative thinking process, and social/scientific technology' by employing topics of the science-technology-society such as computer, network, biotech, robot, e-business, e-education, e-health, nanotech and entertainment and the structure and contents of the program are proposed

• Journal of Korean Society for Geospatial Information Science
• /
• v.10 no.2 s.20
• /
• pp.39-47
• /
• 2002

For the purpose of data construction for the systematic management and sight-seeing guidance of the natural park, the Kumoh Mt. Province Park was selected as a pilot area. Digital topographic maps, thematic maps and satellite imagery covering the object area were processed and then landform analysis for elevation, slope, aspect and so on was conducted through DEM generation, and the landcover map and NDVI maP were extracted from Landsat TM data. The database was then constructed with these spatial data for GSIS. The image map was generated from IKONOS satellite data, which cover the pilot area data, with one meter resolution and also 3D visualization which was overlaid with main paths up a mountain were conducted. And the moving image files were produced along main paths up including main natural spectacular sights, cultural assets and management facilities. It is expected that the research result can be utilized as the fundamental data for re-assessing suitable land use and constructing Web-based guidance system.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2008.05a
• /
• pp.529-533
• /
• 2008

본 연구는 미래기후변화가 공간해상도(5, 10, 30m)에 따른 토양유실량의 변화에 미치는 영향을 분석하고 자하였다. 연구대상지역은 경안천 최상류에 위치한 $1.16km^2$의 농촌 소유역을 대상으로 공간해상도별(5, 10, 30m) RS 및 GIS 자료를 생성하고, GIS 기반의 RUSLE(Revised Universal Soil Loss Equation) 모형을 채택하여 토양유실량을 분석하였다. 기후변화 시나리오는 IPCC(Intergovernmental Panel on Climate Change)에 서 제공하는 GCM(Global climate model) 중에서 MIROC3.2 hire의 A1B, B1 시나리오를 이용하였으며, 과거 30년간(1977-2006)의 기상자료 통계정보를 기준으로 Change Factor Downscaling 기법을 적용하여 2020s년 (2010-2039), 2050s년(2040-2069), 2080s년(2069-2099) 전후의 각 30년간의 미래 강우량을 재생산하여 사용하였다. 그 결과 강수량은 2080s년에 A1B 시나리오의 경우 연평균 강수량은 270.37mm, 최대 강수량은 65.71mm 증가하였고, B1 시나리오의 경우 연평균 강수량은 37.11mm, 최대 강수량은 48.46mm 증가하는 것으로 나타났다. 구축한 미래 강우량을 RUSLE 인자 중 R 인자에 적용하여 2020s년, 2050s년, 2080s년의 토양유실량을 분석한 결과, 미래강수량이 증가함에 따라 공간해상도별 토양유실량도 증가하는 것으로 분석되었다. 평균토양유실량을 시나리오별로 보면, A1B 시나리오의 경우 2080s을 기준으로 1/5,000 scale에서는 약 0.18 ton/ha/year, 1/25,000 scale에서는 약 0.07 ton/ha/year, 1/50,000 scale에서는 약 0.07 ton/ha/year의 유실량이 각 공간해상도별로 증가하였다. B1 시나리오의 경우 2080s을 기준으로 1/5,000 scale에서는 약 0.03 ton/ha/year, 1/25,000 scale에서는 약 0.01 ton/ha/year, 1/50,000 scale에서는 약 0.01 ton/ha/year의 토양유실량이 증가한 것으로 분석되었다.