• 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.

• Journal of Institute of Control, Robotics and Systems
• /
• v.21 no.1
• /
• pp.1-6
• /
• 2015

This paper investigates the longitudinal flight dynamics and stability of flapping-wing micro air vehicles. Periodic external forces and moments due to the flapping motion characterize the dynamics of this system as NLTP (Non Linear Time Periodic). However, the averaging theorem can be applied to an NLTP system to obtain an NLTI (Non Linear Time Invariant) system which allows us to use a standard eigen value analysis to assess the stability of the system with linearization around a reference point. In this paper, we investigate the dynamics and stability of a hawkmoth-scale flapping-wing air vehicle by establishing an LTI (Linear Time Invariant) system model around a hovering condition. Also, a direct time integration of full nonlinear equations of motion of the flapping-wing micro air vehicle is conducted to see how the longitudinal flight dynamics appear in the time domain beyond the reference point, i.e. hovering condition. In the study, the flapping-wing air vehicle exhibited three distinct dynamic modes of motion in the longitudinal plane of motion: two stable subsidence modes and one unstable oscillatory mode. The unstable oscillatory mode is found to be a combination of a pitching velocity state and a forward/backward velocity state.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.18 no.8
• /
• pp.943-953
• /
• 2007

In this paper, we propose a Cassegrain antenna with a scalar feed horn opt rating in Ka-band. For an effective EM simulation of the Cassegrain antenna, the near-field of the feed hone is used ai the equivalent source of the Cassegrain antenna using the surface equivalent theorem. A corrugated circular horn operating with $HE_{11}$ mode is used as the feed horn. The angle and feed center of the main and sub reflectors are optimized to achieve maximum antenna efficiency. The designed feed horn shows the gain of 19dBi, the side-lobe level of less than -25dB and the half power beam width of $20^{\circ}$ at 33 GHz. The Cassegrain antenna shows the gain of 41dBi, the efficiency of 60%, the side-lobe level of less than -20dB and the half power beam width of $1.2^{\circ}$.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.35 no.5
• /
• pp.1061-1071
• /
• 2015

In the present study, the Navier-Stokes (N-S) equations delineating water flows inside porous media were derived applying Reynolds transport theorem in order to provide a basis for analyzing water wave problems inside the porous media. Then, the derived N-S equations were compared with the same species of equations in existing researches. Based on the N-S equations, a set of Boussinesq equations was then derived in such a form that the dispersiveness and nonlinearity of water waves inside the porous media can be properly reproduced. Finally, numerical analyses were carried out to demonstrate the validity of the equations. The reflection and transmission coefficients of porous breakwaters were calculated and compared with the results of existing hydraulic experiments. The numerical results showed a rather sensitive dependency on the virtual mass coefficient of grains constituting the porous media. The selection of the coefficient with zero turned out to give nice agreements with numerical and experimental results.

• The Journal of the Korea Contents Association
• /
• v.13 no.2
• /
• pp.52-61
• /
• 2013

In wireless sensor networks, the geographical positioning scheme is one of core technologies for sensor applications such as disaster monitoring and environment monitoring. For this reason, studies on range-free positioning schemes have been actively progressing. The density probability scheme based on central limit theorem and normal distribution was proposed to improve the location accuracy in non-uniform sensor network environments. The density probability scheme measures the final positions of unknown nodes by estimating distance through the sensor node communication. However, it has a problem that all of the neighboring nodes have the same 1-hop distance. In this paper, we propose an efficient sensor positioning scheme that overcomes this problem. The proposed scheme performs the second positioning step through the sensing range control after estimating the 1-hop distance of each node in order to minimize the estimation error. Our experimental results show that our proposed scheme improves the accuracy of sensor positioning by about 9% over the density probability scheme and by about 48% over the DV-HOP scheme.

• 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.

• Journal of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1483-1504
• /
• 2017

