• Journal of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.1075-1087
• /
• 2008

We study a class of KMS-symmetric quantum Markovian semigroups on a quantum spin system ($\mathcal{A},{\tau},{\omega}$), where $\mathcal{A}$ is a quasi-local algebra, $\tau$ is a strongly continuous one parameter group of *-automorphisms of $\mathcal{A}$ and $\omega$ is a Gibbs state on $\mathcal{A}$. The semigroups can be considered as the extension of semi groups on the nontrivial abelian subalgebra. Let $\mathcal{H}$ be a Hilbert space corresponding to the GNS representation con structed from $\omega$. Using the general construction method of Dirichlet form developed in [8], we construct the symmetric Markovian semigroup $\{T_t\}{_t_\geq_0}$ on $\mathcal{H}$. The semigroup $\{T_t\}{_t_\geq_0}$ acts separately on two subspaces $\mathcal{H}_d$ and $\mathcal{H}_{od}$ of $\mathcal{H}$, where $\mathcal{H}_d$ is the diagonal subspace and $\mathcal{H}_{od}$ is the off-diagonal subspace, $\mathcal{H}=\mathcal{H}_d\;{\bigoplus}\;\mathcal{H}_{od}$. The restriction of the semigroup $\{T_t\}{_t_\geq_0}$ on $\mathcal{H}_d$ is Glauber dynamics, and for any ${\eta}{\in}\mathcal{H}_{od}$, $T_t{\eta}$, decays to zero exponentially fast as t approaches to the infinity.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.6 no.2
• /
• pp.129-143
• /
• 1998

The vibrations of steering wheel are required to be reduced for convenient ride quality and good controllability. This phenomenon, vibration of steering wheel, is occured by interaction with suspension system, steering system, vehicle body, engine/transmission and tire complicately. But reviewing the current research activities, most researches are performed for the vibration analysis of steering wheel with a simple model, and mot easy to be applied to the variation of each component element connected with steering system as well as that of the steering system. In this study, suspension system and steering system are modelled by the T.L.H. coordinate system which is usually used by a passenger car maker. Also, rigid body motions of engine and elastic motions of vehicle body in the previous study are considered. Derive the equation of motion in 29 d.o.f. and the vibration of steering wheel is analyzed numerically and verify the midelling of steering system by comparison with test results for real car. And then, the optimal design values of the engine mount system obtained from the previous study are applied to the verified steering system model and investigate the effects of various engine mount design values on the vibration of steering wheel.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.7A
• /
• pp.557-562
• /
• 2003

An output multiplexer of manifold type is widely used in a recent satellite transponder for its mass and volume reduction. For correct operation, the filters of such a multiplexer must be singly terminated. In this paper, a simple synthesis method of a 6-pole dual-mode singly-terminated filter is described. From the transfer function of the filter, network parameters such as in/output terminations and coupling coefficients are obtained easily without complicated matrix algebra such as orthogonal projection and similarity transformation. Two different-structure filters are taken into consideration and the network parameters of each filter have been extracted from the same transfer function. It is shown that the responses of two filters are same to each other since their network parameters are obtained from the same transfer function. The method described in this paper can be applied to the other degree singly terminated filter.

• Honam Mathematical Journal
• /
• v.36 no.3
• /
• pp.623-635
• /
• 2014

Classications of (${\alpha},{\beta}$)-fuzzy subalgebras of BCK/BCI-algebras are discussed. Relations between (${\in},{\in}{\vee}q$)-fuzzy subalgebras and ($q,{\in}{\vee}q$)-fuzzy subalgebras are established. Given special sets, so called t-q-set and t-${\in}{\vee}q$-set, conditions for the t-q-set and t-${\in}{\vee}q$-set to be subalgebras are considered. The notions of $({\in},q)^{max}$-fuzzy subalgebra, $(q,{\in})^{max}$-fuzzy subalgebra and $(q,{\in}{\vee}q)^{max}$-fuzzy subalgebra are introduced. Conditions for a fuzzy set to be an $({\in},q)^{max}$-fuzzy subalgebra, a $(q,{\in})^{max}$-fuzzy subalgebra and a $(q,{\in}{\vee}q)^{max}$-fuzzy subalgebra are considered.

• Communications of Mathematical Education
• /
• v.32 no.3
• /
• pp.245-255
• /
• 2018

In this paper, we discuss efforts that has been made by mathematics departments in Korea to meet the need of the 4th industrial revolution era. First of all, we introduce various industrial mathematics programs that some universities in Korea started to provide in order to nurture math/math education graduate to be prepared for the demand of the society. We also introduced a mathematics for Big Data course that we did offer recently which can be shared.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.687-700
• /
• 1994

