• Journal of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.87-99
• /
• 2001

We prove that the germ of a CR mapping f between real analytic real hypersurfaces has a holomorphic extension and satisfies a complete system of finite order if the source is of finite type in the sense of Bloom-Graham and the target is k-nondegenerate under certain generic assumptions on f.

• Communications of the Korean Mathematical Society
• /
• v.11 no.3
• /
• pp.757-766
• /
• 1996

The purpose of this paper is to study a real hypersurface of $M_n(c)$ where structure vector $\zeta$ is principal and satisfying $\bigtriangledown_\zeta S = (\bigtriangledown S)\zeta$ (section 2) and also satisfying $\bigtriangledown_\zeta S = a(S \phi - \phi S)$ (section 3) where a is constant.

• Information Display
• /
• v.18 no.3
• /
• pp.3-12
• /
• 2017

In the recent years, significant advances have been made in the development of small form-factor, low power, and low cost 3D-sensing devices based on depth-imaging technologies with real-time performance. This has led to the advent of devices and machines that are able to sense and understand the world, navigate in the environment, and interact naturally with their human users. Human-computer interactions based on touch sensing and speech recognition have already become mainstream, and the rapid developments in 3D sensing is paving the path towards the next level of machine intelligence and interactions. This paper discusses the recent developments in real-time 3D sensing technologies and their emerging system application.

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.34D no.4
• /
• pp.54-61
• /
• 1997

In this paper, a new holographic display system that can in real-time reconstruct the complex hologram without the bias and the conjugate image, which is obtained form the modified triangular interferometer, is presented. The proposed system is made of adding liquid crystal displays(LCDs), a $\lambda$/2 wave plate, and a polarizing beam splitter to the conventional mach-zehnder interferontric configuration. We demonstrate through theoretical analysis and experiment that real-time image reconstruction from the complex hologram is possible using the proposed system.

• Journal of applied mathematics & informatics
• /
• v.29 no.1_2
• /
• pp.135-143
• /
• 2011

As a zero set of some multivariate splines, the piecewise algebraic variety is a kind of generalization of the classical algebraic variety. This paper presents an algorithm for isolating real roots of the zero-dimensional piecewise algebraic variety which is based on interval evaluation and the interval zeros of univariate interval polynomials in Bernstein form. An example is provided to show the proposed algorithm is effective.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.279-294
• /
• 2005

We study a real hypersurface M satisfying $L_{\xi}S=0\;and\;R_{\xi}S=SR_{\xi}$ in a complex hyperbolic space $H_n\mathbb{C}$, where S is the Ricci tensor of type (1,1) on M, $L_{\xi}\;and\;R_{\xi}$ denotes the operator of the Lie derivative and the Jacobi operator with respect to the structure vector field e respectively.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.2
• /
• pp.327-335
• /
• 2005

For a compact and orientable minimal real hypersurface $M\;in\;QP^n$, we prove that if the minimum of the sectional curvatures of Mis 3/(4n - 1), then M is isometric to the geodesic minimal hypersphere $M_{0,n-1}^Q$.

• Proceedings of the Acoustical Society of Korea Conference
• /
• 1994.06a
• /
• pp.957-962
• /
• 1994

Real-time RELP vocoder is implemented on the TMS320C25 DSP chip. The implemented system is IBM-PC add-on board and composed of analog in/out unit, DSP unit, memoy unit, IBM-PC interface unit and its supporting assembly software. Speech analyzer and synthesizer is implimented by DSP assembly software. Speech parameters such as LPC coefficients, base-band residuals, and signal gains is extracted by autocorrelation method and inverse filter and synthesized by spectral folding method and direct form synthesis filter in this board. And then, real-time RELP vocoder with 9.6Kbps is simulated by down-loading method in the DSP program RAM.

• East Asian mathematical journal
• /
• v.37 no.1
• /
• pp.97-107
• /
• 2021

Let M be a real hypersurface with almost contact metric structure (��, ξ, ��, g) in a nonflat complex space form Mn(c). We denote S and Rξ by the Ricci tensor of M and by the structure Jacobi operator with respect to the vector field ξ respectively. In this paper, we prove that M is a Hopf hypersurface of type (A) in Mn(c) if it satisfies Rξ�� = ��Rξ and at the same time satisfies $({\nabla}_{{\phi}{\nabla}_{\xi}{\xi}}R_{\xi}){\xi}=0$ or Rξ��S = S��Rξ.

• Structural Engineering and Mechanics
• /
• v.66 no.3
• /
• pp.387-397
• /
• 2018

In this paper, a general closed-form solution for evaluating the dynamic behavior of a Timoshenko beam on elastic foundation under a moving harmonic line load is formulated in the frequency-wavenumber domain and in a moving coordinate system. It is found that the characteristic equation is quartic with real coefficients only, and its poles can be presented explicitly. This enables the substitution of these poles into Cauchy's residue theorem, leading to the general closed-form solution. The solution can be reduced to seven existing closed-form solutions to different sub-problems and a new closed-form solution to the subproblem of a Timoshenko beam on an elastic foundation subjected to a moving quasi-static line load. Two examples are included to verify the solution.