• The Journal of the Korean dental association
• /
• v.56 no.9
• /
• pp.462-478
• /
• 2018

The presence of implant-prosthesis misfits can cause various complications. It is very important to detect misfits to prevent such complications. There are various evaluation methods for misfit assessment including clinical methods and laboratory in vitro methods. The clinical misfit evaluation includes radiographic analysis, visual observation, probing, Sheffield test, evaluation with disclosing materials, and screw resistance test. The laboratory in vitro evaluation method includes indirect modelling evaluation and direct metrological visualization. Of the indirect modelling methods, photoelastic stress analysis, finite element analysis, strain gauge analysis, and microbial colonization analysis were reviewed. Of the direct metrological visualization, microscopic analysis, 3-D photogrammetric analysis, coordinate measuring analysis, and radiographic analysis were reviewed. In this review, the characteristics, advantages and disadvantages of each method were evaluated.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.32 no.2
• /
• pp.171-179
• /
• 2022

Self-Modifying-Code is a code that changes the code by itself during execution time. This technique is particularly abused by malicious code to bypass static analysis. Therefor, in order to effectively detect such malicious codes, it is important to identify self-modifying-codes. In the meantime, Self-modify-codes have been analyzed using dynamic analysis methods, but this is time-consuming and costly. If static analysis can detect self-modifying-code it will be of great help to malicious code analysis. In this paper, we propose a static analysis method to detect self-modified code for binary executable programs converted to LLVM IR and apply this method by making a self-modifying-code benchmark. As a result of the experiment in this paper, the designed static analysis method was effective for the standardized LLVM IR program that was compiled and converted to the benchmark program. However, there was a limitation in that it was difficult to detect the self-modifying-code for the unstructured LLVM IR program in which the binary was lifted and transformed. To overcome this, we need an effective way to lift the binary code.

• Korean Chemical Engineering Research
• /
• v.60 no.4
• /
• pp.519-524
• /
• 2022

Domestic building finishing materials are being evaluated according to KS F 2271 standards according to the notification of the Ministry of Land, Infrastructure and Transport, and this test is evaluated using laboratory animals. In this study, experiments were conducted on highly combustible organic insulation materials such as EPS, urethane, and phenolic foam. The purpose of this study was to analyze the cause of the behavioral suspension of the experimental mice by measuring the average behavioral suspension time of the mice caused by the harmful gas generated when these three types of insulation materials were burned. FTIR analysis and smoke density experiment were performed as a cause analysis method for the behavioral suspension of mice, and the experimental results were analyzed by dividing the causes of behavioral suspension into suffocation by particulate matter and toxic inhalation by gaseous substances. As a result of the test, urethane was evaluated as the most harmful insulation material, and as a result of FTIR analysis and smoke density test as a cause analysis for the gas toxicity test results, it is judged that the behavioral stop of the rats by suffocation is higher than the effect of toxic inhalation. This study is a basic study on the cause analysis of harmful gases, and it will be necessary to prepare the toxicity basis and analyze various materials and gases.

• Journal of the Korean GEO-environmental Society
• /
• v.12 no.6
• /
• pp.35-42
• /
• 2011

In this paper, model experiments in the laboratory were carried out to predict the effluent concentrations of suspended solid in containment of dumping dredged soils and test results were compared with results estimated by the currently used design method. Model tests of simulating dumping the dredged soils with a pump dredger in field were performed with changing the influent concentration and the length of containment and effluent concentration of suspended solid with time were measured during tests. As results of comparing test results about effluent concentration with those estimated from the design method by US Army COE(1987), they were confirmed to be in relatively good agreements.

• Communications for Statistical Applications and Methods
• /
• v.5 no.1
• /
• pp.121-131
• /
• 1998

이 논문의 목적은 비모수 회귀모형에 있어서의 오차의 분산을 추정하는 방법들 중 차분에 기저한 방법 (difference-based methods)을 이용한 기존의 추정량들을 비교 분석하는데 있다. 특히 점근적인 최적 이차 차분에 기저한 Hall과 Kay, Titterington(1990)의 HKT 추정량에 대한 그들의 추정량에 대한 문제점들을 제시하고, HKT추정량과, GSJS추정량, Rice추정량에 대하여 모의 실험을 이용하여 모수에 대한 수렴 속도를 비교 분석 하였다. 또한 GSJS 추정량에 대한 일치성과 수렴 속도를 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.476-478
• /
• 1999

