• The Pure and Applied Mathematics
• /
• v.23 no.1
• /
• pp.73-96
• /
• 2016

We establish a coupled coincidence point theorem for generalized com-patible pair of mappings under generalized nonlinear contraction on a partially or-dered metric space. We also deduce certain coupled fixed point results without mixed monotone property of F : X × X → X . An example supporting to our result has also been cited. As an application the solution of integral equations are obtained here to illustrate the usability of the obtained results. We improve, extend and generalize several known results.

• The Pure and Applied Mathematics
• /
• v.24 no.2
• /
• pp.79-98
• /
• 2017

We establish a coupled coincidence point theorem for generalized compatible pair of mappings $F,G:X{\times}X{\rightarrow}X$ under generalized symmetric Meir-Keeler contraction on a partially ordered metric space. We also deduce certain coupled fixed point results without mixed monotone property of $F:X{\times}X{\rightarrow}X$. An example supporting to our result has also been cited. As an application the solution of integral equations are obtain here to illustrate the usability of the obtained results. We improve, extend and generalize several known results.

• Korean Management Science Review
• /
• v.21 no.2
• /
• pp.61-77
• /
• 2004

As various methodologies for business process analysis and design have been conducted in many organizations by their own ways, those methodologies are not compatible each other. In order to reduce the cost of analysis for organizations. some mapping methods between different methodologies need to be developed. UMM(UN/CEFACT Modeling Methodology) that has an object-oriented point of view. can overcome the limits of existing bottom-up approaches and make it reasonable. It also simplifies the business and administrative procedures. IDEF( Integrated Definition Language) with a structural point of view that has been widely used as a system analysis and design method, needs to be mapped to UMM in order to reuse the existing IDEF models. In this study, we propose a guideline that deals with procedures of utilizing IDEF models from which we want to derive the UMM models for developing an electronic commerce system including electronic documents exchange. By comparing IDEF and UMM, we analyze the differences between those two methodologies. Based on these differences. we suggest the basic strategies for mapping method from IDEF to UMM. We also propose a mapping guideline that can make UMM results from the modeling results of IDEF. We can take an advantage of the existing IDEF analysis design results when we adopt UMM methodology for electronic business system. Many analysts who are familiar with the IDEF methodology can develop UMM work-flow by utilizing their existing results and skills.

• Korean Journal of Computational Design and Engineering
• /
• v.22 no.2
• /
• pp.118-128
• /
• 2017

Many countries have been developing BIM-based building code checking system and studies in the utilization of Industry Foundation Classes (IFC) in building code checking. IFC is the open standard of BIM format. Currently, there is a disadvantage that could not include all of the attribute for the regulations of each country and there is the problem with the interoperability of the different defined IFC approach between BIM software. This study focus on developing, derived object and property by comparing through domestic regulation and IFC2x3 specification provided by the buildingSMART and classified review type depending on the interoperability of derived information. According to classified review type, the IFC data structure was established and property mapping contents were developed by including BIM software compatible information and creating a type of review plan. When the developed property mapping contents are applied into BIM-based building code checking system, checking of the BIM data generated from various fields is made effective and thus improving the interoperability of information.

• Communications of the Korean Mathematical Society
• /
• v.25 no.4
• /
• pp.629-645
• /
• 2010

A metrical common fixed point theorem proved for a pair of self mappings due to Sastry and Murthy ([16]) is extended to symmetric spaces which in turn unifies certain fixed point theorems due to Pant ([13]) and Cho et al. ([4]) besides deriving some related results. Some illustrative examples to highlight the realized improvements are also furnished.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.12 no.4
• /
• pp.247-258
• /
• 2017

Since 2016 when the regulations related to vehicle structure and device modification were drastically revised, the car tuning market has been growing rapidly. Particularly, many drivers are showing interest in changing the interior and exterior according to their preference, or improving the specifications of their cars by changing the engine and powertrain, among others. Also, as the initial engine settings such as horse power and torque of the vehicle are made for stable driving of the vehicle, it is possible to change the engine performance, via Engine Control Unit (ECU) mapping, to the driver's preference. However, traditionally, ECU mapping could be only performed by professional car engineers and the settings were also decided by them. Therefore, this study proposed a system that collects data related to the driver's driving habits for a certain period and sends them to a cloud server in order to analyze them and recommend ECU mapping values. The traditional mapping method only aimed to improve the car's performance and, therefore, if the changes were not compatible with the driver's driving habits, could cause problems such as incomplete combustion or low fuel efficiency. However, the proposed system allows drivers to set legally permitted ECU mapping based on analysis of their driving habits, and, therefore, different drivers can set it differently according to the vehicle specifications and driving habits. As a result, the system can optimize the car performance by improving output, fuel efficiency, etc. within the range that is legally permitted.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.5
• /
• pp.1607-1619
• /
• 2015

We investigate some generalization of a class of Hankel-Clifford transformations having Fox H-function as part of its kernel on a class of Boehmians. The generalized transform is a one-to-one and onto mapping compatible with the classical transform. The inverse Hankel-Clifford transforms are also considered in the sense of Boehmians.

• Journal of applied mathematics & informatics
• /
• v.30 no.1_2
• /
• pp.265-278
• /
• 2012

In this work we have considered several common fixed point results in metric spaces for weak compatible mappings. By applications of these results we establish some fixed point theorems in fuzzy metric spaces.

• East Asian mathematical journal
• /
• v.32 no.5
• /
• pp.701-716
• /
• 2016

We establish a tripled coincidence and common tripled fixed point theorem for hybrid pair of mappings satisfying new contractive condition. To find tripled coincidence points, we do not use the continuity of any mapping involved therein. An example is also given to validate our result. We improve, extend and generalize several known results.

• Communications of the Korean Mathematical Society
• /
• v.22 no.4
• /
• pp.513-526
• /
• 2007

In this paper, we give some new definitions of M-fuzzy metric spaces and we prove a common fixed point theorem for six mappings under the condition of compatible mappings of first or second type in two complete M-fuzzy metric spaces.