• 지능정보연구
• /
• 제7권2호
• /
• pp.65-81
• /
• 2001

본 논문에서는 전문가 시스템 개발에 있어서 체계적인 규칙추출을 위하여 지식베이스 구축에 관한 분석/설계단계까지를 5개 단계로 세분화하여 지식획득과정을 강화하였다. 또한 각 단계별로 지식공학자가 수행해야 하는 프로세스와 각 프로세스별로 지식공학자가 실질적인 작업을 통해 결과를 산출하는 태스크를 정형화하였다. 본 논문에서는 제안한 체계적인 규칙추출 방법론을 이용하여 아군 화력자산의 파괴율을 고려하고, 지휘관의 의도에 부합하는 아군 화력자산을 배분하는 STAFS 전문가시스템의 지식베이스 모듈 개발에 관한 연구를 수행하였다.

• 대한수학회논문집
• /
• 제19권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}$.

• 대한수학회보
• /
• 제49권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
• /
• 제26권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$.

• 대한수학회보
• /
• 제33권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.

• 대한수학회논문집
• /
• 제32권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].

• 전자공학회논문지D
• /
• 제36D권1호
• /
• pp.22-28
• /
• 1999

H-분극된 평면파가 입사되는 완전도체쇄기에 대해 급수형태의 정확한 경계면 전자파를 파수영억역에서의 쌍적분 방정식에 대힙하여 해석적으로 적분함으로써 검근해를 유도하였다. 가상공간에서 적분 결과가 0이 되는 것을 보임으로써 적분 과정의 타당성을 보였다. 완전도체쇄기의 점근해 유도과정에 쌍적분 방정식을 이동함으로써 얻은 잇점에 대해 살펴보았다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제23권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.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1999년도 하계종합학술대회 논문집
• /
• 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.

• 대한음성학회:학술대회논문집
• /
• 대한음성학회 1996년도 10월 학술대회지
• /
• 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.