• Journal of applied mathematics & informatics
• /
• v.42 no.4
• /
• pp.749-759
• /
• 2024

In this manuscript, we formulate the notion of Ω(H, θ)-contraction on a self mapping f : W → W, this contraction based on the concept of Ω-distance mappings equipped on G-metric spaces together with the concept of H-simulation functions and the class of Θ-functions, we employ our new contraction to unify the existence and uniqueness of some new fixed point results. Moreover, we formulate a numerical example and a significant application to show the novelty of our results; our application is based on the significant idea that the solution of an equation in a certain condition is similar to the solution of a fixed point equation. We are utilizing this idea to prove that the equation, under certain conditions, not only has a solution as the Intermediate Value Theorem says but also that this solution is unique.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.41 no.5
• /
• pp.361-366
• /
• 2017

As the recent development of computing architecture and application software technology, real world simulation, which is the ultimate destination of computer simulation, is emerging as a practical issue in several research sectors. In this paper, metal plate motion in a square shock tube for small time interval was calculated using a supercomputing-based fluid-structure-combustion multi-physics simulation tool called Illinois Rocstar, developed in a US national R amp; D program at the University of Illinois. Afterwards, the simulation results were compared with those from experiments. The coupled solvers for unsteady compressible fluid dynamics and for structural analysis were based on the finite volume structured grid system and the large deformation linear elastic model, respectively. In addition, a strong correlation between calculation and experiment was shown, probably because of the predictor-corrector time-integration scheme framework. In the future, additional validation studies and code improvements for higher accuracy will be conducted to obtain a reliable open-source software research tool.

• Corrosion Science and Technology
• /
• v.6 no.3
• /
• pp.90-95
• /
• 2007

Cathodic protection technology has been widely used on ship's outer hull and inner side of ballast water tanks as a supplementary corrosion protection measure in combination with protective organic coatings. Impressed current cathodic protection system is typically opted for the ship's hull and, sacrificial anode system, for ballast water tanks. The anticipation and interest in cathodic protection system for ships has been surprisingly low-eyed to date in comparison with protective coatings. Computational analysis for the verification of cathodic protection design has been tried sometimes for offshore marine structures, however, in commercial shipbuilding section, decades old design practice is still applied, and no systematic or analytical verification work has been done for that. In this respect, over-rotection from un-erified initial design protocol has been also concerned by several experts. Especially, it was frequently reported in sacrificial anode system that even after full design life time, anode was remaining nearly intact. Another issue for impressed current system, for example, is that the anode shield area design for ship's outer hull should be compromised with actual application situation, because the state-of-the-art design equation is quite impractical from the applicator's stand. Besides that, in this study, some other critical design issues for sacrificial anode and impressed current cathodic protection system were discussed.

• Genomics & Informatics
• /
• v.11 no.3
• /
• pp.155-160
• /
• 2013

Structural information has been a major concern for biological and pharmaceutical studies for its intimate relationship to the function of a protein. Three-dimensional representation of the positions of protein atoms is utilized among many structural information repositories that have been published. The reliability of the torsional system, which represents the native processes of structural change in the structural analysis, was partially proven with previous structural alignment studies. Here, a web server providing structural information and analysis based on the backbone torsional representation of a protein structure is newly introduced. The web server offers functions of secondary structure database search, secondary structure calculation, and pair-wise protein structure comparison, based on a backbone torsion angle representation system. Application of the implementation in pair-wise structural alignment showed highly accurate results. The information derived from this web server might be further utilized in the field of ab initio protein structure modeling or protein homology-related analyses.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2002.10a
• /
• pp.505-510
• /
• 2002

We have focused on the development of a fiber optic BOTDA (Brillouin Optical Time Domain Analysis) sensor system in order to measure temperature distributed on large structures. Also, we present a feasibility study of the fiber optic sensor to monitor the distributed temperature on a building construction. A fiber optic BOTDA sensor system, which has a capability of measuring the temperature distribution, attempted over several kilometers of long fiber paths. This simple fiber optic sensor system employs a laser diode and two electro-optic modulators. The optical fiber of the length of 1400 m was installed on the surfaces of the building. The change of the distributed temperature on the building construction was well measured by this fiber optic sensor. The temperature changed normally up to 4℃ through one day.

• Korean Journal of Computational Design and Engineering
• /
• v.22 no.1
• /
• pp.37-43
• /
• 2017

