• Title/Summary/Keyword: s theorem.

Search Result 1,347, Processing Time 0.025 seconds

A Study on Proof of Equalities and Inequalities Using Moment of Inertia (관성능률을 이용한 등식 및 부등식의 증명에 대한 연구)

  • Han, In-Ki;Son, Jin-O;Lee, Kwang-Rok;Baek, Soo-Hean;Song, A-Rom;Chung, Ki-Young
    • Communications of Mathematical Education
    • /
    • v.22 no.1
    • /
    • pp.53-63
    • /
    • 2008
  • In this paper we study a new proof method of equalities and inequalities using moment of inertia. We analyze proof method using moment of inertia, and describe how to prove equalities and inequalities using moment of inertia.

  • PDF

Registration of Aerial Image with Lines using RANSAC Algorithm

  • Ahn, Y.;Shin, S.;Schenk, T.;Cho, W.
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.25 no.6_1
    • /
    • pp.529-536
    • /
    • 2007
  • Registration between image and object space is a fundamental step in photogrammetry and computer vision. Along with rapid development of sensors - multi/hyper spectral sensor, laser scanning sensor, radar sensor etc., the needs for registration between different sensors are ever increasing. There are two important considerations on different sensor registration. They are sensor invariant feature extraction and correspondence between them. Since point to point correspondence does not exist in image and laser scanning data, it is necessary to have higher entities for extraction and correspondence. This leads to modify first, existing mathematical and geometrical model which was suitable for point measurement to line measurements, second, matching scheme. In this research, linear feature is selected for sensor invariant features and matching entity. Linear features are incorporated into mathematical equation in the form of extended collinearity equation for registration problem known as photo resection which calculates exterior orientation parameters. The other emphasis is on the scheme of finding matched entities in the aide of RANSAC (RANdom SAmple Consensus) in the absence of correspondences. To relieve computational load which is a common problem in sampling theorem, deterministic sampling technique and selecting 4 line features from 4 sectors are applied.

A Study for Earthquake Parameter of Odaesan Earthquake (오대산지진(2007/01/20)의 지진원 특성에 관한 연구)

  • Kim, Jun-Kyoung
    • The Journal of Engineering Geology
    • /
    • v.17 no.4
    • /
    • pp.673-680
    • /
    • 2007
  • The seismic source parameters of the Odaesan earthquake on 20 January 2007, including focal depth, focal mechanism, magnitude, and source characteristics, are analysed using seismic moment tensor inversion. The Green's function for different 3 crust models representing the southern Korean Peninsula are used. Final results show that the event, considering 6 seismic moment tensor elements, is caused by the typical strike slip fault with nearly NNE strike. The focal depth is estimated to be about 11km and 6 seismic moment tensor elements with 7.2% CLVD value shows typical double couple seismic source. The consistent characteristics of the strike and epicenter of the event with Odaesan fault imply that Odaesan earthquake is mainly caused by movement of the Odaesan fault.

Analysis of Prospective Teachers' Mathematical Content Knowledge about Differential area (예비교사의 미분영역에 관한 내용지식의 분석)

  • Cho, Wan-Young
    • School Mathematics
    • /
    • v.14 no.2
    • /
    • pp.233-253
    • /
    • 2012
  • The purpose of the study investigate mathematics content knowledge(MCK) of prospective teachers in differential area. 70 prospective teachers were asked to perform six questions based on Cho's MCK (2010, 2011). The results show that depending on whether they experience any teacher education program, the level of prospective teachers' mathematics content knowledge may vary. In particular, prospective teachers struggled with an unfamiliar problem situations. We also found that prospective mathematics teachers have some difficulty in solving problem about the use of mean value theorem and derivative.

  • PDF

Analysis of Characteristics of Ku/C Band Modified Square Loop Frequency Selective Surface (Ku/C 밴드 변형된 사각 루프 주파수 선택 반사기 특성 해석)

  • 노행숙;이동진;최학근
    • The Journal of Korean Institute of Electromagnetic Engineering and Science
    • /
    • v.11 no.2
    • /
    • pp.186-196
    • /
    • 2000
  • In this paper, modified square loop frequency selective surface for dualband communication antenna systems is proposed, and the scattering characteristics is discussed. The analysis for the problem of scattering by periodic structures with a dielectric slab is formulated using the spectral-domain immittance approach and Floquet's theorem. The method of moments which uses rooftop subdomain basis function is employed to solve the equations. Numerical results include the comparison between the transmission characteristic of general square loop and that of modified square loop. Also, the transmission characteristics of modified square loop for arbitrary incident angle and polarization is presented. To verify analysis results, modified square loop frequency selective surface was fabricated and the calculated results were compared with the measured results. The measured results showed good agreement with the calculated results.

  • PDF

