• Journal of Korean Society of Steel Construction
• /
• v.20 no.3
• /
• pp.409-419
• /
• 2008

A co-rotational quasi-conforming formulation of four- node stress resultant shell elements using Ivanov-Ilyushin yield criteria are presented for the nonlinear analysis of plate and shell structure. The formulation of the geometrical stiffness is defined by the full definition of the Green strain tensor and it is efficient for analyzing stability problems of moderately thick plates and shells as it incorporates the bending moment and transverse shear resultant force. As a result of the explicit integration of the tangent stiffness matrix, this formulation is computationally very efficient in incremental nonlinear analysis. This formulation also integrates the elasto-plastic material behaviour using Ivanov Ilyushin yield condition with isotropic strain hardening and its asocia ted flow rules. The Ivanov Ilyushin plasticity, which avoids multi-layer integration, is computationally efficient in large-scale modeling of elasto-plastic shell structures. The numerical examples herein illustrate a satisfactory concordance with test ed and published references.

• Geophysics and Geophysical Exploration
• /
• v.15 no.2
• /
• pp.75-84
• /
• 2012

The sea layer in marine Controlled-Source Electromagnetic (mCSEM) survey changes the conventional definition of apparent resistivity which is used in the land CSEM survey. Thus, the development of a new algorithm, which computes apparent resistivity for mCSEM survey, can be an initiative of mCSEM data interpretation. First, we compared and analyzed electromagnetic responses of the 1D stratified gas hydrate model and the half-space model below the sea layer. Amplitude and phase components showed proper results for computing apparent resistivity than real and imaginary components. Next, the amplitude component is more sensitive to the subsurface resistivity than the phase component in far offset range and vice versa. We suggested the induction number as a selection criteria of amplitude or phase component to calculate apparent resistivity. Based on our study, we have developed a numerical algorithm, which computes appropriate apparent resistivity corresponding to measured mCSEM data using grid search method. In addition, we verified the validity of the developed algorithm by applying it to the stratified gas hydrate models with various model parameters. Finally, by constructing apparent resistivity pseudo-section from the mCSEM responses with 2D numerical models simulating gas hydrate deposits in the Ulleung Basin, we confirmed that the apparent resistivity can provide the information on the geometric distribution of the gas hydrate deposit.

• School Mathematics
• /
• v.17 no.1
• /
• pp.35-46
• /
• 2015

In this paper, the teaching contents for angle and measure of an angle in elementary mathematics textbook between Korea and Japan were compared. From this comparison, the following five suggestions were presented as implications to improve the teaching contents for angle and measure of an angle in elementary mathematics textbook in Korea. First, it is necessary to reconsider the way of the definition of angle. There is no use of half line in elementary mathematics, except when to define angle, and the way to define angle and the way to define right angle are not consistent. Second, considering to associate the turning of plane geometrical figures to the $90^{\circ}$, $180^{\circ}$, $270^{\circ}$, $360^{\circ}$ is necessary, and associating them is connected to dealing with point-symmetrical shapes in the fifth grade. Third, there is a need to deal with "the measures of angles are same." in comparing angles. This is possible by superimposing two angles in comparing the measures of them. Fourthly, it is necessary to consider the introduction of the rotational angle. Dealing with the $360^{\circ}$ as the rotational angle is related to explaining that the sum of measures of interior angles in quadrangle is $360^{\circ}$. Fifth, it is necessary to be connected with middle school mathematics curriculum. The term 'straight angle' is used in middle school, and to obtain the sum of the measures of the interior angles of a regular polygon is the contents to be dealt with in middle school.

• Journal for History of Mathematics
• /
• v.22 no.3
• /
• pp.1-30
• /
• 2009

Frege's logicism has been frequently regarded as a development in number theory which succeeded to the so called arithmetization of analysis in the late 19th century. But it is not easy for us to accept this opinion if we carefully examine his actual works on real analysis. So it has been often argued that his logicism was just a philosophical program which had not contact with any contemporary mathematical practices. In this paper I will show that these two opinions are all ill-founded ones which are due to the misunderstanding of the theoretical place of Frege's logicism in the context of contemporary mathematical practices. Firstly, I will carefully examine Cantorian definition of real numbers and Frege's critiques of it. On the basis of this, I will show that Frege's aim was to produce the purely logical definition of ratios of quantities. Secondly, I will consider the mathematical background of Frege's logicism. On the basis of this, I will show that his standpoint in real analysis was much subtler than what we used to expect. On the one hand, unlike Weierstrass and Cantor, Frege wanted to get such real analysis that could be universally applicable. On the other hand, unlike most mathematicians who insisted on the traditional conceptions, he would not depend upon any geometrical considerations in establishing real analysis. Thirdly, I will argue that Frege regarded these two aspects - the independence from geometry and the universal applicability - as those which characterized logic itself and, by logicism, arithmetic itself. And I will show that his conception of real numbers as ratios of quantities stemmed from his methodological maxim according to which the nature of numbers should be explained by the common roles they played in various contexts to which they applied, and that he thought that the universal applicability of numbers could not be adequately explicated without such an explanation.