• Journal of applied mathematics & informatics
• /
• 제15권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.

• 대한수학회지
• /
• 제49권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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 춘계학술대회 논문집
• /
• 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

• 한국CDE학회논문집
• /
• 제15권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.

• 전자공학회논문지A
• /
• 제29A권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.

• 호남수학학술지
• /
• 제45권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.

• 대한수학회보
• /
• 제48권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}}$.

• 전산구조공학
• /
• 제10권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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -1
• /
• 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.

• 한국통신학회논문지
• /
• 제21권4호
• /
• pp.996-1007
• /
• 1996

이 논문에서는 비최소위상(nonminimum phase) 채널을 등화할 수 있는 판정궤환(decision feedback equalizer)에 대한 자력등화 기법을 제안한다. 등화기는 선형필터와 예측에러 필터(prediction error filter)의 결합으로 이루어지며 각 부분에 대해 서로 다른 알고리듬을 적용한다. 즉 선형필터는 CMA(constant modulus algorithm)를 적용하여 계수를 추정하며, 예측에러 필터는 판정궤환 예측 알고리듬(decision feedback prediction algorithm)을 적용하여 필터의 계수를 추정한다. 제안한 알고리듬은 판정궤환 등화기의 FFF(feedforward filter)부를 이루는 선형필터가 수렴할 때 항상 작은 오율을 나타내는 계수로의 수렴을 보장한다. 모의실험을 통해 제안한 자력등화알고리듬의 유효성을 몇개의 채널에 대해 예를 들었으며 기존의 자력등화 알고리듬과 성능을 비교하였다.