Optimal Tuning of Biaxial Servomechanisms Using a Cross-coupled Controller (상호결합제어기를 이용한 2축 서보메커니즘의 최적튜닝)

  • Bae Ho-Kyu;Chung Sung-Chong
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.30 no.10 s.253
    • /
    • pp.1209-1218
    • /
    • 2006
  • Precision servomechanisms are widely used in machine tool, semiconductor and flat panel display industries. It is important to improve contouring accuracy in high-precision servomechanisms. In order to improve the contouring accuracy, cross-coupled control systems have been proposed. However, it is very difficult to select the controller parameters because cross-coupled control systems are multivariable, nonlinear and time-varying systems. In this paper, in order to improve contouring accuracy of a biaxial servomechanism, a cross-coupled controller is adopted and an optimal tuning procedure based on an integrated design concept is proposed. Strict mathematical modeling and identification process of a servomechanism are performed. An optimal tuning problem is formulated as a nonlinear constrained optimization problem including the relevant controller parameters of the servomechanism. The objective of the optimal tuning procedure is to minimize both the contour error and the settling time while satisfying constraints such as the relative stability and maximum overshoot conditions, etc. The effectiveness of the proposed optimal tuning procedure is verified through experiments.

The computation of the torso surface potentials using the boundary element method (경계요소법을 이용한 트로소 표면전위의 계산)

  • 이경중;이세진
    • Journal of the Korean Institute of Telematics and Electronics B
    • /
    • v.33B no.8
    • /
    • pp.22-29
    • /
    • 1996
  • This study describes a method to find the torso surface potential based on the boundary element method. In order to find the torso surface potential, the governing equation was developed based on the green's second theorem. The boundary element method (BEM) which has a good computing capability in case of homogeneous and isotropic medium was applied to solve the equation. to validate the BEM, we considered a homogeneous sphere model which has an electrric dopole source inside. The results showed the good agreement between the analytic solution and the computed solution. In normal heart, the simulated torso surface isopotential maps are good agreement with that obtained form the ventricular excitation.

  • PDF

A Study on Nonlinear Water-Wave Profile (비선형 해양파의 파형 연구에 관하여)

  • JANG TAEK-SOO;WANG SUNG-HYUNH;KWON SUN-HONG
    • Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
    • /
    • 2004.11a
    • /
    • pp.179-182
    • /
    • 2004
  • This paper deals with a new mathematical formulation of nonlinear wave profile based on Banach fixed point theorem. As application of the formulation and its solution procedure, some numerical solutions was presented in this paper and nonlinear equation was derived. Also we introduce a new operator for iteration and getting solution. A numerical study was accomplished with Stokes' first-order solution and iteration scheme, and then we can know the nonlinear characteristic of Stokes' high-order solution. That is, using only Stokes' first-oder(linear) velocity potential and an initial guess of wave profile, it is possible to realize the corresponding high-oder Stokian wave profile with tile new numerical scheme which is the method of iteration. We proved the mathematical convergence of tile proposed scheme. The nonlinear strategy of iterations has very fast convergence rate, that is, only about 6-10 iterations arc required to obtain a numerically converged solution.

  • PDF

An improved parametric formulation for the variationally correct distortion immune three-noded bar element

  • Mukherjee, Somenath;Manju, S.
    • Structural Engineering and Mechanics
    • /
    • v.38 no.3
    • /
    • pp.261-281
    • /
    • 2011
  • A new method of formulation of a class of elements that are immune to mesh distortion effects is proposed here. The simple three-noded bar element with an offset of the internal node from the element center is employed here to demonstrate the method and the principles on which it is founded upon. Using the function space approach, the modified formulation is shown here to be superior to the conventional isoparametric version of the element since it satisfies the completeness requirement as the metric formulation, and yet it is in agreement with the best-fit paradigm in both the metric and the parametric domains. Furthermore, the element error is limited to only those that are permissible by the classical projection theorem of strains and stresses. Unlike its conventional counterpart, the modified element is thus not prone to any errors from mesh distortion. The element formulation is symmetric and thus satisfies the requirement of the conservative nature of problems associated with all self-adjoint differential operators. The present paper indicates that a proper mapping set for distortion immune elements constitutes geometric and displacement interpolations through parametric and metric shape functions respectively, with the metric components in the displacement/strain replaced by the equivalent geometric interpolation in parametric co-ordinates.

Lagrangian Motion of Water Particles in Stokes Waves (스토우크스파에서의 수입자 운동)

  • Kim, Tae-In;Hwang, Im-Koo
    • Journal of Korean Society of Coastal and Ocean Engineers
    • /
    • v.4 no.4
    • /
    • pp.187-200
    • /
    • 1992
  • A general scheme is developed to determine the Langrangian motions of water particles by the Eulerian velocity at their mean positions by using Taylor's theorem. Utilizing the Stokes finite-amplitude wave theory, the orbital motions and the mass transport velocity including the effects of higher-order wave components are determined. The fifth-order approximation of orbital motion gives very good predictions of actual water particle motion in Stokes fifth-order wave theory except near the free-surface. The fifth-order theory predicts the mass transport velocity less than that given by the existing second-order theory over the whole water depth.

  • PDF