• Title/Summary/Keyword: 확정성

Search Result 696, Processing Time 0.029 seconds

A study on the revision of the mathematics glossary (수학 편수 자료 개정을 위한 기초 연구)

  • 김흥기;박교식;박경미;이장주;정승진
    • Journal of Educational Research in Mathematics
    • /
    • v.13 no.2
    • /
    • pp.179-225
    • /
    • 2003
  • The purpose of this study is to revise the previous mathematics glossary Since the last mathematics glossary was published by MOE in 1937, there have been two curriculum revisions. As a result, many terms which are newly included in the curriculum are not specified in the mathematics glossary. Moreover, part of mathematics terms and the informations about mathematicians and mathematics educators in mathematics glossary are not correct. Thus the revision of the mathematics glossary is definitely necessary. To collect the opinions about mathematics terms, a large scale survey targeting mathematics education researchers and mathematics teachers was conducted and the subsequent meetings were held. Also, the studies regarding mathematics terminology were thoroughly reviewed to provide the direction of desirable mathematics terms. Reflecting all these informations, the draft of the new mathematics glossary was completed.

  • PDF

A Study on urban runoff by deter ministic simulation techniques. (확정론적 모의기법에 의한 도시유출 해석에 관한 연구)

  • 이은영;강관원
    • Water for future
    • /
    • v.15 no.3
    • /
    • pp.37-47
    • /
    • 1982
  • In the past, the design flow of the urban storm drainage systems has been used largely on a basis of empirical and experience, and the rational formula one of empirical method has been widely used for our country, as well as world wide. But the empirical method has insufficient factor because minimal consideration is given to the relationship of the parameters in the equation to the processes being considered, and considerable use of experience and judgment in setting values to the coefficients in the equation is made. The postcomputer era of hydrology has brought an acceleration development of mathematical methods, thus mathematical models are methods which will greatly increase our understanding in hydrology. On this study, a simple mathematical model of urban presented by British Road Research Laboratory is tested on urban watersheds in Ju An Ju Gong Apartment. The basin is located in Kan Seog Dong, Inchon. The model produces a runoff hydrograph by applying rain all to only the directly connected impervious area of the basin. To apply this model the basin is divided into contributing areas or subbasins. With this information the time area for contributing is derived. The rainfall hyetograph to design storm for the basin flow has been obtained by determination of total rainfall and the temporal distribution of that rainfall determined on the basis of Huff's method form historical rainfall data of the basin. The inflows from several subbaisns are successively routed down the network of reaches from the upstream end to the outlet. A simple storage routing technique is used which involves the use of the Manning equation to compute the stage discharge curve for the cross-section in question. To apply the model to a basin, the pattern of impervious areas must be known in detail, as well as the slopes and sizes of all surface and subsurface drains.

  • PDF

