• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.24 no.3
• /
• pp.305-320
• /
• 2020

This study aims to generalize MINRES-N2 method [1]. It means that we tend to obtain an algorithm to transfer each normal matrix - that its eigenvalues belong to an algebraic curve of low degree k- to its condensed form through using a unitary similarity transformation. Then, we aim to obtain a method to solve a system of linear equations that its coefficient matrix is equal to such a matrix by utilizing it. Finally this method is compared to the well-known GMRES method through using numerical examples. The results obtained through examples show that the given method is more efficient than GMRES.

• Computers and Concrete
• /
• v.30 no.1
• /
• pp.1-8
• /
• 2022

The basic purpose of the current study is to compute the numerical analysis of heat source/sink for Darcy-Forchheimer three dimensional nanofluid flow with gyrotactic microorganism by rotatable disk via porous media under the slip conditions. Due to nanoparticles, random and thermophoretic motion phenomenon occurs. The governing mathematical model is handled numerically by shooting method. Additionally, the characteristics of velocities, mass, heat, motile microorganisms and associated parameters are thoroughly analyzed via plots and tables. Different physical parameters like Forchheimer number, slip parameters like velocity, porosity parameter, Prandtl number, Brownian number, thermophoresis parameter, heat sink/source parameter, bioconvected Rayleigh number, buoyancy parameteron dimensionless velocities, temperature. Approximate values of Sherwood microorganism are analyzed.

• Structural Engineering and Mechanics
• /
• v.82 no.5
• /
• pp.679-690
• /
• 2022

This research effort examines the flow behavior and heat transfer assessment of water carrying iron (iii) oxide magnetic fluid due to a rotating and moving plane lamina under the influence of magnetic dipole. The effect of rotational viscosity and magnetic body force is taken into consideration in the present study. The involvement of the moving disk makes a significant contribution to the velocity distribution and heat transfer in rotational flow. Vertical movement of the disk keeps the flow unsteady and the similarity transformation converts the governing equation of unsteady flow into nonlinear coupled differential equations. The non-dimensional equation in the present system is solved through the finite element procedure. Optimizing the use of physical parameters described in this flow, such results can be useful in the rotating machinery industries for heat transfer enhancement.

• Steel and Composite Structures
• /
• v.43 no.2
• /
• pp.221-228
• /
• 2022

Two-dimensional stagnation point slip flow of a Casson fluid impinging normally on a flat linearly shrinking surface is considered. The modeled PDEs are changed into nonlinear ODEs through appropriate nonlinear transformations.The flow is assumed to be steady and incompressible, with external magnetic field acting on it. Similarity transformation is utilized to investigate the behavior of many parameters for heat and velocity distributions using truncation approach.The influence of buoyancy parameter, slip parameter, shrinking parameter, Casson fluid parameter on the heat profile. The effect of the magnetic parameter on the streamwise velocity profile is also investigated.

• Journal of Microbiology and Biotechnology
• /
• v.10 no.3
• /
• pp.312-320
• /
• 2000

Abstract The full sequence of the plasmid pKJ36, which was derived from Bifidobacterium longum KJ, was determined and analyzed to construct shuttle vectors between E. coli and Bifidobacterium. The plasmid pKJ36 was composed of 3,625 base pairs with a 65.1% G+C content. The structural organization of pKJ36 was highly similar to that of pKJ50, and the three major ORFs on pKJ36 showed high amino acid sequence homologies with those of pKJ50. The putative proteins coded by these three ORFs were designated as RepB (32.0 kDa, pI=9.25), MembB (29.0 kDa, pI=12.25), and MobB (39.0 kDa, pI=IO.66), respectively. The amino acid sequence of RepB showed a 57% identity and 70% similarity with that of the RepA protein of pKJ50. Upstream of the repB gene, the so-called iteron sequence was directly repeated four-and-ahalf times and a conserved dnaA box was identified. An amino acid sequence comparison between the MobB and MobA of pKJ50 revealed a 48% identity and 61 % similarity. A conserved oriT sequence with an inverted repeat identical to that of pKJ50 was also found upstream of the mobB gene. A hydropathy analysis of MembB revealed four possible transmembrane regions. The expressions of the repB and membB genes were confirmed by RT-PCR. The in vitro translation reaction of pKJ36 showed protein bands with anticipated sizes with respect to each putative gene product. S 1 endonuclease treatment and Southern hybridization suggested that pKJ36 replicates by a rolling circle mechanism via a single-stranded DNA (ssDNA) intermediate. A shuttle vector between E. coli and Bifidobacterium sp. was constructed using the pKJ36, pBR322, and staphylococcal chloramphenicol acetyl transferase (CAT) gene. The successful transformation of the Bifidobacterium strains was shown by Southern hybridization and PCR. The transformation efficiency differed from strain to strain and, depending on the electroporation conditions, with a range between $1.2{\times}10^1-2.6{\times}10^2{\;}cfu/\mu\textrm{g}$ DNA.X> DNA.

• The KIPS Transactions:PartA
• /
• v.18A no.3
• /
• pp.109-114
• /
• 2011

