• 대한수학회지
• /
• 제47권5호
• /
• pp.1017-1029
• /
• 2010

In this paper we obtain a very general theorem of $\rho$-compatibility for three multivalued mappings, one of them from the class $\mathfrak{B}$. More exactly, we show that given a G-convex space Y, two topological spaces X and Z, a (binary) relation $\rho$ on $2^Z$ and three mappings P : X $\multimap$ Z, Q : Y $\multimap$ Z and $T\;{\in}\;\mathfrak{B}$(Y,X) satisfying a set of conditions we can find ($\widetilde{x},\;\widetilde{y}$) ${\in}$ $X\;{\times}\;Y$ such that $\widetilde{x}\;{\in}\;T(\widetilde{y})$ and $P(\widetilde{x}){\rho}\;Q(\widetilde{y})$. Two particular cases of this general result will be then used to establish existence theorems for the solutions of some general equilibrium problems.

• Korean Journal of Mathematics
• /
• 제26권2호
• /
• pp.175-189
• /
• 2018

In this paper, at first we generalize the notion of algebra over a field. A ${\Gamma}$-algebra is an algebraic structure consisting of a vector space V, a groupoid ${\Gamma}$ together with a map from $V{\times}{\Gamma}{\times}V$ to V. Then, on every associative ${\Gamma}$-algebra V and for every ${\alpha}{{\in}}{\Gamma}$ we construct an ${\alpha}$-Lie algebra. Also, we discuss some properties about ${\Gamma}$-Lie algebras when V and ${\Gamma}$ are the sets of $m{\times}n$ and $n{\times}m$ matrices over a field F respectively. Finally, we define the notions of ${\alpha}$-derivation, ${\alpha}$-representation, ${\alpha}$-nilpotency and prove Engel theorem in this case.

• 소성∙가공
• /
• 제4권4호
• /
• pp.390-397
• /
• 1995

A simple kinematically admissible velocity field is proposed to determine the final-stage extrusion load and the average extruded length in the square-die forward extrusion of non-axisymmetric bars from circular billets. The proposed velocity field is applied to the square-die extrusion of trochoidal gear-shaped bars and rectangular-shaped bars. The profile function of a rectangle is approximated by using a Fourier series. Experiments have been carried out with hard solder billets at room temperature. The theoretical predictions of the extrusion load are in good agreements with the experimental results and there is generally reasonable agreements in average extruded length between theory and experiment.

• 소성∙가공
• /
• 제4권3호
• /
• pp.257-266
• /
• 1995

A simulation method based on upper bound method is developed in order to characterize forging characters in forging of spur gears. In this paper, utilizing a kinematically admissible velocity field and applying it to investigate the effect of inner diameter of holow billet. In the analysis, to predict the variation of inner diameter of hollw billet, neutral surface has been introduced. The neutral surface of each step is assumed as a circle and determined in order to have minimum forging energy by golden section method. By this method, the variation of inner diameter of billet during spur gear forging is successfully predicted. As a result, the selection of inner diameter of initial billet is very important to reduce the forging load.

• 소성∙가공
• /
• 제21권8호
• /
• pp.506-511
• /
• 2012

Aluminum brazing normally requires a careful control of temperature due to the small interval between brazing and melting temperatures for base materials. Unsuitable processing conditions, including brazing temperature outside admissible range, gap between brazed materials or inadequate flux feeding, can lead to joining defects. In this study, A357 was used as a filler metal for the brazing of pure aluminum base materials and brazed at temperatures in the semi-solid state. Interface microstructures with base materials were observed using optical metallography(OM) and scanning electron microcopy(SEM) with energy dispersive spectroscopy(EDS), and compared to conventional aluminum brazing.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1996년도 추계학술대회 논문집
• /
• pp.144-149
• /
• 1996

In this paper, the clamping type forging of helical gears has been investigated. Clamping type forging is an operation in which the product is constrained to extrude sideways through an orifice in the container wall. Punch is cylindrical shaped. The punch compresses a cylindrical billet placed in a die insert. As a consequence the material flows in a direction perpendicular to that of punch movement. The forging has been analysed by using the upper-bound method. A kinematically admissible velocity field has been developed, wherein, an involute curve has been introduced to represent tooth profile of the gear. Numerical calculations have been carried out to investigate the effects of various parameters, such as module, number of teeth, helix angle, friction factor and initial height of billet on the forging of helical gears.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 춘계학술대회 논문집
• /
• pp.183-186
• /
• 1995

A simulation method basee on upper bound method is developed in order to characterize forging characters in forging of spur gears. In this paer, utlizing a kinematically admissible velocity field and applying it to study the effect of inner diameter of holow billet. To predict the variation of inner diameter of hollow billet, neutal surface has been introduced into forging of hollow gears from hollow billes with flat punch. The neutral surface of each step is assumed as a circle and determined in order to have minimum forging energy by golden section method. According to the analysis, the magnitude of inner diameter of initial billet is vary important to reduce the relative pressure and forging load. And the variation of inner diameter of billet during spur gear forging is successfully predicted.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1996년도 추계학술대회 논문집
• /
• pp.134-138
• /
• 1996

A simple kinematically admissible velocity field for closed-die forging of clutch teeth is analysed which takes account of the profiled teeth chosen kinematically by approximating these as straight taper teeth. The upper bound load and the deformed configurations are predicted by the velocity field at varying punch movements considering differing frictional factors. Experiments were carried out using a model material of plasticine at room temperature where talcum powder was used as a lubricant. The theoretical predictions of the forging load and the relative pressures are found to be in reasonably good agreement with the experimental results.

• 소음진동
• /
• 제6권1호
• /
• pp.83-88
• /
• 1996

The significance of spectral element method is that it can treat the mass and stiffness distribution exactly in contrast to the conventional finite element method, and therefore the dynamic behaviors within each spectral element can be obtained exactly. The present study provides the derivation of the spectral element of a curved beam, while the previous ones presented that of a straight structure. Further, in order to verify the derived spectral element, the natural frequencies of a ring by the spectral element method are compared with those by the analytical method and those by the FEM. From the verification, derived spectral element is admissible. And the dynamic behaviors of curved beam are simulated by using the derived spectral element of a curved beam.

• 한국산업융합학회 논문집
• /
• 제2권2호
• /
• pp.187-194
• /
• 1999

Closed-die forging of spline was analysed using the upper bound elemental technique, Two different forging methods, denoted here as side extrusion-forging and upset forging, were proposed, The kinematically admissible velocity fields for each of the forging methods, which could express trapezoidal, rectangular and serration tooth forms, were presented. Upper bounds to forging loads and deformed configurations were predicted using the velocity fields. Theoretical results were compared with experimental ones. Experiments with lead were carried out at room temperature where grease was used as a lubricant. The present investigation revealed that analytical forging loads were reduced by using the side extrusion-forging but the upset forging could improve configuration of the final forged splines.