• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.505-507
• /
• 2003

SAT 문제는 하드웨어/소프트웨어 검증과 모델 체킹 등 다양한 분야에서 유용하게 사용되고 있으나 복잡도가 NP-complete 라는 어려움을 가지고 있다. 다양한 알고리즘과 휴리스틱, 도구들이 개발되었지만 그럼에도 불구하고 해결할 수 없는 hard instance 들이 존재한다. 이 논문에서는 그러한 hard instance를 해결하기 위한 방법의 하나로 model accumulation을 제안한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2006.05a
• /
• pp.360-364
• /
• 2006

The physical characteristics of suspended solid in urban watersheds are estimated and are described the accumulation processes on the urban surface. And build up the accumulation model which has two parameters and three constants. Two parameters are $p_0\;and\;p_{max'}$, and three constants are landuse, clean and traffic constant. Suggested model is applied three industry watershed which has variable area. And simulated results are compared with observed data. The model estimates the real phenomenon and the results are pretty good. The simulated accumulation mass are 1.20, 0.96 and $2.88g/m^2$. The differences of simulation and observation data are about 30%.

• The Korean Journal of Ecology
• /
• v.2 no.1
• /
• pp.31-37
• /
• 1978

The salt accumulation on the soil surface can be mathematically described. Although the movement of salts in soil solution is expressed in terms of mathematical model, which has certain limitations in practical application, except the exchangeable and absorbable state salts in soil solution. This model is illustrated by analyticl experiments in which evaporation from the bare soils, transpiration of plants and rainfall are required. Agreement between the model and the measured data was satisfactory, which validating the salt accumulation theory on the soil surface.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.28 no.1B
• /
• pp.1-9
• /
• 2008

The impact of snow accumulation and snowmelt in rainfall-runoff modelling was analyzed for the Soyanggang dam basin by comparing the measured and simulated discharges simulated by the NWS-PC model. Sugawara's conceptual model was used to simulate the snow accumulation and snowmelt phenomena and NWS-PC model was employed to simulate rainfall-runoff. Parameters in model calibration were estimated by the Multi-step Automated Calibration Scheme and optimized using SCE-UA algorithm in each step. The results of the model calibration and verification show that the model considering snowmelt process is better than the one without consideration of snowmelt under the performance criteria such as RMSE, PBIAS, NSE, and PME. The measured discharge time series has over 60 days of persistence. Correlograms for each simulation showed that the simulated discharge with snowmelt model reproduce the persistence closely to the measured discharge's while the one without snow accumulation and snowmelt model reproduce only 20 days of persistence. The study result indicates that the inclusion of snow accumulation and snowmelt model is important for the accurate simulation of rainfall-runoff phenomena in the Soyanggang dam basin.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.10 no.2
• /
• pp.152-159
• /
• 2010

We propose a semi-analytical current conduction model for depletion-mode n-type nanowire field-effect transistors (NWFETs) with top-gate structure. The NWFET model is based on an equivalent circuit consisting of two back-to-back Schottky diodes for the metal-semiconductor (MS) contacts and the intrinsic top-gate NWFET. The intrinsic top-gate NWFET model is derived from the current conduction mechanisms due to bulk charges through the center neutral region as well as of accumulation charges through the surface accumulation region, based on the electrostatic method, and thus it includes all current conduction mechanisms of the NWFET operating at various top-gate bias conditions. Our previously developed Schottky diode model is used for the MS contacts. The newly developed model is integrated into ADS, in which the intrinsic part of the NWFET is developed by utilizing the Symbolically Defined Device (SDD) for an equation-based nonlinear model. The results simulated from the newly developed NWFET model reproduce considerably well the reported experimental results.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.36D no.7
• /
• pp.9-16
• /
• 1999

We have investigated effects of local damage accumulation for ultra-low energy As and B ion implant using highly efficient molecular dynamics(MD) scheme. We simulated ion implantation by MD simulation using recoil ion approximation (RIA) method and local cell damage accumulation (LCDA) model proposed in the paper. Local damage accumulation probability function consisted of deposited energy in a unit cell, implant dose rate, target material, projectile atom, and recoil event number. The simulated results were good agreement with the experimental and other simulated results. The MDRANGE results without damage accumulation were different from SIMS data in the tail region. We also simulated 2 dimensional dopant and damage profiles using the local damage accumulation model and recoil ion approximation method.

• Geomechanics and Engineering
• /
• v.16 no.2
• /
• pp.113-124
• /
• 2018

Under repeated loading, the residual stresses within the subgrade and subsoil can accelerate the deformation of the road structures. In this paper, a series of laboratory cyclic loading model tests and small-scale model tests were conducted to investigate the dynamic stress response within soils under different loading conditions. The experimental results showed that a dynamic stress accumulation effect occurred if the soil showed cumulative deformation: (1) the residual stress increased and accumulated with an increasing number of loading cycles, and (2) the residual stress was superimposed on the stress response of the subsequent loading cycles, inducing a greater peak stress response. There are two conditions that must be met for the dynamic stress accumulation effect to occur. A threshold state exists only if the external load exceeds the cyclic threshold stress. Then, the stress accumulation effect occurs. A higher loading frequency results in a higher rate of increase for the residual stress. In addition to the superposition of the increasing residual stress, soil densification might contribute to the increasing peak stress during cyclic loading. An increase in soil stiffness and a decrease in dissipative energy induce a greater stress transmission within the material.

• Ecology and Resilient Infrastructure
• /
• v.7 no.4
• /
• pp.336-344
• /
• 2020

The prediction and evaluation of driftwood accumulation around river-crossing structures are essential because driftwood accumulation increases during flood disasters. In this study, the driftwood accumulation and behavior around bridge piers were evaluated via a numerical model that could be employed to analyze three-dimensional turbulent flow and driftwood motion. The moving particle semi-implicit-based model for driftwood motion was sensitive to the number of spheres. The numerical results showed that the approach velocity and the ratio of driftwood length to pier width were the key factors influencing driftwood accumulation, whereas the driftwood density had only a minor influence. Overall, it is expected that this study will contribute to the development of improved risk evaluation indexes for assessing driftwood accumulation around river-crossing structures.

• Korea Trade Review
• /
• v.44 no.1
• /
• pp.1-15
• /
• 2019

This study aims to analyze the effects of trade on human capital accumulation and economic growth in Korean manufacturing industry. The results of empirical analysis by dynamic panel model are as follows. The increase in exports of skilled labor intensive industries has a positive effect on human capital and economic growth, and the impact of import on human capital accumulation and economic growth has alst a positive impact. The exports of unskilled intensive labor industries have a negative impact on human capital accumulation and economic growth. Imports of unskilled labor intensive industries have negative on human capital accumulation and economic growth. It is difficult to derive statistically significant results for the effects of trade on human capital accumulation and economic growth before and after 2008. However, as a result of the financial crisis in 2008, it seems that the effects have decreased since 2008.

• YAKHAK HOEJI
• /
• v.56 no.6
• /
• pp.364-365
• /
• 2012

Liver is the major organ to regulate the systemic glucose homeostasis and insulin resistance. Excess energy intake leads to triglyceride accumulation in adipose tissue first and subsequent accumulation in liver, resulting in obesity and type 2 diabetes. The representative pathological animal model for obesity associated insulin resistance is a high fat diet (HFD) fed mice model. Given the essential role of liver fat accumulation in developing systemic insulin resistance in obesity, I measured the liver triglyceride contents in HFD fed mice as a function of time. As such, in this report, I show the cause and effect relationship with regard to time during a HFD feeding between a variety of factors that are related to systemic insulin resistance including glucose intolerance, plasma insulin level and inflammatory gene expression in liver and adipose tissue.