• Bulletin of the Korean Mathematical Society
• /
• v.31 no.1
• /
• pp.93-97
• /
• 1994

Previously T.Porter [3] has given a relative Chinese Remainder Theorem under the hypothesis that given ring R has at least one .tau.-closed maximal ideal (by his notation Ma $x_{\tau}$(R).neq..phi.). In this short paper we drop his overall hypothesis that Ma $x_{\tau}$(R).neq..phi. and give the proof and some related results with this Theorem. In this paper R will always denote a commutative ring with identity element and all modules will be unitary left R-modules unless otherwise specified. Let .tau. be a given hereditarty torsion theory for left R-module category R-Mod. The class of all .tau.-torsion left R-modules, dented by J is closed under homomorphic images, submodules, direct sums and extensions. And the class of all .tau.-torsionfree left R-modules, denoted by F, is closed under taking submodules, injective hulls, direct products, and isomorphic copies ([2], Proposition 1.7 and 1.10).

• Korean Journal of Computational Design and Engineering
• /
• v.8 no.1
• /
• pp.10-18
• /
• 2003

FEM (Finite Element Method) is a fundamental numerical analysis technique in wide spread use in engineering application. As the solving time occupies small portion of entire FEM analysis time because of development of hardware, the relative lime to the whole analysis time to make mesh mod-els is growing. In particular, in the case of stiffeners such as features attached to plate in ship structure, the line constraints are imposed on mesh model together with other constraints such as holes. To auto-matically generate two dimensional quadrilateral mesh with the line constraints, an algorithm is pro-posed based on the constrained Delaunay triangulation and Q-Morph algorithm in which the line constraints are not considered. The performance of the proposed algorithm is evaluated. And some numerical results of our proposed algorithm ate presented.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.28 no.6B
• /
• pp.709-721
• /
• 2008

This paper is to test the applicability of ModKIMSTORM (Modified KIneMatic Wave STOrm Runoff Model) by applying it to Namgangdam watershed of $2,293km^2$. Model inputs (DEM, land use, soil related information) were prepared in 500 m spatial resolution. Using five typhoon events (Saomi in 2000, Rusa in 2002, Maemi in 2003, Megi in 2004 and Ewiniar in 2006) and two storm events (May of 2003 and July of 2004), the model was calibrated and verified by comparing the simulated streamflow with the observed one at the outlet of the watershed. The Pearson's coefficient of determination $R^2$, Nash and Sutcliffe model efficiency E, the deviation of runoff volumes $D_v$, relative error of the peak runoff rate $EQ_p$, and absolute error of the time to peak runoff $ET_p$ showed the average value of 0.984, 0.981, 3.63%, 0.003, and 0.48 hr for 4 storms calibration and 0.937, 0.895, 8.08%, 0.138, and 0.73 hr for 3 storms verification respectively. Among the model parameters, the stream Manning's roughness coefficient was the most sensitive for peak runoff and the initial soil moisture content was highly sensitive for runoff volume fitting. We could look into the behavior of hyrologic components from the spatial results during the storm periods and get some clue for the watershed management by storms.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.28 no.6B
• /
• pp.697-707
• /
• 2008

The grid-based KIneMatic wave STOrm Runoff Model (KIMSTORM) by Kim (1998) predicts the temporal variation and spatial distribution of overland flow, subsurface flow and stream flow in a watershed. The model programmed with C++ language on Unix operating system adopts single flowpath algorithm for water balance simulation of flow at each grid element. In this study, we attempted to improve the model by converting the code into FORTRAN 90 on MS Windows operating system and named as ModKIMSTORM. The improved functions are the addition of GAML (Green-Ampt & Mein-Larson) infiltration model, control of paddy runoff rate by flow depth and Manning's roughness coefficient, addition of baseflow layer, treatment of both spatial and point rainfall data, development of the pre- and post-processor, and development of automatic model evaluation function using five evaluation criteria (Pearson's coefficient of determination, Nash and Sutcliffe model efficiency, the deviation of runoff volume, relative error of the peak runoff rate, and absolute error of the time to peak runoff). The modified model adopts Shell Sort algorithm to enhance the computational performance. Input data formats are accepted as raster and MS Excel, and model outputs viz. soil moisture, discharge, flow depth and velocity are generated as BSQ, ASCII grid, binary grid and raster formats.

