• Proceedings of the Korea Water Resources Association Conference
• /
• 1992.07a
• /
• pp.411-418
• /
• 1992

The purpose of this study is to develop dynamic-stochastic models that can forecast the inflow into reservoir during low/drought periods and flood periods. For the formulation of the models, the discrete transfer function is utilized to construct the deterministic characteristics, and the ARIMA model is utilized to construct the stochastic characteristics of residuals. The stochastic variations and structures of time series on hydrological data are examined by employing the auto/cross covariance function and auto/cross correlation function. Also, general modeling processes and forecasting method are used the model building methods of Box and Jenkins. For the verifications and applications of the developed models, the Chungju multi-purpose reservoir which is located in the South Han river systems is selected. Input data required are the current and past reservoir inflow and Yungchun water levels. In order to transform the water level at Yungchon into streamflows, the water level-streamflows rating curves at low/drought periods and flood periods are estimated. The models are calibrated with the flood periods of 1988 and 1989 and hourly data for 1990 flood are analyzed. Also, for the low/drought periods, daily data of 1988 and 1989 are calibrated, and daily data for 1989 are analyzed.

• Journal of the Korean Society of Safety
• /
• v.21 no.3 s.75
• /
• pp.137-142
• /
• 2006

Quantification of error possibility, in an HRA process, should be performed so that the result of the qualitative analysis can be utilized in other areas in conjunction with overall safety estimation results. And also, the quantification is an essential process to analyze the error possibility in detail and to obtain countermeasures for the errors through screening procedures. In previous studies for the quantification of error possibility, nominal values were assigned by the experts' judgements and utilized as corresponding probabilities. The values assigned by experts' experiences and judgements, however, require verifications on their reliability. In this study, the validity of new error possibility values in new MCR design was verified by using the Onisawa's model which utilizes fuzzy linguistic values to estimate human error probabilities. With the model of error probabilities are represented as analyst's estimations and natural language expression instead of numerical values. As results, the experts' estimation values about error probabilities are well agreed to the existing error probability estimation model. Thus, it was concluded that the occurrence probabilities of errors derived from the human error analysis process can be assessed by nominal values suggested in the previous studies. It is also expected that our analysis method can supplement the conventional HRA method because the nominal values are based on the consideration of various influencing factors such as PSFs.

• ALGAE
• /
• v.28 no.3
• /
• pp.267-280
• /
• 2013

The marine algal flora of the Keret Archipelago ($66^{\circ}$ N, $33^{\circ}$ E) in the White Sea, Russia was investigated during 2008. Over 250 algal records from more than 15 islands and several sites on the adjoining mainland produced a total of 62 algal species. This raised the total from 56 to 88 species of Chlorophyta (23 species), Phaeophyceae (31 species), Rhodophyta (33 species), and Tribophyceae (1 species) of which seven were new records or verifications of ambiguous records for the White Sea and 11 species are new for the Keret Archipelago. The new or confirmed records included species of Blidingia, Eugomontia, Prasiola, Rosenvingiella, and Ulothrix (Chlorophyta), Acrochaetium, Colaconema (Rhodophyta), and Vaucheria (Tribophyceae). Five species of flowering plants (Aster, Plantago, Triglochin, and Zostera) were associated with the macrophytic algal vegetation of the region. Five fucoid algae in Pelvetia, Fucus, and Ascophyllum provide a picture of a temperate flora. Regardless, the overall species richness is consistent with an arctic nature to the flora. This discrepancy is attributed to the 'filter' provided by the Barents Sea of the Arctic Ocean for post-glacial colonization of the White Sea.

• Journal of Biomedical Engineering Research
• /
• v.25 no.4
• /
• pp.315-321
• /
• 2004

In this study, we proposed an adaptive feedback cancellation algorithm for multi-band digital healing aids. The adaptive feedback canceller (AFC) is composed of an adaptive notch filter (ANF) for feedback detection and an NLMS (normalized least mean square) adaptive filter for feedback cancellation. The proposed feedback cancellation algorithm is combined with a multi-band hearing aid algorithm which employs the MDCT (modified discrete cosine transform) filter bank for the frequency-dependent compensation of hearing losses. The proposed algorithm together with the MDCT-based multi-channel hearing aid algorithm has been evaluated via computer simulations and it has also been implemented on a commercialized DSP board for real-time verifications.

• Journal for History of Mathematics
• /
• v.32 no.6
• /
• pp.259-270
• /
• 2019

Haidao Suanjing was introduced into Joseon by discussion in Yang Hui Suanfa (楊輝算法) which was brought into Joseon in the 15th century. As is well known, the basic mathematical structure of Haidao Suanjing is perfectly illustrated in Yang Hui Suanfa. Since the 17th century, Chinese mathematicians understood the haidao problem by the Western mathematics, namely an application of similar triangles. The purpose of our paper is to investigate the history of the haidao problem in the Joseon Dynasty. The Joseon mathematicians mainly conformed to Yang Hui's verifications. As a result of the influx of the Western mathematics of the Qing dynasty for the study of astronomy in the 18th century Joseon, Joseon mathematicians also accepted the Western approach to the problem along with Yang Hui Suanfa.

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.45 no.6
• /
• pp.119-127
• /
• 2003