Throughout this paper we will let H denote the complete Heyting algebra ($H, \vee, \wedge, *$) with order reversing involution *. 0 and 1 denote the supermum and the infimum of $\emptyset$, respectively. Given any set X, any element of $H^X$ is called H-fuzzy set (or, simply f.set) in X and will be denoted by small Greek letters, such as $\mu, \nu, \rho, \sigma$. $H^X$ inherits a structure of H with order reversing involution in natural way, by definding $\vee, \wedge, *$ pointwise (sam notations of H are usual). If $f$ is a map from a set X to a set Y and $\mu \in H^Y$, then $f^{-1}(\mu)$ is the f.set in X defined by f^{-1}(\mu)(x) = \mu(f(x))$. Also for $\sigma \in H^X, f(\sigma)$ is the f.set in Y defined by $f(\sigma)(y) = sup{\sigma(x) : f(x) = y}$ ([4]). A preorder R on a set X is reflexive and transitive relation on X, the pair (X,R) is called preordered set. A map $f$ from a preordered set (X, R) to another one (Y,T) is said to be preorder preserving (inverting) if for $x,y \in X, xRy$ implies $f(x)T f(y) (resp. f(y)Tf(x))$. For the terminology and notation, we refer to [10, 11, 13] for category theory and [7] for H-fuzzy semitopogenous spaces.

• Kyungpook Mathematical Journal
• /
• v.55 no.1
• /
• pp.63-71
• /
• 2015

Let H be a separable infinite dimensional complex Hilbert space, and let $\mathcal{L}(H)$ denote the algebra of all bounded linear operators on H into itself. Let $A,B{\in}\mathcal{L}(H)$ we define the generalized derivation ${\delta}_{A,B}:\mathcal{L}(H){\mapsto}\mathcal{L}(H)$ by ${\delta}_{A,B}(X)=AX-XB$, we note ${\delta}_{A,A}={\delta}_A$. If the inequality ${\parallel}T-(AX-XA){\parallel}{\geq}{\parallel}T{\parallel}$ holds for all $X{\in}\mathcal{L}(H)$ and for all $T{\in}ker{\delta}_A$, then we say that the range of ${\delta}_A$ is orthogonal to the kernel of ${\delta}_A$ in the sense of Birkhoff. The operator $A{\in}\mathcal{L}(H)$ is said to be finite [22] if ${\parallel}I-(AX-XA){\parallel}{\geq}1(*)$ for all $X{\in}\mathcal{L}(H)$, where I is the identity operator. The well-known inequality (*), due to J. P. Williams [22] is the starting point of the topic of commutator approximation (a topic which has its roots in quantum theory [23]). In [16], the author showed that a paranormal operator is finite. In this paper we present some new classes of finite operators containing the class of paranormal operators and we prove that the range of a generalized derivation is orthogonal to its kernel for a large class of operators containing the class of normal operators.

• 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.

• The KIPS Transactions:PartD
• /
• v.16D no.2
• /
• pp.185-190
• /
• 2009

The event sequence of the same type from a set of events having time property can be summarized in one event. But if the event sequence having an interval, It is reasonable to be summarized more than one in independent sub event sequence of each other. In this paper, we suggest a method of temporal data mining that summarizes the interval events based on Allen's interval algebra and finds out interval event association rule from interval events. It provides better knowledge than others by using concept of an independent sub sequence and finding interval event association rules.

• Communications of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.611-622
• /
• 2024

The purpose of this paper is to introduce a new class of rings containing the class of m-formally Noetherian rings and contained in the class of nonnil-SFT rings introduced and investigated by Benhissi and Dabbabi in 2023 [4]. Let A be a commutative ring with a unit. The ring A is said to be nonnil-m-formally Noetherian, where m ≥ 1 is an integer, if for each increasing sequence of nonnil ideals (I_n)_n≥0 of A the (increasing) sequence (∑_i1+⋯+im=nI_i1I_i2⋯I_im)_n≥0 is stationnary. We investigate the nonnil-m-formally Noetherian variant of some well known theorems on Noetherian and m-formally Noetherian rings. Also we study the transfer of this property to the trivial extension and the amalgamation algebra along an ideal. Among other results, it is shown that A is a nonnil-m-formally Noetherian ring if and only if the m-power of each nonnil radical ideal is finitely generated. Also, we prove that a flat overring of a nonnil-m-formally Noetherian ring is a nonnil-m-formally Noetherian. In addition, several characterizations are given. We establish some other results concerning m-formally Noetherian rings.