• Journal of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.793-807
• /
• 2020

Stable range of rings is a unifying concept for problems related to the substitution and cancellation of modules. The newly appeared element-wise setting for the simplest case of stable range one is tempting to study the lifting property modulo ideals. We study the lifting of elements having (idempotent) stable range one from a quotient of a ring R modulo a two-sided ideal I by providing several examples and investigating the relations with other lifting properties, including lifting idempotents, lifting units, and lifting of von Neumann regular elements. In the case where the ring R is a left or a right duo ring, we show that stable range one elements lift modulo every two-sided ideal if and only if R is a ring with stable range one. Under a mild assumption, we further prove that the lifting of elements having idempotent stable range one implies the lifting of von Neumann regular elements.

• Kyungpook Mathematical Journal
• /
• v.46 no.1
• /
• pp.11-18
• /
• 2006

Let R be a ring with identity and let $M=M_1{\bigoplus}M_2$ be an amply supplemented R-module. Then it is proved that $M_i$ has ($D_1$) and is $M_j-^*ojective$ for $i{\neq}j$, i = 1, 2, if and only if for any coclosed submodule X of M, there exist $M\acute{_1}{\leq}M_1$ and $M\acute{_2}{\leq}M_2$ such that $M=X{\bigoplus}M\acute{_1}{\bigoplus}M\acute{_2}$.

• The Pure and Applied Mathematics
• /
• v.22 no.3
• /
• pp.229-229
• /
• 2015

• Journal of the Society of Naval Architects of Korea
• /
• v.52 no.5
• /
• pp.387-394
• /
• 2015

Before salvaging a wrecked ship, the physics-based simulation is needed to predict lifting force before real operation by floating crane or barge. Procedures affecting lifting force for the salvage can be divided into three stages. At the first stage, the bottom breakout force for the wrecked ship to escape from seabed sediment should be calculated. At the second step, the current force acting on the wrecked ship while lifting from the seabed to near sea surface should be considered. Finally, buoyancy change near at the sea surface when the wrecked ship start to escape from the water should be considered. In the previous studies, only the breakout force at the first stage was calculated based on simple assumption of embedment depth and contact area of the wrecked ship. Therefore, we develop a program for salvage simulation including whole stages. It is composed of four modules such as the equations of motion, time integration, force calculation, and visualization. As a result, it is applied to simulate lifting the wrecked ship according to various environmental loads including seabed sediments.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2022.04a
• /
• pp.202-203
• /
• 2022

In this study, focusing on work types of lifting modules and modules assembly in modular construction sites, unit works were defined according to the construction process of each work type, and safety management elements, safety management activities, and key check point were proposed. The results of this study may have somewhat overlapping contents in the construction procedure in order to derive specific safety management activities and check point for each unit work. Therefore, there is a limit to use the results in an actual modular construction site. In future research, we plan to improve this part and derive a checklist that considers field usability.

• The Journal of Korea Robotics Society
• /
• v.14 no.4
• /
• pp.278-284
• /
• 2019

Legged locomotion has high mobility on irregular surfaces by touching the ground at discrete points. Inspired by the creature's legged locomotion, legged robots have been developed to explore unstructured environments. In this paper, we propose a modular crawler that can easily adjust the number of legs for adapting the environment that the robot should move. One module has a pair of legs, so the number of legs can be adjusted by changing the number of modules. All legs are driven by a single driving motor for simple and compact design, so the driving axle of each module is connected by the universal joint. Universal joints between modules enable the body flexion for steering or overcoming higher obstacles. A prototype of crawler with three modules is built and the driving performance and the effect of module lifting on the ability to overcome obstacles are demonstrated by the experiments.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2023.05a
• /
• pp.27-28
• /
• 2023

