• 한국전산구조공학회논문집
• /
• 제25권5호
• /
• pp.439-446
• /
• 2012

본 논문은 1차원 자유경계문제 해석의 정확도 향상을 위해 이동최소제곱 차분법을 이용하여 이동경계의 위상변화를 implicit하게 추적하는 기법을 제시한다. 기존의 이동최소제곱 차분법은 이동경계의 위치를 explicit하게 진전시켜 반복계산은 필요없지만 해의 정확도 감소를 피할 수 없었다. 그러나 본 연구에서 제시한 implicit 기법은 전체 계방정식이 비선형 시스템이 되어 반복계산 과정이 필요하지만, 실제로 수치예제를 통해 검증해 본 결과 계산량의 큰 증가없이 해석의 정확도를 획기적으로 향상시켰다. 이동하는 미분불연속 특이성을 갖는 융해(melting)문제를 수치계산한 결과, implicit 이동최소제곱 차분법을 통해 2차정확도를 얻을 수 있음을 보였다.

• 한국CDE학회논문집
• /
• 제20권1호
• /
• pp.36-43
• /
• 2015

Recently, a number of evaluation studies on availability of plant were carried out. This study was conducted to verify of the reliability of a simulation with some variable such as configuration of process, failure probability density function and the number of iteration times for the natural gas liquefaction plant. The error rate of the KICT-RAM solution was evaluated as 0.03~1.79% compared with the result of the MAROS(commercial solution). And the error-rate change was observed in the range of 0.03~1.75 on the condition of the iteration times as 30, 100, 250. As a result the plant availability evaluation approach of KICT-RAM solution was verified as reasonable. However, the careful approach was required to use the solution because the error-rate increased according to iteration times change.

• 대한기계학회논문집A
• /
• 제27권9호
• /
• pp.1555-1561
• /
• 2003

Finite element analysis using modern constitutive equation is one of the most general tools to simulate the deformation behavior and to predict the life of the structure. Constitutive equation becomes complicated so as to predict the material behavior more accurately than the classical models. Because of the complexity of constitutive model, numerical treatment becomes so difficult that the calculation should be verified carefully. One-element tests, simple tension or simple shear, are usually used to verify the accuracy of finite element analysis using complicated constitutive model. Since this test is mainly focused on the time integration scheme, it is also necessary to verify the equilibrium iteration using material stiffness matrix and to compare FE results with solution of structures. In this investigation, viscoplastic solution of thick walled cylinder was derived considering axial constraints and was compared with the finite element analysis. All the numerical solutions showed a good coincidence with FE results. This numerical solution can be used as a verification tool for newly developed FE code with complicated constitutive model.

• 정보보호학회논문지
• /
• 제16권6호
• /
• pp.63-71
• /
• 2006

본 논문에서는 지문 센서-클라이언트-서버 모델의 원격 지문 인식 시스템을 이용한 안전하고 효과적인 사용자 인증방법을 제안한다 특히, 실시간성. 확장성. 프라이버시 이슈 등을 고려하여 지문 인식 과정 중 가장 많은 계산시간을 필요로 하는 지문 특징 추출 과정을 클라이언트에 할당하는 일반적 구현과 달리, 클라이언트가 일반 사용자에 의해 관리되어 여러 공격에 취약할 수 있다는 가정하에서도 동작할 수 있는 방법을 제안한다. 즉. 지문 센서와 서버 사이에 위치한 클라이언트를 신뢰할 수 없는 경우라도 실시간성, 확장성. 프라이버시 이슈 등을 만족하기 위해서는 클라이언트를 활용할 수밖에 없으며. 지문 센서나 서버에서는 신뢰할 수 없는 클라이언트에게 위임하여 생성된 지문정보를 검증해야 한다. 또한, 자원 제약적인 지문센서가 클라이언트가 생성한 지문 정보를 실시간으로 검증하기 위해서는 검증 과정 자체가 간단해야 된다는 제약이 있다. 본 연구에서는 이러한 문제를 해결하기 위해 지문 특징 추출 과정을 이진화와 특징점 추출 과정으로 분리하여 클라이언트에서 이진화 과정을 실행하고 지문 센서에서는 클라이언트로부터 받은 이진화 결과의 정당성을 확인하기 위한 경량화된 검증 방법을 수행한다 검증 후 이상이 없으면 클라이언트로부터 수신한 이진영상에서 특징점을 추출한 후 서버로 전송한다. 제안된 방법의 타당성을 확인하기 위해 지문 영상을 이용한 실험을 수행한 결과, 제안된 방법이 지문 센서-클라이언트-서버 모델에서 실시간으로 안전하게 수행될 수 있음을 확인하였다.

