• Korean Journal of Logic
• /
• v.5 no.1
• /
• pp.81-117
• /
• 2001

이 글은 수학적 플라톤주의를 포기하더라도 프레게에게 열려 있었던 것으로 보이는 논리 주의 프로그램의 한 가능성, 즉 수를 고차 개념으로 이해하는 논리주의 프로그램을 그가 왜 선택하지 않았는가 하는 물음에 대답하는 데 목적이 있다. 이를 위해 나는 수를 고차 개념으로 이해할 때 산수의 기초 개념들을 만족스럽게 정의할 수 있는지, 그런 정의들로부터 프레게의 기수 이론의 공리들을 고단계 논리학 내에서 모두 증명할 수 있는지를 차례대로 검토한다. 다음으로 나는 그 검토 결과에 근거할 때 대상들이 무한히 많이 있다는 가정에 의존하지 않는 한 서로 다른 유한 기수들이 무한히 많이 있다는 것을 보증할 수 없다는 점을 논증할 것이고, 바로 그 점이 프레게가 비플라톤주의적 논리 주의를 받아들일 수 없었던 주요 이유였음을 논증할 것이다.

• Proceeding of KASS Symposium
• /
• 2008.05a
• /
• pp.95-100
• /
• 2008

A 4-node assumed strain finite element based on higher order shear deformation theory is developed to investigate the behaviours of symmetric and unsymmetric laminated composite plates. The present element is based on Reddy's higher order shear deformation theory so that it can consider the parabolic distribution of shear deformation through plate thickness direction. In particular, assumed strain method is adopted to alleviate the shear locking phenomena inherited plate elements based on higher order shear deformation theory. The present finite element has seven degrees of freedom per node and denoted as HSA4. Numerical examples are carried out for symmetric and unsymmetric laminated composite plate with various thickness values. Numerical results are compared with reference solutions produced by other higher order shear deformation theories.

• The Journal of the Acoustical Society of Korea
• /
• v.19 no.1
• /
• pp.54-60
• /
• 2000

There are many works to analyze a simple expansion chamber involving higher order modes. These works are classified to mode matching method, velocity potential method and finite element method. Among these methods, mode matching method has good performance at analyzing a concentric expansion chamber. Generally inlet/outlet pipe cross section area is smaller than middle chamber cross section area. So the number of higher order modes of inlet/outlet pipe can be fewer than that of middle chamber. But mode matching method must use the same number of higher order modes at inlet pipe, middle chamber and outlet pipe. Therefore the redundant modes of inlet/outlet pipe makes the computation time of mode matching method longer. In this paper, the new method, which can select number of each higher order modes of inlet pipe, middle chamber and outlet pipe, was suggested. And this method was compared to conventional mode matching method and finite element method in order to demonstrate the accuracy of the new method and to show that the new method can reduce a calculating time.

• Journal of Korean Society of Coastal and Ocean Engineers
• /
• v.19 no.5
• /
• pp.484-491
• /
• 2007

Numerical experiments using a numerical wave tank have been performed to verier the nonlinear interaction between monochromatic waves and a submerged horizontal plate. As a model for numerical wave tank, we used a higher-order Boundary Element Method(BEM) based on fully nonlinear potential flow theory and CADMAS-SURF for solving Navier Stokes equations and exact free surface conditions. Both nonlinear models are able to predict the higher harmonic generation in the shallow water region over a submerged horizontal plate. CADMAS-SURF, which involves the viscous effect, can evaluate the higher harmonic generation by flow separation and vortices at the each ends of plate. The comparison of reflection and transmission coefficients with experimental results(Patarapanich and Cheong, 1989) at different lengths and submergence depths of a horizontal plate are presented with a good agreement. It is found that the transfer of energy from the incident fundamental waves to higher harmonics becomes larger as the submergence depth ratio decreases and the length ratio increases.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.21 no.4
• /
• pp.27-37
• /
• 2011

dth-order power analysis can safely be defended by dth-order masking method. However, as the degree of applied masking method increases, it can significantly decrease effectiveness of cryptosystem. The existing statistical analysis on high-order power analysis contains only analysis on second power analysis. However, this means absent of safety standards when crypto engineers apply 3rd or more order masking. this absent of standards can lead to insignificant usage of masking method which can significantly decrease effectiveness of cryptosystem. In this dissertation, we have generalize statistical values on high-order power analysis to establish these standards. In other words, we have generalized the value of a correlation coefficient when calculation of high-order power analysis methods are performed. That is to say, it can greatly be used to indicate a degrees that can be applied on further usage of masking method.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.28 no.2
• /
• pp.377-384
• /
• 2022

