• Kyungpook Mathematical Journal
• /
• v.59 no.4
• /
• pp.665-678
• /
• 2019

We construct an iteration scheme involving a hybrid pair of mappings, one a single-valued asymptotically nonexpansive mapping t and the other a multivalued nonexpansive mapping T, in a complete CAT(0) space. In the process, we remove a restricted condition (called the end-point condition) from results of Akkasriworn and Sokhuma [1] and and use this to prove some convergence theorems. The results concur with analogues for Banach spaces from Uddin et al. [16].

• Journal of the Korean Mathematical Society
• /
• v.49 no.1
• /
• pp.187-200
• /
• 2012

In this paper, we introduced a new extended extragradient iteration algorithm for finding a common element of the set of fixed points of a nonexpansive mapping and the set of solutions of equilibrium problems for a monotone and Lipschitz-type continuous mapping. And we show that the iterative sequences generated by this algorithm converge strongly to the common element in a real Hilbert space.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.38 no.4
• /
• pp.383-390
• /
• 2020

Car-mounted MMS (Mobile Mapping System) is the most effective tool for mapping of high definition road maps(HD Map). The MMS is composed of various sensor combinations, and the manufacturing methods and processing software are different for each manufacturer, performance cannot be predicted only by the specifications of the parts. Therefore, it is necessary to judge whether each equipment is suitable for mapping through performance evaluation, and facilities for periodic performance evaluation. In this paper, we explained the MMS performance evaluation facilities built at the SOC Evaluation Research Center of Korea Institute of Civil Engineering and Building Technology and analyzed the conditions that the evaluation facilities should have through a literature survey and field tests.

• Nonlinear Functional Analysis and Applications
• /
• v.27 no.3
• /
• pp.587-601
• /
• 2022

In this article, we introduce the concept of contractive mapping, which is generally weak in metric spaces, and show the existence and uniqueness of the fixed point for such mapping in a metric space.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.36C no.6
• /
• pp.9-17
• /
• 1999

In this paper, we propose a new technology mapping algorithm for CPLD under time constraint. In our technology mapping algorithm, a given logic equation is constructed as the DAG type, then the DAG is reconstructed by replicating the node that outdegree is more than or equal to 2. As a result, it makes delay time and the number of CLBs to be minimized. Also, after the number of multi-level is defined and cost of each nodes is calculated, the graph is partitioned in order to fit to k that is the number of OR term within CLB. The partitioned nodes are merged through collapsing and bin packing is performed in order to fit to the number of OR term within CLB. In the results of experiments to MCNC circuits for logic synthesis benchmark, we can shows that proposed technology mapping algorithm reduces delay time and the number of CLBs much more than the existing tools of technology mapping algoritm.

• Transactions of Materials Processing
• /
• v.12 no.4
• /
• pp.348-357
• /
• 2003

In order to construct the extrusion die surface of arbitrarily shaped sections, an automatic surface construction method based on NURBS surface and area mapping method is proposed in the present work. A center point fur area mapping is determined by introducing the mapping concept based on constant area proportionality between original billet and final product. The characteristic points of inlet profile are determined using the traditional area mapping method and the root finding numerical method. The inlet and outlet profiles are precisely described with NURBS curves using the characteristic points of entry and exit sections. For the construction of NURBS surface, an interpolation method for the pre-determined two section curves has been developed to be used in the generation of interior control points and weights. To show the validity of the proposed method, automatic die surface generation is carried out for the several kinds of shaped sections.

• Journal of Information Science Theory and Practice
• /
• v.8 no.1
• /
• pp.56-67
• /
• 2020

Over the years, cultural mapping methods have been used in several applications and contexts, for diverse cultural assets and to create new conditions for the development of local and regional resources. These methods were inspired by the development of big urban centres and regions, which have been the great engine of cultural mapping growth. The main objectives of the present paper are to provide a literature review on cultural mapping methodologies and to develop exploratory research on crowdsource tools on creative tourism which were applied to one Portuguese municipality in 2017. The research was supported by the implementation and integration of geographic information systems (GIS) and web mapping, which will become part of the solution for the growth of less developed territories and to make more interactive tourist activities. Web mapping's contribution to enhance crowd participation was measured via analysis of 12 digital photos shared through crowdsourcing. The originality of this research lies in the attempt to develop a new model for creative tourism, trying to extend the implementation of Web Mapping crowdsourcing to deprived low density territories. Results show how public participation can be amplified for the tourism market by crowdsourcing tools. These tools look very promising since they can help several members of the public at different ages to contribute to territorial knowledge, engage in activities, and collaborate through digital tools. It is a step to fulfil the lack of studies in this subject and it contributes to the way we think about future studies.

• Journal of Information Processing Systems
• /
• v.12 no.2
• /
• pp.322-331
• /
• 2016

Image compression is an essential technique for saving time and storage space for the gigantic amount of data generated by images. This paper introduces an adaptive source-mapping scheme that greatly improves bit-level lossless grayscale image compression. In the proposed mapping scheme, the frequency of occurrence of each symbol in the original image is computed. According to their corresponding frequencies, these symbols are sorted in descending order. Based on this order, each symbol is replaced by an 8-bit weighted fixed-length code. This replacement will generate an equivalent binary source with an increased length of successive identical symbols (0s or 1s). Different experiments using Lempel-Ziv lossless image compression algorithms have been conducted on the generated binary source. Results show that the newly proposed mapping scheme achieves some dramatic improvements in regards to compression ratios.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2001.10a
• /
• pp.81-84
• /
• 2001

An inverse finite element approach is employed for more capability to design the optimum blank shape from the desired final shape with small amount of computation time and effort. In some drawing or stamping simulation with inverse method, it is difficult to apply inverse scheme due to the large aspect ratio or steep vertical angle of inclination. The reason is that initial guesses are hard to make out with present method for those cases. In this paper, a direct mesh marring scheme to generate initial guess on the sliding constraint surface described by finite element patches is suggested for one step inverse analysis to calculate initial blank shape. Radial type mapping is adopted for the simulation of rectangular cup drawing process with large aspect ratio and parallel type mapping for the simulation of S-Rail forming process with steep vertical angle of inclination.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2012.05a
• /
• pp.151-152
• /
• 2012

Recently, there are growing interests in building LCCO₂ Assessment to reduce carbon emissions. However, existing methods of assessment system include inefficiency in the process of CO₂ calculation requiring considerable data input. Therefore, the purpose of this study is to develop an efficient building assessment system appropriate to material production in construction stage. To that end, quantity input technology was limited to data mapping. Also quantity calculation based on work breakdown structure and item codes consisted of hierarchical structure that is based on facet classification were analyzed. As a result, connectivity links of quantity calculation and CO₂ functional units through item codes for data mapping, and assessment system including calculation and database parts were developed.