• Journal of Intelligence and Information Systems
• /
• v.7 no.2
• /
• pp.65-81
• /
• 2001

This paper presets the process of knowledge aquisition by partitioning the phase of analysis & design for knowledge-base module construction of Expert System into five steps to derive rule systematically. Also, this paper presents the process and the task that knowledge engineer must do work each step. The knowledge-base module of STAFS expert system was constructed by considering the destruction rate and the commander\`s intention using the proposed rule derivation methodology.

• Communications of the Korean Mathematical Society
• /
• v.19 no.1
• /
• pp.135-141
• /
• 2004

We studied the relation between the tangential Cauchy-Riemann operator ${\={\partial}}_b$ CR-manifolds and the derivation $d^{{\pi}^{0,\;1}}$ associated to the natural projection map ${\pi}^{0.1}\;:\;TM\;{\bigotimes}\;{\mathbb{C}}\;=\;T^{1,0}\;{\bigoplus}\;T^{0,\;1}\;{\rightarrow}\;T^{0,\;1}$. We found that these two differential operators agree only on the space of functions ${\Omega}^0(M),\;unless\;T^{1,\;0}$ is involutive as well. We showed that the difference is a derivation, which vanishes on ${\Omega}^0(M)$, and it is induced by the Nijenhuis tensor associated to ${\pi}^{0.1}$.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.885-898
• /
• 2012

Let m, n, r be nonzero fixed positive integers, R a 2-torsion free prime ring, Q its right Martindale quotient ring, and L a non-central Lie ideal of R. Let D : $R{\rightarrow}R$ be a skew derivation of R and $E(x)=D(x^{m+n+r})-D(x^m)x^{n+r}-x^mD(x^n)x^r-x^{m+n}D(x^r)$. We prove that if $E(x)=0$ for all $x{\in}L$, then D is a usual derivation of R or R satisfies $s_4(x_1,{\ldots},x_4)$, the standard identity of degree 4.

• Korean Journal of Mathematics
• /
• v.26 no.3
• /
• pp.459-465
• /
• 2018

Recently, Li et al proved that ${\Phi}$ which satisfies the following condition on factor von Neumann algebras $${\Phi}([[A,B]_*,C]_*)=[[{\Phi}(A),B]_*,C]_*+[[A,{\Phi}(B)]_*,C]_*+[[A,B]_*,{\Phi}(C)]_*$$ where $[A,B]_*=AB-BA^*$ for all $A,B{\in}{\mathcal{A}}$, is additive ${\ast}-derivation$. In this short note we show the additivity of ${\Phi}$ which satisfies the above condition on prime ${\ast}-algebras$.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.2
• /
• pp.221-228
• /
• 1996

Throughout, R will represent an associative ring with center Z(R). A module X is said to be n-torsionfree, where n is an integer, if nx = 0, $x \in X$ implies x = 0. An additive mapping $D : R \to X$, where X is a left R-module, will be called a Jordan left derivation if $D(a^2) = 2aD(a), a \in R$. M. Bresar and J. Vukman [1] showed that the existence of a nonzero Jordan left derivation of R into X implies R is commutative if X is a 2-torsionfree and 3-torsionfree left R-module.

• Communications of the Korean Mathematical Society
• /
• v.32 no.3
• /
• pp.535-542
• /
• 2017

Let R be an associative ring and ${\alpha},{\beta}:R{\rightarrow}R$ ring homomorphisms. An additive mapping $d:R{\rightarrow}R$ is called an (${\alpha},{\beta}$)-derivation of R if $d(xy)=d(x){\alpha}(y)+{\beta}(x)d(y)$ is fulfilled for any $x,y{\in}R$, and an additive mapping $D:R{\rightarrow}R$ is called a generalized (${\alpha},{\beta}$)-derivation of R associated with an (${\alpha},{\beta}$)-derivation d if $D(xy)=D(x){\alpha}(y)+{\beta}(x)d(y)$ is fulfilled for all $x,y{\in}R$. In this note, we intend to generalize a theorem of Vukman [5], and a theorem of Daif and El-Sayiad [2].

• Journal of the Korean Institute of Telematics and Electronics D
• /
• v.36D no.1
• /
• pp.22-28
• /
• 1999

An exact asymptotic solution for a perfect conducting wedge with H-polarized plane wave incidence is analytically derived by substituting the exact boundary fields of the perfeet conducting wedge, the well known series solution, into the dual integral exquation in the spectral domain. The validity of the derivation is assured by showing that the analytic integration gives the null fields in the complementary region. The merits taking the dual integral equation for derivation of an asymptotic solution for a perfect conduction wedge is discussed.

• The Pure and Applied Mathematics
• /
• v.23 no.4
• /
• pp.347-375
• /
• 2016

Let R be a 3!-torsion free noncommutative semiprime ring, U a Lie ideal of R, and let $D:R{\rightarrow}R$ be a Jordan derivation. If [D(x), x]D(x) = 0 for all $x{\in}U$, then D(x)[D(x), x]y - yD(x)[D(x), x] = 0 for all $x,y{\in}U$. And also, if D(x)[D(x), x] = 0 for all $x{\in}U$, then [D(x), x]D(x)y - y[D(x), x]D(x) = 0 for all $x,y{\in}U$. And we shall give their applications in Banach algebras.

• Proceedings of the IEEK Conference
• /
• 1999.06a
• /
• pp.745-748
• /
• 1999

This paper propose the method to derive RM(Reed-Muller) expansion coefficients for Multiple-Valued function. The general method to obtain RM expansion coefficient for p valued n variable is derivation of single variable transform matrix and expand it n times using Kronecker product. The transform matrix used is p$^{n}$ $\times$ p$^{n}$ matrix. In this case the size of matrix increases depending on the augmentation of variables and the operation is complicated. Thus, to solving the problem, we propose derivation of RM expansion coefficients using p$\times$p transform matrix and Karnaugh-map.

• Proceedings of the KSPS conference
• /
• 1996.10a
• /
• pp.117-122
• /
• 1996

This paper proposes a derivational account of tensing and neutralization of obstruents in Korean within the theory of Government Phonology (GP) (Kaye, Lowenstamm and Vergnaud 1990, henceforth KLV; Park 1996). We begin by outling the relevant tensing and neutralization data in Korean. We point out several problems that need to be addressed in any account of these data. We then set out the central notions of GP, pointing out how adherence to the requirement that government relations remain constant throughout a derivation under the Projection Principle prevents a GP account of tensing and neutralization in Korean, which requires government relations to switch between lexical and phonetic representations. To address this problem, we propose abandoning the Projection Principle, extending lexical representations in GP along the lines of the Markedness Theory approach (Michaels 1989), and adopting the economy principles for derivation of the Minimalist approach (Chomsky 1993; Chomsky & Lasnik 1991). finally, we summarize the analysis of obstruent phenomena in Korean within GP extended in these ways.