• Nonlinear Functional Analysis and Applications
• /
• v.28 no.2
• /
• pp.449-471
• /
• 2023

In this paper, we study a linear system of homogeneous commensurate /incommensurate fractional-order differential equations by developing a new semi-analytical scheme. In particular, by decoupling the system into two fractional-order differential equations, so that the first equation of order (δ + γ), while the second equation depends on the solution for the first equation, we have solved the under consideration system, where 0 < δ, γ ≤ 1. With the help of using the Adomian decomposition method (ADM), we obtain the general solution. The efficiency of this method is verified by solving several numerical examples.

• Korean Journal of Remote Sensing
• /
• v.27 no.2
• /
• pp.141-150
• /
• 2011

Precise image-to-image registration is required to process multi-sensor data together. The purpose of this paper is to develop an algorithm that register between high-resolution optical and SAR images using linear features. As a pre-processing step, initial alignment was fulfilled using manually selected tie points to remove any dislocations caused by scale difference, rotation, and translation of images. Canny edge operator was applied to both images to extract linear features. These features were used to design a cost function that finds matching points based on their similarity. Outliers having larger geometric differences than general matching points were eliminated. The remaining points were used to construct a new transformation model, which was combined the piecewise linear function with the global affine transformation, and applied to increase the accuracy of geometric correction.

• Bulletin of the Korean Chemical Society
• /
• v.33 no.3
• /
• pp.779-789
• /
• 2012

In the kinetic theory of dense fluids the many-particle collision bracket integral is given in terms of a classical collision operator defined in the phase space. To find an algorithm to compute the collision bracket integrals, we revisit the eigenvalue problem of the Liouville operator and re-examine the method previously reported [Chem. Phys. 1977, 20, 93]. Then we apply the notion and concept of the eigenfunctions of the Liouville operator and knowledge acquired in the study of the eigenfunctions to cast collision bracket integrals into more convenient and suitable forms for numerical simulations. One of the alternative forms is given in the form of time correlation function. This form, on a further manipulation, assumes a form reminiscent of the Chapman- Enskog collision bracket integrals, but for dense gases and liquids as well as solids. In the dilute gas limit it would give rise precisely to the Chapman-Enskog collision bracket integrals for two-particle collision. The alternative forms obtained are more readily amenable to numerical simulation methods than the collision bracket integrals expressed in terms of a classical collision operator, which requires solution of classical Lippmann-Schwinger integral equations. This way, the aforementioned kinetic theory of dense fluids is made fully accessible by numerical computation/simulation methods, and the transport coefficients thereof are made computationally as accessible as those in the linear response theory.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.12 s.354
• /
• pp.8-14
• /
• 2006

This paper proposed noise insensitive 4*4 mid frequency-OCT (MF-DCT) focus measure operator. Proposed operator enhanced low power 8*8 MDCT operator to have 4*4 rotationally same form for Gaussian noise. MF-DCT operator acting like band-pass filter suppresses both low-frequency signal useless for focus measure and high-frequency signal affected by impulsive noise. Also it is proved to be linear because it uses the energy of band-pass filtered signal as focus measure. Experimental result shows its superiority by comparing AUM with traditional operators.

• Journal of the Korean Society for Precision Engineering
• /
• v.26 no.5
• /
• pp.104-111
• /
• 2009

A ship engine operator should compensate the crankshaft assembly of ship engine after inspecting crankshaft deflection error in the crank throw regularly to avoid engine vibration and abrasions. In the previous method, the operator enters the bed plate and measures crankshaft deflection using dial gauge on rotating crankshaft manually. However, this method can cause dangerous situation to the operator as well as uncomfortable in an inferior environment. In order to solve the problems, this paper studies the method which makes the operator measure the error outside of the bed plate. In this paper, it is suggested that BlueTooth wireless communication transfers the error data to the outer standing operator with digitalized crankshaft deflection inspection device developed in this paper. So, the wireless measurement system is developed and applied to a medium-speed marine engine through size-miniaturization. After applying test, the developed inspection device showed that it provides much safe and ease inspection method. Furthermore, in the result, the measuring accuracy is more improved.

• Journal of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.529-541
• /
• 2005

