• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.1024-1030
• /
• 1993

In manufacturing press die with free surface, grinding operation is an important post process for surface finish and dimensional accuracy. With the advancement of NC technology. surface grinding operation is increasingly replaced by the gantry type manipulator. As the mechanics for grinding operation is different from machining operation, conventional CAM system for machining operation is hard to apply. In this. paper, we develop a five-axis CAM system by which an efficient gantry trajectory can be planned and verified. The developed system consists of four conceptual modules; namely CAD, PROCESS. CAM, and ANALYSIS. In the CAD module, the machined surface is represented by CL-data or surface modeler, and process parameters are specified by the PROCESS module. Then, the CAM module generates a series of grinding paths based on the grinding mechanics together with process databases for tool spaces and grinding conditions. The generated paths are verified via ANALYSIS module. Validation via real experiments is left for further study.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.15 no.11 s.104
• /
• pp.1268-1275
• /
• 2005

Vibration in Engine module could be reduced by introducing a balance shaft module which has one or more unbalanced rotors. Since the unbalanced rotor is installed in an opposite direction of the free force or unbalance moment by engine component, the unexpected vibration could be decreased kinematically. The essential equation of the unbalanced rotor was Presented for two cases, 3 in-line and 4 in-line cylinder engine type, And the efficiency of the balance shaft is investigated by the vehicle testing that is focused on measuring the reduced vibration level when adapting a balancing module. With the signal processing of measured signals, some important issues on design the balancing shaft could be derived and the overall design process is explained in the final part including the peripheral component, i.e. housing and bush.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.4
• /
• pp.777-787
• /
• 2009

In this paper we investigate the upper bound on the Castelnuovo-Mumford regularity of a graded module with linear free presentation. Let M be a finitely generated graded module over a polynomial ring R with zero dimensional support. We prove that if M is generated by elements of degree $d{\geq}0$ with a linear free presentation $$\bigoplus^p{R}(-d-1)\longrightarrow^{\phi}\bigoplus^q{R}(-d){\longrightarrow}M{\longrightarrow}0$$, then the Castelnuovo-Mumford regularity of M is at most d+q-1. As an important application, we can prove vector bundle technique, which was used in [11], [13], [17] as a tool for obtaining several remarkable results.

• Communications of the Korean Mathematical Society
• /
• v.21 no.1
• /
• pp.11-16
• /
• 2006

In this article we show that if R is a Noetherian ring with the global dimension at most one, then every S-torsion free R-module T has a divisible envelope of the form $T{\hookrightarrow}S^{-1}T$

• Journal of Korean Institute of Industrial Engineers
• /
• v.19 no.3
• /
• pp.123-137
• /
• 1993

In this paper, an integrated approach is proposed to generate gouging-free Cartesian tool paths for machining sculptured surfaces from 3D measurement data. The integrated CAD/CAM system consists of two modules : offset surface module an Carteian tool path module. The offset surface module generates an offset surface of an object from its 3D measurement data, using an offsetting method and a surface fitting method. The offsetting is based on the idea that the envelope of an inversed tool generates an offset surface without self-intersection as the center of the inversed tool moves along on the surface of an object. The surface-fitting is the process of constructing a compact representation to model the surface of an object based on a fairly large number of data points. The resulting offset surtace is a composite Bezier surface without self-intersection. When an appropriate tool-approach direction is selected, the tool path module generates the Cartesian tool paths while the deviation of the tool paths from the surface stays within the user-specified tolerance. The tool path module is a two-step process. The first step adaptively subdivides the offset surface into subpatches until the thickness of each subpatch is small enough to satisfy the user-defined tolerance. The second step generates the Cartesian tool paths by calculating the intersection of the slicing planes and the adaptively subdivided subpatches. This tool path generation approach generates the gouging-free Cartesian CL tool paths, and optimizes the cutter movements by minimizing the number of interpolated points.

• Smart Structures and Systems
• /
• v.21 no.6
• /
• pp.715-725
• /
• 2018

Truss-Z (TZ) is an Extremely Modular System (EMS). Such systems allow for creation of structurally sound free-form structures, are comprised of as few types of modules as possible, and are not constrained by a regular tessellation of space. Their objective is to create spatial structures in given environments connecting given terminals without self-intersections and obstacle-intersections. TZ is a skeletal modular system for creating free-form pedestrian ramps and ramp networks. The previous research on TZ focused on global discrete geometric optimization of the spatial configuration of modules. This paper reports on the first attempts at structural optimization of the module for a single-branch TZ. The internal topology and the sizing of module beams are subject to optimization. An important challenge is that the module is to be universal: it must be designed for the worst case scenario, as defined by the module position within a TZ branch and the geometric configuration of the branch itself. There are four variations of each module, and the number of unique TZ configurations grows exponentially with the branch length. The aim is to obtain minimum-mass modules with the von Mises equivalent stress constrained under certain design load. The resulting modules are further evaluated also in terms of the typical structural criterion of compliance.

• Communications of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.711-719
• /
• 2018

In this paper we define and study a new kind of dimension called, semisimple dimension, that measures how far a module is from being semisimple. Like other kinds of dimensions, this is an ordinal valued invariant. We give some interesting and useful properties of rings or modules which have semisimple dimension. It is shown that a noetherian module with semisimple dimension is an artinian module. A domain with semisimple dimension is a division ring. Also, for a semiprime right non-singular ring R, if its maximal right quotient ring has semisimple dimension as a right R-module, then R is a semisimple artinian ring. We also characterize rings whose modules have semisimple dimension. In fact, it is shown that all right R-modules have semisimple dimension if and only if the free right R-module ${\oplus}^{\infty}_{i=1}$ R has semisimple dimension, if and only if R is a semisimple artinian ring.

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

We examine a k-configuration X in P$^2$ or P$^3$ whose minimal free resolution has a non-cancelable Betti number in the last free module. We also find partial answers to the question: which Artinian O-sequences are level or not?

• Journal of applied mathematics & informatics
• /
• v.19 no.1_2
• /
• pp.545-550
• /
• 2005

We find a necessary and sufficient condition that the number of some Betti numbers and shifts appear in the last free module Fn of Fx based on type vectors, where X is a finite set of points in $P^n$.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.971-983
• /
• 2023

In this paper, we prove that a domain R is an FGV-domain if every finitely generated torsion-free R-module is strongly copure projective, and a coherent domain is an FGV-domain if and only if every finitely generated torsion-free R-module is strongly copure projective. To do this, we characterize G-Prüfer domains by G-flat modules, and we prove that a domain is G-Prüfer if and only if every submodule of a projective module is G-flat. Also, we study the D + M construction of G-Prüfer domains. It is seen that there exists a non-integrally closed G-Prüfer domain that is neither Noetherian nor divisorial.