We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. As is well known, IR (Intermediate Representation) optimization is an important step in a compiler backend. But unfortunately, it is difficult to detect and debug the IR optimization errors for compiler developers. So, we introduce a C level error check system for detecting the correctness of these IR transformation techniques. In our system, we first create an IR-to-C converter to translate IR to C code before and after each compiler optimization phase, respectively, since our technique is based on the Memory Comparison-based Clone(MeCC) detector which is a tool of detecting semantic equivalency in C level. MeCC accepts only C codes as its input and it uses a path-sensitive semantic-based static analyzer to estimate the memory states at exit point of each procedure, and compares memory states to determine whether the procedures are equal or not. But MeCC cannot guarantee two semantic-equivalency codes always have 100% similarity or two codes with different semantics does not get the result of 100% similarity. To increase the reliability of the results, we describe a technique which comprises how to generate C codes in IR-to-C transformation phase and how to send the optimization information to MeCC to avoid the occurrence of these unexpected problems. Our methodology is illustrated by three familiar optimizations, dead code elimination, instruction scheduling and common sub-expression elimination and our experimental results show that the C level error check system is highly reliable.

• Spatial Information Research
• /
• v.16 no.3
• /
• pp.279-290
• /
• 2008

Landslide, one of the serious natural disasters, has Incurred a large loss of human and material resources. Recently, many forecasting or alarm systems based on various kinds of measuring equipment have been developed to reduce the damage of landslide. However, only a few of these equipments are guaranteed to evaluate the safety of whole side of land slope with their accessibility to the slope. In this study, we performed some experiments to evaluate the applicability of a terrestrial LiDAR as a surveying tool to measure the displacement of a land slope surface far a slope collapsing protection system. In the experiments, we had applied a slope stability method to a land slope and then forced to this slope with a load increasing step by step. In each step, we measured the slope surface with both a total station and a terrestrial LiDAR simultaneously. As the result of Slope Fracturing analysis using all targets, the LiDAR system showed that three was 1cm RMSE on X-axis, irregularity errors on Y-axis and few errors on Z-axis compare with Total Station. As the result of Slope Fracturing analysis using continuous targets, the pattern of Slope Fracturing was different according to the location of continuous targets and we could detect a continuous change which couldn't be found using Total station. The accuracy of the LiDAR data was evaluated to be comparable to that of the total station data. We found that a LiDAR system was appropriate to measuring the behaviour of land slope. The LiDAR data can cover the whole surface of the land slope, whereas the total station data are available on a small number of targets. Moreover, we extracted more detail information about the behavior of land slope such as the volume and profile changes using the LiDAR data.

• Journal of Korea Water Resources Association
• /
• v.52 no.5
• /
• pp.337-347
• /
• 2019

This study proposes the framework to select the representative general circulation model (GCM) for climate change projection. The grid-based results of GCMs were transformed to all considered meteorological stations using inverse distance weighted (IDW) method and its results were compared to the observed precipitation. Six quantile mapping methods and random forest method were used to correct the bias between GCM's and the observation data. Thus, the empirical quantile which belongs to non-parameteric transformation method was selected as a best bias correction method by comparing the measures of performance indicators. Then, one of the multi-criteria decision techniques, TOPSIS (Technique for Order of Preference by Ideal Solution), was used to find the representative GCM using the performances of four GCMs after the bias correction using empirical quantile method. As a result, GISS-E2-R was the best and followed by MIROC5, CSIRO-Mk3-6-0, and CCSM4. Because these results are limited several GCMs, different results will be expected if more GCM data considered.

• Science of Emotion and Sensibility
• /
• v.7 no.4
• /
• pp.57-65
• /
• 2004

In this paper, we present a hybrid approach which incorporates color, texture and shape in content-based image retrieval. Colors in each image are clustered into a small number of representative colors. The feature descriptor consists of the representative colors and their percentages in the image. A similarity measure similar to the cumulative color histogram distance measure is defined for this descriptor. The co-occurrence matrix as a statistical method is used for texture analysis. An optimal set of five statistical functions are extracted from the co-occurrence matrix of each image, in order to render the feature vector for eachimage maximally informative. The edge information captured within edge histograms is extracted after a pre-processing phase that performs color transformation, quantization, and filtering. The features where thus extracted and stored within feature vectors and were later compared with an intersection-based method. The content-based retrieval system is tested to be effective in terms of retrieval and scalability through experimental results and precision-recall analysis.

• Journal of Computing Science and Engineering
• /
• v.6 no.1
• /
• pp.1-11
• /
• 2012

Computed tomography (CT) images are widely used for the analysis of the temporal evaluation or monitoring of the progression of a disease. The follow-up examinations of CT scan images of the same patient require a 3D registration technique. In this paper, an automatic and robust registration is proposed for the rigid registration of 3D CT images. The proposed method involves two steps. Firstly, the two CT volumes are aligned based on their principal axes, and then, the alignment from the previous step is refined by the optimization of the similarity score of the image's voxel. Normalized cross correlation (NCC) is used as a similarity metric and a downhill simplex method is employed to find out the optimal score. The performance of the algorithm is evaluated on phantom images and knee synthetic CT images. By the extraction of the initial transformation parameters with principal axis of the binary volumes, the searching space to find out the parameters is reduced in the optimization step. Thus, the overall registration time is algorithmically decreased without the deterioration of the accuracy. The preliminary experimental results of the study demonstrate that the proposed method can be applied to rigid registration problems of real patient images.