• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.7B
• /
• pp.1253-1259
• /
• 2000

적합성 시험은 프로토콜 구현물인 IUT(Implementation Under Test)가 프로토콜 규격과 일치하는지를 검증하는 것으로, 이 적합성 시험의 질은 생성된 시험열에 의존한다. 기존에는 시험열 생성이 수작업으로 이루어지기 때문에 오류의 가능성을 내포한다. 본 논문에서는 자동화된 툴(tool)인 Design/CPN을 이용하여 SDL(Specification and Description Language)로 기술된 프로토콜의 시험열을 생성한다. SDL로 기술된 프로토콜을 자료흐름을 고려한 CPN(Colored Petri Nets)으로 변환 후 Design/CPN에 입력하여 자동 생성된 OG(Occurrence Graph)와 디스크립터 (descriptor)로부터 시험열을 생성함으로써, 기존의 시험열 생성 방법에 비해 오류 가능성을 줄일 수 있으며, 자료 흐름이 고려된 시험열을 얻을 수 있다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2004.05a
• /
• pp.57-62
• /
• 2004

그레이팅(Grating)이라는 금속제품을 생산하는 5 업체에서는 설계 자동화 시스템인 GDS(Grating automatic Drawing System)를 통해 전체 설계도면(Plan Drawing)을 생성하고 GDS의 도면자료 자동생성 시스템(ASGS: Automatic Specification Generation System)을 통해 전체 도면상에 배치된 각각의 그레이팅에 대한 상세한 정보가 표현된 단품별 도면과 완성된 제품들에 대한 검사 기준을 표현한 검사도면을 생성하며 전체 제품에 대한 통계적인 정보를 생성한다. 그러나 도면자료 자동생성 시스템을 통해 자동 생성된 도면은 설계자들의 일반적인 치수 기입요령을 부분적으로 만족시키지 못하고 있으며 또 치수 표시간의 겹침 현상이 발생하여 설계자가 도면을 수정해야하는 번거로움이 있었다. 본 논문은 이러한 문제점을 해결하기 위해, 설계 전문가들의 치수 표시법을 지식으로 하는 규칙 기반 전문가 시스템을 구성하였다.

• Education of Primary School Mathematics
• /
• v.21 no.4
• /
• pp.397-413
• /
• 2018

The purpose of this study is to analyze the level of statistical literacy among fifth and sixth graders in the data presentation task based on the speculative data generation process. For the research, the data presentation tasks based on the speculative data generation process was designed and statistical literacy standards for evaluating the student's level was presented based on prior studies. It is meaningful that the stepwise presentation of the students' statistical literacy and analysis of their developmental patterns can help them to find their current position and reach a higher level of performance. In this study, the standard of statistical literacy level was clarified based on the previous research, and a new perspective was presented about the data presentation instruction in the statistical education by analyzing the students' responses by each level.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.678-682
• /
• 2012