• Journal of Information Processing Systems
• /
• v.11 no.4
• /
• pp.556-572
• /
• 2015

This paper presents the applications of spatial interpolation and assimilation methods for satellite and ground meteorological data, including temperature, relative humidity, and precipitation in regions of Vietnam. In this work, Universal Kriging is used for spatially interpolating ground data and its interpolated results are assimilated with corresponding satellite data to anticipate better gridded data. The input meteorological data was collected from 98 ground weather stations located all over Vietnam; whereas, the satellite data consists of the MODIS Atmospheric Profiles product (MOD07), the ASTER Global Digital Elevation Map (ASTER DEM), and the Tropical Rainfall Measuring Mission (TRMM) in six years. The outputs are gridded fields of temperature, relative humidity, and precipitation. The empirical results were evaluated by using the Root mean square error (RMSE) and the mean percent error (MPE), which illustrate that Universal Kriging interpolation obtains higher accuracy than other forms of Kriging; whereas, the assimilation for precipitation gradually reduces RMSE and significantly MPE. It also reveals that the accuracy of temperature and humidity when employing assimilation that is not significantly improved because of low MODIS retrieval due to cloud contamination.

• Nuclear Engineering and Technology
• /
• v.52 no.12
• /
• pp.2743-2759
• /
• 2020

A detailed computational fluid dynamics (CFD) simulation analysis model was developed using ANSYS CFX 16.1 and analyzed to simulate the basic design and internal flow characteristics of a 180 MW small modular reactor (SMR) with a natural circulation flow system. To analyze the natural circulation phenomena without a pump for the initial flow generation inside the reactor, the flow characteristics were evaluated for each output assuming various initial powers relative to the critical condition. The eddy phenomenon and the flow imbalance phenomenon at each output were confirmed, and a flow leveling structure under the core was proposed for an optimization of the internal natural circulation flow. In the steady-state analysis, the temperature distribution and heat transfer speed at each position considering an increase in the output power of the core were calculated, and the conceptual design of the SMR had a sufficient thermal margin (31.4 K). A transient model with the output ranging from 0% to 100% was analyzed, and the obtained values were close to the T_hot and T_cold temperature difference value estimated in the conceptual design of the SMR. The K-factor was calculated from the flow analysis data of the CFX model and applied to an analysis model in RELAP5/MOD3.3, the optimal analysis system code for nuclear power plants. The CFX analysis results and RELAP analysis results were evaluated in terms of the internal flow characteristics per core output. The two codes, which model the same nuclear power plant, have different flow analysis schemes but can be used complementarily. In particular, it will be useful to carry out detailed studies of the timing of the steam generator intervention when an SMR is activated. The thermal and hydraulic characteristics of the models that applied porous media to the core & steam generators and the models that embodied the entire detail shape were compared and analyzed. Although there were differences in the ability to analyze detailed flow characteristics at some low powers, it was confirmed that there was no significant difference in the thermal hydraulic characteristics' analysis of the SMR system's conceptual design.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.21 no.3
• /
• pp.189-204
• /
• 2018

This study has developed a forest fire occurrence probability model for inaccessible areas such as North Korea and Demilitarized Zone and we have developed a real-time forest fire danger rating system that can be used in fire-related works. There are limitations on the research that it is impossible to conduct site investigation for data acquisition and verification for forest fire weather index model and system development. To solve this problem, we estimated the fire spots in the areas where access is impossible by using MODIS satellite data with scientific basis. Using the past meteorological reanalysis data(5㎞ resolution) produced by the Korea Meteorological Administration(KMA) on the extracted fires, the meteorological characteristics of the fires were extracted and made database. The meteorological factors extracted from the forest fire ignition points in the inaccessible areas are statistically correlated with the forest fire occurrence and the weather factors and the logistic regression model that can estimate the forest fires occurrence(fires 1 and non-fores 0). And used to calculate the forest fire weather index(FWI). The results of the statistical analysis show that the logistic models(p<0.01) strongly depends on maximum temperature, minimum relative humidity, effective humidity and average wind speed. The logistic regression model constructed in this study showed a relatively high accuracy of 66%. These findings may be beneficial to the policy makers in Republic of Korea(ROK) and Democratic People's Republic of Korea(DPRK) for the prevention of forest fires.