• Journal of applied mathematics & informatics
• /
• v.24 no.1_2
• /
• pp.191-207
• /
• 2007

Based on a mixed Galerkin approximation, we construct the fully discrete approximations of $U_y$ as well as U to a single-phase quasilinear Stefan problem with a forcing term in non-divergence form. We prove the optimal convergence of approximation to the solution {U, S} and the superconvergence of approximation to $U_y$.

• The Bulletin of The Korean Astronomical Society
• /
• v.40 no.1
• /
• pp.82.1-82.1
• /
• 2015

We investigate the long-term spatial drift of the center and the temporal variation of the shutter delay time map of Y4KCam mounted on the CTIO 1.0m telescope. We have collected shutter delay time maps for over 7 years as a part of long-term survey program. We find that the center of the shutter delay time map can drift up to $450{\mu}m$ on the CCD. This effect can result in a small amount of error unless the proper shutter delay time correction, but it does not appear to cause any significant problems in photometric measurements. We obtain the mean value of the shutter delay time of $69.1{\pm}0.9$ msec and find no temporal variation of the shutter delay time of Y4KCam for over 7 years, indicative of the mechanical stability of the shutter. We suggest that using a master shutter delay time correction frame would be sufficient to achieve high precision photometry and this does not add up errors more than ~ 2.5 mmag across the CCD frame with exposure times longer than 1 sec.

• Architectural research
• /
• v.15 no.1
• /
• pp.53-58
• /
• 2013

High strength concrete is being used increasingly in mass structure projects. The purpose of this study is to investigate the influence of temperature during mixing, placing and curing on the strength development, hydration products and pore structures of high strength concrete in mass structures. The experiments were conducted with two different model walls, viz.: 1.5 m and 0.3 m under typical summer and winter weather conditions. The final part of this study deal with the clarification of the relationship between the long-term strength loss and the microstructure of the high strength concrete at high temperatures. Test results indicated that high elevated temperatures in mass concrete structures significantly accelerate the strength development of concrete at the early ages, while the long-term strength development is decreased. The long-term strength loss is caused by the decomposition of ettringite and increased the total porosity and amount of small pores.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.10
• /
• pp.7089-7097
• /
• 2015

Bed changes in the Nakdong River were analyzed with long-term monitoring data for analyzing riverbed change patterns after Four Major Rivers Restoration Project (FMRRP). Also, possible long-term bed changes were predicted using one-dimensional numerical model for the section where the largest change was observed after FMRRP. The sensitive analysis was performed with different incoming sediment discharge conditions and sediment transport equations. The numerical model was calibrated by comparing short-term monitoring data and simulated results, and was applied for predicting bed change after 10 years. As a result of monitoring data analysis, the largest change in bed elevation occurred at the section between the Changnyeong-Haman and Hapcheon-Changnyeong weirs. The result of one-dimensional numerical modeling for 10 years indicated that maximum depositions of 2.07 m and 3.26 m were produced in this section.

• Journal of the Korea Institute of Building Construction
• /
• v.15 no.2
• /
• pp.209-215
• /
• 2015

This study was conducted to analyze the actual utilization rate of the deposit for defect repair of apartment complexes and its influential factors. We analyzed the data on enforced defect deposit cases by using one-sample t-test, Pearson's correlation analysis, and simple linear regression analysis. The difference between the deposit amount specified and the enforcement amount actually disbursed was found to about 0.51%. The change rates for short-term costs amounted approximately to $839KRW/m^2$ and 130,000 KRW/household per year, and those for long-term costs were $647KRW/m^2$ and 123,207 KRW/household per year. The results warrant the need for further research on establishing a deposit amount based on actual statistical data.

• Computers and Concrete
• /
• v.21 no.3
• /
• pp.269-278
• /
• 2018

In this paper, two methods M1 and M2 to determine long-term deflection through finite element analyses including the effect of creep and relaxation are proposed and demonstrated for a PSC box-girder. In both the methods, the effect of creep is accounted by different models from international standards viz., ACI-209R-92, CEB MC 90-99, B3 and GL2000. In M1, prestress losses due to creep and relaxation and age adjusted effective modulus are estimated through different models and have been used in finite element (FE) analyses for individual time steps. In M2, effects of creep and relaxation are implemented through the features of FE program and the time dependent analyses are carried out in single step. Variations in time-dependent strains, prestress losses, stresses and deflections of the PSC box-girder bridge through M1 and M2 are studied. For the PSC girder camber obtained from both M1 and M2 are lesser than simple bending theory based calculations, this shows that the camber is overestimated by simple bending theory which may lead to non-conservative design. It is also observed that stresses obtained from FEM for bottom fibre are lesser than the stresses obtained from bending theory at transfer for the PSC girder which may lead to non-conservative estimates.

