• Journal of the Chungcheong Mathematical Society
• /
• v.30 no.1
• /
• pp.77-102
• /
• 2017

As an analogy of $Poincar{\acute{e}}$ series in the space of modular forms, T. Ono associated a module $M_c/P_c$ for ${\gamma}=[c]{\in}H^1(G,R^{\times})$ where finite group G is acting on a ring R. $M_c/P_c$ is regarded as the 0-dimensional twisted Tate cohomology ${\hat{H}}^0(G,R^+)_{\gamma}$. In the case that G is the Galois group of a Galois extension K of a number field k and R is the ring of integers of K, the vanishing properties of $M_c/P_c$ are related to the ramification of K/k. We generalize this to arbitrary n-dimensional twisted cohomology of the ring of integers and obtain the extended version of theorems. Moreover, some explicit examples on quadratic and biquadratic number fields are given.

• Kyungpook Mathematical Journal
• /
• v.48 no.4
• /
• pp.651-663
• /
• 2008

In this paper, we first study some characterizations of left MC2 rings. Next, by introducing left nil-injective modules, we discuss and generalize some well known results for a ring whose simple singular left modules are Y J-injective. Finally, as a byproduct of these results we are able to show that if R is a left MC2 left Goldie ring whose every simple singular left R-module is nil-injective and GJcp-injective, then R is a finite product of simple left Goldie rings.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.27 no.2
• /
• pp.77-82
• /
• 2023

The structural analysis module is an essential part of any integrated structural system. Diverse integrated systems today require, from the analysis module, efficient real-time responses to real-time input such as earthquake signals, extreme weather-related forces, and man-made accidents. An integrated system may also be for the entire life span of a civil structure conceived during the initial conception, developed throughout various design stages, effectively used in construction, and utilized during usage and maintenance. All these integrated systems' essential part is the structural analysis module, which must be automated and computationally efficient so that responses may be almost immediate. The finite element method is often used for structural analysis, and for automation, many effective finite element meshes must be automatically generated for a given analysis. A computationally efficient finite element mesh generation scheme based on the r-h method of mesh refinement using strain deviations from the values at the Gauss points as error estimates from the previous mesh is described. Shape factors are used to sort out overly distorted elements. A standard cantilever beam analyzed by four-node plane stress elements is used as an example to show the effectiveness of the automated algorithm for a time-domain dynamic analysis. Although recent developments in computer hardware and software have made many new applications in integrated structural systems possible, structural analysis still needs to be executed efficiently in real-time. The algorithm applies to diverse integrated systems, including nonlinear analyses and general dynamic problems in earthquake engineering.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.35 no.4
• /
• pp.409-415
• /
• 2011

A gimbal system in observation reconnaissance aircraft was fabricated by assembling many parts and bearings. This system consists of a camera module and a stabilization gimbal that supports the camera module. During the flight for recording images, the gimbal system experiences various accelerations with wide frequencies. Although base excitation of stabilization gimbal results in vibration of the camera module, the camera module must be able to capture the correct and clear image even while vibrating. Hence, it is important to know the natural frequencies and vibration modes of the gimbal system with the camera module. Considering bearings as spring elements, the vibration characteristic of the gimbal system was analyzed by finite element method. In addition, harmonic response analysis was performed to determine the correct transmissibility of acceleration for the camera module in the frequency range of 0-500 Hz.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2001.04a
• /
• pp.535-539
• /
• 2001

The aim of this paper presents to develop a computer-aided design system for water gate on AutoCAD R2000system. The developed system has been written in AutoCAD and Visua ILISP with a personal computer, and is composed four modules which are the gate-lifter input module, guide-frame input module, template input module and upgrade module. Based on knowledge-based rules, the system is designed by considering several factors, such as width and height of a water gate, material, object of product and maximum depth of water. Employing the developed system enable the designer and manufactures of water gate to be more efficient in this field, and its potential capability for enhancement included FEM(Finite Element Method) and quotation system.

• Journal of the Earthquake Engineering Society of Korea
• /
• v.23 no.1
• /
• pp.83-88
• /
• 2019

Structural analysis remains as an essential part of any integrated civil engineering system in today's rapidly changing computing environment. Even with enormous advancements in capabilities of computers and mobile tools, enhancing computational efficiency of algorithms is necessary to meet the changing demands for quick real time response systems. The finite element method is still the most widely used method of computational structural analysis; a robust, reliable and automated finite element structural analysis module is essential in a modern integrated structural engineering system. To be a part of an automated finite element structural analysis, an efficient adaptive mesh generation scheme based on R-H refinement for the mesh and error estimates from representative strain values at Gauss points is described. A coefficient that depends on the shape of element is used to correct overly distorted elements. Two simple case studies show the validity and computational efficiency. The scheme is appropriate for nonlinear and dynamic problems in earthquake engineering which generally require a huge number of iterative computations.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.149-160
• /
• 2023

Let 𝖆 and 𝖇 be ideals of a commutative Noetherian ring R and M a finitely generated R-module of finite dimension d > 0. In this paper, we obtain some results about the annihilators and attached primes of top local cohomology and top formal local cohomology modules. In particular, we determine Ann(𝖇 H^d_𝖆(M)), Att(𝖇 H^d_𝖆(M)), Ann(𝖇𝔉^d_𝖆(M)) and Att(𝖇𝔉^d_𝖆(M)).

• Journal of Ship and Ocean Technology
• /
• v.6 no.4
• /
• pp.1-12
• /
• 2002

A control system for an automated line heating process is developed by use of object-oriented methodology. The main function of the control system is to provide real-time heating information to technicians or automated machines. The information includes heating location, torch speed, heating order, and others. The system development is achieved by following the five steps in the object-oriented procedure. First, requirements are specified and corresponding objects are determined. Then, the analysis, design, and implementation of the proposed system are sequentially carried out. The system consists of six subsystems, or modules. These are (1) the inference module with an artificial neural network algorithm, (2) the analysis module with the Finite Element Method and kinematics analysis, (3) the data access module to store and retrieve the forming information, (4) the communication module, (5) the display module, and (6) the measurement module. The system is useful, irrespective of the heating sources, i.e. flame/gas, laser, or high frequency induction heating. A newly developed automated line heating machine is connected to the proposed system. Experiments and discussions follow.

• Transactions of Materials Processing
• /
• v.8 no.5
• /
• pp.454-464
• /
• 1999

A new blank design method is proposed to predict the optimum initial blank shape in the sheet metal forming process. The rollback method for blank shape design takes the difference between the deformed blank contour and the target contour shape into account. the minimization object function R is proposed. Based on the method, a computer program composed of blank design module, FE-analysis module and mesh generation module is developed. The rollback method is applied to square cup, reentrant cross section, L-shaped cup drawing process with the flange of uniform size around its periphery to confirm its validity. The optimum initial blank shape is obtained from an arbitrary blank shape after several modifications. Good agreements are recognized between the numerical results and the published experimental results for initial blank shape and thickness strain distribution. It is concluded that the rollback method is an effective and convenient method for an optimum blank shape design.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.6
• /
• pp.1125-1128
• /
• 2011

Let R be a commutative Noetherian ring, a an ideal of R, and M a minimax R-module. We prove that the local cohomology modules $H^j_a(M)$ are a-cominimax; that is, $Ext^i_R$(R/a, $H^j_a(M)$) is minimax for all i and j in the following cases: (a) dim R/a = 1; (b) cd(a) = 1, where cd is the cohomological dimension of a in R; (c) dim $R{\leq}2$. In these cases we also prove that the Bass numbers and the Betti numbers of $H^j_a(M)$ are finite.