• Journal for History of Mathematics
• /
• v.25 no.4
• /
• pp.53-67
• /
• 2012

Today, it is necessary to calculate orbits with high accuracy in space flight. The key words of Poincar$\acute{e}$ in celestial mechanics are periodic solutions, invariant integrals, asymptotic solutions, characteristic exponents and the non existence of new single-valued integrals. Poincar$\acute{e}$ define an invariant integral of the system as the form which maintains a constant value at all time $t$, where the integration is taken over the arc of a curve and $Y_i$ are some functions of $x$, and extend 2 dimension and 3 dimension. Eigenvalues are classified as the form of trajectories, as corresponding to nodes, foci, saddle points and center. In periodic solutions, the stability of periodic solutions is dependent on the properties of their characteristic exponents. Poincar$\acute{e}$ called bifurcation that is the possibility of existence of chaotic orbit in planetary motion. Existence of near exceptional trajectories as Hadamard's accounts, says that there are probabilistic orbits. In this context we study the eigenvalue problem in early 20th century in three body problem by analyzing the works of Darwin, Bruns, Gyld$\acute{e}$n, Sundman, Hill, Lyapunov, Birkhoff, Painlev$\acute{e}$ and Hadamard.

• Journal of Korea Society of Industrial Information Systems
• /
• v.13 no.2
• /
• pp.69-79
• /
• 2008

Due to popularization of the wireless Internet and mobile devices the infrastructure of the ubiquitous environment, where users can get information whatever they want anytime and anywhere, is created. Therefore, a variety of fields including the education studies methods for efficiency of information transmission using on-line and off-line contents. In this paper, we propose the Mixed Mobile Education system(MME) that improves educational efficiency using on-line and off-line contents on mobile devices. Because it is hard to input new data and cannot use similar off-line contents in systems used additional tags, the proposed system does not use additional tags but recognizes of-line contents as we extract feature points in the input image using the mobile camera. We use the Scale Invariant Feature Transform(SIFT) algorithm to extract feature points which are not affected by noise, color distortion, size and rotation in the input image captured by the low resolution camera. And we use the client-server architecture for solving the limited storage size of the mobile devices and for easily registration and modification of data. Experimental results show that compared with previous work, the proposed system has some advantages and disadvantages and that the proposed system has good efficiency on various environments.

• Korea Real Estate Review
• /
• v.28 no.1
• /
• pp.53-63
• /
• 2018

This paper shows that the value of land can vary based on the future availability of the land. According to the Korean principles of land appraisal by the Ministry of Land, Infrastructure, and Transport (MOLIT), the value of a piece of land is derived mainly from the latter's fertility level or local environment. In practice, however, the values of lands may vary even though their fertility level is invariant. This paper investigates a fundamental question for many professional appraisers who argue that appraisal practices are different from the principles of appraisal. It highlights the appraisal practices for agricultural and forestry lands, which have similar agricultural productivity levels or environmental conditions. It is shown in this paper that even though the fertility level of lands is invariant, the values of lands may vary based on their locations. Therefore, this can complement the principles of land appraisal. In this paper, real cases in local areas in Gapyeong County, Kyounggi province are investigated. It can be seen from the cases in the local areas that two agricultural lands may have different values based on their locations even though they have almost similar fertility levels (e.g., their physical distance from each other is less than 0.5 km but their values differ by around 19%). This paper thus argues that the value of a piece of land can be determined by its availability.

• Journal of Internet Computing and Services
• /
• v.20 no.4
• /
• pp.91-102
• /
• 2019

