• Proceedings of the KIPE Conference
• /
• 2018.11a
• /
• pp.137-138
• /
• 2018

본 논문은 단일 배터리의 발열량 추정을 위한 전기-열적 해석을 수행하였다. 셀의 물리적 특성, SOC별 저항에 중점을 두어 발열량 추정을 하였다. 실험과 시뮬레이션을 비교하여 제시한 모델과 발열 저항의 의미를 확립 및 검증하며 단일 배터리의 방전구간 발열량을 추정하였다.

• Magazine of the Korea Concrete Institute
• /
• v.9 no.5
• /
• pp.197-206
• /
• 1997

본 연구에서는 기존의 초고강도 콘크리트에 대한 실험자료를 근거로 합리적인 통계적 기법을 이용하여 초고강도 콘크리트의 설계 실용화를 위한 응력-변형율 관계 모델과 응력분포 모델을 제안하는 것이 목적이다. 이를 위하여 첫째, 콘크리트의 응력-변형율 특성을 결정하는 재료 변수들(탄성계수, 최대 압축강도시 변형율 등)에 대한 검토를 수행하였다. 둘째, 이를 바탕으로 일반성과 정확성을 동시에 갖춘 초고강도 콘크리트(700~1400kg/$\textrm{cm}^2$)에 적합한 응력-변형율 모델을 제안, 비교, 고찰하엿다. 셋째, 제안된 응력-형율 모델로부터 초고강도 콘크리트 구조의 극한강도를 평가하기에 적합한 응력분포모델을 제안, 일반성과 정확성을 비교 검증하였다.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2010.06a
• /
• pp.303-305
• /
• 2010

실내공간의 특성을 고려하여 u-GIS 서비스를 제공하기 위해서는 그에 맞는 적절한 모델과 질의처리 방법이 필요하다. 프리즘 모델은 실내공간을 표현하기 위한 3차원 기하 모델이며, 이에 대한 질의처리 방법이 제안된 바 있다. 하지만 이에 대한 실험적 근거가 부족하므로, 본 논문에서는 프리즘 모델의 질의 처리 방법을 적용한 시스템과 B-Rep 기반의 3차원 공간 DBMS 시스템간의 연산 수행을 비교 실험하였다. 그 결과 프리즘 모델 기반의 질의처리 방법이 B-Rep 기반의 공간 DBMS 보다 질의 처리 성능이 우수한 것으로 검증되었다.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.36 no.2
• /
• pp.59-66
• /
• 2018

This study examined the correlation among topography, forest type, soil and geology in Inje area where landslides occurred during heavy rainfall from July 11 to July 18, 2006 to assess the landslide susceptibility. In order to assess the susceptibility of future landslides, landslides occurred in Inje area were classified into slide type and flow type, and slope angle, aspect, curvature, ridge and valley were extracted from the area. The landslide susceptibility was assessed by applying diameter class, age class, density, and forest type to Bayesianbased LR (Logistic Regression) model and WOE (Weight of Evidence) model, and the fitness of modeling was verified by predict rate curve. As the results of susceptibility assessment, using all landslides without no distintion, it was found that 75% of the LR model and 73% of the WOE model were fit in terms of the top 20% of the landslides. According to slide type and flow type in the top 20% of the landslides, it was found that 71% of the LR model and 69% of the WOE model were fit in terms of the slide type. Whereas, it was found that 86% of the LR model and 82% of the WOE model were fit in terms of the flow type. That is, the results of the LR model showed higher fitness than the results of the WOE model, and the fitness of the flow type was higher than that of the slide type. Consequently, it suggests that it is reasonable to assess and verify the landslide susceptibility according to the types of landslides.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.3
• /
• pp.301-305
• /
• 2008

Races must be detected for debugging OpenMP programs with directives, because they may cause unintended nondeterministic results of programs. Intel Thread Checker, an existing tool that can detects races, can not verify the existence of races and is often time-consuming and tends to require large space. To solve these problems, we developed a tool that verifies the existence of races using user requirements and analyzed model of programs. However, the tool does not have optimal performance in programs which have no synchronization for interthread coordination. This paper presents an optimal tool that applies the optimum labeling and protocol for program models without interthread coordination. For synthetic programs without interthread synchronization, the tool verifies races over 250 times faster than the previous tool on the average, even if the maximum parallelism increases in every case of which the number of total accesses are identical.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.11a
• /
• pp.312-321
• /
• 1999

