• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.39 no.10
• /
• pp.995-999
• /
• 2015

Inductive sensors are versatile and economical devices that are widely used to measure a wide variety of physical variables, such as displacement, force, and pressure. In this paper, we propose a simple inductive sensor consisting of a thin partial ring and a coil set. The self-inductance of the sensor was estimated using magnetic circuit analysis and validated through finite element analysis (FEA). The natural frequency of the ring was estimated using Castigliano's theorem and the method of equivalent mass. The estimation was validated through experiments and FEA. A prototype sensor with a signal processing circuit is built and applied to noninvasively sense the pressure inside a flexible tube. The obtained sensor outputs show quadratic behavior with respect to the pressure. When fitted to a quadratic equation, the least-square measurement error was less than 2%. The results confirm the feasibility of pressure sensing using the proposed inductive sensor.

• Journal of the Society of Naval Architects of Korea
• /
• v.32 no.3
• /
• pp.62-71
• /
• 1995

In the numerical analysis of incompressible unsteady Navier-stokes equation, large time is required for solving the pressure Poisson equation of the elliptic type at each time step. In this paper, a numerical analysis by the direct method is carried out to solve the pressure Poisson equation and the computing time is analyzed as mesh size increases. The pressure Poisson equation can be transformed to the boundary value problem by the Green theorem. The computing time for the convolution type of the domain integral can be reduced by using F.F.T. and the computing time in the direct method depends entirely on obtaining the solution of the boundary value problem. The numerical analysis on the known solutions is carried out and compared for the verification of the direct method. And the numerical analysis on the body boundary and domain decomposition problem are carried out with the computing time less than O($n^{3}$) in the (n.n) mesh.

• 한국지구물리탐사학회:학술대회논문집
• /
• 2006.06a
• /
• pp.181-186
• /
• 2006

An imaging method of seismic sources using time-reversal wave propagation is presented. The method is based on the time-reversal invariance and the spatial reciprocity of the wave equation. Time-reversal wave propagation has been used to image anomalous features of a midium in medical imaging, non destructive testing and waveform tomography. Seismogram is the record whose energy is propagated from the seismic source. If time-reversed seismogram propagates back into the medium, seismic energy is concentrated at the origin time of the event and at the source location. In this work, a staggered-grid finite-difference method of the elastic wave equation is parallelized for 3-D wave propagation simulation. With numerical experiments, we show that the time-reversal imaging will enable us to explore the spatio-temporal history of complex earthquake.

• The Journal of Korean Association of Computer Education
• /
• v.4 no.1
• /
• pp.99-107
• /
• 2001

One of the main objects of geometry in mathematics education is to improve students' geometric intuition capability and logical reasoning capability based on them. A visual element related to intuition plays an important role in teaching and learning of geometry. Therefore, in this research, we focus on the development of multimedia title available to dynamic operation about visual elements and verify of effect of its application. This title for the learning of "the Pythagorean theorem and its practical use" in the third grade of middle school is designed and implemented by an authoring tool, Toolbook. And it enables learners to study mathematics individually and can be applied to the educational field, too. And we taught two groups, the applied group and the compared one of the second grade of middle school and surveyed Questions and evaluated study achievement. We calculated study achievement of two groups on t-test using SPSS. As the result, we knew that the applied group is higher than the compared one in the study achievement and provision of dynamic operation possibility on visual elements make students know very high learning effect and help improvement of intelligent capability.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.875-894
• /
• 2017

Let $[n]=\{1,2,{\ldots},n\}$. A set ${\mathbf{A}}=\{A_1,A_2,{\ldots},A_l\}$ is a minimal cover of [n] if ${\cup}_{1{\leq}i{\leq}l}A_i=[n]$ and $$\bigcup_{{1{\leq}i{\leq}l,}\\{i{\neq}j_0}}A_i{\neq}[n]\text{ for all }j_0{\in}[l]$$. Let ${\mathcal{C}}(n)$ denote the collection of all minimal covers of [n], and write $C_n={\mid}{\mathcal{C}}(n){\mid}$. Let ${\mathbf{A}}{\in}{\mathcal{C}}(n)$. An element $u{\in}[n]$ is critical in ${\mathbf{A}}$ if it appears exactly once in ${\mathbf{A}}$. Two minimal covers ${\mathbf{A}},{\mathbf{B}}{\in}{\mathcal{C}}(n)$ are said to be restricted t-intersecting if they share at least t sets each containing an element which is critical in both ${\mathbf{A}}$ and ${\mathbf{B}}$. A family ${\mathcal{A}}{\subseteq}{\mathcal{C}}(n)$ is said to be restricted t-intersecting if every pair of distinct elements in ${\mathcal{A}}$ are restricted t-intersecting. In this paper, we prove that there exists a constant $n_0=n_0(t)$ depending on t, such that for all $n{\geq}n_0$, if ${\mathcal{A}}{\subseteq}{\mathcal{C}}(n)$ is restricted t-intersecting, then ${\mid}{\mathcal{A}}{\mid}{\leq}{\mathcal{C}}_{n-t}$. Moreover, the bound is attained if and only if ${\mathcal{A}}$ is isomorphic to the family ${\mathcal{D}}_0(t)$ consisting of all minimal covers which contain the singleton parts $\{1\},{\ldots},\{t\}$. A similar result also holds for restricted r-cross intersecting families of minimal covers.

• Communications of Mathematical Education
• /
• v.5
• /
• pp.523-523
• /
• 1997

