• Journal of Biomedical Engineering Research
• /
• v.44 no.5
• /
• pp.346-353
• /
• 2023

In this paper, we propose an innovative approach that leverages deep learning to find optimal reference points for achieving precise tooth segmentation in three-dimensional tooth point cloud data. A dataset consisting of 350 aligned maxillary and mandibular cloud data was used as input, and both end coordinates of individual teeth were used as correct answers. A two-dimensional image was created by projecting the rendered point cloud data along the Z-axis, where an image of individual teeth was created using an object detection algorithm. The proposed algorithm is designed by adding various modules to the Unet model that allow effective learning of a narrow range, and detects both end points of the tooth using the generated tooth image. In the evaluation using DSC, Euclid distance, and MAE as indicators, we achieved superior performance compared to other Unet-based models. In future research, we will develop an algorithm to find the reference point of the point cloud by back-projecting the reference point detected in the image in three dimensions, and based on this, we will develop an algorithm to divide the teeth individually in the point cloud through image processing techniques.

• The Pure and Applied Mathematics
• /
• v.15 no.1
• /
• pp.35-45
• /
• 2008

In cases sufficient conditions for the semilocal convergence of Newtonlike methods are violated, we start with a modified Newton-like method (whose weaker convergence conditions hold) until we stop at a certain finite step. Then using as a starting guess the point found above we show convergence of the Newtonlike method to a locally unique solution of a nonlinear operator equation in a Banach space setting. A numerical example is also provided.

• Communications of the Korean Mathematical Society
• /
• v.24 no.3
• /
• pp.361-366
• /
• 2009

In this paper we consider constructive function triples on the real numbers $\mathbb{R}$ and on (not necessarily commutative) integral domains D which permit the construction of a multitude of d-algebras via these constructive function triples. At the same time these constructions permit one to consider various conditions on these d-algebras for subsets of solutions of various equations, thereby producing geometric problems and interesting visualizations of some of these subsets of solutions. In particular, one may consider what notions such as "locally BCK" ought to mean, certainly in the setting provided below.

• Journal of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.17-33
• /
• 2017

We present a new local as well as a semilocal convergence analysis for Steffensen's method in order to locate fixed points of operators on a Banach space setting. Using more precise majorizing sequences we show under the same or less computational cost that our convergence criteria can be weaker than in earlier studies such as [1-13], [21, 22]. Numerical examples are provided to illustrate the theoretical results.

• Journal of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.87-99
• /
• 2017

To indicate the statistical complexity of dynamical systems, we introduce the notions of higher order irregular set and higher order maximal Birkhoff average oscillation in this paper. We prove that, in the setting of topologically mixing Markov chain, the set consisting of those points having maximal k-order Birkhoff average oscillation for all positive integers k is as large as the whole space from the topological point of view. As applications, we discuss the corresponding results on a repeller.

• 제어로봇시스템학회:학술대회논문집
• /
• 1989.10a
• /
• pp.934-938
• /
• 1989

This paper considers the model predictive control (MPC) problems in nonlinear processes or systems. The MPC method determines the control law such that the predicted output based on the identified process model is equal to the reference output which consists of both the process output at current time and the setting value called as the command generator. In this paper, the nonlinear MPC software for a chemical reactor is developed and analized from the point of view of practical applications.

• Journal of the Chungcheong Mathematical Society
• /
• v.22 no.3
• /
• pp.319-324
• /
• 2009

In a series of papers [3, 4, 5], the author developed the generalized vector variational inequality with operator solutions (in short, GOVVI) by exploiting variational inequalities with operator solutions (in short, OVVI) due to Domokos and $Kolumb\acute{a}n$ [2]. In this note, we give an extension of the previous work [4] in the setting of Hausdorff locally convex spaces. To be more specific, we present an existence of solutions of (GVVI) under the weak pseudomonotonicity introduced in Yu and Yao [7] within the framework of (GOVVI).

• Journal for History of Mathematics
• /
• v.10 no.1
• /
• pp.19-32
• /
• 1997

This paper deals with the relationship between the order structure and topological structure in the historical point of view. We first investigate how the order structure has developed along with the set theory and logic in the second half of the nineteenth century. After the general topology has emerged in the beginning of the twentieth century, two disciplines of the order theory and topology give each other a great deal of effect for their development via various dualities, compactifications by maximal filter spaces and Alexandroff's specialization order, which form eventually a fundamental setting for the development of the category theory or functor theory.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.1264-1281
• /
• 2008

Around two years have passed since the beginning of aptitude test required by 2006 Rail Safety Act. At this point, it is necessary to evaluate the validity of the aptitude test. Through this study, the structural system for all the tests would be overviewed, which will show the correlation among each tests or its importance. Also, although it is rough, reliability and validity of the tests would be overviewed by their retest and education materials. This would contribute, in the future, to setting up for the standard of upgrading or integrating the tests.

• Journal of the East Asian Society of Dietary Life
• /
• v.2 no.2
• /
• pp.251-262
• /
• 1992

Eum Sik Check is a cooking book written in old Korean by a woman called Dan Yang Daek. In this study, the contents of the book are interpreted in modern Korean, and are analyzed, compared, and examined in the point of view of cooking. The book shows 1) the methods of the setting of a large table, of a table for ancestor-memorial services, of decorative seasonings, 2) 11 methods for making rice cakes, 3) 21 methods for side dishes, and 4) 7 methods for berwing rice wine.