• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제2권1호
• /
• pp.51-62
• /
• 2008

This paper proposes a second-order implicit constraint enforcement method which yields enhanced controllability compared to a first-order implicit constraints enforcement method. Although the proposed method requires solving a linear system twice, it yields superior accuracy from the constraints error perspective and guarantees the precise and natural movement of objects, in contrast to the first-order method. Thus, the proposed method is the most suitable for exact prediction simulations. This paper describes the numerical formulation of second-order implicit constraints enforcement. To prove its superiority, the proposed method is compared with the firstorder method using a simple two-link simulation. In this paper, there is a reasonable discussion about the comparison of constraints error and the analysis of dynamic behavior using kinetic energy and potential energy.

• East Asian mathematical journal
• /
• 제28권1호
• /
• pp.37-47
• /
• 2012

In this paper, we study generalized implicit variational-like inclusions and $J^{\eta}$-proximal operator equations in Banach spaces. It is established that generalized implicit variational-like inclusions in real Banach spaces are equivalent to fixed point problems. We also establish relationship between generalized implicit variational-like inclusions and $J^{\eta}$-proximal operator equations. This equivalence is used to suggest a iterative algorithm for solving $J^{\eta}$-proximal operator equations.

• Kyungpook Mathematical Journal
• /
• 제46권1호
• /
• pp.145-152
• /
• 2006

In this paper, we study a class of strongly nonlinear implicit complementarity problems in the setting of Hilbert spaces H (not necessarily Hilbert lattices). By using the property of the projection and a suitable change of variables, we establish the equivalence between the strongly nonlinear implicit complementarity problem and the fixed point problem in H. Moreover, we use this equivalence and the fixed point theorem of Boyd and Wong to prove the existence and uniqueness of solutions for the strongly nonlinear implicit complementarity problem in H.

• International Journal of Contents
• /
• 제14권4호
• /
• pp.24-29
• /
• 2018

EEG-based brain-computer interfaces has focused on explicitly expressed intentions to assist physically impaired patients. For EEG-based-computer interfaces to function effectively, it should be able to understand users' implicit information. Since it is hard to gather EEG signals of human brains, we do not have enough training data which are essential for proper classification performance of implicit intention. In this paper, we improve the subject independent classification of implicit intention through the generation of additional training data. In the first stage, we perform the PCA (principal component analysis) of training data in a bid to remove redundant components in the components within the input data. After the dimension reduction by PCA, we train ICA (independent component analysis) network whose outputs are statistically independent. We can get additional training data by adding Gaussian noises to ICA outputs and projecting them to input data domain. Through simulations with EEG data provided by CNSL, KAIST, we improve the classification performance from 65.05% to 66.69% with Gamma components. The proposed sample generation method can be applied to any machine learning problem with fewer samples.

• 대한수학회보
• /
• 제44권1호
• /
• pp.13-29
• /
• 2007

In this paper, we first present a method for finding the implicit equation of the curve given by rational parametric equations. The method is based on the computation of $Gr\"{o}bner$ bases. Then, another method for implicitization of curve and surface is given. In the case of rational curves, the method proceeds via giving the implicit polynomial f with indeterminate coefficients, substituting the rational expressions for the given curve and surface into the implicit polynomial to yield a rational expression $\frac{g}{h}$ in the parameters. Equating coefficients of g in terms of parameters to 0 to get a system of linear equations in the indeterminate coefficients of polynomial f, and finally solving the linear system, we get all the coefficients of f, and thus we obtain the corresponding implicit equation. In the case of polynomial surfaces, we can similarly as in the case of rational curves obtain its implicit equation. This method is based on characteristic set theory. Some examples will show that our methods are efficient.

• 한국멀티미디어학회논문지
• /
• 제12권1호
• /
• pp.50-57
• /
• 2009

본 논문은 3차원 다각형 모델에서 특징 선을 추출하기 위한 방법에 대해 제안한다. 이산 곡면으로 이루어진 다각형 모델에서 특징 선을 추출하기 위하여 기존 방법에서는 전역적인 음함수 곡면 맞춤 기법(Implicit Surface Fitting)을 이용하여 모델의 꼭지점에서 곡률과 곡률 미분 값을 측정하였다. 이러한 방법은 다각형 모델의 꼭지점에서 음함수 곡면으로 정확하게 투영할 수 있도록 사용자의 정의 파라미타를 찾아야 하며, 특징 추출을 위한 많은 계산 시간을 요구한다. 그러나 제안 방법은 지역적 음함수 곡면 맞춤 기법을 이용하여 모델의 꼭지점에 근사된 곡면을 통해 미분 정보를 측정한다. 측정된 미분 정보를 통해 쉽게 각각의 모서리에서 제로-클로싱을 통해 특징 점을 추출하고, 곡률 방향을 따라 추출된 점들을 연결하여 특징 선을 생성한다. 여러 가지 다각형 모델에서 실험을 하였고 기존 방법보다 빠르며 높은 품질의 특징 선을 추출한다.

