• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.505-507
• /
• 2003

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

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2006년도 학술발표회 논문집
• /
• 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
• /
• 제2권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.

• 대한토목학회논문집
• /
• 제28권1B호
• /
• pp.1-9
• /
• 2008

소양강댐 유역의 관측유입량과 융설 모의의 포함 유무에 따른 모의 결과를 비교함으로써 적설 및 융설 모형의 필요성을 분석하였다. 사용한 융설 모형은 Sugawara 등의 개념적 융설 모형이고, 강우-유출 모형은 NWS-PC를 사용하였다. 모형의 매개변수는 다단계 자동보정법에 의해 추정하였고, 각 단계별로 SCE-UA 알고리즘에 의해 최적화되었다. 매개변수 추정시와 검증 모의에서 RMSE, PBIAS, NSE, PME 통계량은 융설을 포함한 모의가 그렇지 않은 모의보다 좋은 결과를 나타내었다. 소양강댐의 관측유입량은 약 두 달 이상의 자기상관성을 나타내었고, 융설을 포함하지 않은 경우에 모의된 유량시계열은 20일 정도의 자기상관성을 나타내었다. 융설을 포함한 경우의 모의유량 시계열은 관측 유량시계열과 유사하게 약 두 달 이상의 자기상관성을 나타내었다. 이와 같은 결과로 소양강댐 유역의 강우-유출 모의시 적설 및 융설 모형을 포함하여야 모형의 정확성을 향상시킬 수 있다.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제10권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.

• 전자공학회논문지D
• /
• 제36D권7호
• /
• pp.9-16
• /
• 1999

본 논문은 극 저 에너지 이온 주입의 원자단위 연구를 위하여 국부 셀 격자결함 축적 모델(local cell damage accumulation model)을 제안하고, 분자 역학 방법(molecular dynamics method)을 사용한 이온 주입 시뮬레이션 결과를 보여주고 있다. 국부 격자 결함 확률 축적 함수는 각 단위 셀에 축적된 에너지, 이온빔 전류, 기판 물질, 주입 이온과 이온 발생 순서 등으로 구성되어 있다. 시뮬레이션 결과는 SIMS 측정치 및 다른 분자 역학 시뮬레이션과 잘 일치한다. 격자결함을 고려하지 않는 MDRANGE는 격자결함으로 인한 채널링 억제 효과가 나타나지 않기 때문에 불순물 분포의 꼬리 부분에서 많은 차이를 보였다. 또한 국부 격자결함 축적 모델을 사용한 경우와 이를 고려하지 않는 경우의 불순물과 격자결함에 관한 2차원 분포를 계산하여 국부적으로 축적된 격자결함이 이온의 진행에 큰 영향을 미치는 것으로 나타났다.

• Geomechanics and Engineering
• /
• 제16권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
• /
• 제7권4호
• /
• pp.336-344
• /
• 2020

홍수 시 하천횡단구조물 주변에 유송잡물들이 집적되어 수재해로 인한 피해 가능성이 증가하기 때문에 이에 대한 예측기술 및 검토가 필요하다. 본 연구에서는 3차원 흐름과 유목 거동을 해석할 수 수치모형을 활용하여 교각 주변에서 유목의 집적 및 거동 특성을 검토하였다. MPS기반 유목 해석 모형은 구체의 개수에 민감한 것으로 나타났다. 수치모의결과 유목의 길이비와 접근유속은 유목 집적 특성에 주요한 인자인것으로 나타났지만 유목의 밀도의 영향은 미미한 것으로 확인되었다. 이 연구를 바탕으로 하천횡단구조물 주변의 유목의 집적에 의한 위험성 평가 지표를 수립하는데 기여할 수 있을 것으로 기대된다.

• 무역학회지
• /
• 제44권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.

• 약학회지
• /
• 제56권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.