• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.214-216
• /
• 2002

시간에 따라 변화하는 사건을 기록하는 시간 데이타베이스에서는 사건을 저장할 때 시간 속성도 같이 저장한다. 최근에는 시간 데이타베이스의 속성을 고려하여 집지 함수와 같이 기존의 연산자를 확장하여 시간 데이타베이스에서 효율적으로 처리하려는 연구가 활발하게 진행되어 왔다. 사용자들은 종종 여러 애트리뷰트에 가중치를 두고 그 가중치 순서대로 결과가 보여지는 순위 질의를 실행한다. 기존의 순위 질의 개념을 그대로 시간 지인 데이타메이스에서 사용할 수 없다. 따라서 본 논문에서는 기존의 순위 질의에 시간 개념을 확장한 시간 순위 질의를 정의한다. 또한 시간 순위 질의 처리방법을 제 시 한다.

• The KIPS Transactions:PartD
• /
• v.15D no.2
• /
• pp.207-212
• /
• 2008

This paper evaluates software cost estimation models, and presents the most suitable model. First, we transformed a relevant model into variables to make in linear. Second, we evaluated model's performance considering how much suitable the cost data of the actual development software was. In the stage of model performance evaluation criteria, we used MMRE which is the relative error concept rather than the absolute error. Existing software cost estimation model follows Weibull, Gamma, and Rayleigh function. In this paper, Gompertz function model is suggested which is a kind of growth curve. Additionally, we verify the compatability of other different growth curves. As a result of evaluation of model's performance, Gompertz function was considered to be the most suitable for the cost estimation model.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.177-177
• /
• 2018

유역의 홍수량 산정하기 위해서 데이터기반 모형, 개념적 모형, 프로세스 기반 모형과 같은 다양한 개념의 수문학적 모형이 개발되고 적용성이 검토되고 있다. 물리기반 강우-유출관계 모형의 경우, 이론적으로 강우유출응답의 연속 모의에 적합하다고 알려져 있으나 모형 구성에 필요한 수문자료 확보의 한계성 때문에 실절적인 적용에 어려움이 있다. 또한 수문 자료가 충분하지 않거나, 없는 미계측 유역에서 홍수량을 산정하기 위해서는 기존의 수문 관측 시스템의 데이터를 이용하기 어렵기 때문에 레이더 및 위성 등을 이용한 다양한 기상수문데이터 도입이 필요하다. 이에 본 연구에서는 관측된 자료와 함께 모델기반 수문기상 시스템인 GLDAS(Global Land Data Assimilation System, GLDAS)의 자료를 이용하여 개념적 강우-유출관계 모형인 PMD(Probaility Distributed Model, PMD)을 통해 홍수량을 모의하는 방법을 적용하였다. 이를 위해 개념적 강우유출관계 모형을 구성하고, 공간적 토양저류(soil moisture storage)분포를 산정하기 위해 토양의 함수상태를 산출하였다. 이같은 접근법은 수문 자료의 제한, 모형 검정의 문제와 같은 어려움을 해결하기 위한 대안으로 제시할 수 있으며, 분석 결과로부터 모델기반 수문기상 자료와 개념적 강우-유출관계 모형의 활용가능성을 검증할 계획이다.

• Journal of the Korean Data and Information Science Society
• /
• v.18 no.4
• /
• pp.859-868
• /
• 2007

The present paper deals with the ordering problem for how to teach mathematical concepts successfully. Main object is the concept of continuous functions which is fundamental in analysis and topology. At first, the theoretical organization of this concept is investigated through several texts in related field, calculus, analysis and topology. And next, the historical order for this concept from the viewpoint of problem-solving is considered. Based on these two materials, we suggest a lecturing organization order in order to establish a balanced unification of three concepts - intuitive, logical and formal concepts.

• Proceedings of The KACE
• /
• 2018.01a
• /
• pp.79-82
• /
• 2018

최근 유치원생과 초등학교 저학년생을 대상으로 프로그래밍 경험을 제공하기 위한 목적으로 다양한 텐저블 프로그래밍 도구들이 개발되고 있다. 개발된 텐저블 프로그래밍 도구들은 순차, 분기, 반복 등의 프로그래밍 개념을 손으로 조립하거나 쌓는 등의 구체적인 조작을 통해 프로그래밍 활동을 체험하도록 설계되었다. 하지만, 텐저블 프그래밍 도구가 순차, 반복, 분기, 변수, 함수 등의 프로그래밍의 개념을 일부만 반영하고 있어 프로그래밍 개념에 대한 체험이 완전하게 이루어지지 않고 있다. 본 연구는 기존에 개발한 텐저블 프로그래밍 도구인 B-Bricks에 조건에 따른 분기와 반복 개념을 추가하여 설계하는 연구로, B-Bricks를 사용하여 조건문과 반복문을 설계하였다.

