• The KIPS Transactions:PartC
• /
• v.8C no.2
• /
• pp.113-121
• /
• 2001

접근제어의 목적은 컴퓨팅 자원 및 통신 정보자원 등을 부당한 사용자로부터 사용되거나, 수정, 노출, 파괴와 같은 비합법적인 행위로부터 보호하는데 있다. 대표적인 보안 정책 중에서 Biba 모델은 정보의 무결성을 보장하지만 상업적인 환경에 적용되기는 다소 미흡하며, 역할기반 접근제어 정책은 상업적인 측면의 보안정책에 적용이 가능하지만 접근되는 객체의 중요도에 따른 보안등급이 고려되지 않았다. 본 논문에서는 Biba 모델의 보안등급을 역할기반접근제어 모델에 적용함으로써 주체가 해당 객체를 부당하게 변경하는 것을 방지함과 동시에 수많은 접근권한을 관리하는데 융통성을 제공한다. 그리고 제안한 접근제어 모델의 제약조건들을 정형 명세 언어인 Z언어를 통해 명확히 표현함으로써 정책 입안자나 프로그래머가 접근제어정책을 설계하고 구현하고자 할 때 프로그램 개발에 소요되는 시간을 단축할 수 있다. 또한, 제안한 모델을 망관리 객체의 연산과 등급을 갖는 역할과 제약조건을 사용하여 실제 운영되는 통신망 관리에 적용하여 봄으로써 정보의 무결성이 보장됨을 보였다.

• Communications of the Korean Mathematical Society
• /
• v.27 no.3
• /
• pp.441-448
• /
• 2012

Let R be a prime ring with center Z and characteristic different from two, U a nonzero Lie ideal of R such that $u^2{\in}U$ for all $u{\in}U$ and $d$ be a nonzero (${\sigma}$, ${\tau}$)-derivation of R. We prove the following results: (i) If $[d(u),u]_{{\sigma},{\tau}}$ = 0 or $[d(u),u]_{{\sigma},{\tau}}{\in}C_{{\sigma},{\tau}}$ for all $u{\in}U$, then $U{\subseteq}Z$. (ii) If $a{\in}R$ and $[d(u),a]_{{\sigma},{\tau}}$ = 0 for all $u{\in}U$, then $U{\subseteq}Z$ or $a{\in}Z$. (iii) If $d([u,v])={\pm}[u,v]_{{\sigma},{\tau}}$ for all $u{\in}U$, then $U{\subseteq}Z$.

• Communications of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.65-74
• /
• 2007

Suppose that $\mu$ is a finite positive Borel measure on bounded symmetric domain $\Omega{\subset}\mathbb{C}^n\;and\;\nu$ is the Euclidean volume measure such that $\nu(\Omega)=1$. Suppose 1 < p < $\infty$ and r > 0. In this paper, we will show that the norms $sup\{\int_\Omega{\mid}k_z(w)\mid^2d\mu(w)\;:\;z\in\Omega\}$, $sup\{\int_\Omega{\mid}h(w)\mid^pd\mu(w)/\int_\Omega{\mid}h(w)^pd\nu(w)\;:\;h{\in}L_a^p(\Omega,d\nu),\;h\neq0\}$ and $$sup\{\frac{\mu(E(z,r))}{\nu(E(z,r))}\;:\;z\in\Omega\}$$ are are all equivalent. We will also show that the inclusion mapping $ip\;:\;L_a^p(\Omega,d\nu){\rightarrow}L^p(\Omega,d\mu)$ is compact if and only if lim $w\rightarrow\partial\Omega\frac{\mu(E(w,r))}{\nu(E(w,r))}=0$.

• Communications of the Korean Mathematical Society
• /
• v.21 no.4
• /
• pp.641-652
• /
• 2006

In [2], they found some natural generators for the ideals of the finite ring $Z_{pm}$[X]/$(X^n\;-\;1)$, where p and n are relatively prime. If p and n are not relatively prime $X^n\;-\;1$ is not a product of basic irreducible polynomials but a product of primary polynomials. Due to this fact, to consider the ideals of $Z_{pm}$[X]/$(X^n\;-\;1)$ in 'inseparable' case we need to look at the primary ideals of $Z_{pm}$[X]. In this paper, we find a set of generators of ideals of $Z_{pm}$[X]/(f) for some primary polynomials f of $Z_{pm}$[X].

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.389-392
• /
• 2000

Gouge-free tool-path generation is an important issue in mold & die machining and researches on cutter interference avoidance can be found in many articles. One of the various methods is construction of tool-offlet surface or cutter-location (CL) surface on which the cutter-center point (CL-point) locates. Provided that the CL surface is represented in a suitable form, cutter-interference avoidance can be performed without the burden of computing CL data for every cutter-contact (CC) point. In the paper, various methods of constructing a CL surface in the z-map form are presented, where z-map is a special form of discrete nonparametric representation in which the height values at grid points on the xy-plane are stored as a 2D array z［i,j］.

