• Journal of Information Processing Systems
• /
• v.10 no.4
• /
• pp.523-542
• /
• 2014

One-dimensional arrays with subscripts formed by induction variables in real programs appear quite frequently. For most famous data dependence testing methods, checking if integer-valued solutions exist for one-dimensional arrays with references created by induction variable is very difficult. The I test, which is a refined combination of the GCD and Banerjee tests, is an efficient and precise data dependence testing technique to compute if integer-valued solutions exist for one-dimensional arrays with constant bounds and single increments. In this paper, the non-continuous I test, which is an extension of the I test, is proposed to figure out whether there are integer-valued solutions for one-dimensional arrays with constant bounds and non-sing ularincrements or not. Experiments with the benchmarks that have been cited from Livermore and Vector Loop, reveal that there are definitive results for 67 pairs of one-dimensional arrays that were tested.

• Journal of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.793-805
• /
• 2017

In this paper, we prove that the Ricci tensor of a three-dimensional almost Kenmotsu manifold satisfying ${\nabla}_{\xi}h=0$, $h{\neq}0$, is ${\eta}$-parallel if and only if the manifold is locally isometric to either the Riemannian product $\mathbb{H}^2(-4){\times}\mathbb{R}$ or a non-unimodular Lie group equipped with a left invariant non-Kenmotsu almost Kenmotsu structure.

• Journal of the Korean Mathematical Society
• /
• v.54 no.2
• /
• pp.493-506
• /
• 2017

In this paper, we define the modulus of n-dimensional U-flatness as the determinant of an $(n+1){\times}(n+1)$ matrix. The properties of the modulus are investigated and the relationships between this modulus and other geometric parameters of Banach spaces are studied. Some results on fixed point theory for non-expansive mappings and normal structure in Banach spaces are obtained.

• Journal of the Korean Mathematical Society
• /
• v.36 no.1
• /
• pp.1-13
• /
• 1999

Let G be the 3-dimensional Heisenberg group. A discrete subgroup of Isom(G), acting freely on G with non-compact quotient, must be isomorphic to either 1, Z, Z2 or the fundamental group of the Klein bottle. We classify all discrete representations of such groups into Isom(G) up to affine conjugacy. This yields an affine calssification of 3-dimensional non-compact infra-nilmanifolds.

• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• pp.912-915
• /
• 2002

In this report, we propose a non-separable two-dimensional (2D) Lossless Wavelet Transform (LWT) for image compression. Filter characteristics of our proposed LWT are the same as those or conventional 2D LWT based on applying 1D LWT twice but our coding performance is better due to reduction of rounding effects. Simulation results confirm effectiveness of our proposed LWT.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.4 no.2
• /
• pp.153-163
• /
• 2000

The non-dimensional convective heat losses from each surface are investigated as a function of the non-dimensional fin length, width and the ratio of upper surface Biot number to bottom surface Biot number (Bi2/Bi1) using the three-dimensional separation of variables method. Heat loss ratio in view of each surface with the variation of Bi2/Bi1 is presented. The variation of the non-dimensioal temperare profile along the fin center line for a thermally asymmetric conditions is also presented.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.41 no.1
• /
• pp.31-40
• /
• 2017

Absolute nodal coordinate formulation was developed in the mid-1990s, and is used in the flexible dynamic analysis. In the process of deriving the equation of motion, if the order of polynomial referring to the displacement field increases, then the degrees of freedom increase, as well as the analysis time increases. Therefore, in this study, the primary objective was to reduce the analysis time by transforming the dimensional equation of motion to a non-dimensional equation of motion. After the shape function was rearranged to be non-dimensional and the nodal coordinate was rearranged to be in length dimension, the non-dimensional mass matrix, stiffness matrix, and conservative force was derived from the non-dimensional variables. The verification and efficiency of this non-dimensional equation of motion was performed using two examples; cantilever beam which has the exact solution about static deflection and flexible pendulum.

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.1754-1757
• /
• 1997

Three-dimensional optimum design of coat-hanger die is performed using power-law and Carreau models. It is found that the three-dimensional optimum design algorithm shows good convergence with the non-Newtonian fludis. the nore realistic optimum design is accomplished by employing Carreau model with the three-dimensional design method. The effect of vixcosity modles is investigated by comparing the optimum manifold profiles and flow rate distributions of power-law and Carreau modles. Through the accurated viscosity representation of Carreau model, the effect of total flow rate on the optimum manifold profile is investigated.

• Communications of the Korean Mathematical Society
• /
• v.24 no.2
• /
• pp.265-275
• /
• 2009

The object of the present paper is to study 3-dimensional normal almost contact metric manifolds satisfying certain curvature conditions. Among others it is proved that a parallel symmetric (0, 2) tensor field in a 3-dimensional non-cosympletic normal almost contact metric manifold is a constant multiple of the associated metric tensor and there does not exist a non-zero parallel 2-form. Also we obtain some equivalent conditions on a 3-dimensional normal almost contact metric manifold and we prove that if a 3-dimensional normal almost contact metric manifold which is not a ${\beta}$-Sasakian manifold satisfies cyclic parallel Ricci tensor, then the manifold is a manifold of constant curvature. Finally we prove the existence of such a manifold by a concrete example.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.20 no.2
• /
• pp.689-696
• /
• 1996

A comparison is made of the heat loss from a hollow cylinder, computed using an one-dimensional analytic method and a two-dimensional separation of variables scheme. For a two-dimensional analysis, the temperature of the inner surface as a boundary condition can be varied along the length of the cylinder by varing the temperature variation factor, b. Comparisons of the heat loss from the hollow cylinder using these two methods are given as a function of non-dimensional cylinder length, the ratio of the outer radius to the inner radius, temperature variation factor and Biot number. The result shows that the value of the heat loss from the hollow cylinder obtained using the one-dimensional analytic method becomes close to the value given by the two-dimensional separation of variables scheme as the value of Biot number and the non-dimensional hollow cylinder length increase and as the ratio of the outer radius to the inner radius decreases.