• Kyungpook Mathematical Journal
• /
• v.60 no.2
• /
• pp.415-421
• /
• 2020

In the proof of Theorem 3 on p.253 in [4], both right and left distributivity are assumed simultaneously which makes the proof invalid. We give a corrected proof for this theorem by introducing an extension of Lemma 2.2 in [2].

• Korean Journal of Mathematics
• /
• v.21 no.3
• /
• pp.271-283
• /
• 2013

In this paper, a generalized Adams-Moulton method that is a $m$-step method derived by using the Taylor's series is proposed to solve the satellite orbit determination problem. We show that our proposed method has produced much smaller error than the original Adams-Moulton method. Finally, the accuracy performance is demonstrated in the satellite orbit correction problem by giving a numerical example.

• Communications of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.871-888
• /
• 2018

We study the nonrelativistic limit of the Chern-Simons-Dirac system on ${\mathbb{R}}^{1+2}$. As the light speed c goes to infinity, we first prove that there exists an uniform existence interval [0, T] for the family of solutions ${\psi}^c$ corresponding to the initial data for the Dirac spinor ${\psi}_0^c$ which is bounded in $H^s$ for ${\frac{1}{2}}$ < s < 1. Next we show that if the initial data ${\psi}_0^c$ converges to a spinor with one of upper or lower component zero in $H^s$, then the Dirac spinor field converges, modulo a phase correction, to a solution of a linear $Schr{\ddot{o}}dinger$ equation in C([0, T]; $H^{s^{\prime}}$) for s' < s.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.27 no.11
• /
• pp.47-56
• /
• 2013

Rolling speed, roll gap, and cooling pattern in hot strip finishing mill process should be determined before inserting strip into roll. Such parameters are initially calculated by a mathematical set-up model. The technique to find adequate roll speed via a mathematical model has inherently limit because required working conditions are various and rolling process is nonlinear. To improve the accuracy of initial rolling speed for a finishing mill, this paper suggests a correction technology for initial rolling speed. The proposed method was implemented in hot strip mill process. As the results, the magnitude of width error in strip head-end part caused by excessive strip tension was decreased remarkably.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.295-309
• /
• 2020

Loop transversal codes take an alternative approach to the theory of error-correcting codes, placing emphasis on the set of errors that are to be corrected. Hitherto, the loop transversal code method has been restricted to linear codes. The goal of the current paper is to extend the conceptual framework of loop transversal codes to admit nonlinear codes. We present a natural example of this nonlinearity among perfect single-error correcting codes that exhibit efficient domination in a circulant graph, and contrast it with linear codes in a similar context.

• East Asian mathematical journal
• /
• v.27 no.2
• /
• pp.163-180
• /
• 2011

The purpose of this study is to look for the plan of reconstructing a textbook through error analysis and the process of its correction in numbers and operations of the first grade. The Research materials are collected and analyzed through the journal about every lessons, the recording sheets of students' activity, the recording videotapes during lessons, the individual interview and observation. This study investigated 4 errors which are useful for reconstructing textbook, the errors of understanding relation between numerical expression and number line, the errors of drawing-strategy, the errors of understanding relation between additive expression and subtractive expression, the errors of subtraction has to be regrouped. The errors are classified into some types and analyzed focusing on content of each error. Reinstructing are carried out based on material analyzed for correcting errors.

• Communications of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.643-645
• /
• 2024

In this note, we aim to correct some of the results presented in [1]. Namely, the statements of Proposition 2.1, Corollary 2.2, Corollary 2.3, Theorem 2.4 and Theorem 2.6, concerning only the monoids 𝓞𝓟_n and 𝓟𝓞𝓟_n, have to exclude transformations of rank two. All other results of [1], as well as those mentioned above but for the monoids 𝓞𝓡_n and 𝓟𝓞𝓡_n, do not require correction.

• Proceedings of the KSRS Conference
• /
• 2002.10a
• /
• pp.75-80
• /
• 2002

The mainly used technique to rectify satellite images with distortion is to develop a mathematical relationship between the pixel coordinates on the image and the corresponding points on the ground. By defining the relationship between two coordinate systems, a polynomial model is designed and various linear transformations are used. These GCP based geometric correction has performed overall plane to plane mapping. In the overall plane mapping, overall structure of a scene is considered, but local variation is discarded. The highly variant height of region is resampled with distortion in the rectified image. To solve this problem this paper proposed the TIN-based rectification on a satellite image. The TIN based rectification is good to correct local distortion, but insufficient to reflect overall structure of one scene. So, this paper shows the experimental result and the analysis of each rectification model. It also describes the relationship GCP distribution and rectification model. We can choose a geometric correction model as the structural characteristic of a satellite image and the acquired GCP distribution.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2006.06a
• /
• pp.45-48
• /
• 2006

Recently, the use of tubular hydroforming technology has seen increased usage and increased consideration for wide range of tubular automotive applications. In manufacturing hydroformed parts, bending and pre-forming operations are often required prior to the hydroforming process. Higher bending quality of bent tubes is crucial for the successful hydroforming operation because most of plastic strains and wall thinning at the extrados of bend area occur in the bending operation. Springback is also observed due to elastic recovery of tube material after bending. Proper correction of springback is required not only to well place the bent tube into a hydroforming die cavity but also to avoid pinching when the upper die is brought down to closing position. Therefore, prediction of springback at early development stage is one of the key factors to produce high quality hydroformed parts. In this study, a variety of bending experiments has been carried out to investigate springback amount under change in bending angle and material boosting. Throughout the experimental approach, springback characteristics of bent tubes are quantified according to the change in various bending parameters, and a mathematical model to predict correction amount of springback to a given bend angle is found.

• Advances in Automotive Engineering
• /
• v.1 no.1
• /
• pp.143-152
• /
• 2018

In this study an economical image stitching algorithm for use in automotive industry is developed for retrofittable panoramic image assistance applications. The aim of this project is to develop a driving assistance system known as Panoramic Parking Assistance (PPA) which is cheap, retrofittable and compatible for every type of automobiles. PPA generates bird's eye view image using cameras installed on the automobiles. Image stitching requires to get bird's eye view position of the vehicle. Panoramic images are wide area images that cannot be available by taking one shot, attained by stitching the overlapping areas. To achieve correct stitching many algorithms are used. This study includes some type of these algorithms and presents a simple one that is economical and practical. Firstly, the mathematical model of a wide view of angle camera is provided. Then distorted image correction is performed. Stitching is implemented by using the SIFT and SURF algorithms. It has been seen that using such algorithms requires complex image processing knowledge and implementation of high quality digital processors, which would be impracticle and costly for automobile use. Thus a simpler algorithm has been developed to decrase the complexity. The proposed algorithm uses one matching point for every couple of images and has ease of use and does not need high power processors. To show the efficiency, images coming from four distinct cameras are stitched by using the algorithm developed for the study and usability for automotive application is analyzed.