본 논문에서는 신경망을 이용하여 자동차 번호판을 찾는 방법을 제안한다. 신경망은 영상의 윈도우들을 분석하기 위한 필터로 사용되며 이 윈도우가 번호판을 포함하는지의 여부를 결정한다. 후 처리기는 필터링된 영상들로부터 번호판의 최종 위치를 지정한다. 신경망을 이용한 필터링 방법은 잡음이 많은 영상과 해상도가 ？은 영상을 처리할 때 유용하다. 주차장과 도로상에서 자동차 영상들을 실험한 결과 각각 96%와 92.0%의 확률로 번호판을 추출했다. 이 실험결과에서는 제안된 방법이 현실 세계의 상황에 유용함을 제시한다.

• 한국공간정보시스템학회:학술대회논문집
• /
• 2005.05a
• /
• pp.299-304
• /
• 2005

GPS 기술의 빠른 발전에 힘입어 정밀 측위 분야에도 GPS의 활용은 증가하고 있다. GPS로부터 정밀한 좌표를 획득하기 위해서 GPS 신호에서 모호 정수 값을 정확하게 결정하는 것이 중요하다. 이를 위해 기존에는 다중시점(multi-epoch) 데이터를 사용한 방법이 일반적이었으나 최근에 단일시점(single-epoch) 데이터를 이용한 방법이 개발되었다. 이에 본 연구는 각각의 방법이 구현된 세 가지 소프트웨어를 활용하여 GPS 기선해석과 관련된 다양한 실험을 수행하여 결과를 분석하였다. 이를 통해 실시간 정밀 측위에 대한 이용 가능성을 검증하였다.

• Journal of Ocean Engineering and Technology
• /
• v.5 no.1
• /
• pp.45-54
• /
• 1991

본 논문은 케이블-ROV 시스템의 동적거동 규명을 위한 효과적인 해석방법에 대한 고찰이다. 해석방법에 대하여 일차적으로 연구하고 해석방법에 따른 소프트웨어를 개발하여 3차원 케이블-ROV 시스템 거동을 수치적으로 해석하였으며 같은 모델에 대한 거동을 실제 실험을 통하여 연구분석 하였다. 수치해석과 실험결과를 비교 검토하였고 여러가지 관련 문제점에 대해서도 연구하였다.

• Computational Structural Engineering
• /
• v.17 no.1
• /
• pp.43-49
• /
• 2004

이미 현존하는 건물의 경우는 진동실험을 통하여 바닥판에서의 정확한 진동응답을 찾아낼 수 있으나, 현존하지 않는 건물을 설계하고 있는 단계에서는 계산식이나 컴퓨터에 의한 동적해석으로 그 값을 예측할 수밖에 없다. 이러한 과정에서 간편하게 접근할 수 있는 방법이 국내외의 진동평가방법이나 기술지침서에 소개도어 있는 진동응답식을 이용하는 방법이다. 현존하는 건물의 경우에서도 복잡한 진동실험을 하기 전에 간단한 예비적 평가를 하기 위하여 이러한 계산식이 이용되기도 한다.(중략)

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11a
• /
• pp.419-422
• /
• 2002

저자는 등각사상을 추하기 위한 기존의 여러 Theodorsen 방정식의 해법 중 가장 유효한 해법으로 알려져 있는 Wegmann의 방법을 다룬바 있다. Wegmann의 방법으로 수치실험을 한 결과 난이도가 높다고 예상되는 문제에 있어 수렴했다가 발산을 하는 불안정현상이 나타났으며 수렴하지 않는 불안정현상의 원인을 분석하여 저주파필터를 적용한 새로운 반복법을 제안하여 Wegmann 방법으로는 발산하는 모든 문제에 있어서 수렴하는 수치실험 결과를 얻었다[1]. 본 논문에서는 저주파필터를 적용한 해법에 의해 수치적으로 수렴한 결과를 이론적으로 증명한다.