This paper documents recent efforts to validate the GIS-based hydrologic models, HEC-HMS and HEC-GeoHMS by the US Army Corps of Engineers. HMS and Geo-HMS were used to simulate storm runoff from a small rural watershed, the Balan HS#6. The watershed is 3.85 $\textrm{km}^2$ in size. The watershed topographic, soils, and land use data were processed using the GIS tool fur the models. Input parameters were retrieved and calibrated with the field data. The simulated peak runoff, time to peak, and total direct runoff fer twenty three storms were compared with the observed data. The results showed that the coefficient of determination($R^2$) for the observed peak runoff was 0.95 and an error, RMSE, 3.08 $\textrm{m}^3$/s for calibration stages. In the model verifications, $R^2$ was 0.89 and RMSE 6.79 $\textrm{m}^3$/s, which were slightly less accurate than the calibrated data. The simulated flood hydrographs were well compared to the observed. It was concluded that HMS and GeoHMS are applicable to flood analyses for rural watersheds.

• Structural Engineering and Mechanics
• /
• v.53 no.3
• /
• pp.607-623
• /
• 2015

The wind-induced dynamic response of large-span flexible structures includes two important components-background response and resonant response. However, it is difficult to separate the two components in time-domain. To solve the problem, a relational expression of wavelet packet coefficients and power spectrum is derived based on the principles of digital signal processing and the theories of wavelet packet analysis. Further, a new approach is proposed for separation of the background response from the resonant response. Then a numerical example of frequency detection is provided to test the accuracy and the spectral resolution of the proposed approach. In the engineering example, the approach is applied to compute the power spectra of the wind-induced response of a large-span roof structure, and the accuracy of spectral estimation for stochastic signals is verified. The numerical results indicate that the proposed approach is efficient and accurate with high spectral resolution, so it is applicable for power spectral computation of various response signals of structures induced by the wind. Moreover, the background and the resonant response time histories are separated successfully using the proposed approach, which is sufficiently proved by detailed verifications. Therefore, the proposed approach is a powerful tool for the verification of the existing frequency-domain formulations.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.42 no.4
• /
• pp.39-48
• /
• 2019

This paper considers the Prisoner's Dilemma Game in which there exists a dilemma that the best response is that both players are to confess, but doing not confess can give a higher gain to the both players in a social perspective. To resolve such a dilemma in the game, an incentive model to encourage to confess and a penalty model for being imposed when not confessing are introduced, respectively. Then, the conditions are characterized under which incentive or penalty involved in the game's payoffs can make the game rational without a dilemma on both the personal and social perspectives, by taking the payoff values as variables with the incentive and penalty factors. Furthermore, it turns out that the resulting values of incentive and penalty are inversely proportional to each other, and thus, obtaining one of these amounts can provide the other. Simple examples are shown to interpret the theoretical verifications of our models, and randomly generated data based simulation results investigate the tendency of incentive and penalty and the resulting game values for a variety of instances. These results can provide a framework on resolving the dilemma by artificially putting incentive or penalty, although it is careful to apply more generalized real world games.

• Journal of Ocean Engineering and Technology
• /
• v.27 no.1
• /
• pp.24-30
• /
• 2013

The Korea Navy has been making constant efforts to apply M&S (modeling and simulation) to naval ship development, and the generalization of M&S for ship development is a trend. M&S for ship design is used for the V&V (verification and validation) of its design and operation, including design verification and ergonomic design that considers the crew using the Naval Ship Product Model. In addition, many parts of this M&S are repeatedly accomplished regardless of the kinds of ships. This study aims to standardize M&S, which repeatedly applies similar verifications for operation scenarios. A congestion assessment simulation for the major spaces of ships was the subject of the standardization based on the leading research results of various researchers, and a simulation automation solution was suggested. An information model using XML was proposed through the simulation automation concept, and a prototype system based on it was implemented. The usability was shown through a case study that verified the operability performance of the crew messroom.

• Journal of Information Technology Applications and Management
• /
• v.12 no.1
• /
• pp.213-229
• /
• 2005

Cost overrun or schedule delay of the software development project happens frequently despite that software developers continue to make every effort for the effective management of the projects. Previous researches have ascertained that these problems are ascribed to the uncertainty of projects and the improper management of the projects. The purposes of this research are to investigate the impacts of user participation and task interdependence on the performance of the projects and also to find out the appropriate project management method to improve the project performance. Even though the model fitness of the path model is proved to be very high, the verification of the hypotheses showed a variety of results including the four verifications and the one refutation of the hypotheses as well as the suggestion of one alternative hypothesis. The contribution of this research is that the integration model is proposed and verified, comprising the relationship among the user participation, the task interdependence, and the performance of software development projects. A project manager can utilize the implication of this research for an effective management of software development project.