• Journal of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.945-966
• /
• 2017

The paper develops a rigorous mathematical framework for the behavior of arch and membrane like structures. Our main goal is to incorporate moving point loads. Both the weak and the strong damping cases are considered. First, we prove the existence and the uniqueness of the solutions. Then it is shown that the solution in the weak damping case is the limit of the strong damping solutions, as the strong damping vanishes. The theory is applied to a car moving on a bridge.

• Journal of the Korean Mathematical Society
• /
• v.43 no.4
• /
• pp.691-701
• /
• 2006

In this paper, we construct a new exotic smooth 4-manifold X which is homeomorphic, but not diffeomorphic, to ${\mathbb{C}}\mathbb{P}^2{\sharp}13\overline{\mathbb{C}\mathbb{P}}^2$. Moreover the manifold X has vanishing Seiberg-Witten invariants for all $Spin^c$-structures of X and has no symplectic structure.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.961-971
• /
• 2010

As an application of 'reverse engineering' technique introduced by R. Fintushel, D. Park and R. Stern [9], we present a simple way to construct an infinite family of exotic (2n+2l-1)$\mathbb{CP}^2#$(2n+4l-1)$\overline{\mathbb{CP}}^2$'s for all $n\;{\geq}\;0$, $l\;{\geq}\;1$.

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.1
• /
• pp.79-83
• /
• 2011

In the present paper we introduce the lower autocentral series of autocommutator subgroups of a given group. Following our previous work on the subject in 2009, it is shown that every finite abelian group is isomorphic with $n^{th}$-term of the lower autocentral series of some finite abelian group.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.1021-1029
• /
• 2021

This paper establishes necessary and sufficient conditions for a bi-amalgamation to inherit the S-Noetherian property. The new results compare to previous works carried on various settings of duplications and amalgamations, and capitalize on recent results on bi-amalgamations. Our results allow us to construct new and original examples of rings satisfying the S-Noetherian property.

• Journal of Korean Association for Spatial Structures
• /
• v.9 no.3
• /
• pp.75-82
• /
• 2009

This paper investigates the variation of post-buckling behaviours of spatial structures after sizing optimization with linear assumptions. The mathematical programming technique is used to produce the optimum member size of spatial structures against external load. Total weight of structure is considered as the objective function to be minimized and the displacement occurred at loading point and member stresses of structures are used as the constraint functions. The finite difference method is used to calculate the design sensitivity of objective function with respect to design variables. The post-buckling analysis carried out by using the geometrically nonlinear finite element analysis code ISADO-GN. It is found to be that there is a huge difference between the post buckling behaviours of the initial and optimized structures. Therefore, the stability of optimized spatial structures with linear assumption should be throughly checked by appropriate nonlinear analysis techniques. Finally, the present numerical results are provided as benchmark test suite for future study of large spatial structures.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.15 no.1
• /
• pp.120-128
• /
• 2011

Recently, safety diagnosis of the existing structures has been emerged as important issue. In particular, systematical and precise safety diagnostics for steel structures for power substation, have been required. Steel structures for power substation are under the periodical impact loads from operations of gas insulated switchgear. These loading condition accelerates damage and aging of structure. The objective of this research is to evaluate damage of structure under periodical impact loads. To evaluate the integrity of structures as organizing mathematical models including the dynamic characteristics of structures, Frequency Domain Decomposition method was choiced and an algorism was proposed. For verifying this methods and algorism, a mathematical model is composed of the development of a variety of reverse analysis and a signal processing technology reflecting physical damage of structures. A series of analysis and test results indicatge that proposed method has a confidence for applying a filed test. Therefore, it is expected to be able to take advantage of system identification to detect damage for the maintenance and management of steel structures under periodical impact loads such as power substation.

• The KIPS Transactions:PartD
• /
• v.8D no.4
• /
• pp.421-426
• /
• 2001

A formal development method is used to develop software rigorously and systematically. In a formal development method, we specify system by a formal specification language and gradually develop the system more concretely until we can implement the system. VDM is one of formal specification languages. VDM uses mathematical data structures such as sets, sequences, and maps to specify the system, but most programming languages do not have such data structures. Therefore, these data structures should be converted. We can convert mathematical data structures in VDM to a linked list, a data structure in a programming language. In this article, we propose a method to convert a set, a sequence, and a map in VDM to a linked list in a programming language and prove the correctness of this conversion mathematically.

• Korean Journal of Fisheries and Aquatic Sciences
• /
• v.43 no.2
• /
• pp.159-168
• /
• 2010

This paper presents a mathematical model and simulation method for investigating the performance of set net systems and fish cage systems influenced by currents and waves. Both systems consist of netting, mooring ropes, a floating collar and sinkers. The netting and ropes were considered flexible structures and the floating collar was considered an elastic structure. Both were modeled on a mass-spring model. The structures were divided into finite elements and mass points were placed at the mid-point of each element, and the mass points were connected by mass-less springs. Each mass point was subjected to external and internal forces and the total force was calculated at every integration step. An implicit integration scheme was used to solve the nonlinear dynamic system. The computation method was applied to dynamic simulation of actual systems simultaneously influenced by currents and waves in order to evaluate their practicality. The simulation results improved our understanding of the behavior of the structure and provided valuable information concerning the optimized design of set net and fish cage systems exposed to an open ocean environment.

• Research in Mathematical Education
• /
• v.26 no.2
• /
• pp.105-120
• /
• 2023

With the rapid advancement of educational technology, recent studies have connected teachers' professional noticing with the use of digital resources in mathematical instructions. In this study, I examined elementary mathematics preservice teachers' attending and interpreting a mathematical software, ST Math, in the exploring and implementing phases. The findings indicate that preservice teachers paid attention to visual representations and manipulation prior to interactions with children and further took into consideration on task structures and situated context after interactions. They interpreted the events based on connected mathematical knowledge of prior interactions and further reflected on the progression of problem-solving strategies and sequence of tasks. In addition, four distinctive profiles of transitioning of evaluation on ST Math activities were identified with illustrations. Implications for noticing and teacher education were discussed.