3D printing techniques can be used in various application fields and many researches have been reported. FDM (Fused Deposition modeling) can make multi-material or multi-color models with the simultaneous use of two or more filaments. In a dual-nozzle FDM printers, while the active nozzle is working, the remaining nozzle will be idle. The remaining molten resins inside an idle nozzle can ooze out unwantedly. The spill over from the resting nozzle produces unwanted remaining on the fabricated product. In this research, we suggest a method for optimizing building position of a model to minimize the unwanted spill-over that could possibly contaminate the final product. The method is based on minimizing the two intersection volumes. The first intersection volume is obtained by intersecting the volume defined by the first material and the Minkowski sum between the volume of the first material and the vector obtained by subtracting the center point of the first nozzle from the center point of the second nozzle. The second intersection volume can be obtained by reversing the role of the first and second volumes and nozzles. Some results obtained from the implementation using the Parasolid (Siemens) geometric modeling kernel is presented.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.13 no.2
• /
• pp.217-224
• /
• 2002

One of the dominant aspects governing the accuracy of the FDTD method is the size of the spatial increment used in the model. The effect of having reduced cell size is to increase the computational time and memory requirements. To overcome these problems, sub-gridding technique can be used. This implies that the application of a sub-grid cell would provide improved accuracy without increasing the run time and computer resources considerably. In this paper, we describe the three dimensional sub-gridding technique that is applied to model only the fine structure region of interest. The detailed solution procedure is described and some test geometries were solved by both uniform grid and sub-grid models to validate the suggested approach. While keeping the accuracy, the computational time becomes 6 times faster and the memory requirement is reduced by a factor of 2.5 comparing to the conventional FDTD approach.

• International Journal of High-Rise Buildings
• /
• v.1 no.2
• /
• pp.87-97
• /
• 2012

The indoor environments in high-rise buildings are generally well enclosed by defined boundary conditions. Here, a numerical simulation method based on the Lattice Boltzmann method (LBM), which aims to model and simulate the turbulent flow accurately in an enclosed environment, and its comparison with traditional computational fluid dynamics (CFD) results, are presented in this paper. CFD has become a powerful tool for predicting and evaluating enclosed airflows with the rapid advance in computer capacity and speed, and various types of CFD turbulence modeling and its application and validation have been reported. The LBM is a relatively new method; it involves solving of the discrete Boltzmann equation to simulate the fluid flow with a collision model instead of solving Navier-Stokes equations. In this study, the LBM-based scheme of flow pattern and particle dispersion analyses are validated using the benchmark test case of two- and three-dimensional and isothermal conditions (IEA/Annex 20 case); the prediction accuracy and advantages are also discussed by comparison with the results of CFD.

• Journal of Positioning, Navigation, and Timing
• /
• v.3 no.3
• /
• pp.107-116
• /
• 2014

When an incoming Global Positioning System (GPS) signal is acquired, pull-in search performs a finer search of the Doppler frequency of the incoming signal so that phase lock loop can be quickly stabilized and the receiver can produce an accurate pseudo-range measurement. However, increasing the accuracy of the Doppler frequency estimation often involves a higher computational cost for weaker GPS signals, which delays the position fix. In this paper, we show that the Doppler frequency detectable by a long coherent auto-correlation can be accurately estimated using a complex-weighted sum of consecutive short coherent auto-correlation outputs with a different Doppler frequency hypothesis, and by exploiting this we propose a noise resistant, low-cost and highly accurate Doppler frequency and phase estimation technique based on a reverse directional application of the finite rate of innovation (FRI) technique. We provide a performance and computational complexity analysis to show the feasibility of the proposed technique and compare the performance to conventional techniques using numerous Monte Carlo simulations.

• Nuclear Engineering and Technology
• /
• v.50 no.8
• /
• pp.1330-1338
• /
• 2018

High-density UMo/Zr monolithic nuclear fuel plates have a promising application prospect in high flux research and test reactors. The solid state welding method called co-rolling is used for their fabrication. Hot co-rolling simulations for the composite blanks of UMo/Zr monolithic nuclear fuel plates are performed. The effects of coupon sizes and mechanical property parameters on the contact pressures between the to-be-bonded surfaces are investigated and analyzed. The numerical simulation results indicate that 1) the maximum contact pressures between the fuel coupon and the Zircaloy cover exist near the central line along the plate length direction; as a whole the contact pressures decrease toward the edges in the plate width direction; and lower contact pressures appear at a large zone near the coupon corner, where de-bonding is easy to take place in the in-pile irradiation environments; 2) the maximum contact pressures between the fuel coupon and the Zircaloy parts increase with the initial coupon thickness; after reaching a certain thickness value, the contact pressures hardly change, which was mainly induced by the complex deformation mechanism and special mechanical constitutive relation of fuel coupon; 3) softer fuel coupon will result in lower contact pressures and form interfaces being more out-of-flatness.