• Journal of the Korean Mathematical Society
• /
• v.38 no.3
• /
• pp.669-681
• /
• 2001

This paper introduces the notions of essential and inessential map for countably $textsc{k}$-set contractive maps. These ideas enable us to establish a Krasnoselskii-Petryshyn compression and expansion theorem in a cone for countably $textsc{k}$-set contractive maps.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2009.04a
• /
• pp.101-106
• /
• 2009

Map update is essential for maintaining reliability of maps. Update could be performed using variety of data sources such as aerial photos, engineering plans, LiDAR data and in-site surveying data. Therefore, map update is essential for maintaining reliability of maps. Update could be performed using variety of data sources such ad aerial photos, engineering plans, LiDAR data and in-site surveying data. Map update requires cost, manpower and time. It is important to inform updated information to users in order to decide purchase the updated maps or not. This paper proposes the way to provide various updated information of maps. Therefore, map users efficiently utilize information from maps.

• Journal of the Korean Mathematical Society
• /
• v.39 no.4
• /
• pp.579-591
• /
• 2002

New fixed Point results for the (equation omitted) selfmaps ale given. The analysis relies on a factorization idea. The notion of an essential map is also introduced for a wide class of maps. Finally, from a new fixed point theorem of ours, we deduce some equilibrium theorems.

• Journal of applied mathematics & informatics
• /
• v.24 no.1_2
• /
• pp.411-419
• /
• 2007

In this paper, $\tilde{2}$-essential rooted maps on the Klein bottle are counted and an explicit expression with the size as a parameter is given. Further, the numbers of singular maps and the maps with one vertex on the Klein bottle are derived.

• Korean Journal of Mathematics
• /
• v.24 no.1
• /
• pp.15-25
• /
• 2016

We obtain some estimations of the essential norm of a pull back operator induced by quasi-symmetric homeomorphisms. As a corollary, we deduce the compactness criterion of this operator.

• Journal of Positioning, Navigation, and Timing
• /
• v.9 no.1
• /
• pp.23-31
• /
• 2020

It is essential to estimate the vehicle localization for an autonomous safety driving. In particular, since LIDAR provides precise scan data, many studies carried out to estimate the vehicle localization using LIDAR and pre-generated map. The road marking always exists on the road because of provides driving information. Therefore, it is often used for map information. In this paper, we propose to generate the Gaussian mixture map based on road-marking information and localization method using this map. Generally, the probability distributions map stores the single Gaussian distribution for each grid. However, single resolution probability distributions map cannot express complex shapes when grid resolution is large. In addition, when grid resolution is small, map size is bigger and process time is longer. Therefore, it is difficult to apply the road marking. On the other hand, Gaussian mixture distribution can effectively express the road marking by several probability distributions. In this paper, we generate Gaussian mixture map and perform vehicle localization using Gaussian mixture map. Localization performance is analyzed through the experimental result.

• Proceedings of the KIEE Conference
• /
• 2004.07d
• /
• pp.2450-2452
• /
• 2004

Map building is essential to a mobile robot navigation system. Localization and path planning methods depend on map building strategies. A topological map is commonly constructed using the GVG(Generalized Voronoi Graph). The advantage of the GVG based topological map is compactness. But the GVG method have many difficulties because it consists of collision-free path. In this paper, we proposed an extended map building method, the AVG (Areal Voronoi Graph) based topological map. The AVG based topological map consists of collision-free area. This feature can improve map building, localization and path planning performance.

• The Journal of Korea Robotics Society
• /
• v.9 no.2
• /
• pp.96-103
• /
• 2014

Global localization is one of the essential issues for mobile robot navigation. In this study, an indoor global localization method is proposed which uses a Kinect sensor and a monocular upward-looking camera. The proposed method generates an environment map which consists of a grid map, a ceiling feature map from the upward-looking camera, and a spatial feature map obtained from the Kinect sensor. The method selects robot pose candidates using the spatial feature map and updates sample poses by particle filter based on the grid map. Localization success is determined by calculating the matching error from the ceiling feature map. In various experiments, the proposed method achieved a position accuracy of 0.12m and a position update speed of 10.4s, which is robust enough for real-world applications.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 1998.03a
• /
• pp.35-39
• /
• 1998

Determination of effective EDM parameters is significant to increase productivity. However, With the complexity of EDM phenomena, a universal selection method of EDM parameters has not been established yet. Moreover, No attempt has been tried before to suggest a logical method in determining essential machining parameters for effective electrical discharge machining. Peak current, one of the most significant factors in EDM, is proportional to EDM area. This paper presents a method that can be Z-map modeling from CMM data, and calculate EDM area using Z-map.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2002.05a
• /
• pp.86-89
• /
• 2002

In NC machining, the ability to automatically generate an optimal process plan is an essential step toward achieving automation, higher productivity, and better accuracy. For this ability, a system that is capable of simulating the actual machining process has to be designed. In this paper, a milling process simulation system for the general NC machining was presented. The system needs first to accurately compute the cutting configuration. ME Z-map(Moving Edge node Z-map) was developed to reduce the entry/exit angle calculation error in cutting force prediction. It was shorn to drastically improve the conventional Z-map model. Experimental results applied to the pocket machining show the accuracy of the milling process simulation system.