• 대한수학회지
• /
• 제54권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.

• 대한수학회지
• /
• 제43권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.

• 대한수학회보
• /
• 제47권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$.

• 대한수학회보
• /
• 제48권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.

• 대한수학회보
• /
• 제58권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.

• 한국공간구조학회논문집
• /
• 제9권3호
• /
• pp.75-82
• /
• 2009

본 연구에서는 선형이론을 바탕으로 한 이산계열 대공간구조물의 크기최적화에 따른 후좌굴 거동의 변화에 대하여 조사하고 그 결과를 기술하였다. 먼저 공간구조물의 최적의 부재크기 패턴을 조사하기 위하여 수학적 프로그래밍 기법을 도입하였다. 이때 최소화 해야하는 공간구조물의 전체 부재의 중량을 목적함수로 이용하고 절점에서 발생하는 변위 값과 각 부재에서 발생하는 응력 값을 허용치 이하로 제한하는 제약조건으로 사용하였다. 크기최적화를 통하여 도출된 최적 부재패턴을 가지는 공간구조물의 후좌굴 거동을 통합 비선형해석기법으로 해석하고 그 결과를 분석하였다. 수치해석을 통하여 크기최적화에 따른 공간구조물의 후좌굴 거동의 변화는 매우 큰 것으로 나타났으며 이러한 후좌굴 거동의 변화에 대한 예측과 분석결과가 공간 구조물의 설계에 고려되어야 할 것으로 판단된다. 또한 본 연구에서 제시한 수치해석 결과는 이산계열 대공간구조물의 설계에 기본 데이터로 제시하였다.

• 한국구조물진단유지관리공학회 논문집
• /
• 제15권1호
• /
• pp.120-128
• /
• 2011

변전소 구조물은 가스절연개폐기의 개폐로 유발되는 주기적인 충격하중을 받게 된다. 이러한 주기적인 충격하중은 구조물의 노후화 및 열화를 가속화하여 구조물의 일부 부재 혹은 전반적인 강성 감소를 초래할 수 있다. 본 연구에서는 이러한 주기적인 충격하중이 구조물에 미치는 영향을 정량적으로 평가하고, 손상 정도를 평가하는 방법을 선정하고자 한다. 따라서, 개략적인 손상 정도를 파악할 수 있는 효율적인 방법으로 인지되고 있는 시스템식별기법을 선정하였다. 선정된 기법에 대한 신뢰성을 검증하기 위해 3층 1경간 축소 모형을 대상으로 모의 손상실험 및 해석을 통해 모드형상 및 고유진동수를 산정하고 결과를 비교하였다.

• 정보처리학회논문지D
• /
• 제8D권4호
• /
• pp.421-426
• /
• 2001

정형적 개발 방법론은 소프트웨어를 정확하고 체계적으로 개발하기 위하여 사용되며 시스템을 정형 명세 언어를 사용하여 맹세하고 이를 구현할 때까지 점진적으로 시스템을 구체화하는 방법으로 개발한다. VDM은 정형 명세 언어의 하나로서 set, sequence, map의 수학적 추상적 자료구조를 사용하여 시스템을 명세하는데 대부분의 프로그래밍 언어는 이런 자료구조를 가지고 있지 않다. 그러므로 이들 자료구조들의 변환이 필요하며 VDM의 수학적 자료구조들은 프로그래밍 언어의 자료구조인 연결 리스트로 변환 할 수 있다. 본 논문에서는 VDM의 set, sequence, map의 자료구조를 프로그래밍 언어의 자료구조인 연결 리스트로 변환하는 방법과 그 변환의 타당성을 수학적으로 증명하였다.

• 한국수산과학회지
• /
• 제43권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.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제26권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.