본 연구는 한국건설기술연구원의 주요사업인 "산지하천 유역의 홍수예측을 위한 수문조사(2011~2015년)"의 Test-bed 유역중의 하나인 설마천 유역(경기도 파주시 적성면)을 운영하면서 신뢰성 있는 수문자료를 지속적으로 획득함과 동시에 산지하천 유역의 홍수량 예측과 재해방지 설계기법을 개선하고 수문정보를 제공하는데 있다(Test-bed 유역중의 또 하나인 차탄천 유역은 2011년 수문관측 기반구축 완성). 이를 위하여 2011년에도 지속적인 수문조사를 하였으며, 수문자료의 품질 향상을 위한 관측기기의 유지관리와 수집된 자료의 처리절차를 통하여 신뢰성 있는 수문자료를 생성하고, 이들 자료를 바탕으로 유역의 수문특성을 분석하였다. 또한 홍수량 예측과 재해방지 설계기법 개선을 위해서는 관련 기술조사, 평가와 취약 설계인자를 도출하였으며, 정량화를 위한 시험 및 조사방법을 결정하는 과정을 진행하고 있다. 설마천-차탄천 수문정보시스템(http://seolmacheon.kict.re.kr)은 Test-bed 유역(설마천 유역 이외에 차탄천 유역 포함)에서 생성되는 수문자료를 수집, 저장, 공유하는 기능을 포함하고, 홍수예측 모형(집중형 모형)과 강우레이더 자료(RDAPS 자료)를 결합한 산지하천의 홍수예측을 모의할 수 있는 기능을 추가하였으며, 향후 모의의 정도를 개선하고자 다른 모형과 다른 강우레이더 자료 도입을 목표로 진행할 예정이다. 그리고 Test-bed 유역을 기반으로 한 홍수량 예측 모형의 적용성 평가를 통해 중 소규모 산지하천 유역에 적합한 실시간 홍수예보 시스템 개발과 유역 수문조사 지침서 작성을 통해 가이드를 제시하고자 한다. 2011년 설마천 유역에서 생성된 자료로는 6개 우량관측소의 우량자료, 2개 수위관측소의 하천수위 및 지하수위, 유량측정성과 등이 있으며, 이로부터 산정된 유역평균우량과 유량자료 등이 있다. 확정된 강우-유출자료를 이용하여 강우의 호우사상 분석(강우강도, 지속기간), 강우의 지속기간별 최대강우량, 강우의 시 공간 분포 특성 분석, 월별 유출 및 주요 호우사상의 유출특성 분석 등 기본적인 강우-유출 특성을 분석하였다. 그리고, 유량측정성과의 불확실도 분석을 통하여 측정한 유량자료의 정확도를 제고하였다. 설마천 유역에서 축적된 수문자료는 자료의 공유를 통하여 자료의 검증을 확보함과 동시에 연구성과가 수자원 개발 분야에 활용되기 위해서는 지속적이고 안정적인 자료확보와 수문관측 기술개발을 위한 노력과 투자가 더욱더 필요한 상황이다.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.12 no.2
• /
• pp.209-218
• /
• 1994

This study aims to generate triangulated irregular network in a form of digital terrain model which is being increasingly used. In general, grid digital elevation model and triangulated irregular network are reasonable units for solving terrain problems. But, triangulated irregular network is an efficient alternative to grid digital elevation model because of their efficiency in storing data and their convenient data structure for accommodating irregularly spaced elevation data. Various methods represented for extracting triangulated irregular networks from grid digital elevation model, and then algorithm that get accurate results for triangulation with their data set was introduced. The new approach for triangulation in this study uses the Elevation and Changeable Distance criterion, and adding interpolation points and restricted constraint lines can generate triangulated irregular network which is more close to real surface. This made database efficient construction and could be used for many applications of geo-spatial information system.

• Korean Journal of Agricultural and Forest Meteorology
• /
• v.19 no.1
• /
• pp.27-35
• /
• 2017

This research was to elucidate the generation method of daily precipitation data from monthly data. We applied a combined method of Markov chain and gamma distribution function using 4 specific parameters of ${\alpha}$, ${\beta}$, p(W/W) and p(W/D) for generation of daily rainfall data using daily precipitation data for the past 30 years which were collected from the country's 23 meteorological offices. Four parameters, applied to use for the combination method, were calculated by maximum likelihood method in location of 23 sites. There are high correlations of 0.99, 0.98 and 0.98 in rainfall days, rainfall probability and mean amount of daily rainfall between measured and simulated data in case of those parameters. In case of using parameters estimated from monthly precipitation, correlation coefficients in rainfall days, rainfall probability and mean amount of daily rainfall are 0.84, 0.83 and 0.96, respectively. We concluded that a combination method with parameter estimation from monthly precipitation data can be applied, in practical purpose such as assessment of climate change in agriculture and water resources, to get daily precipitation data in Korea.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1025-1028
• /
• 2001

본 논문은 기후자료로 제공되는 기상 데이터베이스로부터 사람이 이해할 수 있는 수준의 분석문을 생성하는 시스템에 자연언어 생성 기술을 적용한 연구에 관한 것이다. 기상청에서 제공되는 여러가지 자료들을 이용하여 기상관련 지식을 획득하였으며, 제한된 영역에서 잘 구조화된 템플릿을 정의하고 담화관계를 설정함으로써 관련 기상자료에 대한 해설문을 생성할 수 있었다. 실험 결과, 본 시스템은 비교적 좋은 성능을 나타냄을 알 수 있었다.

• The Korean Journal of Applied Statistics
• /
• v.22 no.2
• /
• pp.415-424
• /
• 2009

As one of the unsupervised learning neural network methods, self-organizing maps(SOM) are applied to various fields. It reduces the dimension of multidimensional data by representing observations on the low dimensional manifold. On the other hand, the minimal spanning tree(MST) of a graph that achieves the most economic subset of edges connecting all components by a single open loop. In this study, we apply the MST technique to SOM with subnodes. We propose SOM's with embedded MST and a distance measure for optimum choice of the size and shape of the map. We demonstrate the method with Fisher's Iris data and a real gene expression data. Simulated data sets are also analyzed to check the validity of the proposed method.

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

본 연구는 기후변화의 영향을 고려한 포아송 강우생성모형의 일종인 MBLRP(Modified Bartlett-Lewis Rectangular Pulse)를 개발하고, 대한민국 주요 도시에 대해 향후 100년간 강우의 변화를 살펴보았다. 기존 MBLRP 모형에서 기후변화에 따른 강우량 변화를 고려할 수 있도록 GCM 모형의 강우 자료를 활용하였고, GCM 모형으로부터 발생하는 불확실성을 고려하기 위해 IPCC의 RCP(Representative Concentration Pathways) 시나리오를 모의한 16개의 GCM 모형을 사용하였다. 2007년부터 2099년까지의 미래기간을 3개의 시 구간으로 구분하고, 16개 GCM 앙상블을 사용하여 미래기간 동안 대한민국 16개 도시에 대해 1000개의 샘플을 BWA 방법을 이용하여 생성하였다. 제어기간(1973-2005) 대비 미래기간(2007-2099)의 변화율을 나타내는 FOC(factor of change)와 온도의 연별 변화율을 나타내는 SF(scaling factor)의 개념을 결합하여 미래기간에 대한 CF(correction factor)를 산정하였다. 이때 CF는 16개 도시의 연 단위 강우량 변화 비율을 월별로 나타내며, 제어기간의 월 강우 관측치와 CF를 몬테카를로 모의를 실시하여 미래기간의 강우 시나리오를 산정한다. 이를 통해 월 평균 강우량 통계치를 연 단위로 얻을 수 있으며, 월 평균 강우량이 월 평균 분산, 무강우확률, 자기상관계수와 가지는 선형 관계를 통해 강우 통계치를 산출한다. 이와 같은 강우 통계치는 가상강우생성모형인 MBLRP 모형에 입력 자료로 활용되어 월 강우량을 시 단위의 강우 시계열 자료로 생성해낸다. 최종적으로 MBLRP 모형으로 산정된 시 단위 강우 시계열은 기후변화 영향을 고려한 GCMs 앙상블로 생성된 강우 시나리오를 기반으로 산출되기 때문에 향후 수자원 분석에 활용 가능할 것이라 기대된다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.34 no.5
• /
• pp.93-100
• /
• 2006

This paper presents a multi-sensor data simulator and a data fusion algorithm for tracking high dynamic flight target from Radar and Telemetry System. The designed simulator generates time-asynchronous multiple sensor data with different data rates and communication delays. Measurement noises are incorporated by using realistic sensor models. The proposed fusion algorithm is designed by a 21st order distributed Kalman Filter which is based on the PVA model with sensor bias states. A fault detection and correction logics are included in the algorithm for bad data and sensor faults. The designed algorithm is verified by using both simulation data and actual real data.