• 한국멀티미디어학회논문지
• /
• 제8권2호
• /
• pp.249-257
• /
• 2005

본 논문은 3차원 임플리시트(implicit) 곡면을 렌더링할 때 시프트 멀티 Z-버퍼를 이용하여 앨리어싱을 줄이는 것을 목적으로 한다. 복셀로 표현된 임플리시트 곡면은 고해상도를 사용하면 앤티 앨리어싱 효과를 볼 수 있지만 시간이 많이 걸리는 단점이 있다. 따라서 복셀로 표현되는 곡면을 렌더링할 때 저해상도에서도 양질의 이미지를 생성하는 새로운 앤티 앨리어싱이 필요하다. 이에 각 복셀마다 여러 개의 Z-버퍼를 이동함으로써 샘플링되는 값을 다양화하고 평활하는 방법을 제안한다. 이 방법은 메모리의 효율성을 고려하여 연산이 간단하고 필터링 적용이 쉬운 장점이 있다. 다만 Z-버퍼의 개수를 증가시키면 시간소비량이 증가하므로 향후 과제로서 이미지의 질 향상 정도와 소비시간증가의 관계를 수치로 나타내는 연구가 요구된다.

• 한국항공우주학회지
• /
• 제38권12호
• /
• pp.1153-1161
• /
• 2010

본 연구에서는 주기적 비정상 유동 해석을 위해 푸리에 변환을 이용하는 조화 균형법의 효율적인 해법을 제안한다. 내재적으로 유속항을 처리하고 외재적으로 조화 원천항을 처리하였다. 외재적 조화 균형법 보다 더 빠르게 수렴 시킬 수 있으며 내재적 조화 균형법을 적용할 때 추가되는 자코비안 행렬을 처리할 필요가 없다. 또한 완전 내재적 기법에 상응하는 수준의 수렴안정성을 확인할 수 있었다. 2차원 비정상 유동 문제로 피칭하는 NACA0012 익형에 적용하였으며 이중 시간 적분법 및 외재적 Runge-Kutta기법의 해와 매우 일치하는 결과를 얻었다.

• 토지주택연구
• /
• 제1권1호
• /
• pp.59-65
• /
• 2010

The paper presents a comparison between a semi-implicit time integration linear finite element implementation and fully-implicit nonlinear Newton-Raphson finite element implementation of a triphasic small strain mixture formulation of an elastic partially saturated porous medium. The pore air phase pressure pa is assumed atmospheric, i.e., $p_a$ = 0, although the formulation and implementation are general to handle increase in pore air pressure as a result of loading, if needed. The solid skeleton phase is assumed linear isotropic elastic and partially saturated 'consolidation' in the presence of surface infiltration and traction is simulated. The verification of the implementation against an analytical solution for partially saturated pore water flow (no deformation) and comparison between the two implementations is presented and the important of the porosity-dependent nature of the partially saturated permeability is assessed on comparison with a commercial code for the partially saturated flow with deformation. As a result, the response of partially saturated permeability subjected to the porosity influences on the saturation of a soil, and the different behaviors of the partially saturated soil between staggered and monolithic coupled programs is worth of attention because the negative pore water pressure in the partially saturated soil depends on the difference.

• 한국정보통신학회논문지
• /
• 제21권4호
• /
• pp.744-752
• /
• 2017

ECQV(Elliptic Curve Qu-Vanstone) 묵시적 인증서는 명시적 인증서와 다르게 전자서명을 검증하지 않고 인증서로부터 공개키를 복원시킨다. 이와 같이 공개키가 인증서로부터 복원되면 인증서와 공개키는 묵시적으로 검증된다. 그러므로 ECQV 묵시적 인증서는 전자서명과 공개키 대신에 공개키 복원 데이터만으로 구성되어 명시적 인증서보다 크기가 작고, 인증서로부터 공개키를 복원하는 것이 전자서명을 검증하는 것보다 빠르다. 또한 ECQV는 ECC 기반으로 동작되므로 다른 암호화 방식에 비해 키 길이가 짧고 속도가 빨라 메모리, 대역폭과 같은 자원이 제한된 환경 및 응용에 적합하다. 본 논문에서는 SECG SEC 4에 정의된 ECQV의 전제 조건과 묵시적 인증서의 발행, 묵시적 인증서로부터의 공개키 복원에 대해 설명하고, ECQV를 소프트웨어로 설계 및 구현하였으며 그 성능을 측정하였다.