In autonomous driving systems, the ability to classify pedestrians in images captured by cameras is very important for pedestrian safety. In the past, after extracting features of pedestrians with HOG(Histogram of Oriented Gradients) or SIFT(Scale-Invariant Feature Transform), people classified them using SVM(Support Vector Machine). However, extracting pedestrian characteristics in such a handcrafted manner has many limitations. Therefore, this paper proposes a method to classify pedestrians reliably and effectively using CNN's(Convolutional Neural Network) deep features and transfer learning. We have experimented with both the fixed feature extractor and the fine-tuning methods, which are two representative transfer learning techniques. Particularly, in the fine-tuning method, we have added a new scheme, called M-Fine(Modified Fine-tuning), which divideslayers into transferred parts and non-transferred parts in three different sizes, and adjusts weights only for layers belonging to non-transferred parts. Experiments on INRIA Person data set with five CNN models(VGGNet, DenseNet, Inception V3, Xception, and MobileNet) showed that CNN's deep features perform better than handcrafted features such as HOG and SIFT, and that the accuracy of Xception (threshold = 0.5) isthe highest at 99.61%. MobileNet, which achieved similar performance to Xception and learned 80% fewer parameters, was the best in terms of efficiency. Among the three transfer learning schemes tested above, the performance of the fine-tuning method was the best. The performance of the M-Fine method was comparable to or slightly lower than that of the fine-tuningmethod, but higher than that of the fixed feature extractor method.

• Korean Journal of Remote Sensing
• /
• v.34 no.6_2
• /
• pp.1215-1227
• /
• 2018

Sea ice motion is an important factor for assessing change of sea ice because the motion affects to not only regional distribution of sea ice but also new ice growth and thickness of ice. This study presents an application of multi-temporal high-resolution optical satellites images obtained from Korea Multi-Purpose Satellite-2 (KOMPSAT-2) and Korea Multi-Purpose Satellite-3 (KOMPSAT-3) to measure sea ice motion using SIFT (Scale-Invariant Feature Transform), SURF (Speeded Up Robust Features) and ORB (Oriented FAST and Rotated BRIEF) feature tracking techniques. In order to use satellite images from two different sensors, spatial and radiometric resolution were adjusted during pre-processing steps, and then the feature tracking techniques were applied to the pre-processed images. The matched features extracted from the SIFT showed even distribution across whole image, however the matched features extracted from the SURF showed condensed distribution of features around boundary between ice and ocean, and this regionally biased distribution became more prominent in the matched features extracted from the ORB. The processing time of the feature tracking was decreased in order of SIFT, SURF and ORB techniques. Although number of the matched features from the ORB was decreased as 59.8% compared with the result from the SIFT, the processing time was decreased as 8.7% compared with the result from the SIFT, therefore the ORB technique is more suitable for fast measurement of sea ice motion.

• Korean Journal of Remote Sensing
• /
• v.37 no.3
• /
• pp.475-491
• /
• 2021

With the recent increase in available high-resolution (< ~1 m) satellite SAR images, the demand for precise registration of SAR images is increasing in various fields including change detection. The registration between high-resolution SAR images acquired in different look angle is difficult due to speckle noise and geometric distortion caused by the characteristics of SAR images. In this study, registration is performed in two stages, coarse and fine, using the x-band SAR data imaged at staring spotlight mode of TerraSAR-X. For the coarse registration, a method combining the adaptive sampling method and SAR-SIFT (Scale Invariant Feature Transform) is applied, and three rigid methods (NCC: Normalized Cross Correlation, Phase Congruency-NCC, MI: Mutual Information) and one non-rigid (Gefolki: Geoscience extended Flow Optical Flow Lucas-Kanade Iterative), for the fine registration stage, was performed for performance comparison. The results were compared by using RMSE (Root Mean Square Error) and FSIM (Feature Similarity) index, and all rigid models showed poor results in all image combinations. It is confirmed that the rigid models have a large registration error in the rugged terrain area. As a result of applying the Gefolki algorithm, it was confirmed that the RMSE of Gefolki showed the best result as a 1~3 pixels, and the FSIM index also obtained a higher value than 0.02~0.03 compared to other rigid methods. It was confirmed that the mis-registration due to terrain effect could be sufficiently reduced by the Gefolki algorithm.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.18 no.6A
• /
• pp.139-149
• /
• 2008