We consider weak solutions of the instationary Navier-Stokes system in a smooth bounded domain ${\Omega}{\subset}{\mathbb{R}}^3$ with initial value $u_0{\in}L^2_{\sigma}({\Omega})$. It is known that a weak solution is a local strong solution in the sense of Serrin if $u_0$ satisfies the optimal initial value condition $u_0{\in}B^{-1+3/q}_{q,s_q}$ with Serrin exponents $s_q$ > 2, q > 3 such that ${\frac{2}{s_q}}+{\frac{3}{q}}=1$. This result has recently been generalized by the authors to weighted Serrin conditions such that u is contained in the weighted Serrin class ${{\int}_0^T}({\tau}^{\alpha}{\parallel}u({\tau}){\parallel}_q)^s$ $d{\tau}$ < ${\infty}$ with ${\frac{2}{s}}+{\frac{3}{q}}=1-2{\alpha}$, 0 < ${\alpha}$ < ${\frac{1}{2}}$. This regularity is guaranteed if and only if $u_0$ is contained in the Besov space $B^{-1+3/q}_{q,s}$. In this article we consider the limit case of initial values in the Besov space $B^{-1+3/q}_{q,{\infty}}$ and in its subspace ${{\circ}\atop{B}}^{-1+3/q}_{q,{\infty}}$ based on the continuous interpolation functor. Special emphasis is put on questions of uniqueness within the class of weak solutions.

• Journal of Navigation and Port Research
• /
• v.38 no.6
• /
• pp.689-694
• /
• 2014

The Korean government has introduced and enforced maritime traffic safety assessment to secure traffic safety since 2010. The maritime traffic safety assessment is needed by law to design a new port or modify an existing one. According to Korea Maritime Safety Act, in the assessment the propriety of marine traffic system consists of the safety of channel transit and berthing/unberthing maneuver, safety of mooring, and safety of marine traffic flow. The safety of channel transit and berthing/unberthing maneuver can be evaluated only by ship-handling simulation. The ship-handling simulation is carried out by sea pilots working with the port concerned. The vessel's proximity measure is an important factor to evaluate traffic safety. The proximity measure is composed of vessel's closest distance to channel boundary and probability of grounding/collision. What is more, the probability of grounding becomes important. According to central limit theorem, a sample has a normal distribution on condition that its size is more than 30. However, more than 30 simulation runs bring about the increase of assessment period and difficulty of employing sea pilots. Therefore this paper is to find out minimum sample size for evaluating vessel's proximity. First sample sets of size of 3, 5, 7, 9 etc. are selected randomly on the basis of normal distribution. And then KS test for goodness of fit and t-test for confidence interval are applied to each sample set. Finally this paper decides the minimum sample size. As a result this paper suggests the minimum sample size of 5, that is, the simulation of more than five times.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.5
• /
• pp.391-398
• /
• 2016

This study focused on the aerodynamic loads of the horizontal axis wind turbine blade due to the normal turbulence inflow condition. Normal turbulence model (NTM) includes the variations of wind speed and direction, and it is characterized by turbulence intensity and standard deviation of flow fluctuation. IEC61400-1 recommends the fatigue analysis for the NTM and the normal wind profile (NWP) conditions. The aerodynamic loads are obtained at the blade hub and the low speed drive shaft for MW class horizontal axis wind turbine which is designed by using aerodynamically optimized procedure. The 6-components of aerodynamic loads are investigated between numerical results and load components analysis. From the calculated results the maximum amplitudes of oscillated thrust and torque for LSS with turbulent inflow condition are about 5~8 times larger than those with no turbulent inflow condition. It turns out that the aerodynamic load analysis with normal turbulence model is essential for structural design of the wind turbine blade.

• International Journal of Aeronautical and Space Sciences
• /
• v.16 no.3
• /
• pp.475-483
• /
• 2015

We propose a numerical scheme to simulate the time-domain echo signals at tracking radar for a realistic scenario where an EAD (expendable active decoy) and an airborne target are both in dynamic states. On various scenarios where the target takes different maneuvers, the trajectories of the EAD ejected from the target are accurately calculated by solving 6-DOF (Degree-of-Freedom) equations of the motion for the EAD. At each sampling time of the echo signal, the locations of the EAD and the target are assumed to be fixed. Thus, the echo power from the EAD can be simply calculated by using the Friis transmission formula. The returned power from the target can be computed based on the pre-calculated scattering matrix of the target. In this paper, an IPO (iterative physical optics) method is used to construct the scattering matrix database of the target. The sinc function-interpolation formulation (sampling theorem) is applied to compute the scattering at any incidence angle from the database. A simulator is developed based on the proposed scheme to estimate the echo signals, which can consider the movement of the airborne target and EAD, also the scattering of the target and the RF specifications of the EAD. For applications, we consider the detection probability of the target in the presence of the EAD based on Monte Carlo simulation.