Advanced system and softwares are required for informal ion communications ions protocol in Information sharing. electronlc commerce and intranet applications with the increase of Internet usage. Therefore. the development methodology of telecommunications protocol to meet user's requirement and increase reliability becomes more important. This study aims to develop the verification model and tool for ATM protpcol using SDL formal description technique and will becomes basic technique for the implementation of integrated protocol development tool.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.18 no.3
• /
• pp.545-550
• /
• 2017

When the systolic blood pressure is high, intermittent turbulence in blood flow appears in the aorta and carotid artery with stenosis during the systolic period. The turbulent blood flow is difficult to analyze using the Newtonian turbulence model due to the viscous characteristics of blood flow. As the shear rate is increased, the blood viscosity decreases by the viscoelastic properties of blood and a drag reduction phenomenon occurs in turbulent blood flow. Therefore, a new non-Newtonian turbulent model is required for viscoelastic fluid and hemodynamics. The main aims of this study were to develop a non-Newtonian turbulence model using the drag reduction phenomenon based on the standard $k-{\varepsilon}$ turbulent model for a general non-Newtonian fluid. This was validated with the experimental data and has a good tendency for non-Newtonian turbulent flow. In addition, the computation time and resources were lower than those of the low Reynolds number turbulent model. A modified turbulent model was used to analyze various turbulent blood flows.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.25 no.2
• /
• pp.105-110
• /
• 2015

This study proposes the more improved mathematical model than conventional that for the 3-DOF Helicopter System in Quanser Inc., and checks the validity about the proposed model by performance comparison between the controller based on the conventional model and that based on the proposed model. Research process is next : First, analyze the dynamics for the 3-DOF helicopter system and establish the linear mathematical model. Second, check the eliminated nonlinear-elements in linearization process for establishing the linear mathematical model. And establish the improved mathematical model including the parameters corresponding to the eliminated nonlinear-elements. At that time, it is used for modeling that Particle Swarm Optimization algorithm the meta-heuristic global optimization method. Finally, design the controller based on the proposed model, and verify the validity of the proposed model by comparison about the experimental results between the designed controller and the controller based on the conventional model.

• Journal of the Korean Geotechnical Society
• /
• v.19 no.6
• /
• pp.151-160
• /
• 2003

The stability of the designed rock slope is analysed based on two kinds of shear strength model. Besides the deterministic analysis, a probabilistic approach on Monte Carlo simulation is proposed to deal with the uncertain characteristics of the discontinuity and the results obtained from two models are compared to each other. To carry out the research of characteristics of the discontinuity, BIPS, DOM Scanline survey data and direct shear test data are used, and chi-square test is used for determining the probability distribution function. The rock slope is evaluated to be stable in the deterministic analysis, but in the probabilistic analysis, the probability of failure is more than 5%, so, it is considered that the rock slope is unstable. In the shear strength models, the probability of the failure based on the Mohr-Coulomb model(linear model) is higher than that of the Barton model. It is supported by the fact that the Mohr-Coulomb model is more sensitive to block size than the Barton model. In fact, there is no reliable way to estimate the unit cohesion of the Mohr-Coulomb model except f3r back analysis and in the case of small block failure in the slope, Mohr-Coulomb model may excessively evaluate the factor of the safety. So, the Barton model of which parameters are easily acquired using the geological survey is more reasonable for the stability of the studied slope. Also, the selection of the proper shear strength model is an important factor for slope failure analysis.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.36 no.3
• /
• pp.361-374
• /
• 2016

The material property of the rubber has been studied in order to improve the reliability of the finite element model of a lead rubber bearing (LRB) which is a typical base isolator. Rubber exhibits elastic behaviour even within the large strain range, unlike the general structural material, and has a hyper-elastic characteristics that shows non-linear relationship between load and deformation. This study represents the mechanical characteristics of the rubber by strain energy function in order to develop a finite element (FE) model of LRB. For the study, several strain energy functions were selected and mechanical properties of the rubber were estimated with the energy functions. A finite element model of LRB has been developed by using material properties of rubber and lead which were identified by stress tests. This study estimated the horizontal and vertical force-displacement relationship with the FE model. The adequacy of the FE model was validated by comparing the analytical results with the experimental data.