• Journal of the Korean GEO-environmental Society
• /
• v.10 no.3
• /
• pp.13-20
• /
• 2009

Generally, soil is regarded as fully saturated in Geotechnical Engineering and under ground structure design. Because it is in convenience and safety. But soils treated in field are almost in unsaturated state. Design in unsaturated state is difficult comparing with saturated soil. In unsaturated soil mechanics, parameters are usually not constant unlike saturated soil mechanics. Additionally lab or field tests in unsaturated soil mechanics are required more cost, time and theoretical difficulty. One of essential requisites for examination about unsaturated soil is Soil-Water Characteristic Curve (SWCC). It show the relation between soil suction and soil water content. Through many studies in and out of country, computation and testing methods for SWCC were introduced. But in this the country, most soil is granite soil that is widely spread in Korea. And the studies for granite soil's SWCC are not enough yet. In this paper, through studying for existing proposal methods about computation SWCC and collection data for domestic granite soils, It was determined the suitable method for domestic granite soils, and computed each granite soil's SWCC. The purpose of this paper is establishing database for domestic granite soil's SWCC as each region to convenience for applying to actual affairs. For this, studying about existing proposal methods for SWCC was performed and a computer program Soil-Vision is used. Furthermore for verification theoretical and testing methods were also performed.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.5
• /
• pp.530-537
• /
• 2019

In this paper we propose a novel approach to representation of the 3D reconstruction problem by employing a concept of system function that is defined as the ratio of the output to the input signal. Akin to determination of system function (or system response), this paper determines system function by choosing (or defining) appropriate input and output signals. In other words, the 3D reconstruction using structured circular light patterns is reformulated as determination of system function from input and output signals. This paper introduces two algorithms for the reconstruction. The one defines the input and output signals as projected circular light patterns and the images overlaid with the patterns and captured by camera, respectively. The other one defines input and output signals as 3D coordinates of the object surface and the image captured by camera. The first one leads to the problem as identifying the system function and the second one leads to the problem as estimation of an input signal employing concept of modulation-demodulation theory. This paper substantiate the proposed approach by providing experimental results.

• School Mathematics
• /
• v.10 no.1
• /
• pp.1-22
• /
• 2008

The purpose of this study is to search the effective teaching-learning program by considering how affect on formation of linear function using Excel. This study was based on qualitative case study. The teaching experiment using Excel executed with five 8th graders' students for second research content. Teaching experiment was performed for two classes. Collecting the data was conducted via observations and interviews with students. The data include audio and video recording of the students' work, students' worksheets and detailed field notes. The conclusions drawn from teaching experiment are as follows: First, when students explored relevancy content of function in Excel environment, formation of concept of function was facilitated by experiencing operation of algebraic formulas, tables and graphs. We could infer that formation of concept was effected by conjecture activity and iterative process of feedback through Excel environment. Second, the students explored the changes very interestingly making algebraic formulas and presenting tables and graphs. The students were familiarized with observation on algebraic formulas, graphs and tables concurrently. Also, they tried to look for general rules through inductive observation. According to this study, we noticed that exploration teaming environment using Excel could supplement paper-and-pencil environment.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.15 no.2
• /
• pp.86-96
• /
• 2003

A fracture or breakage of the concrete armor units in the primary cover layer of breakwaters is studied by using the reliability analysis which may be defined as the structural stability. The reliability function can be derived as a function of the angle of rotation that represents the rocking of armor units quantitatively. The relative influences of all of random variables related to the material and geometric properties on the fracture of armor units is analyzed in detail. In addition, the probability of failure for the fracture of individual armor unit can be evaluated as a function of the incident wave height. Finally, Bernoulli random process and the allowable fracture ratio may be introduced together in this paper, by which the probability of failure of a breakwater due to the fracture of armer units can be obtained straightforwardly. It is found that the probability of failure of a breakwater due to the fracture of armor units may be varied with the several allowable fracture ratios. Therefore, it should be necessary to consider the structural stability as well as the hydraulic stability for the design of breakwaters with multi-leg slender concrete armor units of large size under wave action in deep water.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.