• The Pure and Applied Mathematics
• /
• v.29 no.4
• /
• pp.401-419
• /
• 2022

In this paper, we introduce the notion of partial S-metric space and prove a common fixed point theorem in the respective setting. An example is presented to show the effectiveness of this approach.

• Kyungpook Mathematical Journal
• /
• v.62 no.1
• /
• pp.69-88
• /
• 2022

In this work, the three-step intermixed iteration for two finite families of nonlinear mappings is introduced. We prove a strong convergence theorem for approximating a common fixed point of a strict pseudo-contraction and strictly pseudononspreading mapping in a Hilbert space. Some additional results are obtained. Finally, a numerical example in a space of real numbers is also given and illustrated.

• Korean Journal of Mathematics
• /
• v.32 no.2
• /
• pp.245-257
• /
• 2024

In this paper, we prove some new fixed point results for expansive type mappings in complete dislocated quasi-metric space. A common fixed point result is also established considering such mappings. Suitable examples are provided to demonstrate our results. The solution to a system of Fredholm integral equations is also established to show the applicability of our results.

• Journal of Astronomy and Space Sciences
• /
• v.31 no.3
• /
• pp.265-276
• /
• 2014

The application of software engineering is not common in the development of astronomical observation system. While there were component-wise developments in the past, large-scale comprehensive system developments are more common in these days. In this study, current methodologies of development are reviewed to select a proper one for the development of astronomical observation system and the result of the application is presented. As the subject of this study, a project of operation software development for an astronomical observation system which runs on the ground is selected. And the output management technique based on Component Based Development which is one of the relatively recent methodologies has been applied. Since the nature of the system requires lots of arithmetic algorithms and it has great impact on the overall performance of the entire system, a prototype model is developed to verify major functions and performance. Consequently, it was possible to verify the compliance with the product requirements through the requirement tracing table and also it was possible to keep to the schedule. Besides, it was suggested that a few improvements could be possible based on the experience of the application of conventional output management technique. This study is the first application of the software development methodology in the domestic astronomical observation system area. The process and results of this study would contribute to the investigation for a more appropriate methodology in the area of similar system development.

• Journal of the Korean Institute of Educational Facilities
• /
• v.28 no.6
• /
• pp.3-13
• /
• 2021

Introduced in 2004 as an 'After-School Academy' policy, the 'After-School Care Class' has become a universal program for elementary schools over time. While the concept of public education service has expanded and changed in various ways including educational welfare, the physical environment of the care classroom has undergone fixed changes within the uniform classroom structure of a standardized school space. The purpose of this study is to identify spatial characteristics of care classroom through chasing and analysing changes in the care class space configuration from 2004 to the present. The findings are as follows. The plan of the early care classroom wasn't much different from the existing common classroom, and it was only in 2007 that the kitchen and floor heating appeared for the first time.From the 2015 standard plan, prominent differentiation of the space between learning activities and resting area was shown, but the spatial characteristics are nothing more than a division that utilizes ready-made furniture. A distinctive feature of the 2018 Seoul care classes are diversity. In the case of the care exclusive classrooms, the division between the support space and the main activity space became more clear using furniture integrated open walls and various floor levels. In the case of a shift classrooms that is used together with common classrooms, it is characterized by flexibility that allows dramatically different classroom configurations for each time period by using a convertible furnishing space.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.16 no.2
• /
• pp.365-380
• /
• 2022

The target detection algorithm based on supervised learning is the current mainstream algorithm for target detection. A high-quality dataset is the prerequisite for the target detection algorithm to obtain good detection performance. The larger the number and quality of the dataset, the stronger the generalization ability of the model, that is, the dataset determines the upper limit of the model learning. The convolutional neural network optimizes the network parameters in a strong supervision method. The error is calculated by comparing the predicted frame with the manually labeled real frame, and then the error is passed into the network for continuous optimization. Strongly supervised learning mainly relies on a large number of images as models for continuous learning, so the number and quality of images directly affect the results of learning. This paper proposes a dataset STAR-24K (meaning a dataset for Space TArget Recognition with more than 24,000 images) for detecting common targets in space. Since there is currently no publicly available dataset for space target detection, we extracted some pictures from a series of channels such as pictures and videos released by the official websites of NASA (National Aeronautics and Space Administration) and ESA (The European Space Agency) and expanded them to 24,451 pictures. We evaluate popular object detection algorithms to build a benchmark. Our STAR-24K dataset is publicly available at https://github.com/Zzz-zcy/STAR-24K.

• Fashion & Textile Research Journal
• /
• v.9 no.1
• /
• pp.72-80
• /
• 2007

The purpose of this study is to identify the latest trend and type of retail space, and the features according to type of retail space of global prestige brand. To do this, literature analysis was executed by related books, articles, and theses. As a result, the latest trend of fashion retail space which has appeared after 2000 is as follows: 1) The differentiation of fashion brand through collaboration between fashion designers and architects, 2) retail space extension strategy, 3) retail space as a cultural space, 4) bold investment for retail space. The type of fashion retail space which has appeared after 2000 is as follows: 1) Spectacular flagship retail space of monumental scale, 2) global type retail space which exhibits common features through the whole world, 3) localization retail space which shows different features according to store location 4) innovative retail space out of traditional store form. The result of this study will be utilized when a domestic fashion brand establishes global marketing strategy of retail space.

• The Pure and Applied Mathematics
• /
• v.22 no.2
• /
• pp.127-138
• /
• 2015

The object of this paper is to emphasize the role of 'common limit range property' and utilize the same with variants of R-weakly commuting mappings for the existence of common fixed point under strict contractive conditions in metric spaces. We also furnish some interesting examples to validate our main result. Our results improve a host of previously known results including the ones contained in Pant [Contractive conditions and common fixed points, Acta Math. Acad. Paedagog. Nyhàzi. (N.S.) 24(2) (2008), 257-266 MR2461637 (2009h:54061)]. In the process, we also derive a fixed point result satisfying $\phi$-contractive condition.

• Proceedings of the Korean Institute of Interior Design Conference
• /
• 2003.05a
• /
• pp.127-130
• /
• 2003

In the Korean construction market the housing exceeds more than 60％ among the entire objects for remodelling. And among the 50％ of the common residence that needs remodelling, half of them are common houses with hallways. In respect of remodelling the common houses with hallways to those with stairways, This investigation aims at not only increasing the area by simply enlarging it, but also elevating the residential value by improving the environment based on the study of the existing plane with stairways. In order to do so, the satisfaction rate after living in common residence either with stairways or with hallways according to size (10, 20, 30 pyong), public space and interior environment is investigated through questionnaire. Therefore, this study tries to discover and analyze the positive and negative aspects of common residence with hallways.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.3
• /
• pp.789-807
• /
• 2015

We propose coincidence and common fixed point results for a quadruple of self mappings satisfying common limit range property and weakly compatibility under generalized ${\Phi}$-contractive conditions i Non-Archimedean Menger PM-spaces. As examples we exhibit different types of situations where these conditions can be used. A common fixed point theorem for four finite families of self mappings is presented as an application of the proposed results. The existence and uniqueness of solutions for certain system of functional equations arising in dynamic programming are also presented as another application.