• Communications of the Korean Mathematical Society
• /
• v.36 no.4
• /
• pp.817-827
• /
• 2021

In this paper, we prove that a diffeomorphism f on a normal almost contact 3-manifold M is a CRL-transformation if and only if M is an α-Sasakian manifold. Moreover, we show that a CR-loxodrome in an α-Sasakian 3-manifold is a pseudo-Hermitian magnetic curve with a strength $q={\tilde{r}}{\eta}({\gamma}^{\prime})=(r+{\alpha}-t){\eta}({\gamma}^{\prime})$ for constant 𝜂(𝛄'). A non-geodesic CR-loxodrome is a non-Legendre slant helix. Next, we prove that let M be an α-Sasakian 3-manifold such that (∇_YS)X = 0 for vector fields Y to be orthogonal to ξ, then the Ricci tensor 𝜌 satisfies 𝜌 = 2α²g. Moreover, using the CRL-transformation $\tilde{\nabla}^t$ we fine the pseudo-Hermitian curvature $\tilde{R}$, the pseudo-Ricci tensor $\tilde{\rho}$ and the torsion tensor field $\tilde{T}^t(\tilde{S}X,Y)$.

• School Mathematics
• /
• v.4 no.1
• /
• pp.15-27
• /
• 2002

The purpose of this thesis is, through analysing the characteristics of the definitions in Korean school mathematics textbooks, to explore the levels of them. Definitions use din academic mathematics are rigorous. But they should be transformed into various types, which are presented in school mathematics textbooks, with didactical purposes. In this thesis we investigated such types of transformation. With the result of this investigation we tried to identify the levels of the definitions in school mathematics textbooks. We tried to construct, with consideration about methods of definition, frame for analysing the types of the definitions in school mathematics. Methods of definition are classified as connotative method, denotative method, and synonymous method. Especially we identified that connotative method contains logical definition, genetic definition, relational definition, operational definition, and axiomatic definition. With these analyses we made a frame for investigating the characteristics of the definitions in school mathematics textbooks. With this frame we identified concrete types of transformations of methods of definition. We tried to analyse this result with van Hieles' theory about let·els of geometry learning and the mathematical language levels described by Freudenthal, and identify the levels of definitions in school mathematics. We showed the levels of definitions in the geometry area of the Korean school mathematics.

• Journal of the Korean Society for Precision Engineering
• /
• v.16 no.4 s.97
• /
• pp.205-212
• /
• 1999

A three dimensional binary parallel robot manipulator uses actuators which have only two stable states and its structure is variable geometry truss. As a result, it has a finite number of states and fault tolerant mechanism because of kinematic redundancy. This kind of robot manipulator has some advantages compared to a traditional one. Feedback control is not required, task repeatability can be very high, and finite state actuators are generally inexpensive. Because the number of states of a binary robot manipulator grows exponentially with the number of actuators it is very difficult to solve and inverse kinematic problem. The goal of this paper is to develop an efficient algorithm to solve an inverse kinematic problem of three dimensional binary parallel robot manipulator using a backbone curve when the number of actuators are too much. We first derive the coordinate transformations associated with a three degree of freedom in-parallel actuated robot manipulator. The backbone curve is generated optimally by considering the maximum roll and pitch angles of the robot manipulator configuration and length of link. Then, the robot manipulator is fitted along the backbone curve with some criterion.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.23 no.1
• /
• pp.82-91
• /
• 1999

A numerical analysis based on the three-dimensional Reynolds-averaged Navier-Stokes equation has been conducted to investigate the flow within a NASA rotor 67 transonic fan. General coordinate transformations are used to represent the complex blade geometry and an H-type grid is used. The governing equations are solved using implicit LU-SGS scheme for the time-marching integration and a standard ${\kappa}-{\varepsilon}$ model is used with wall functions for the turbulence modeling. The computations are compared with the experimental data and a detailed study of the flow structures near peak efficiency and near stall is presented. The calculated overall aerodynamic efficiency and three-dimensional shock system agree well with the laser anemometer data.

• ETRI Journal
• /
• v.16 no.1
• /
• pp.1-15
• /
• 1994

A computationally-efficient approach to the calculation of the transient field of an acoustic radiator was developed. With this approach, a planar or curved source, radiating either continuous or pulsed waves, is divided into a finite number of shifted and/or rotated versions of an incremental source such that the Fraunhofer approximation holds at each field point. The acoustic field from the incremental source is given by a 2-D spatial Fourier transform. The diffraction transfer function of the entire source can be expressed as a sum of Fraunhofer diffraction pattern of the incremental sources with the appropriate coordinate transformations for the particular geometry of the radiator. For a given spectrum of radiator velocity, the transient field can be computed directly in the frequency domain using the diffraction transfer function. To determine the accuracy of the proposed approach, the impulse response was derived using the inverse Fourier transform. The results obtained agree well with published data obtained using the impulse response approach. The computational efficiency of the proposed method compares favorably to those of the point source method and the impulse response approach.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.41 no.4
• /
• pp.113-123
• /
• 2004

This paper presents a new collusion-secure fingerprinting scheme to embed fingerprints into three-dimensional(3-D) mesh models efficiently. In the proposed scheme, we make the same number of fingerprints as the number of customers based on the finite projective geometry, partition a 3-D mesh model related to the number of bits assigned to each fingerprint and then embed a watermark representing copyright information into each submesh to be marked. Considering imperceptibility and robustness of the watermarking algorithm we embed the watermark signal into mid-frequency DCT coefficients obtained by transforming vertex coordinates in the triangle strips which are generated from the submeshes to be marked. Experimental results show that our scheme is robust to additive random noises, MPEG-4 SNHC 3-D mesh coding, geometrical transformations, and fingerprint attacks by two traitors' collusion. In addition, we can reduce the number of bits assigned to each fingerprint significantly.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.49 no.1
• /
• pp.1-7
• /
• 2012

This paper presents a method for 3D image construction using the hybrid (color and depth) camera system, in which the drawbacks of each camera can be compensated for. Prior to an image generation, intrinsic parameters and extrinsic parameters of each camera are extracted through experiments. The geometry between two cameras is established with theses parameters so as to match the color and depth images. After the preprocessing step, the relation between depth information and distance is derived experimentally as a simple linear function, and 3D image is constructed by coordinate transformations of the matched images. The present scheme has been realized using the Microsoft hybrid camera system named Kinect, and experimental results of 3D image and the distance measurements are given to evaluate the method.

• Journal of the Korean Chemical Society
• /
• v.42 no.5
• /
• pp.506-511
• /
• 1998

When the spermine, which is one of the polyamines containing cation in vivo, binds to DNA, it can increase the stability of DNA. At the same time, it can cause B-form to Z-form transformations of DNA. However, because we cannot determine the binding geometry of the spermine to DNA by using spectroscopic methods, nobody can show the accurate binding mechanism of a DNA-spermine complex. Thus, we used DAPI as a spectroscopic probe of spermine, which binding geometry was well known. At the result of base selective binding geometry of spermine to synthetic DNA, the concentration of spermine gets higher, it grows the hydrophobic environment of DAPI which bound the minor groove of adenine-thymine base pair. Simultaneously, spermine seems to bridge the backbones around the minor groove of $poly[d(A-T)_2]$. So that, the intensity of fluorescence spectrum of that shows sudden increasement. In guanine-cytocine base pair, $poly[d(G-C)_2]$, we can suppose that spermine bind to the major groove of that, shoving out the DAPI which is partially intercalated between the base pocket across the major groove of it. In both cases, spermine doesn't show the base selectivity against to DNA.

• Smart Structures and Systems
• /
• v.13 no.3
• /
• pp.353-374
• /
• 2014

Recent studies were dedicated to the realization of measurements on stay-cable samples of different geometry and static conditions as available at several facilities. The elaboration of the acquired data showed a a satisfactory efficacy of the dampers made of NiTi wires in smoothing the cable oscillations. A further attempt to investigate the applicability of the achieved results beyond the specific case-studies represented by the tested cable-stayed samples is herein pursued. Comparative studies are carried out by varying the diameter of the NiTi wire so that similar measurements can be taken also from laboratory steel cables of reduced size. Details of the preparation of the Ni-Ti wires are discussed with particular attention being paid to the suppression of the creep phenomenon. The resulting shape of the hysteretic cycle differs according to the wire diameter, which affects the order of the fitting polynomial to be used when trying to retrieve the experimental results by numerical analyses. For a NiTi wire of given diameter, an estimate of the amount of dissipated energy per cycle is given at low levels of maximum strain, which correspond to a fatigue fracture life of the order of millions of cycles. The dissipative capability is affected by both the temperature and the cycling frequency at which the tests are performed. Such effects are quantified and an ageing process is proposed in order to extend the working temperature range of the damper to cold weathers typical of the winter season in Northern Europe and Canada. A procedure for the simulation of the shape memory alloy behavior in lengthy cables by finite element analysis is eventually outlined.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.23 no.3
• /
• pp.248-257
• /
• 2011

In the present study, we proposed a new numerical wave tank model to analyze the vertical tension-leg circular floating bodies, using a 2-D Navier-Stokes solver. An IBM(Immersed Boundary Method) capable of handling interactions between waves and moving structures with complex geometry on a standard regular Cartesian grid system is coupled to the VOF(Volume of Fluid) method for tracking the free surface. Present numerical results for the motions of the floating body were compared with existing experimental data as well as numerical results based on FAVOR(Fractional Area Volume Obstacle Representation) algorithm. For detailed examinations of the present model, the additional hydraulic experiments for floating motions and free surface transformations were conducted. Further, the versatility of the proposed numerical model was verified via the numerical and physical experiments for the general rectangular floating bodies. Numerical results were compared with experiments and good agreement was archived.