• Journal for History of Mathematics
• /
• v.20 no.3
• /
• pp.1-16
• /
• 2007

In order to generalize theory of series in Iksan(翼算), we introduce a concept of double sequence of partial sums and elementary double sequence of partial sums, which play a dominant role in the study of double sequences of partial sums. We introduce a concept of finitely generated double sequence of partial sums and find a necessary and sufficient condition for those double sequences. Finally we prove a multiplication theorem for tetrahedral numbers and for 4 dimensional tetrahedral numbers.

• Annual Conference of KIPS
• /
• 2005.11a
• /
• pp.121-124
• /
• 2005

본 논문에서는 타임 워핑 하의 시계열 서브시퀀스 매칭을 처리하는 방법에 대하여 논의한다. 타임 워핑은 시퀀스의 길이가 서로 다른 경우에도 유사한 패턴을 갖는 시퀀스들을 찾을 수 있도록 해 주는 변환이다. 접두어 질의 기법(prefix-querying method)는 착오 기각(false dismissal) 없이 타임 워핑 하의 시계열 서브시퀀스 매칭을 처리하는 인덱스를 이용한 최초의 방식이다. 이 방법은 사용자가 질의를 편리하게 작성하도록 하기 위하여 기본 거리 함수로서 $L_{\infty}$를 사용한다. 본 논문에서는 $L_{\infty}$ 대신 타임 워핑 하의 시계열 서브시퀀스 매칭에서 기본 거리 함수로서 가장 널리 사용되는 $L_1$을 적용할 수 있도록 접두어 질의를 확장한다. 또한, 제안된 기법으로 타임 워핑 하의 시계열 서브시퀀스 매칭을 수행하는 경우 착오 기각이 발생하지 않음을 이론적으로 증명한다. 다양한 실험을 통한 성능 평가를 통하여 본 연구에서 제시하는 기법의 우수성을 검증한다. 실험 결과에 의하면, 제안된 기법은 가장 좋은 성능을 보이는 기존의 기법과 비교하여 매우 뛰어난 성능 개선 효과를 보이는 것으로 나타났다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.34 no.6
• /
• pp.67-74
• /
• 2006

In this paper, a tiled display system is developed to get a high-resolution image in visualization of large-scale structural analysis data with low-resolution display devices and low-cost cluster computer system. Concerning the hardware system, some of the crucial points are investigated, and a new beam-projector positioner is designed and manufactured to resolve the keystone phenomena which result in distorted image. In the development of tiled display software, Qt and OpenGL are utilized for GUI and rendering, respectively. To obtain the entire tiled image, LAM-MPI is utilized to synchronize the several sub-images produced from each cluster computer node.

• Journal of the Society of Naval Architects of Korea
• /
• v.29 no.1
• /
• pp.29-42
• /
• 1992

A potential based panel method is used to predict the open water characteristics of spade-type rudders. The inflow velocity is assumed to be constant in lime and uniform in space. Source and dipole are distributed on the rudder surface. It is assumed that the wake surface is streaming from trailing edge and it is represented by dipole distribution. In this paper, wake geometry is assumed by imposing appropriate conditions at the trailing edge and far from the body. The effects of wake geometry are studied. The pressure Kutta condition is applied at the trailing edge, the effects of which are compared with those of two-dimensional Kutta condition. The results of calculations for a spade-type rudder are compared with published results. It is concluded that this approach shows fairly good agreement with experimental results and can be used in the initial design stage of a rudder.

• The Journal of Korean Academy of Sensory Integration
• /
• v.19 no.3
• /
• pp.22-31
• /
• 2021

Purpose : This study aimed to conduct a translation, backtranslation, and content validity test of the Sensory Processing Measure (SPM) for Korean children. Methods : The translation and content validation process involved direct and backward translation; a test of equivalence between the two versions (the original SPM and the Korean version SPM; K-SPM) was performed using content-related evidence collected by a group of experts and a group of parents. Data analysis was carried out using Excel Content validity indices (CVI), mean, and standard deviation were used for the analysis of content validity. Results : The result of the comparison between the original SPM and K-SPM in the group of experts was 3.54 ± .74, the S-CVI/Avg for semanticity was .92, and the S-CVI/Avg for structure was .86. The results for the mean of the understanding test and the S-CVI/Avg were 3.48 ± .63 and .94, respectively. Conclusion : K-SPM will considerately be used as an assessment to identify sensory processing, praxis, and social participation issues for children in Korea. Further studies are suggested to increase the age range and the sample size for a more comprehensive applicability of the K-SPM to Korean children.

• Journal of Navigation and Port Research
• /
• v.29 no.6 s.102
• /
• pp.509-513
• /
• 2005

