• Korean Journal of Mathematics
• /
• v.30 no.2
• /
• pp.375-389
• /
• 2022

In this paper, we prove some fixed-point theorems in partially ordered fuzzy metric spaces for (𝜙, 𝜓, 𝛽)-Geraghty contraction type mappings which are generalization of mappings with Geraghty contraction type condition. Application of the derived results are shown in proving the existence of unique solution to some boundary value problems.

• East Asian mathematical journal
• /
• v.17 no.1
• /
• pp.33-45
• /
• 2001

In this paper an improved version of a fixed point theorem of the present author [3] in Banach algebras is obtained under the weaker conditions with a different method and using measure of non-compactness. The newly developed fixed point theorem is further-applied to certain nonlinear integral equations of mixed type for proving the existence theorems and stability of the solution in Banach algebras.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.79-87
• /
• 2023

This paper considers some functional identities related to derivations of a ring R and their action on the centre of R/P where P is a prime ideal of R. It generalizes some previous results that are in the same spirit. Finally, examples proving that our restrictions cannot be relaxed are given.

• Asia pacific journal of information systems
• /
• v.34 no.1
• /
• pp.248-291
• /
• 2024

A few years before, MOOCs appeared and developed at a rapid pace. Various MOOC methods, theories, strategies, elements, and techniques were used to improve distance education. In their development, their weaknesses like dropout, low participation, low completion rate, low engagement, and others have emerged that are addressed by recent studies including that of gamified and adaptive gamified MOOCs. This article presents the most important theories, strategies, and elements used in gamification and their usefulness and contribution to MOOCs, with the ultimate goal of proving rich information to researchers, application designers, and practitioners of gamified and adaptive gamified MOOCs.

• Journal of the Korea Society of Computer and Information
• /
• v.25 no.3
• /
• pp.117-127
• /
• 2020

Recently, proving insurance fraud has become increasingly difficult because it occurs intentionally and secretly via organized and intelligent conspiracy by specialists such as medical personnel, maintenance companies, insurance planners, and insurance subscribers. In the case of car accidents, it is difficult to prove intentions; in particular, an insurance company with no investigation rights has practical limitations in proving the suspicions. This paper aims reveal that the detection of organized and conspired insurance fraud, which had previously been difficult, could be dramatically improved through conspiring insurance fraud detection modeling using social network analysis and visualization of the relation between suspected group entities and by seeking developmental research possibilities of data analysis techniques.

• Archives of design research
• /
• v.11 no.2
• /
• pp.155-164
• /
• 1998

This study is a proposal for the positive application of collage techniques into the process of interior design. For that, we need to set up the appropriate definitions of collage and to analyze its properties as a creative design methode of that field, in the basis of the twentieth-century art history. The study is divided into three sections as follows: 1) The traces of collage in the art movements such as Cubism, Dada, Surealism, and Pop art will be researched in terms of art concepts, appearances and, properties. 2) The relationships between collage and the main ideas of those art movements, as mentioned above, will be discussed for proving that collage is such an effective techniques as to erdxxly Post-modem ideas. 3) The examples of collage techniques and their effects appearing in Post-modem interior spaces will be surveyed for the purpose of proving its abilities as a creative design methode in interior design. Further studies should be succeeded for suggesting practical and educational models of its application.

• Spatial Information Research
• /
• v.16 no.4
• /
• pp.385-400
• /
• 2008

This study investigates how Korean Land Spatialization Group (KLSG) has controlled and managed its own R&D effectively and what particular elements have made it practical. Korean Land Spatialization Program (KLSP) has produced large amounts of practical outcomes for the intelligent land by collaborative 5 core research projects. The well-harmonized cooperations between proving ground, practical business model, and services oriented integration and others have driven the KLSG to an succeedable management. The active role for practicality is prominent with its usefulness and competitiveness. KLSP is financially and administratively supported from Ministry of Land Transport and Maritime Affairs of Korea (MLTM). By investigating relationships between 5 core research projects involved in the R&D projects of KLSG, it has been found out that R&D projects of KLSG bring forth practicality and commercialization. The results of this study presents strategies of KLSP in conducting research for practicality and commercialization of GIS technology and integrated geospatial information.

• 한국지구물리탐사학회:학술대회논문집
• /
• 2006.06a
• /
• pp.9-14
• /
• 2006

Estimations of depth, magnetic orientation, and strength of dipole moments aid discrimination between unexploded ordnance (UXO) and non-UXO using magnetic surveys. Such estimations may be hindered by geologic noise, magnetic clutter, and overlapping tails of nearby dipole fields. An improved method of inversion for anomalies of single or multiple dipoles with arbitrary polarization was developed to include intra-inversion filtering and estimation of background field gradients. Data interpolated to grids are flagged so that only nodes nearest to measurement stations are used. To apply intra-inversion filtering to such data requires a gapped filter. Moreover, for data with significant gaps in coverage, or along the edges or corners of survey areas, intra-inversion filters must be appropriately modified. To that end, edge-adaptive and gapped gradient-nulling filters have been designed and tested. Applications are shown for magnetic field data from Chongcho Lake, Sokcho, Korea and the U. S. Army's Aberdeen Proving Ground in Maryland.

• Journal of Educational Research in Mathematics
• /
• v.24 no.3
• /
• pp.359-374
• /
• 2014

Students' difficulties and errors in relation to mathematical proofs are worth while to say one of the dilemmas in mathematics education. The potential elements of their difficulty are scattered over the process of proving in geometry as well as algebra. This study aims to investigate whether middle school students understand the context of algebraic proof including literal expressions. We applied 24 third-grade middle school students a test item which shows a proof including a literal expression and missing the conclusion. Over the half of them responded wrong answers based on only the literal expression without considering its context. Three of them were interviewed individually to show their thinking. As a result, we could find some characteristics of their thinking including the perspective on proof as checking the validity of algebraic expression and the gap between proving and understanding of proof etc. From these, we also discussed about several didactical implications.

• International Journal of Automotive Technology
• /
• v.6 no.1
• /
• pp.29-35
• /
• 2005

The structural integrity of either a passenger car or a light truck is one of the basic requirements for a full vehicle engineering and development program. The results of the vehicle product performance are measured in terms of ride and handling, durability, Noise/Vibration/Harshness (NVH), crashworthiness, and occupant safety. The level of performance of a vehicle directly affects the marketability, profitability and, most importantly, the future of the automobile manufacturer. In this study, the Virtual Proving Ground (VPG) approach has been developed to simulate dynamic nonlinear events as applied to automotive ride & handling. The finite element analysis technique provides a unique method to create and analyze vehicle system models, capable of including vehicle suspensions, powertrains, and body structures in a single simulation. Through the development of this methodology, event-based simulations of vehicle performance over a given three-dimensional road surface can be performed. To verify the predicted dynamic results, a single lane change test was performed. The predicted results were compared with the experimental test results, and the feasibility of the integrated CAE analysis methodology was verified.