Hydrological Data Information System Building of the Seolma-Cheon Experimental Catchment (설마천 시험유역의 수문자료 정보시스템 구축)

  • Kim, Dong-Phil;Yim, Dong-Hee
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2009.05a
    • /
    • pp.1797-1801
    • /
    • 2009
  • 수문자료 정보시스템은 설마천 시험유역의 신뢰성 있는 수문자료를 체계적으로 저장하고 관리하며, 간단한 가입절차를 통해 사용자에게 온라인으로 신속하게 제공하는 시스템이다. 설마천 시험유역은 관측망 설계가 이루어진 1995년부터 현재까지 지속적으로 운영되고 있으며, 본격적으로 2000년부터 신뢰할 만한 관측자료가 생성되어 왔다. 구축된 설마천 시험유역의 수문자료 정보시스템은 1996년부터 현재까지 생성된 관측자료와 가공자료로 구성되어 있다. 관측자료에는 실시간-시계열 자료(6개소 우량, 2개소 하천수위, 1개소 유량), 비실시간-시계열자료(5개소 우량, 2개소 3종의 하천수위, 2개소 지하수위, 1개소 파샬플륨 수심, 1개소 14종의 기상), 비실시간-비시계열 자료(3개소 유량측정성과, 3개소 수질, 2개소 부유사량) 등이 있으며, 가공자료에는 2개소 유역면적우량, 2개소 유량환산자료가 있다. 관측된 자료는 수문자료 처리절차에 따라 비교·검토를 통하여 자료를 확정시킨다. 확정된 자료는 새로운 설마천 시험유역 홈페이지(http://seolmacheon.kict.re.kr)를 통해 간단한 등록을 한 후 필요로 하는 자료를 검색하여 추출할 수 있다. 제공되는 자료에는 6개 지점우량, 2개소 유역면적우량, 2개소 하천수위, 2개소 지하수위, 2개소 유량, 1개소 18종의 기상, 3개소 유량측정성과, 3개소 수질, 2개소 부유사량 자료 등이 있다. 설마천 시험유역에서 축적된 수문자료는 본 시스템을 통하여 널리 사용자에게 쉽게 제공이 가능함에 따라 자료의 이용도가 크게 증대될 것이며, 동시에 자료의 공유는 자료의 검증을 확보할 수 있을 것이다. 따라서, 자료의 공유와 검증이 이루어진 수문자료는 수자원 연구 및 개발 분야에 직접적인 이용이 가능할 것으로 기대된다.

  • PDF

A Study on the Improvement of the BRM Classification System for Policy Information Service (정책정보제공서비스를 위한 BRM분류체계 개선에 관한 연구)

  • Noh, Younghee;Park, Yang-Ha
    • Journal of the Korean Society for Library and Information Science
    • /
    • v.48 no.4
    • /
    • pp.135-171
    • /
    • 2014
  • The aim of this study was to suggest a classification system adapted to provide policy information services. For this purpose, this study completed the following processes; BRM taxonomy analysis, document analysis, analysis of classification systems providing policy information, consulting classification experts, surveys and interviews with policy information consumers, and an empirical validation process through the actual construction of policy information materials. Finally, this study complemented and modified the BRM taxonomy system and proposed a classification system appropriate to policy information resources. Through the procedures of experts discussion, the steps of BRM analysis appropriate to provide policy information services is determined as three steps. The domestic institute websites for policy information services has confirmed the appropriateness of the BRM taxonomy system through the analysis system and service research to provide policy information resources. Also through the specialist interview, the confirmation of BRM and the improvement has been drawn. Through the questionaires, the study analyzes the appropriateness of available BRM taxonomy system and the requirements by subjects. And through the empirical verificaion, it determines the subject of BRM taxonomy system for policy information services.

Hydraulic Model for Real Time Forecasting of Inundation Risk (실시간 범람위험도 예측을 위한 수리학적 모형의 개발)

  • Han, Geon-Yeon;Son, In-Ho;Lee, Jae-Yeong
    • Journal of Korea Water Resources Association
    • /
    • v.33 no.3
    • /
    • pp.331-340
    • /
    • 2000
  • This study aims to develop a methodology of real time forecasting of mundation risk based on DAMBRK model and Kalman filter. The model is based on implicit, nonlinear finite difference approximatIons of the one-dimensional dynamic wave equations. The stochastic estimator uses on extended Kalman filter to provide optimal updating estimates. These are accomplished by combining the predictions of the determurustic model with real time observauons modified by the Kalman filter gain ractor. Inundation risks are also estimated by applying Monte Carlo simulation to consider the variability in cross section geometry and Manning's roughness coefficient. The model calibrated by applying to the floods ot South Han River on September, 1990 and August, 1995. The Kalman tilter model indicates that significant improvement compared to deteriministic analysis in flood routing predictions in the river. Overtopping risk of levee is also presented by comparing levee height with simulated flood level. level.

  • PDF

Publish/Subscrib Service based Selective Sensor Data Monitoring System using Mesh Network (메쉬 네트워크에서 가입/게시(subscribe/publish) 서비스기반 선택적 센서정보 모니터링 시스템)

  • Kim, Yong-Hyuck;Kim, Young-Han
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.35 no.3B
    • /
    • pp.493-502
    • /
    • 2010
  • In this paper we propose a scalable sensor network system that makes mesh network among the sink nodes to solve the scalability problem of existing sensor network which is caused by multi-hop networking between the sensor nodes. In the proposed system, the sink nodes have the wireless networking ability to communicate with another sink nodes in mesh fashion, and with the monitoring nodes which is located in the local area or internet area. Especially, the system includes L4(Application Layer) routing mechanism that provides subscribe/publish service to serve selective transmission of sensor data to the specific monitoring nodes. The collected sensor data is transmitted to the monitoring nodes when the sensor data is matched with the monitoring node's interesting value.

Stochastic Continuous Storage Function Model with Ensemble Kalman Filtering (II) : Application and Verification (앙상블 칼만필터를 연계한 추계학적 연속형 저류함수모형 (II) : - 적용 및 검증 -)

  • Lee, Byong-Ju;Bae, Deg-Hyo;Shamir, Eylon
    • Journal of Korea Water Resources Association
    • /
    • v.42 no.11
    • /
    • pp.963-972
    • /
    • 2009
  • The objective of this study is to evaluate an application of stochastic continuous storage function model with ensemble Kalman filter technique. The case study is performed at the upstream basin of Jibo streamflow gauge including Andong and Imha dam. Test period is for the rainy season during 2006 and 2007. Long term runoff analysis is feasible in the case of using deterministic model. Ensemble members for input data and parameters are generated using Monte Carlo simulation for the purpose of applying ensemble Kalman filter technique. The cumulative absolute errors of stochastic model to the deterministic one are improved for the amount of 17.5 %, 18.3 % and more than 40.0 % for Andong dam, Imha dam and Jibo station, respectively. The results indicate that the stochastic model improves the accuracy of the simulated discharge considerably.

A Parallel Processing System for Visual Media Applications (시각매체를 위한 병렬처리 시스템)

  • Lee, Hyung;Pakr, Jong-Won
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.27 no.1A
    • /
    • pp.80-88
    • /
    • 2002
  • Visual media(image, graphic, and video) processing poses challenge from several perpectives, specifically from the point of view of real-time implementation and scalability. There have been several approaches to obtain speedups to meet the computing demands in multimedia processing ranging from media processors to special purpose implementations. A variety of parallel processing strategies are adopted in these implementations in order to achieve the required speedups. We have investigated a parallel processing system for improving the processing speed o f visual media related applications. The parallel processing system we proposed is similar to a pipelined memory stystem(MAMS). The multi-access memory system is made up of m memory modules and a memory controller to perform parallel memory access with a variety of combinations of 1${\times}$pq, pq${\times}$1, and p${\times}$q subarray, which improves both cost and complexity of control. Facial recognition, Phong shading, and automatic segmentation of moving object in image sequences are some that have been applied to the parallel processing system and resulted in faithful processing speed. This paper describes the parallel processing systems for the speedup and its utilization to three time-consuming applications.

Analysis of Hydrologic data using Poincare Section and Neural Network (Poincare Section과 신경망 기법을 이용한 수문자료 분석)

  • La, Chang-Jin;Kim, Hung-Soo;Kim, Joong-Hoon;Kim, Eung-Seok
    • Journal of Korea Water Resources Association
    • /
    • v.35 no.6
    • /
    • pp.817-826
    • /
    • 2002
  • Many researchers have been tried to forecast the future as analyzing data characteristics and the forecasting methodology may be divided into two cases of deterministic and stochastic techniques. However, the understanding data characteristics may be very important for model construction and forecasting. In the sense of this view, recently, the deterministic method known as nonlinear dynamics has been studied in many fields. This study uses the geometrical methodology suggested by Poincare for analyzing nonlinear dynamic systems and we apply the methodology to understand the characteristics of known systems and hydrologic data, and determines the possibility of forecasting according to the data characteristics. Say, we try to understand the data characteristics as constructing Poincare map by using Poincare section and could conjecture that the data sets are linear or nonlinear and an appropriate model.

Development of Teaching Competency Scales: Focused on CTL Teaching Program (대학 CTL 교수지원프로그램 맞춤형 교수역량진단도구 개발)

  • Kang, Dae-Sik
    • Journal of Practical Engineering Education
    • /
    • v.14 no.1
    • /
    • pp.49-59
    • /
    • 2022
  • This study was conducted to develop a teaching competency scales customized for teaching programs conducted by Center for Teaching & Learning at A University. To achieve this purpose, a preliminary study was set up, which consists of three competency groups (basic competency, practice competency, innovation competency) and 26 learning competency factors through a review of previous studies. In order to verify the reliability and validity of the provisional teaching competency scales, an online survey was conducted on A university teachers in September 2020, The collected questionnaire data were organized and exploratory factor analysis and confirmatory factor analysis were conducted. As a result of exploratory factor analysis, 26 teaching competency was reduced to 17. As a result of the confirmatory factor analysis, the model was found to be good, Also, as a result of analyzing the construct reliability and AVE of the confirmed teaching competency factors, all 17 factors showed a good level of .7 or more. The teaching competency scales developed through this study can be used as basic data for performance evaluation and development of new programs of CTL teaching program.