• 한국수학사학회지
• /
• 제27권1호
• /
• pp.47-57
• /
• 2014

This paper aims to evaluate works of Frege and G$\ddot{o}$del, who play the trigger role in development of logic, by Knowledge Change Model. It identifies where their positions are in the model respectively. For this purpose I suggest types of knowledge change and their criteria for the evaluation. Knowledge change are classified into five types according to the degree of its change: improvement, weak glorious revolution, glorious revolution, strong glorious revolution, and total revolution. Criteria to evaluate the change are its contents, influence, pervasive effects, and so forth. The Knowledge Change Model consists of the types and the criteria. I argue that in the model Frege belongs to the total revolution and G$\ddot{o}$del to the weak glorious revolution. If we accept that the revolution in logic initiated by Frege was completed by G$\ddot{o}$del, it is a natural conclusion.

• 한국생활과학회지
• /
• 제20권3호
• /
• pp.583-594
• /
• 2011

The purpose of this study is to develop and evaluate a climate change education program for children in early childhood. The program was developed to enhance young children's ability to prepare for climate change. The program consists of 15 30-minute sessions. 38 5-year-olds (23 boys and 15 girls) participated in this program. The effects of this program were evaluated by the pre-school children's knowledge and problem solving abilities preventing climate change. Results showed that there was a significant experimental effect for knowledge of how to prevent climate change. Experimental group showed more knowledge than the control group. Also, there was a significant experimental effect on the problem solving abilities for preventing climate change. The experimental group showed greater problem solving abilities than the control group. The results of program evaluation revealed that this program was helpful for preparing young children for climate change.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2004년도 Proceedings of ISRS 2004
• /
• pp.518-521
• /
• 2004

Change detection is one of the common research topics in remote sensing. In general, global change detection methods using image difference method, etc, are used in low resolution images and local change detection methods using floating windows, etc, are used in high resolution images. But, these methods have disadvantages in practical use. If changed area images are automatically produced, these images will be used in public area such as regional planning, regional development managements. In this research, we developed new change detection method applicable KOMPSAT EOC images. This method automatically produces subset images in changed area.

• Communications for Statistical Applications and Methods
• /
• 제12권1호
• /
• pp.139-147
• /
• 2005

It is interesting to locate homogeneous segments within a DNA sequence. Suppose that the DNA sequence has segments within which the observations follow the same residue frequency distribution, and between which observations have different distributions. In this setting, change points correspond to the end points of these segments. This article explores the use of a binary segmentation procedure in detecting the change points in the DNA sequence. The change points are determined using a sequence of nested hypothesis tests of whether a change point exists. At each test, we compare no change-point model with a single change-point model by using the Bayesian information criterion. Thus, the method circumvents the computational complexity one would normally face in problems with an unknown number of change points. We illustrate the procedure by analyzing the genome of the bacteriophage lambda.

• 한국건설관리학회논문집
• /
• 제6권5호
• /
• pp.69-77
• /
• 2005

Change is inevitable and is a reality of construction projects. Most construction contracts include change clauses and allowing contractors an equitable adjustment to the contract price and duration caused by change. However, the actions of a contractor can cause a loss of productivity and furthermore can result in disruption of the whole project because of a cumulative or ripple effect. Because of its complicated nature, it becomes a complex issue to determine the cumulative impact (ripple effect) caused by single or multiple change orders. Furthermore, owners and contractors do not always agree on the adjusted contract price for the cumulative Impact of the changes. A number of studies have attempted to quantify the impact of change orders on project costs and schedule. Many of these attempted to develop regression models to quantify the loss. However, regression analysis has shortcomings in dealing with many qualitative or noisy input data. This study develops ANN models to classify and quantify the labor productivity losses that are caused by the cumulative impact of change orders. The results skew that ANN models give significantly improved performance compared to traditional statistical models.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2008년도 International Symposium on Remote Sensing
• /
• pp.163-168
• /
• 2008

KOMPSAT-3 is expected to provide data with 80-cm spatial resolution, which can be used to detect environmental change and create thematic maps such as land-use and land-cover maps. However, to analyze environmental change, change-detection technologies that use multi-resolution and high-resolution satellite images simultaneously must be developed and linked to each other. This paper describes a GIS-based strategy and methodology for revealing global and local environmental change. In the pre-processing step, we performed geometric correction using satellite, auxiliary, and training data and created a new classification system. We also describe the available technology for connecting global and local change-detection analysis.

• 대기
• /
• 제18권2호
• /
• pp.111-120
• /
• 2008

This study presents a change-point in the 30 years (1976-2005) time series of the annual and the heavy precipitation characteristics (amount, days and intensity) averaged over South Korea using Bayesian approach. The criterion for the heavy precipitation used in this study is 80 mm/day. Using non-informative priors, the exact Bayes estimators of parameters and unknown change-point are obtained. Also, the posterior probability and 90% highest posterior density credible intervals for the mean differences between before and after the change-point are examined. The results show that a single change-point in the precipitation intensity and the heavy precipitation characteristics has occurred around 1996. As the results, the precipitation intensity and heavy precipitation characteristics have clearly increased after the change-point. However, the annual precipitation amount and days show a statistically insignificant single change-point model. These results are consistent with earlier works based on a simple linear regression model.

• 설비공학논문집
• /
• 제29권2호
• /
• pp.63-67
• /
• 2017

The purpose of this study is to analyze the Age of Air and the Local Air-change Effectiveness of by field measurement. The indexes of Age of Air and Local Air-change Effectiveness are used to analyze the local ventilation effectiveness of multiple locations and are mainly evaluated using the computational fluid dynamics (CFD) method. In this study, measurement of the Local Air-change Effectiveness was based on ASHRAE 129. The performance of Local Air-change Effectiveness and the dependence of the outlet location on Local Air-change Effectiveness were analyzed. The results showed that a greater air-change rate (ACH) may not guarantee better local ventilation effectiveness.

• 음성과학
• /
• 제8권4호
• /
• pp.59-72
• /
• 2001

In this paper, we experimented with speaker change detection that uses a statistical method for NOD (News On Demand) service. A specified speaker's change can find out content of each data in speech if analysed because it means change of data contents in news data. Speaker change detection acts as preprocessor that divide input speech by speaker. This is an important preprocessor phase for speaker tracking. We detected speaker change using GLR(generalized likelihood ratio) distance base division and BIC (Bayesian information criterion) base division among matrix method. An experiment verified speaker change point using BIC base division after divide by speaker unit using GLR distance base method first. In the experimental result, FAR (False Alarm Rate) was 63.29 in high noise environment and FAR was 54.28 in low noise environment in MDR (Missed Detection Rate) 15% neighborhood.

• 한국군사과학기술학회지
• /
• 제23권3호
• /
• pp.237-245
• /
• 2020

In this paper, I introduce Phase-Change Cooling for thermal management of high power devices that can be applied to High Power Laser and Electric Propulsion Systems which are composed of multiple distributed superheat sources. Phase-Change Cooling can be good used to efficient cooling of their heat sources. Phase-Change Cooling has extremely high efficiency of two-phase heat transport by utilizing heat of vaporization, relatively low flow rates and reduced pumps power. And I suggest TPI(Thermal Performance Index) which is a quantitative performance index of Phase-Change Cooling for thermal management. I quantify the performance of Phase-Change Cooling by introducing TPI. I present the test results of TPI's changing refrigerant, heat sink and flow rate of the Phase-Change Cooling system through the experiments and analyze these results.