• 전자공학회논문지SC
• /
• 제49권4호
• /
• pp.23-35
• /
• 2012

본 논문은 3차원 공간상에 존재하는 타원형 물체의 위치 및 자세 추정 기법을 다룬다. 영상에 투영된 타원특징을 해석하여 원래의 타원에 대한 3차원 자세정보를 구하는 것은 어려운 문제이다. 본 논문은 타원특징의 3차원 정보를 추출하기 위하여, 두개의 공면점을 도입한 위치 및 자세 추정 알고리즘을 제안한다. 제안된 방법은 모델과 영상좌표계에서 각각 정의되는 타원-공면점에 대한 대응쌍이 주어질 때 두 좌표계에 대한 동차변환행렬의 유일해를 결정한다. 타원-공면점은 폴라리티를 기반으로 원근변환에 불변하는 한 쌍의 삼각특징으로 변환되며, 삼각특징들로부터 평면 호모그래피가 추정된다. 카메라 좌표계에 대한 물체 좌표계의 3차원 위치 및 자세 파라미터들은 호모그래피 분해를 통해 계산된다. 제안된 방법은 3차원 자세 및 위치 추정 오차의 분석과 공면점의 위치에 따른 민감도의 분석을 통해 평가된다.

• 한국해양공학회지
• /
• 제12권1호
• /
• pp.120-127
• /
• 1998

An Elliptic model for calculating the combined refraction/diffraction of monochromatic linear waves is developed, including a term which allows for the dissipation of wave energy. Conjugate gradient method is employed as a solution technique. Wave height variations are calculated for localized circular and rectangular dissipation areas. It is shown that the numerical results agree very well with analytical solution in the case of circular damping region. The localized dissipation area creates a shadow region of low wave energy and the recovery of wave height by diffraction occurs very slowly with distance behind the damping region.

• Korean Journal of Mathematics
• /
• 제12권1호
• /
• pp.77-90
• /
• 2004

The purpose of this paper is to give a sufficient condition for the existence, nonexistence and uniqueness of coexistence of positive solutions to a rather general type of elliptic competition system of the Dirichlet problem on the bounded domain ${\Omega}$ in $R^n$. The techniques used in this paper are upper-lower solutions, maximum principles and spectrum estimates. The arguments also rely on some detailed properties for the solution of logistic equations. This result yields an algebraically computable criterion for the positive coexistence of competing species of animals in many biological models.

• 한국해안해양공학회지
• /
• 제4권1호
• /
• pp.10-17
• /
• 1992

해저면 경사가 비교적 완만한 해역에서 흐름 및 수심변화에 의한 파낭변형현상을 효율적으로 해석할 수 있는 타원형 유한차분 수치모형을 수립하였다. 기본방정식은 정(1990), 금 등(1989)의 결과를 이용하였으며, 해석해 및 수리모형 실험결과(Ito and Tanimoto, 1972)와 본 수치모형 결과를 비교하여 만족할 만한 결과를 얻었다. 본 모형은 격자간격 선택을 제한하는 수치 안정조건이 없고 계산원도가 빠르기 때문에, 넓은 해역을 대상으로 반사파를 무시한 파낭변형을 계산하는 경우 매우 경제적이다. 본 수치모형을 흐름이 존재하는 곳에 적용하여 그 효용성을 입증하였다.

• 대한기계학회논문집
• /
• 제12권3호
• /
• pp.607-621
• /
• 1988

본 연구에서는 미세격자구역에서 속도에 관한 모든 운송방정식(transport equation)과 압력방정식을 푸는 완전미세격자법을 채택하였고 거친 격자구역에서는 K, $\varepsilon$ 방정식모델과 Boussinesq의 난류모델로 과점성계수를 구하는 방법 대신 레이놀 즈응력을 대수식으로 직접 구하는 대수응력모델(algebraic stress model, ASM)을 사용하여 해석하였다.