• Asian-Australasian Journal of Animal Sciences
• /
• v.8 no.5
• /
• pp.449-454
• /
• 1995

The present study was conducted to assess gene expression of bacterial lacZ driven by the SV40 promoter at early developmental stages of bovine embryos. The lacZ gene was linearized with BamHI digestion and introduced into the pronucleus by microinjection at 20 hrs after the commencement of in vitro fertilization. Intact bovine blastocysts were not stained with X-Gal, suggesting that there is no endogenous beta-galactosidase activity in these blastocysts. In contrast, the bovine blastocyst cells microinjected with the lacZ gene exerted a characteristic greenish-blue color originating from the bacterial beta-galactosidase activity, albeit at a low rate, i.e. 2.1% of the total fertilized oocytes injected. It was concluded, therefore, that the lacZ gene driven by the SV40 promoter could be used for an indirect screening method in which the presence of transgene is evaluated from the product of transgene expression.

• Journal of the Korean Mathematical Society
• /
• v.45 no.1
• /
• pp.63-78
• /
• 2008

We generalize several integral inequalities for analytic functions on the open unit polydisc $U^n={\{}z{\in}C^n||zj|<1,\;j=1,...,n{\}}$. It is shown that if a holomorphic function on $U^n$ belongs to the mixed norm space $A_{\vec{\omega}}^{p,q}(U^n)$, where ${\omega}_j(\cdot)$,j=1,...,n, are admissible weights, then all weighted derivations of order $|k|$ (with positive orders of derivations) belong to a related mixed norm space. The converse of the result is proved when, p, q ${\in}\;[1,\;{\infty})$ and when the order is equal to one. The equivalence of these conditions is given for all p, q ${\in}\;(0,\;{\infty})$ if ${\omega}_j(z_j)=(1-|z_j|^2)^{{\alpha}j},\;{\alpha}_j>-1$, j=1,...,n (the classical weights.) The main results here improve our results in Z. Anal. Anwendungen 23 (3) (2004), no. 3, 577-587 and Z. Anal. Anwendungen 23 (2004), no. 4, 775-782.

• Proceedings of the KIPE Conference
• /
• 2010.07a
• /
• pp.365-366
• /
• 2010

본 논문에서는 양방향성 Z-소스 DC-DC 컨버터 2대를 이용한 단상 Z-소스 부스트 인버터를 설계하고 분석하였다. 두 대의 컨버터를 이용한 인버터 시스템은 종전의 PWM 인버터 시스템과 달리 두 컨버터에서 출력되는 두 교류 출력을 이용한 것으로 전체 시스템의 교류 출력전압에 포함된 고조파가 낮다. 또한, 컨버터 내부를 구성하는 L-C로 인해 추가적인 출력필터 설계가 불필요 하다는 장점이 있다. 본 연구에서는 종전의 부스트 컨버터 또는 벅-부스트 컨버터 방식이 아닌 두 대의 Z-소스 DC-DC 컨버터를 입력 DC전원과 출력 부하를 공통으로 하는 단상 인버터 시스템을 구성하고, 교류 출력파형 및 제어방법과 동작특성을 분석하였다.

• The Mathematical Education
• /
• v.14 no.1
• /
• pp.22-26
• /
• 1975

In this paper, we define a differential module and study its properties. In section 2, as for propositions, Ive research some properties, directsum, isomorphism of factorization, exact sequence of derived modules. And then as for theorem, I try to present the following statement, if the sequence of homomorphisms of differential modules is exact. Then the sequence of homomorphisms of Z(X) is exact, also the sequence of homomorphisms of Z(X) is exact. According to the theorem, as for Lemma, we consider commutative diagram between exact sequence of Z(X) and exact sequence of Z'(X) . As an immediate consequence of this theorem, we obtain the following result. If M is an arbitrary module and the sequence of homomorphisms of the modules Z(X) is exact, then the sequence of their tensor products with the trivial endomorphism is semi-exact.

• Honam Mathematical Journal
• /
• v.27 no.3
• /
• pp.405-419
• /
• 2005

We present some properties characterizing the Mandelbrot set of quadratic rational maps. Any quadratic rational map is conjugate to either $z^2+c$ or ${\lambda}(z+1/z)+b$. For ${\mid}{\lambda}{\mid}=1$, we find the figure of the Mandelbrot set $M_{\lambda}$, the set of parameters b for which the Julia set of ${\lambda}(z+1/z)+b$ is connected. It is seen to be the whole complex plane if ${\lambda}{\neq}1$, but it is intricate fractal if ${\lambda}=1$. This supplements the work already investigated for the case ${\mid}{\lambda}{\mid}>1$.