Suppose that G is a group of permutations of a set ${\Omega}$. For a finite subset ${\gamma}$of${\Omega}$, the movement of ${\gamma}$ under the action of G is defined as move(${\gamma}$):=$max\limits_{g{\epsilon}G}|{\Gamma}^{g}{\backslash}{\Gamma}|$, and ${\gamma}$ will be said to have restricted movement if move(${\gamma}$)<|${\gamma}$|. Moreover if, for an infinite subset ${\gamma}$of${\Omega}$, the sets|{\Gamma}^{g}{\backslash}{\Gamma}| are finite and bounded as g runs over all elements of G, then we may define move(${\gamma}$)in the same way as for finite subsets. If move(${\gamma}$)${\leq}$m for all ${\gamma}$${\subseteq}$${\Omega}$, then G is said to have bounded movement and the movement of G move(G) is defined as the maximum of move(${\gamma}$) over all subsets ${\gamma}$ of ${\Omega}$. Having bounded movement is a very strong restriction on a group, but it is natural to ask just which permutation groups have bounded movement m. If move(G)=m then clearly we may assume that G has no fixed points is${\Omega}$, and with this assumption it was shown in [4, Theorem 1]that the number t of G=orbits is at most 2m-1, each G-orbit has length at most 3m, and moreover|${\Omega}$|${\leq}$3m+t-1${\leq}$5m-2. Moreover it has recently been shown by P. S. Kim, J. R. Cho and C. E. Praeger in [1] that essentially the only examples with as many as 2m-1 orbits are elementary abelian 2-groups, and by A. Gardiner, A. Mann and C. E. Praeger in [2,3]that essentially the only transitive examples in a set of maximal size, namely 3m, are groups of exponent 3. (The only exceptions to these general statements occur for small values of m and are known explicitly.) Motivated by these results, we would decide what role if any is played by primes other that 2 and 3 for describing the structure of groups of bounded movement.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.47 no.12
• /
• pp.841-847
• /
• 2019

Time series data of 6-component loads were computed for a horizontal axis wind turbine rotor in yawed operating conditions with both rotating and non-rotating coordinate systems fixed at a center of a rotor hub. In this study, a well-known 20 kW class of the NREL Phase VI rotor was used for a model wind turbine, and this paper focuses on the yaw moments and over-turning moments for the operating wind speed range between 6 to 25 m/s. Unsteady blade element momentum theorem was adopted to get the aerodynamic loads acting on the wind turbine rotor. Computed 6-component loads using the developed UBEM code were compared with those using the NREL FAST program. From the computed results, both yaw and over-turning moments would be basic inputs to determine not only the specification of yawing mechanism but also the design condition of foundation.

• Journal for History of Mathematics
• /
• v.24 no.1
• /
• pp.15-29
• /
• 2011

This study was carrying out research on the geometry of Sulbas${\={u}}$tras as parts of looking for historical roots of oriental mathematics, The Sulbas${\={u}}$tras(rope's rules), a collection of Hindu religious documents, was written between Vedic period(BC 1500~600). The geometry of Sulbas${\={u}}$tras in ancient India was studied to construct or design for sacrificial rite and fire altars. The Sulbas${\={u}}$tras contains not only geometrical contents such as simple statement of plane figures, geometrical constructions for combination and transformation of areas, but also algebraic contents such as Pythagoras theorem and Pythagorean triples, irrational number, simultaneous indeterminate equation and so on. This paper examined the key features of the geometry of Sulbas${\={u}}$tras and the geometry of Sulbas${\={u}}$tras for the construction of the sacrificial rite and the fire altars. Also, in this study we compared geometry developments in ancient India with one of the other ancient civilizations.

• Journal of the Society of Naval Architects of Korea
• /
• v.30 no.1
• /
• pp.45-64
• /
• 1993

This paper dealt with the application of a numerical method developed by the authors using the matching method proposed in the previous paper on "The Nonlinear motions of cylinders(I)[16]", and Cauchy's theorem to the problems associated with hydrodynamic forces acting on a heaving cylinders translating in a calm water and also motions of cylinders in waves. In spectral method. body boundary condition in submerged case is satisfied exactly but one in floating case is not satisfied exactly. In the numerical code developed here, the boundary condition at the free-surface and body surface is satisfied exactly at its instaneous position. It is of interest to note that the present scheme could be applied to a free-surface-piercing body without experiencing a difficulty in the numerical convergence. The computed results are compared with other results([6], [12]).

• Journal of the Earthquake Engineering Society of Korea
• /
• v.11 no.6
• /
• pp.33-39
• /
• 2007

The seismic source parameters of the Uljin earthquake on 29 May 2004, including focal depth, focal mechanism, magnitude, and moment tensor elements for source characteristics, are analysed using moment tensor seismic source inversion. The Green‘s function for 3 crust models representing the southern Korean Peninsula are used. Also 3 kinds of epicenters are used to find optimum solution for seismic source parameters. Results show that seismic source parameters have a little dependency of azimuthal distribution and epicentral distances of seismic stations. Final results show that the event, considering 6 moment tensor elements, is caused by the typical reverse fault with nearly NS strike. The focal mechanism implies that the tectonic force around epicenter area currently has compressive environment, with nearly EW principal axis. The focal depth is estimated to be about 12km. The resultant focal mechanism show fairly good agreement to those of other studies. However, focal depth is much different from that of other studies.