• 대한조선학회논문집
• /
• 제48권1호
• /
• pp.42-48
• /
• 2011

To define ice as a solid material, mathematical and physical characteristics and their application examples are investigated for several materials' yield functions which include isotropic elastic, isotropic elastic-plastic, classical Drucker-Prager, Drucker-Prager Cap, Heinonen's elliptic, Derradji-Aouat's elliptic, and crushable foam models. Taking into account brittle failure mode of ice subject to high loading rate or extremely low temperature, isotropic elastic model can be better practicable than isotropic elastic-plastic model. If a failure criterion can be properly determined, the elastic model will provide relatively practicable impact force history from ice-hull interactions. On the other hand, it is thought that the soil models can better predict the ice spalling mechanism, since they contain both terms of shear stress-induced and hydrostatic stress-induced failures in the yield function.

• 한국해안해양공학회지
• /
• 제6권3호
• /
• pp.216-225
• /
• 1994

Berkhoff등(1982)의 수리실험 결과를 사용하여 PCGM파 포물형근사식(PA) 수치모형의 정밀도와 계산효율을 비교하였다. 두 모형 결과는 수리실험의 실측치와 잘 부합되었으나 비교적 도고가 큰 천퇴 뒷편의 일부 단면에서는 PCGM모형 결과에 비해 PA모형 결과가 실험치에 가까운 것으로 나타났다. PA모형은 천해역의 넓은 지역에 대한 파랑변형을 예측하는 데 유용한 모형이나 반사파를 무시할 수 있는 경우에만 적용 가능하다. 한편 완경사 파랑식으로부터 직접 차분화하여 반사파를 고려할 수 있는 PCGM모형의 계산효율을 증대시킬 필요가 있다. PA모형 결과를 PCGM모형의 초기 입력조건으로 사용함으로써 약 40%의 계산시간 감소를 가져왔다.

• 대한기계학회논문집
• /
• 제12권1호
• /
• pp.28-35
• /
• 1988

본 연구는 이중벽용기에서 볼 수 있는 환상공간에 관한 자연대류 연구로서 용기속에 들어있는 유체의 열차폐를 위한 최적의 가스두께를 측정하기 위하여 필요한 지식을 얻기위한 열전달 연구이다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권2호
• /
• pp.978-1002
• /
• 2019

With the rapid development of the Internet of Things, the problem of privacy protection has been paid great attention. Recently, Nikooghadam et al. pointed out that Kumari et al.'s protocol can neither resist off-line guessing attack nor preserve user anonymity. Moreover, the authors also proposed an authentication supportive session initial protocol, claiming to resist various vulnerability attacks. Unfortunately, this paper proves that the authentication protocols of Kumari et al. and Nikooghadam et al. have neither the ability to preserve perfect forward secrecy nor the ability to resist key-compromise impersonation attack. In order to remedy such flaws in their protocols, we design a lightweight authentication protocol using elliptic curve cryptography. By way of informal security analysis, it is shown that the proposed protocol can both resist a variety of attacks and provide more security. Afterward, it is also proved that the protocol is resistant against active and passive attacks under Dolev-Yao model by means of Burrows-Abadi-Needham logic (BAN-Logic), and fulfills mutual authentication using Automated Validation of Internet Security Protocols and Applications (AVISPA) software. Subsequently, we compare the protocol with the related scheme in terms of computational complexity and security. The comparative analytics witness that the proposed protocol is more suitable for practical application scenarios.

• 대한수학회논문집
• /
• 제12권2호
• /
• pp.305-309
• /
• 1997

In this paper we prove the existence of a special type of multivortex solutions of $SU (N)_g \times U(1)_l$ Chern-Simons model. More specifically we prove existence of solutions of the self-duality equations for $(\Phi(x), j =1, \cdots, N$ has the same zeroes. In this case we find that the equation can be reduced to the single semilinear elliptic partial differential equations studied by Caffarelli and Yang.