• 대한수학회보
• /
• 제57권3호
• /
• pp.649-660
• /
• 2020

This paper proves a new regularity criterion for solutions to the Cauchy problem of the 3D Boussinesq equations via one directional derivative of the horizontal component of the velocity field (i.e., (∂_iu₁; ∂_ju₂; 0) where i, j ∈ {1, 2, 3}) in the framework of the anisotropic Lebesgue spaces. More precisely, for 0 < T < ∞, if $$\large{\normalsize\displaystyle\smashmargin{2}{\int\nolimits_o}^T}({\HUGE\left\|{\small{\parallel}{\partial}_iu_1(t){\parallel}_{L^{\alpha}_{x_i}}}\right\|}{\small^{\gamma}_{L^{\beta}_{x_{\hat{i}}x_{\bar{i}}}}+}{\HUGE\left\|{\small{\parallel}{\partial}_iu_2(t){\parallel}_{L^{\alpha}_{x_j}}}\right\|}{\small^{\gamma}_{L^{\beta}_{x_{\hat{i}}x_{\bar{i}}}}})dt<{{\infty}},$$ where ${\frac{2}{{\gamma}}}+{\frac{1}{{\alpha}}}+{\frac{2}{{\beta}}}=m{\in}[1,{\frac{3}{2}})$ and ${\frac{3}{m}}{\leq}{\alpha}{\leq}{\beta}<{\frac{1}{m-1}}$, then the corresponding solution (u, θ) to the 3D Boussinesq equations is regular on [0, T]. Here, (i, ${\hat{i}}$, ${\tilde{i}}$) and (j, ${\hat{j}}$, ${\tilde{j}}$) belong to the permutation group on the set 𝕊₃ := {1, 2, 3}. This result reveals that the horizontal component of the velocity field plays a dominant role in regularity theory of the Boussinesq equations.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 추계학술대회
• /
• pp.1494-1499
• /
• 2003

Kinematic calibration is a process whereby the actual values of geometric parameters are estimated so as to minimize the error in absolute positioning. Measuring all components of Cartesian posture, particularly the orientation, can be difficult. With partial pose measurements, all parameters may not be identifiable. This paper proposes a new device that can be used to identify all kinematic parameters with partial pose measurements. Study is performed for a six degree-of-freedom fully parallel Hexa Slide manipulator. The device, however, is general and can be used for other parallel manipulators. The proposed device consists of a link with U joints on both sides and is equipped with a rotary sensor and a biaxial inclinometer. When attached between the base and the mobile platform, the device restricts the end-effector's motion to five degree-of-freedom and can measure position of the end-effector and one of its rotations. Numerical analyses of the identification Jacobian reveal that all parameters are identifiable. Computer simulations show that the identification is robust for the errors in the initial guess and the measurement noise.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권5호
• /
• pp.636-642
• /
• 1999

The synthesis of the 3D images is the most important part of the virtual reality. The ray tracing is the best method for reality in the 3D graphics. But the ray tracing requires long computation time for the synthesis of the 3D images. So, we implement the ray tracing with software and hardware. Specially we design the hit-test unit with FPGA tool for the ray tracing. Hit-test unit is a very important part of ray tracing to improve the speed. In this paper, we proposed a new hit-test algorithm and apply the parallel architecture for hit-test unit to improve the speed. We optimized the arithmetic unit because the critical path of hit-test unit is in the multiplication part. We used the booth algorithm and the baugh-wooley algorithm to reduce the partial product and adapted the CSA and CLA to improve the efficiency of the partial product addition. Our new Ray tracing processor can produce the image about 512ms/F and can be adapted to real-time application with only 10 parallel processors.

• 스마트미디어저널
• /
• 제3권1호
• /
• pp.39-45
• /
• 2014

제곱연산은 승수와 피승수가 동일한 곱셈의 특수한 경우로 병렬 제곱기의 부분곱 행렬에서 부분곱 비트들은 대칭을 이룬다. 이런 특성을 이용하여 부분곱을 폴딩(folding), 쉬프트, 재배열하여 부분곱 비트의 수와 부분곱 행렬의 최대높이들 감소시킨다. 본 논문에서는 제어신호에 따라 unsigned와 signed 제곱기로 동작하는 겸용 제곱기의 효율적인 설계 방법을 제안한다. 기존 겸용 제곱기와 달리 자리수(weight)가 다른 특정 부분곱 비트들의 덧셈에 대해 덧셈기를 사용하지 않고 계산하는 방법을 제안한다. 시뮬레이션을 통해 제안한 겸용 제곱기는 기존 겸용 제곱기와 비교하여 면적은 약 18%, 지연시간(propagated delay time)은 약 11%, 전력소모는 약 9% 감소시킬 수 있음을 보인다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제8권3호
• /
• pp.57-64
• /
• 2019

본 논문에서는 이벤트구동 게이트수준 타이밍 시뮬레이션의 성능 향상 및 디버깅 효율성 크게 높일 수 있는 공간적 부분시뮬레이션 전략이 적용된 효율적인 예측기반 병렬 시뮬레이션 기법을 제안한다. 제안된 기법은 병렬 이벤트구동 로컬시뮬레이션들의 입력값과 출력값에 대한 빠르면서도 정확한 예측을 달성하기 위해서, 공간적 부분시뮬레이션 전략을 추상화 상위수준 시뮬레이션에 적용하여 정확한 예측 데이터를 빠르고 즉각적으로 생성해낸다. 공간적 부분시뮬레이션 전략이 적용된 예측기반 병렬 게이트수준 타이밍 시뮬레이션은 성능 평가를 위하여 사용된 6개의 벤치마크 설계들에 대하여 제일 일반적인 순차 이벤트구동 게이트수준 타이밍 시뮬레이션에 비하여 평균 약 3.7배, 상용화된 멀티코어 기반의 병렬 이벤트구동 게이트수준 타이밍 시뮬레이션에 비해서는 평균 9.7배, 그리고 기존의 가장 우수한 예측기반 병렬 이벤트구동 게이트 수준 타이밍 시뮬레이션 결과에 비해서도 평균 2.7배의 시뮬레이션 성능이 향상됨을 확인할 수 있었다.

