• Communications of the Korean Mathematical Society
• /
• v.13 no.4
• /
• pp.933-936
• /
• 1998

We aim at giving another method of proving the well-known and useful Kummer's second theorem without changing its original form.

• Communications of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.37-44
• /
• 2018

We prove some theorems showing that a right Jordan ideal or a left Jordan ideal of a 3-prime near-ring must be commutative if it admits a nonzero derivation acting as a homomorphism or an antihomomorphism. Moreover, we give examples proving necessity of the conditions given.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.195-203
• /
• 2023

Special examples of harmonic manifolds that are not symmetric, proving that the conjecture posed by Lichnerowicz fails in the non-compact case have been intensively studied. We completely classify homogeneous structures on Damek-Ricci spaces equipped with the left invariant metric.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.14 no.2
• /
• pp.105-111
• /
• 2015

Car manufacturers and part manufacturers each have their own criteria with regard to strength, stiffness and NVH performance levels. Part manufacturers typically investigate such performances according to the part unit. To do this, the part manufacturer receives information from the relevant car maker. However, the information provided by the car maker is limited, making it difficult to develop a part which meets all of the design requirements specified by the car unit overall. To overcome this difficulty, the utilization of a VPG system is recommended for the designer. In this study, the durability performance of an optimized control arm as suggested in a previous study was investigated using the ETA-VPG, LS-dyna and FE/safe software packages. ETA-VPG provides several types of suspension and steering parts. In this study, a complete car is created using the library included in ETA-VPG, with the exception of the control arm. We also conducted a virtual proving ground analysis to predict the life cycle of the control arm.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.21 no.5
• /
• pp.614-622
• /
• 2018

Based on army operating road profile, the endurance test of military vehicle aims to reproduce the similar loading conditions with mixture of proving ground tracks. It is so called as endurance test mode and its optimal generation is important to meet high reliability of endurance test. In this paper, proving ground optimization is proposed to achieve a close match to the target profile. Several performance measures such as torque-revolution counts or transmission ratio for the powertrain system can be considered as one of the objective functions. However, the one-side optimal endurance test mode may give the poor solution in the whole system point of view. To incorporate several goals simultaneously, this paper employs multi-objective optimization technique to generate endurance test mode. One of the most widely used method, weighted-sum method is applied here and the case study is discussed.

• Research in Mathematical Education
• /
• v.14 no.3
• /
• pp.195-209
• /
• 2010

Utilizing a structure of operations known as Dissection-Motion-Operations (DMO), a set of mathematics propositions or area-formulas in school mathematics will be introduced through shape-to-shape transforms. The underlying theme for DMO is problem-solving through visual reasoning and proving manipulatively or electronically vs. rote learning and memorization. Visual reasoning is the focus here where two operations that constitute DMO are utilized. One operation is known as Dissection (or Decomposition) operation that operates on a given region in 2D or 3D and dissects it into a number of subregions. The second operation is known as Motion (or Composition) operation applied on the resultant sub-regions to form a distinct area (or volume)-equivalent region. In 2D for example, DMO can transform a given polygon into a variety of new and distinct polygons each of which is area-equivalent to the original polygon (cf [Rahim, M. H. & Sawada, D. (1986). Revitalizing school geometry through Dissection-Motion Operations. Sch. Sci. Math. 86(3), 235-246] and [Rahim, M. H. & Sawada, D. (1990). The duality of qualitative and quantitative knowing in school geometry, International Journal of Mathematical Education in Science and Technology 21(2), 303-308]).

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.18 no.3
• /
• pp.368-374
• /
• 2008

Multi-axial simulation table(MAST) is widely used in motor companies as the multi-axial excitor for vibration fatigue of target component, which provides the vibrational condition as close as the vehicle test. However, the vibration fatigue performance of target component can be guaranteed with MAST system only in case the input profile covers the required severity of the target component on field test. In this paper, the signal processing for multi-axial vibration fatigue test on vehicle component is presented, from the data acquisition of the target component to the derivation of input profile. To compare the severity of vibration condition between field and proving ground, the energy principle of a equivalent damage is proposed and then, it is determined the optimal combination of special events on proving ground using a sequential searching optimal algorithm. To explain the vibration methodology clearly, seat and door component of vehicle are selected as a example.

• 한국전산유체공학회:학술대회논문집
• /
• 2006.05a
• /
• pp.94-99
• /
• 2006

As part of a Department of Defense Grand Challenge Project, advanced high performance computing (HPC) time-accurate computational fluid dynamics (CFD) techniques have been developed and applied to a new area of aerodynamic research on microjets for control of small and medium caliber projectiles. This paper describes a computational study undertaken to determine the aerodynamic effect of flow control in the afterbody regions of spin-stabilyzed projectiles at subsonic and low transonic speeds using an advanced scalable unstructured flow solver in various parallel computers such as the IBM SP4 and Linux Cluster. High efficiency is achieved for both steady and time-accurate unsteady flow field simulations using advanced scalable Navier-Stokes computational techniques. Results relating to the code's portability and its performance on the Linux clusters are also addressed. Numerical simulations with the unsteady microjets show the jets to substantially alter the flow field both near the jet and the base region of the projectile that in turn affects the forces and moments even at zero degree angle of attack. The results have shown the potential of HPC CFD simulations on parallel machines to provide to provide insight into the jet interaction flow fields leading to improve designs.

• Journal of the Korean School Mathematics Society
• /
• v.2 no.1
• /
• pp.121-131
• /
• 1999

Recently our educational methodologies have been changed to an open, student-centered structure. Mathematics is now learned through experiential interaction and less emphasis is placed on abstract theories. For example, the axioms of the geometry in the middle school curriculum have been expressed by using symbolic letters. Students find these abstractions very difficult and it hinders their ability to grasp the significance of geometrical concepts. In an effort to simplify these abstract concepts and enhance the students interest and ability to learn, the GSP (Geometry Sketchpad) is proving to be a useful and effective tool. First, Second and third grade students have found the GSP to be extremely useful. While the pad has no sound function it still enables the students to freely change diagrams without disrupting the integrity of the program. There is also a running order of instructions at the bottom of the screen to facilitate the step by step understanding of mathematical procedures. This function makes the program ideal for use by teachers, students and even beginners. Anyone experiencing difficulty can get immediate assistance from the guidebook which is located at the back of each program. Allowing individuals to manipulate and actually see the changing deductions and axiom proofs on the computer screen provides them with immediate feedback and reinforcement. It also enhances their overall interest in learning geometry. The use of the GSP is proving to be an innovative and effective tool in facilitating the transition of mathematics into an open, student-centered educational forum.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.29 no.6
• /
• pp.783-792
• /
• 2005

The purpose of this research is to develop appropriate Insole according to foot characteristics of female adults. This research concentrates on proving the effectiveness of Insole on resolving foot discomforts by analyzing the differences between the fitting and foot pressure before and after wearing Insole. Among 216 female testers of previous research, six testers wear selected and placed into six different groups classified according to foot discomforts and foot characteristics. After wearing Insole, the results indicates that the entire groups represented the improvement of fitting and the mitigation of foot discomfort. The results of foot pressure experiment shows that the maximum pressure of foot spreads out evenly after wearing Insole, which indicates the effectiveness of Insole. This efficacy works particularly well for foot testers of second and sixth group. The results indicate that group 6, which consist of the flat-footed and the old, have more noticeable effects derived from Insole, whereas group 3 and 5 do not, due to its constitution of people with fairly normal feet. Furthermore, it was evident that maximum pressure played a major role in proving the beneficial effects of Insole, one of which is to scatter the maximum pressure of heel away and lessen the foot pressure of plantar.