Ship maneuverability is mainly determined according to hull-propeller-rudder system of a ship and directly related to the ship safety during the operation in the ocean. Among hull-propeller-rudder system the rudder system had direct concern with the ship maneuverability and a special rudder has been recommended to improve the ship maneuverability. In this paper the study of flapped rudder's 2-dimensional section was accomplished Model tests had been carried out with different angles of attack of a main foil and flap's deflection angles to predict the performance of the flapped rudder and the 2 frame particle tracking method had been used to obtain the velocity distribution in the flow field during model tests. $Re=1.027{\times}10^4$ had been used during the whole experiments and measured results had been compared with each other.

• Journal of the Mineralogical Society of Korea
• /
• v.25 no.4
• /
• pp.313-322
• /
• 2012

몽골 우기누르 지역 철-망간 광상과 타미르골 지역 철 광상의 광체는 먼곤체지 층 내에 렌즈상으로 협재되는 특성을 갖는다. 이러한 광상은 캠브리아 기에서 실루리아기에 이르는 화산 기원의 퇴적형 광상인 타미르골-요루골 광상구에 해당된다. 우기누르 지역의 철-망간 광체와 타미르골 지역의 철광체는 주로 규암과 편암을 모암으로 하여 먼곤체지 층 내에 렌즈상으로 협재되어 있다. 우기누르지역의 편암이 주로 세리사이트 편암인 데 비해 타미르골 지역은 주로 백운모 편암이 나타나는 차이를 갖는다. 또한 우기누르 지역의 광석은 망간이10에서 12% 함유되나 타미르골 지역의 광석은 망간이 1% 이하로 함량이 낮은 특성을 갖는다. 우기누르 철 망간 광상의 철 광물은 주로 자철석, 적철석이 우세하게 나타나고 기타 철 산화물과 황철석이 미량으로 수반되어 나타나며, 망간 광물은 주로스페사틴, 버네사이트가 우세하게 나타나고 기타망간 산화물이 수반되어 나타난다. 타미르골 지역의 철 광석은 자철석이 우세하게 나타나고 적철석이 수반되며 황철석, 철 산화물, 탄산질 철 등이 미량으로 수반되어 나타난다. 우기누르 철-망간 광상에 대한 육상 자력탐사 결과 높은 자기 이상값을보이는 영역이 지표에서 확인된 광체의 방향과 같은 약 $N30^{\circ}W$ 방향으로 나타나며 지표에서 확인된 광체 이외에 지표에 드러나지 않은 부분에서도 연장되는 것이 확인되었다.

• The KIPS Transactions:PartD
• /
• v.13D no.3 s.106
• /
• pp.357-368
• /
• 2006

This paper discusses the way of processing time-series subsequence matching under time warping. Time warping enables finding sequences with similar patterns even when they are of different lengths. The prefix-querying method is the first index-based approach that performs time-series subsequence matching under time warping without false dismissals. This method employs the $L_{\infty}$ as a base distance function for allowing users to issue queries conveniently. In this paper, we extend the prefix-querying method for absorbing $L_1$, which is the most-widely used as a base distance function in time-series subsequence matching under time warping, instead of $L_{\infty}$. We also formally prove that the proposed method does not incur any false dismissals in the subsequence matching. To show the superiority of our method, we conduct performance evaluation via a variety of experiments. The results reveal that our method achieves significant performance improvement in orders of magnitude compared with previous methods.

• Journal of Internet Computing and Services
• /
• v.22 no.3
• /
• pp.1-8
• /
• 2021

Ultra high-quality and ultra high-resolution omnidirectional 360-degree video streaming is needed to provide immersive media through head-mounted display(HMD) in virtual reality environment, which requires high bandwidth and computational complexity. One of the approaches avoiding these problems is to apply viewport-dependent selective streaming using tile-based segmentation method. This paper presents a performance analysis of viewport-dependent tiled streaming on 16K ultra high-quality 360-degree videos and 4K 360-degree videos which are widely used. Experimental results showed 42.47% of bjotegaard delta rate(BD-rate) saving on 16K ultra high-quality 360-degree video tiled streaming compared to viewport-independent streaming while 4K 360-degree video showed 26.41% of BD-rate saving. Therefore, this paper verified that tiled streaming is more efficient on ultra-high quality video.

• Journal of the Institute of Convergence Signal Processing
• /
• v.24 no.2
• /
• pp.97-102
• /
• 2023

Numerical simulations have been performed to investigate the hydrodynamic characteristics of the rudder since they play an important role in naval architecture fields. Although some values such as hydrodynamics forces can be measured easily in the towing tanks, it is difficult to obtain the detailed information of the flow fields such as pressure distribution, velocity distribution, vortex generation from experiments. In the present study, the effects of hydrodynamic coefficients and Reynolds number acting on the rudder were studied by using Computational Fluid Dynamics(CFD). Ansys fluent, one of commercial CFD solvers, solves the Navier-Stokes equations and the k-epsilon turbulence model is selected for the viscous model to solve RANS equations. At first, drag coefficients and lift coefficient for different angle of attack are obtained by using a CFD commercial code for KCS rudder. Secondly, the 2-D lift coefficients and drag coefficients are compared with 3-D coefficients at the same conditions. Thirdly, the effects of Reynolds number on the hydrodynamic forces are investigated.