• 한국전산유체공학회:학술대회논문집
• /
• 2006.10a
• /
• pp.13-17
• /
• 2006

RoeM and AUSMPW+ schemes are two of the most accurate and efficient schemes which are recently developed for the analysis of single phase gas dynamics. In this paper, we developed two-phase versions of these schemes for the analysis of gas-liquid large density ratio two-phase flow. We adopt homogeneous equilibrium model (HEM) using mass fraction to describe different two phases. In the Eulerian-Eulerian framework, HEM assumes dynamic and thermal equilibrium of the two phases in the same computational mesh. From the mixture equation of state (EOS), we derived new shock-discontinuity sensing term (SDST), which is commonly used in RoeM and AUSMPW+ for the stable numerical flux calculation. The proposed two-phase versions of RoeM and AUSMPW+ schemes are applied on several air-water two-phase test problems. In spite of the large discrepancy of material properties such as density, enthalpy, and speed of sound, the numerical results show that both schemes provide very satisfactory solutions.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.1077-1097
• /
• 2019

Let M be a finitely generated module over a regular local ring (R, n). We will fix an n-stable filtration for M and show that the minimal free resolution of M can be obtained from any filtered free resolution of M by zero and negative consecutive cancellations. This result is analogous to [10, Theorem 3.1] in the more general context of filtered free resolutions. Taking advantage of this generality, we will study resolutions obtained by the mapping cone technique and find a sufficient condition for the minimality of such resolutions. Next, we give another application in the graded setting. We show that for a monomial order ${\sigma}$, Betti numbers of I are obtained from those of $LT_{\sigma}(I)$ by so-called zero ${\sigma}$-consecutive cancellations. This provides a stronger version of the well-known cancellation "cancellation principle" between the resolution of a graded ideal and that of its leading term ideal, in terms of filtrations defined by monomial orders.

• ETRI Journal
• /
• v.44 no.3
• /
• pp.438-449
• /
• 2022

This study proposes a dependency grammar-based self-attention multilayered bidirectional long short-term memory (DG-M-Bi-LSTM) model for subject-predicate-object (SPO) tuple recognition from natural language (NL) sentences. To add recent knowledge to the knowledge base autonomously, it is essential to extract knowledge from numerous NL data. Therefore, this study proposes a high-accuracy SPO tuple recognition model that requires a small amount of learning data to extract knowledge from NL sentences. The accuracy of SPO tuple recognition using DG-M-Bi-LSTM is compared with that using NL-based self-attention multilayered bidirectional LSTM, DG-based bidirectional encoder representations from transformers (BERT), and NL-based BERT to evaluate its effectiveness. The DG-M-Bi-LSTM model achieves the best results in terms of recognition accuracy for extracting SPO tuples from NL sentences even if it has fewer deep neural network (DNN) parameters than BERT. In particular, its accuracy is better than that of BERT when the learning data are limited. Additionally, its pretrained DNN parameters can be applied to other domains because it learns the structural relations in NL sentences.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.9 no.2
• /
• pp.59-64
• /
• 2003

The long­term trend and inter­relationship with depth of temperature and salinity in coastal waters of Korea are studied using coastal oceanographic observation and serial oceanographic data measured by National Fisheries Research and Development Institute. Temperature of coastal waters of Korea except south­western sea of Korea where cold water appears to increase in summer. In case of temperature offshore, surface temperature of East Sea increases, the reverse, for 50m and 100m decreases. Temperature in South Sea of Korea increases in whole depth and for the Yellow Sea, surface temperature increases, but for 50m decreases. In case of salinity offshore, surface salinity of East Sea decreases, but for 50m increases. Surface salinity in South Sea of Korea decreases, the reverse, form 50m and 100m increases. salinity in the Yellow Sea decrease in whole depth According to the result of inter­relationship analysis, for temperature relationship coefficients of 50m and 100m in the East Sea and South Sea of Korea is higher, however, for the Yellow sea the inter­relationship between 50m and 100m is lower. In case of salinity, the inter­relationship between surface and 50m, and for the South Sea of Korea, between 50m and 100m, and for the Yellow Sea, between surface and 50m is higher.