Currently, the Off-Site Construction (OSC) construction method, which emphasizes the minimization of field work, is being emphasized at construction sites due to the lack of construction skilled manpower, extreme weather, and the Severe Disaster Punishment Act. In this study, we developed a stacked PC modular, which is a method of stacking PC modules, and solved the lifting problem by reducing the weight of the unit module, which is emerging as the biggest disadvantage of PC modules, to around 20 tons. For the connection between modules, structural safety was secured through repeated history tests of the wall and slab connection. Walls and slabs satisfied all statutory fire resistance times through fire resistance tests, and residential performance was evaluated to be satisfactory through mock-up demonstration. The developed PC modular has been applied to the construction of commercial houses, detached houses, shopping malls, churches, etc., and has design results for many buildings such as dormitories, detached houses with 4 floors or more, and resorts, so it is expected that an atmosphere of revitalization of construction methods will be created.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.3
• /
• pp.94-100
• /
• 2021

To improve the productivity of cargo containment construction for a membrane LNG carrier, it is important to shorten the installation period and process of the scaffolding system, which is a construction workbench of a cargo containment for a membrane LNG carrier. As an effective method, opinions are being gathered to enlarge the lifting unit from the existing two stages to eight stages. On the other hand, the stresses around the pin and hole will increase significantly because of the increase in lifting load according to the large size of the module. The purpose of this study was to establish a new large module-lifting plan by introducing TRIZ to solve these problems. This study adopted a method to utilize 40 inventive principles, which is one of the various problem-solving tools of TRIZ. First, technical contradictions were derived, the engineering parameters were selected. Second, efficient inventive principles were selected to overcome the technical contradictions using a contradiction matrix. Finally, the general and specific solutions were derived through the selected inventive principle, and structural analysis confirmed that the stress generated in the structure was low. The utility of TRIZ was confirmed by the successful lifting of large modules using the established lifting method.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.3C
• /
• pp.297-305
• /
• 2007

In the paper, a Motion JPEG2000 coder which has been set as the standard for image compression by the Digital Cinema Initiatives (DCI), an organization composed of major movie studios was implemented into a target FPGA. The DWT (Discrete Wavelet Transform) based on lifting and the Tier 1 of EBCOT (Embedded Block Coding with Optimized Truncation) which are major functional modules of the JPEG2000 were setup with dedicated hardware. The Tier 2 process was implemented in software. For digital cinema the tile-size was set to support $1024\times1024$ pixels. To ensure the real-time operations, three entropy encoders were used. When Verilog-HDL was used for hardware, resources of 32,470 LEs in Altera's Stratix EP1S80 were used, and the hardware worked stably at the frequency of 150Mhz.

• International conference on construction engineering and project management
• /
• 2009.05a
• /
• pp.250-256
• /
• 2009

This paper presents a robotic tower-crane system using encoder and gyroscope sensors as path tracking devices. Tower crane work is often associated with falling accidents and industrial disasters. Such problems often incur a loss of time and money for the contractor. For this reason, many studies have been done on an automatic tower crane. As a part of 5-year 23-million-dollar research project in Korea, we are developing a robotic tower crane which aims to improve the safety level and productivity. We selected a luffing tower crane, which is commonly used in urban construction projects today, as a platform for the robotic tower crane system. This system comprises two modules: the automated path planning module and the path tracking module. The automated path planning system uses the 3D Cartesian coordinates. When the robotic tower crane lifts construction material, the algorithm creates a line, which represents a lifting path, in virtual space. This algorithm seeks and generates the best route to lift construction material while avoiding known obstacles from real construction site. The path tracking system detects the location of a lifted material in terms of the 3D coordinate values using various types of sensors including adopts encoder and gyroscope sensors. We are testing various sensors as a candidate for the path tracking device. This specific study focuses on how to employ encoder and gyroscope sensors in the robotic crane These sensors measure a movement and rotary motion of the robotic tower crane. Finally, the movement of the robotic tower crane is displayed in a virtual space that synthesizes the data from two modules: the automatically planned path and the tracked paths. We are currently field-testing the feasibility of the proposed system using an actual tower crane. In the next step, the robotic tower crane will be applied to actual construction sites with a following analysis of the crane's productivity in order to ascertain its economic efficiency.