An operator T belonging to the algebra B(H) of bounded linear transformations on a Hilbert H into itself is said to be posinormal if there exists a positive operator $P{\in}B(H)$ such that $TT^*\;=\;T^*PT$. A posinormal operator T is said to be conditionally totally posinormal (resp., totally posinormal), shortened to $T{\in}CTP(resp.,\;T{\in}TP)$, if to each complex number, $\lambda$ there corresponds a positive operator $P_\lambda$ such that $|(T-{\lambda}I)^{\ast}|^{2}\;=\;|P_{\lambda}^{\frac{1}{2}}(T-{\lambda}I)|^{2}$ (resp., if there exists a positive operator P such that $|(T-{\lambda}I)^{\ast}|^{2}\;=\;|P^{\frac{1}{2}}(T-{\lambda}I)|^{2}\;for\;all\;\lambda)$. This paper proves Weyl's theorem type results for TP and CTP operators. If $A\;{\in}\;TP$, if $B^*\;{\in}\;CTP$ is isoloid and if $d_{AB}\;{\in}\;B(B(H))$ denotes either of the elementary operators $\delta_{AB}(X)\;=\;AX\;-\;XB\;and\;\Delta_{AB}(X)\;=\;AXB\;-\;X$, then it is proved that $d_{AB}$ satisfies Weyl's theorem and $d^{\ast}_{AB}\;satisfies\;\alpha-Weyl's$ theorem.

• Communications of the Korean Mathematical Society
• /
• v.17 no.1
• /
• pp.1-14
• /
• 2002

Some recent results on the distribution of zeros of real entire functions are surveyed.

• The Mathematical Education
• /
• v.27 no.1
• /
• pp.29-35
• /
• 1988

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.18 no.1
• /
• pp.27-41
• /
• 2014

In this paper, we present an efficient numerical method for multiphase image segmentation using a multiphase-field model. The method combines the vector-valued Allen-Cahn phase-field equation with initial data fitting terms containing prescribed interface width and fidelity constants. An efficient numerical solution is achieved using the recently developed hybrid operator splitting method for the vector-valued Allen-Cahn phase-field equation. We split the modified vector-valued Allen-Cahn equation into a nonlinear equation and a linear diffusion equation with a source term. The linear diffusion equation is discretized using an implicit scheme and the resulting implicit discrete system of equations is solved by a multigrid method. The nonlinear equation is solved semi-analytically using a closed-form solution. And by treating the source term of the linear diffusion equation explicitly, we solve the modified vector-valued Allen-Cahn equation in a decoupled way. By decoupling the governing equation, we can speed up the segmentation process with multiple phases. We perform some characteristic numerical experiments for multiphase image segmentation.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.1
• /
• pp.19-34
• /
• 2011

A bounded linear operator T on a complex Banach space X is said to have property (I) provided that T has Bishop's property (${\beta}$) and there exists an integer p > 0 such that for a closed subset F of ${\mathbb{C}}$ ${X_T}(F)={E_T}(F)=\bigcap_{{\lambda}{\in}{\mathbb{C}}{\backslash}F}(T-{\lambda})^PX$ for all closed sets $F{\subseteq}{\mathbb{C}}$, where $X_T$(F) denote the analytic spectral subspace and $E_T$(F) denote the algebraic spectral subspace of T. Easy examples are provided by normal operators and hyponormal operators in Hilbert spaces, and more generally, generalized scalar operators and subscalar operators in Banach spaces. In this paper, we prove that if T has property (I), then the quasi-nilpotent part $H_0$(T) of T is given by $$KerT^P=\{x{\in}X:r_T(x)=0\}={\bigcap_{{\lambda}{\neq}0}(T-{\lambda})^PX$$ for all sufficiently large integers p, where ${r_T(x)}=lim\;sup_{n{\rightarrow}{\infty}}{\parallel}T^nx{\parallel}^{\frac{1}{n}}$. We also prove that if T has property (I) and the spectrum ${\sigma}$(T) is finite, then T is algebraic. Finally, we prove that if $T{\in}L$(X) has property (I) and has decomposition property (${\delta}$) then T has a non-trivial invariant closed linear subspace.