The amount of personal information collected by organizations and government agencies is continuously increasing. When a data collector publishes personal information for research and other purposes, individuals' sensitive information should not be revealed. On the other hand, published data is also required to provide accurate statistical information for analysis. k-Anonymity and ${\iota}$-diversity models are popular approaches for privacy preserving data publication. However, they are limited to static data release. After a dataset is updated with insertions and deletions, a data collector cannot safely release up-to-date information. Recently, the m-invariance model has been proposed to support re-publication of dynamic datasets. However, the m-invariant generalization can cause high information loss. In addition, if the adversary already obtained sensitive values of some individuals before accessing released information, the m-invariance leads to severe privacy disclosure. In this paper, we propose a novel technique for safely releasing dynamic datasets. The proposed technique offers a simple and effective method for handling inserted and deleted records without generalization. It also gives equivalent degree of privacy preservation to the m-invariance model.

• The Journal of the Acoustical Society of Korea
• /
• v.41 no.1
• /
• pp.38-44
• /
• 2022

Speech enhancement is performed to improve intelligibility and quality of the noise-corrupted speech. In this paper, speech enhancement performance was compared using different loss functions in time and frequency domains. This study proposes a combination of loss functions to utilize advantage of each domain by considering both the details of spectrum and the speech waveform. In our study, Scale Invariant-Source to Noise Ratio (SI-SNR) is used for the time domain loss function, and Mean Squared Error (MSE) is used for the frequency domain, which is calculated over the complex-valued spectrum and magnitude spectrum. The phase loss is obtained using the sin function. Speech enhancement result is evaluated using Source-to-Distortion Ratio (SDR), Perceptual Evaluation of Speech Quality (PESQ), and Short-Time Objective Intelligibility (STOI). In order to confirm the result of speech enhancement, resulting spectrograms are also compared. The experimental results over the TIMIT database show the highest performance when using combination of SI-SNR and magnitude loss functions.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.40 no.4
• /
• pp.325-332
• /
• 2022

Determination of VLBI IVP (Very Long Baseline Interferometry Invariant Point) position with high accuracy is required to compute local tie vectors between the space geodetic techniques. In general, reflective targets are attached on VLBI antenna and slant distances, horizontal and vertical angles are measured from the pillars. Then, adjustment computation is performed by using the mathematical model which connects measurements and unknown parameters. This indicates that the accuracy of the estimated solutions is affected by the accuracy of the measurements. One of issues in local tie surveying, however, is that the reflective targets are not in favorable condition, that is, the reflective sheet target cannot be perfectly aligned to the instrument perpendicularly. Deviation from the line of sight of an instrument may cause different type of measurement errors. This inherent limitation may lead to incorrect stochastic modeling for the measurements in adjustment computation procedures. In this study, error characteristics by measurement types and pillars are analyzed, respectively. The analysis on the studentized residuals is performed after adjustment computation. The normality of the residuals is tested and then equal variance test between the measurement types are performed. The results show that there are differences in variance according to the measurement types. Differences in variance between distances and angle measurements are observed when F-test is performed for the measurements from each pillar. Therefore, more detailed stochastic modeling is required for optimal solutions, especially in local tie survey.

• The Journal of the Acoustical Society of Korea
• /
• v.42 no.6
• /
• pp.536-543
• /
• 2023

Speaker diarization, which labels for "who spoken when?" in speech with multiple speakers, has been studied on a deep neural network-based end-to-end method for labeling on speech overlap and optimization of speaker diarization models. Most deep neural network-based end-to-end speaker diarization systems perform multi-label classification problem that predicts the labels of all speakers spoken in each frame of speech. However, the performance of the multi-label-based model varies greatly depending on what the threshold is set to. In this paper, it is studied a speaker diarization system using single-label classification so that speaker diarization can be performed without thresholds. The proposed model estimate labels from the output of the model by converting speaker labels into a single label. To consider speaker label permutations in the training, the proposed model is used a combination of Permutation Invariant Training (PIT) loss and cross-entropy loss. In addition, how to add the residual connection structures to model is studied for effective learning of speaker diarization models with deep structures. The experiment used the Librispech database to generate and use simulated noise data for two speakers. When compared with the proposed method and baseline model using the Diarization Error Rate (DER) performance the proposed method can be labeling without threshold, and it has improved performance by about 20.7 %.