• 한국항행학회논문지
• /
• 제5권1호
• /
• pp.1-10
• /
• 2001

음성은 차량 운행시 여러 가지 조작으로 분주한 운전자에게 간편한 장비 입력 및 조작을 위한 수단으로 유용한 특성을 지니고 있다. 본 논문에서는 이런 음성의 특성을 이용하여 차량 도난이나 중요한 온라인 서비스 접근시 신원을 증명할 수 있는 화자증명 방식을 제안한다. 이 방식에서는 음성의 언어정보를 이용하는 지속음 인식 기법과 함께 확률적 인식 방식에 비해 몇 가지 이점을 갖는 MLP(multi-layer perceptron)를 사용한다. 하지만 MLP를 사용하는 인식 기법은 학습에 많은 계산량을 요구하므로 실시간으로 화자를 등록해야 하는 화자증명에서는 적용하기가 쉽지 않다. 이 문제를 해결하기 위해 본 논문에서는 기존의 화자점수 평준화 방법에서 화자군집 모델 기법을 도입하여 배경화자를 사전에 여러 개의 작은 화자군집으로 분리하는 방법을 제안한다. 등록화자를 이렇게 나눈 화자군집 중 하나로 분류한 뒤 해당 화자군집에 대해서만 등록 학습과정을 거치는 방법으로 계산량을 큰 폭으로 줄일 수 있다.

• 한국경영과학회지
• /
• 제23권1호
• /
• pp.43-65
• /
• 1998

This paper develops a two-echelon inventory model with time-weighted partial backorders. The presented model assumed to follow continuous review (Q. r) policy for both the retailers and the central warehouse under stochastic demand. A heuristic method to find an optimum-tending solution for total variable system cost per year incurred at the central warehouse and retailers in a system is suggested. To show the usefulness of the above model, numericla examples are illustrated for verification and validation purpose.

• Journal of Positioning, Navigation, and Timing
• /
• 제9권2호
• /
• pp.131-138
• /
• 2020

In this paper, we analyze the delay phenomenon that can occur when controlling an unmanned aerial vehicle using a camera and describe a solution to solve the phenomenon. The group of pictures (GOP) value is changed in order to reduce the delay according to the frame data size that can occur in the moving image data transmission. The appropriate GOP values were determined through experimental data accumulation and validated through camera self-test, system integration laboratory (SIL) verification test and system integration test.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.507-512
• /
• 1992

This paper presents a method for the automatic generation of assembly sequences based on the recursive extraction of a preferred part along with the verification of its disassemblability. To verify the disassemblability of the part we inference the geometric precedence constraints using a method of extracting separable directions for the part and determine the disassemblability cost by the separability and stability cost. The proosed method provides a local optimal solution of finding a cost effective assembly plan, and the feasibility of calculating robot motion programs by evaluating separable directions in flexible manufacturing application. A case study is given to illustrate the concepts and procedure of the proposed scheme.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 춘계학술대회 논문집 전기기기 및 에너지변환시스템부문
• /
• pp.254-258
• /
• 2001

This paper proposes a new induction heating system composed of a hyristor PWM rectifier with a resonant commutation circuit. The operation of proposed system as first analyzed by a theoretical approach with equivalent circuits. And its verification was performed by computer simulations with EMTP. The proposed system can provide a solution for the power factor problem of the existing high-power induction heating system. which uses the line-commutated thyristor bridge in rectifier side.

• Computers and Concrete
• /
• 제2권5호
• /
• pp.411-421
• /
• 2005

A linear programming problem of the optimal proportioning of concrete aggregates is discussed; and a self-adaptive genetic algorithm is developed to solve this problem. The proposed method is based on changing a range of variables for capturing the feasible region of the optimum solution. A computational verification of this method is compared with the results of the linear programming.