• 대한수학회보
• /
• 제26권2호
• /
• pp.185-190
• /
• 1989

In [4], J. Leray introduced the notion of partial hyperbolicity to characterize the operators for which the non-characteristic Cauchy problem is solvable in the Geverey class for any data which are holomorphic in a part of variables x"=(x$_{2}$,..,x$_{l}$ ) in the initial hyperplane x$_{1}$=0. A linear partial differential operator is called partially hyperbolic modulo the linear subvarieties S:x"=constant if the equation P$_{m}$(x, .zeta.$_{1}$, .xi.')=0 for .zeta.$_{1}$ has only real roots when .xi.'is real and .xi."=0, where P$_{m}$ is the principal symbol of pp. Limiting to the case of operators with constant coefficients, A. Kaneko proposed a new sharper condition when S is a hyperplane [3]. In this paper, we generalize this condition to the case of general linear subvariety S and show that it is sufficient for the solvability of Cauchy problem for the hyperfunction Cauchy data which contains variables parallel to S as holomorphic parameters.blem for the hyperfunction Cauchy data which contains variables parallel to S as holomorphic parameters.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2006년도 International Symposium on GPS/GNSS Vol.2
• /
• pp.395-398
• /
• 2006

In this paper, for implementing a real-time software GNSS receiver we propose the highly efficient and fast algorithms such as partial down-conversion, phase rotator, composite I&Q accumulation, Virtual DCO technique, and parallel acquisition using FFT. When the proposed algorithms are used, more 30 tracking channels with 3 tracking arm(early-prompt-late) is operated real-time on Intel 2.8GHz personal computer. Also, the partial down-conversion reduces the FFT size, for parallel acquisition, to 1/8 of conventional FFT-size and the program size includes map is not exceed 1Mbyte. Finally, the proposed real-time software GNSS receiver using the proposed algorithms provides the navigation solution with below 10 meter rms error.

• Journal of applied mathematics & informatics
• /
• 제25권1_2호
• /
• pp.435-443
• /
• 2007

Computing the interior spectrum of large sparse generalized eigenvalue problems $Ax\;=\;{\lambda}Bx$, where A and b are large sparse and SPD(Symmetric Positive Definite), is often required in areas such as structural mechanics and quantum chemistry, to name a few. Recently, CG-type methods have been found useful and hence, very amenable to parallel computation for very large problems. Also, as in the case of linear systems proper choice of preconditioning is known to accelerate the rate of convergence. After the smallest eigenpair is found we use the orthogonal deflation technique to find the next m-1 eigenvalues, which is also suitable for parallelization. This offers advantages over Jacobi-Davidson methods with partial shifts, which requires re-computation of preconditioner matrx with new shifts. We consider as preconditioners Incomplete LU(ILU)(0) in two variants, ever-relaxation(SOR), and Point-symmetric SOR(SSOR). We set m to be 5. We conducted our experiments on matrices from discretizations of partial differential equations by finite difference method. The generated matrices has dimensions up to 4 million and total number of processors are 32. MPI(Message Passing Interface) library was used for interprocessor communications. Our results show that in general the Multi-Color ILU(0) gives the best performance.

• 대한전자공학회논문지TC
• /
• 제41권11호
• /
• pp.1-7
• /
• 2004

본 논문에서는 다중 안테나를 사용한 다중 반송파 대역확산 다중접속 (MIMO MC-CDMA) 시스템을 위한 다단계 병렬 널링 및 병렬 부분 간섭 제거 수신기 (MPN-PPIC)를 제안한다. 기존의 V-BLAST 수신기는 널리 알려져 있는 다중 안테나 시스템에 대한 수신 방법으로, 단일 사용자 하향 링크 다중 안테나 MC-CDMA 시스템에 대해서는 어느 정도 좋은 성능을 보이지만, 다중 사용자의 경우에 있어서는 심각한 성능 저하 (error floor)를 보이는 것으로 알려져 있다. 본 논문에서 제안한 수신기는 다중 사용자 환경에서 이러한 성능 저하를 보이지 않으며, 다단계 연산을 통해서 보다 더 나은 성능을 얻을 수 있다. 또한, 제안한 방법은 chip interleaving을 하는 경우, 다단계 연산을 통해 단일 사용자 환경에 대해서도 V-BLAST보다 더 나은 성능을 보인다. 제안한 방법에 대한 이와 같은 성능은 컴퓨터 모의 실험을 통해서 확인해 본다.

• Spatial Information Research
• /
• 제20권6호
• /
• pp.139-144
• /
• 2012

공간 데이터 처리는 GIS, 텔레매틱스 등 광범위한 분야에서 널리 사용되고 있다. 그러나 현재 사용되고 있는 공간 데이터 질의 처리 기법은 CPU를 사용하여 순차적으로 질의 처리를 수행하므로 질의 처리 시간이 상대적으로 오래 걸린다는 단점이 존재한다. 그러나 공간 데이터 질의 처리를 병렬로 수행했을 때 처리 시간을 줄이는 것이 가능하다. 따라서 본 연구에서는 GPU를 활용하여 공간 데이터 질의 처리를 병렬로 수행하는 연구를 진행한다. 또한, CPU를 이용하여 질의 처리를 수행한 결과와 비교하여 속도 향상 정도에 대한 결과를 제시한다.