• Smart Structures and Systems
• /
• v.21 no.2
• /
• pp.195-205
• /
• 2018

Research on Lamb wave-based damage identification in plate-like structures depends on precise knowledge of dispersive wave velocity. However, boundary reflections with the same frequency of interest and greater amplitude contaminate direct waves and thus compromise measurement of Lamb wave dispersion in different materials. In this study, non-reflecting boundaries were proposed in both numerical and experimental cases to facilitate time-frequency characterization of Lamb wave dispersion. First, the Lamb wave equations in isotropic and laminated materials were analytically solved. Second, the non-reflecting boundaries were used as a series of frames with gradually increased damping coefficients in finite element models to absorb waves at boundaries while avoiding wave reflections due to abrupt property changes of each frame. Third, damping clay was sealed at plate edges to reduce the boundary reflection in experimental test. Finally, the direct waves were subjected to the slant-stack and short-time Fourier transformations to calculate the dispersion curves of phase and group velocities, respectively. Both the numerical and experimental results suggest that the boundary reflections are effectively alleviated, and the dispersion curves generated by the time-frequency analysis are consistent with the analytical solutions, demonstrating that the combination of non-reflecting boundary and time-frequency analysis is a feasible and reliable scheme for characterizing Lamb wave dispersion in plate-like structures.

• Korean Journal of Mathematics
• /
• v.27 no.4
• /
• pp.879-898
• /
• 2019

In this paper we prove some interesting inclusions concerning the numerical range of some operators and the numerical range of theirs ranges with a convex function. Further, we prove some inequalities for the numerical radius. These inclusions and inequalities are based on some classical convexity inequalities for non-negative real numbers and some operator inequalities.

• Korean Journal of Logic
• /
• v.10 no.1
• /
• pp.1-23
• /
• 2007

Dunn investigated algebras and semantics for negations in non-classical logics. This paper extends his investigation to dual negations, more exactly to duals to the negations in Dunn [3, 5]. I first survey and systematize the algebras of dual negations, i.e., (self-dual) subminimal negation, dual Galois negations, dual minimal negation, wB (or dual intuitionistic) negation, (self-dual) De Morgan negation, and (self-dual) ortho negation, based on partially ordered sets. I next provide dual-perp semantics for these (dual) negations. I finally give representations for them by using dual-perp semantics.

• Journal of the Korean Mathematical Society
• /
• v.37 no.1
• /
• pp.85-109
• /
• 2000

In this paper, the multiplicity, stability and the structure of classical solutions of semilinear elliptic equations of the form (equation omitted) will be discussed. Here $\Omega$ is a smooth and bounded domain in $R^{n}$ (n $\geq$ 1), f(x,u) = │u│$^{\alpha}$/sgn(u)-h(x), 0 < $\alpha$ < 1, (n $\geq$ 1) and h is a ${\gamma}$- Holder continuous function on $\Omega$ for some 0 < ${\gamma}$ < 1.a}$ < 1.

• Communications for Statistical Applications and Methods
• /
• v.4 no.1
• /
• pp.317-325
• /
• 1997

Group testing is an efficient method to classify units from a population as infected or non-infected and useful in estimating the infection rate when the population infection rate is small. Upper bounds are the focus of interest in group testing, but has not been studied extensively. In this paper, the upper bound derived from the uniformly most powerful test is proposed and compared with the classical approachers, Thompson's and Bhattacharyya et al.'s methods.

• 한국전산유체공학회:학술대회논문집
• /
• 2008.03a
• /
• pp.27-32
• /
• 2008

In the present study, a conservative overset mesh technique has been developed on 2-D unstructured meshes. A new domain connection technique between independent mesh blocks was proposed to satisfy the conservation of mass, momentum, or energy in entire computational domain. The present technique was applied to several classical computational problems to validate the superiority of the conservative method to the non-conservative method.

• 한국전산유체공학회:학술대회논문집
• /
• 2008.10a
• /
• pp.27-32
• /
• 2008

In the present study, a conservative overset mesh technique has been developed on 2-D unstructured meshes. A new domain connection technique between independent mesh blocks was proposed to satisfy the conservation of mass, momentum, or energy in entire computational domain. The present technique was applied to several classical computational problems to validate the superiority of the conservative method to the non-conservative method.

• Journal of applied mathematics & informatics
• /
• v.22 no.1_2
• /
• pp.263-271
• /
• 2006

In this paper, a quasilinear second-order system with periodic boundary conditions is studied. By the least action principle and classical theorems of variational calculus, existence results of periodic solutions are obtained.

• Journal of applied mathematics & informatics
• /
• v.38 no.5_6
• /
• pp.547-557
• /
• 2020

In this paper, we introduce the notions of (dual) residuated frames for a fuzzy logic as an extension of residuated frames for classical relational semantics. We investigate the relations between residuated connections and residuated frames on Alexandrov topologies based on [0, ∞]. Moreover, we study their properties and give their examples.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.289-295
• /
• 1994

Let (A,G,.alpha.) be a $C^{*}$-dynamical system. In [3] the classical notions of ergodic properties of topological dynamical systems such as topological transitivity, minimality, and uniquely ergodicity are extended and analyzed in the context of non-abelian $C^{*}$-dynamical systems. We showed in [2] that if G is a compact group, then minimality, topological transitivity, uniquely ergodicity, and weakly ergodicity of the $C^{*}$-dynamical system (A,G,.alpha.) are equivalent.alent.