Vortex-induced vibration (VIV) occurs owing to the vortex generated from the back side of the appendages of ships and submarines during operation. Recently, the importance of high-order modes (HOMs) vibration and fatigue failure has become increasingly emphasized by increasing the speed of ships and the size of structures. In addition, predicting the vibration of HOMs is significantly necessary as the VIV becomes stronger in the fast flow speed condition than in the low flow speed condition. This study introduces a methodology according to HOMs hybrid Fluid Structure Interaction (FSI) for predicting the HOMs VIV on the hydrofoils. The HOMs FSI system is verified by comparing the VIV results from the FSI simulation with the experimental results. Finally, the effectiveness of the HOMs FSI is determined by applying the maximum von-Mises stress obtained from the VIV on the hydrofoil to the S-N curve released from Det Norske Veritas (DNV). VIV results from the HOMs FSI include the lock-in characteristics as well as a significant increase of more than 10 times compared with that of low-order modes (LOMs) FSI. In the future works, advanced studies will be required for improving cantilever boundary conditions and the shape of hydrofoils.

• Polymer(Korea)
• /
• v.29 no.6
• /
• pp.575-580
• /
• 2005

The hydroxy terminated aliphatic hyperbranched polyesters having different generations were synthesized by using melt polycondensation procedure. Then, the terminal groups of hyperbranched polyesters were modified by using acryloyl chloride and characterized by $\^{1}H$-NMR and GPC techniques. As a result of the modification of terminal groups for hyperbranched polyesters, the phase of the polymers were changed from sticky solid to high viscous liquid indicating that the glass transition temperatures of modified hyperbranched polyesters were lower than the original one. The thermal stabilities of hydroxy terminated hyperbranched polyesters were higher than those of terminal group-modified polymers.

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.519-522
• /
• 2002

컴퓨터에 의한 실내음향 예측에 있어 확산반사의 고려는 매우 중요한 요소의 하나로 간주된다. 지난 수년 동안 음선추적법을 이용하여 실내음향을 예측하는 경우에 확산 반사를 고려하기 위한 방안들이 다양하게 제시되었으나 경면반사를 근본으로 하는 영상법에서는 확산 반사를 고려하기가 어려운 것으로 알려져 있다. 본 연구에서는 컴퓨터 그래픽 분야에서 제안된 확장 라디오 시티법을 적용하여 영상법에서 확산반사를 고려하는 방안을 제시하였다. 부분적으로 확산성을 갖는 반사면에서의 음향에너지 반사는 확산반사와 경면반사의 형태로 나누어 볼 수 있으며 반사의 횟수를 거듭함에 따라 확산-확산, 확산-경면, 경면-확산, 경면-경면의 형태로 반사에너지의 전환이 이루어진다. 본 연구에서는 고차 형태계수의 개념을 이용하여 이 네가지 형태의 반사음전달과정을 모두 고려할 수 있도록 함으로써 실내의 벽면을 부분적 확산반사의 특성을 갖는 반사면으로 모델링 할 수 있도록 하였다. 본 논문에서는 확장라디오시티법의 개념과 이에 따른 고차형태계수의 근사 계산법을 제시하고 고차형태계수가 실내음향 씨뮬레이션의 결과에 미치는 영향 등을 분석해 보았다. [본 연구는 한국과학재단 특정기초 연구 (과제번호 1999-1-310-004-3)의 지원에 의한 연구결과의 일부임]

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.33 no.3
• /
• pp.39-46
• /
• 2005

In this paper, adaptive higher harmonic control technique using Neural Networks (NN) is proposed. First, linear transfer function is estimated to relate the input harmonics and output harmonics, then NN which has the universal function approximation property is applied to expand application range of the transfer function. Optimal control gain matrix computed from the transfer function is used to train NN weights. Online weight adaptation laws are derived from Lyapunov's direct method to guarantee internal stability. Results of the simulation of 6-input 2-output nonlinear system show that adaptive HHC is applicable to the system with uncertain transfer function.

• Journal of KIISE
• /
• v.42 no.1
• /
• pp.93-96
• /
• 2015

The SIFT method is well-known for robustness against various image transformations, and is widely used for image retrieval and matching. The SIFT method extracts keypoints using scale space analysis, which is different from conventional keypoint detection methods that depend only on the image space. The SIFT method has also been extended to use higher-order scale space derivatives for increasing the number of keypoints detected. Such detection of additional keypoints detected was shown to provide performance gain in image retrieval experiments. Herein, a sigma based normalization method for keypoint detection is introduced using higher-order scale space derivatives.