• Journal of applied mathematics & informatics
• /
• v.15 no.1_2
• /
• pp.277-284
• /
• 2004

An m-transversal to a family of convex sets in the plane is an m-point set which intersects every members of the family. One of Grubaum's conjectures says that a planar family of translates of a convex compact set has a 3-transversal provided that any two of its members intersect. Recently the conjecture has been proved affirmatively (see [4]). In the present paper we provide a different and straightforward proof for the conjecture for the family of translates of a closed trapezoid in the plane and give several concrete 3-transversals.

• Journal of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.977-991
• /
• 2012

Let (M,F) and (M',F') be two foliated Riemannian manifolds with M compact. If the transversal Ricci curvature of F is nonnegative and the transversal sectional curvature of F' is nonpositive, then any transversally harmonic map ${\phi}:(M,F){\rightarrow}(M^{\prime},F^{\prime})$ is transversally totally geodesic. In addition, if the transversal Ricci curvature is positive at some point, then ${\phi}$ is transversally constant.

• Proceedings of the KSR Conference
• /
• 2004.06a
• /
• pp.1084-1089
• /
• 2004

Recently, Orthotropic steel deck bridges, which have long span decks, have been regarded as one of economical as well as durable bridge types. However, Orthotropic steel deck bridge is used by a lot of welding, which may cause welding defect and deformation of connections. This kind of system happens some damages by the fatigue cracks of welding. The cross-connection of longitudinal rib and transversal rib is one of the weakest point because of the fatigue. The secondary stresses which are from the out-plane deformation of transversal rib and the torsion of longitudinal rib make the topical stress concentration phenomenon. But, it is principle that a Bulkhead Plate is not established in the domestic design standard. Therefore, it is estimated that a study for the installing of Bulkhead Plate is needed. This study with considering these circumstances proves efficiency of Bulkhead Plate and will be presented optimal design details through finite element analysis according to change the geometrical system of Bulkhead Plate and the cross-connection area of longitudinal and transversal rib

• Korean Journal of Computational Design and Engineering
• /
• v.15 no.3
• /
• pp.178-188
• /
• 2010

This paper addresses the problem of determining if two surfaces intersect tangentially or transversally in a mathematically consistent manner and approximating an intersection curve. When floating point arithmetic is used in the computation, due to the limited precision, it often happens that the decision for tangential and transversal intersection is not clear cut. To handle this problem, in this paper, interval arithmetic is proposed to use, which provides a mathematically consistent way for such decision. After the decision, the intersection is traced using the validated ODE solver, which runs in interval arithmetic. Then an iterative method is used for computing the accurate intersection point at a given arc-length of the intersection curve. The computed intersection points are then approximated by using a B-spline curve, which is provided as one instance of intersection curve for further geometric processing. Examples are provided to demonstrate the proposed method.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.29A no.3
• /
• pp.96-105
• /
• 1992

The use of fixed-point digital signal processors, such as the TMS 320C25, requires scaling of data at each arithmetic step to prevent overflows while keeping the accuracy. A software which automatizes this process is developed for TMS 320C25. The programmers use a model of a hypothetical floating-point digital signal processor and a floating-point format for data representation. However, the program and data are automatically translated to a fixed-point version by this software. Thus, the execution speed is not sacrificed. A fixed-point variable has a unique binary-point location, which is dependent on the range of the variable. The range is estimated from the floating-point simulation. The number of shifts needed for arithmetic or data transfer step is determined by the binary-points of the variables associated with the operation. A fixed-point code generator is also developed by using the proposed automatic scaling software. This code generator produces floating-point assembly programs from the specifiations of FIR, IIR, and adaptive transversal filters, then floating-point programs are transformed to fixed-point versions by the automatic scaling software.

• Honam Mathematical Journal
• /
• v.45 no.4
• /
• pp.648-654
• /
• 2023

Schwarz lemma at the non-smooth boundary point for holomorphic self-map on the intersection of two balls in ℂ² is obtained. At the complex tangent point in the corner of the boundary of the domain, the tangential eigenvalue of the complex Jacobian of the holomorphic map is estimated if the map is transversal.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.4
• /
• pp.769-777
• /
• 2011

It was obtained in [5] generalized Lichnerowicz and Obata theorems for Riemannian foliations, which reduce to the results on Riemannian manifolds for the point foliations. Recently in [3], they studied a generalized Obata theorem for Riemannian foliations admitting transversal conformal fields. Each transversal conformal field is a ${\lambda}$-automorphism with ${\lambda}=1-{\frac{2}{q}}$ in the sense of [8]. In the present paper, we extend certain results established in [3] and study Riemannian foliations admitting ${\lambda}$-automorphisms with ${\lambda}{\geq}1-{\frac{2}{q}}$.

• Computational Structural Engineering
• /
• v.10 no.2
• /
• pp.139-148
• /
• 1997

A finite element method is programmed to analyse the nonlinear behavior of axisymmetric structures. The lst order Mindlin shell theory which takes into account the transversal shear deformation is used to formulate a conical two node element with six degrees of freedom. To evade the shear locking phenomenon which arises in Mindlin type element when the effect of shear deformation tends to zero, the reduced integration of one point Gauss Quadrature at the center of element is employed. This method is the Updated Lagrangian formulation which refers the variables to the state of the most recent iteration. The solution is searched by Newton-Raphson iteration method. The tangent matrix of this method is obtained by a finite difference method by perturbating the degrees of freedom with small values. For the moment this program is limited to the analyses of non-linear elastic problems. For structures which could have elastic stability problem, the calculation is controled by displacement.

• Proceedings of the IEEK Conference
• /
• 2000.07a
• /
• pp.260-263
• /
• 2000

A technique that uses linear prediction to achieve noise reduction in a voice signal which has been mixed with an ambient noise (Signal to Noise (S-N) ratio = about 0dB) is proposed. This noise reduction method which is based on the linear prediction estimates the voice spectrum while ignoring the spectrum of the noise. The performance of the noise reduction method is first examined using the transversal linear predictor filter. However, with this method there is deterioration in the tone quality of the predicted voice due to the low level of the S-N ratio. An additional processing circuit is then proposed so as to adjust the noise reduction circuit with an aim of improving the problem of tone deterioration. Next, we consider a practical application where the effects of round on errors arising from fixed-point computation has to be minimized. This minimization is achieved by using the lattice predictor filter which in comparison to the transversal type, is Down to be less sensitive to the round-off error associated with finite word length operations. Finally, we consider a practical application where noise reduction is necessary. In this noise reduction method, both the voice spectrum and the actual noise spectrum are estimated. Noise reduction is achieved by using the linear predictor filter which includes the control of the predictor filter coefficient’s update.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.4
• /
• pp.996-1007
• /
• 1996

In this paper, a blind adaptation method for a decision feedback equalizer (DFE) is proposed to deal with nominimum phase channels. This equalizer is composed of a linear transversal filter and a prediction error filter which are trained separately using constant modulus and decision feedback prediction algorithms, respectively, during the learnign time. The proposed algorithm guaranetees the DFE to converge to a suboptimal point on the condition that a linear transversal of the proposed scheme is illustrated and the performance is compared with conventional blind equlization algorithms.