• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1265-1283
• /
• 2019

We develop a framework to construct geometric representations of finite groups G through the correspondence between real toric spaces $X^{\mathbb{R}}$ and simplicial complexes with characteristic matrices. We give a combinatorial description of the G-module structure of the homology of $X^{\mathbb{R}}$. As applications, we make explicit computations of the Weyl group representations on the homology of real toric varieties associated to the Weyl chambers of type A and B, which show an interesting connection to the topology of posets. We also realize a certain kind of Foulkes representation geometrically as the homology of real toric varieties.

• Spatial Information Research
• /
• v.20 no.2
• /
• pp.117-127
• /
• 2012

The purpose of this study is to develop the auto-building algorithm of the Geometric Network Model(GNM), a topology model including geometric information because of the need to reflect the features' geometric characteristic into the topology model, which is for development of indoor 3D virtual model enabling queries. As the critical algorithm, the Straight Medial Axis Transformation(SMAT) algorithm is proposed in order to automatically extract the medial axis of features. The SMAT algorithm is generalized from the existing S-MAT algorithm and a range of target features where applicable is extended from simple polygons to weakly simple polygons which mean the polygons containing the inner ring inside. The GNM built automatically is finally printed out as the .csv file for easy access and w ide application in other systems. This auto-building algorithm of the GNM is available for plenty of cases such as finding a shortest path, guiding a route in emergency situation, and semantic analysis.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.14 no.1
• /
• pp.13-22
• /
• 1990

A general analysis method is proposed for analysis of the superposed structures with geometric and material nonlinearities. It is presumed that no friction occurs between structures. It utilizes a shell element for the geometric and material nonlinearities and imposes various deformation constraints for the contact and interaction between structures. To show the reliability and effectiveness of this method, superposed cantilevers for which exact solutions can be obtained and holddown spring assemblies which are now used in PWR reactors are chosen as analysis models. The results of analyses were compared with exact solution in the case of cantilevers and with test results in the case of holddown spring assemblies. The analysis results obtained by this method showed good agreement with the reference values.

• School Mathematics
• /
• v.3 no.2
• /
• pp.281-294
• /
• 2001

As a measure of the center of data, arithmetical mean, median, mode, harmonic mean and geometric mean are generally used. Students must learn qualitative aspect of average values as well as its calculation for its adequate use. As the result of the learning, they should be able to select the appropriate average value according to the characteristic of data and problem context. For this object, the historical origin and visual interpretation of average values were introduced in this paper. And to help teaching several meanings of average values, several examples including context were suggested.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 1999.10a
• /
• pp.432-439
• /
• 1999

In this paper, an off-line programming(OLP) system is presented as the three dimensional graphic simulator and one of the human-robot interface systems for industrial robots. The OLP system has been especially developed to testify robot programs visually using three dimensional geometric modeling and graphics technologies in personal computes. A special feature is its capability of collision detection and of comparing performance of control algorithms. This paper places the focus on the structure and major characteristic of OLP system.

• Transactions of Materials Processing
• /
• v.8 no.5
• /
• pp.449-453
• /
• 1999

Sheet metal forming process is a non-linearity problem which is affected by various process variables, such as geometric shape of punch and die, frictional characteristic, etc.. Therefore, the knowledge of the influence of the process variables is needed in the design of sheet metal working processes. In this paper, cylindrical cup drawing tests for blank holding force, punch speed and lubrication between sheet material and tool were carried out to investigate the influence upon sheet formability. Experimental results were discussed about the defects on the deformation behaviors during the forming process.

• 한국전산유체공학회:학술대회논문집
• /
• 2002.10a
• /
• pp.88-94
• /
• 2002

Curved intakes are commonly used from commercial aircraft to military missile. Sound radiation from the intake of air vehicle affects cabin noise, community noise and military detection. In this paper, Sound radiation from curved intake is computed using the high order, high resolution scheme. The generalized characteristic boundary conditions, adaptive nonlinear artificial dissipation model and conformal mapping for high order, high resolution scheme are used. The geometric change of curved intake and the frequency of acoustic source are considered. Two dimensional Euler equations are solved for theses analyses.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.23 no.56
• /
• pp.55-64
• /
• 2000

There is more than a single quality characteristic and they are often of varying or mixed target types. The purpose of this paper is to develop general strategies for solving the multiple response robust design problem. The desirability function provides an important tool to solve problems that have different types of target since the desirability values all the range between zero and one. Several combinations of arithmetic averages, geometric averages, and standard deviations are used in the various strategies to find the best design point.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.52 no.2
• /
• pp.39-52
• /
• 2003

This paper deals with an automatic design procedure for the maximum torque density and power factor in a synchronous reluctance motor (SynRM). The focus of this paper is the design relative to the number of flux barrier and the ratio Kw of flux barrier width to iron sheet width of a SynRM under the mechanical constraint. The Finite Elements Analysis (FEA) has been used to evaluate the maximum torque density and power factor with each rotor shape. The proposed procedure allows to define the rotor geometric dimensions starling from an existing mootor or a preliminary design. The maximum torque density and power factor of a SynRM has been resulted with the rotor design variation. To prove the propriety of the designed SynRM, the Digital Signal Processor (DSP) installed experimental devices are equipped and the efficiency characteristic test is Performed.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.2
• /
• pp.108-115
• /
• 2011

This paper describes a new sensor system for mobile robot motion estimation using stereo infrared light sources and a camera. Visibility is being applied to robotic obstacle avoidance path planning and localization. Using simple visibility computation, the environment is partitioned into many visibility sectors. Based on the recognized edges, the sector a robot belongs to is identified and this greatly reduces the search area for localization. Geometric modeling of the vision system enables the estimation of the characteristic pixel position with respect to the robot movement. Finite difference analysis is used for incremental movement and the error sources are investigated. With two characteristic points in the image such as vertices, the robot position and orientation are successfully estimated.