• Kyungpook Mathematical Journal
• /
• v.56 no.3
• /
• pp.867-876
• /
• 2016

The object of the present paper is to investigate the starlikeness of the class of functions $f(z)=z^p+{\sum\limits_{k=n}^{\infty}}a_p+k^{z^{p^{+k}}} (p,n{\in}{\mathbb{N}}=\{1,2,{\ldots}\})$ which are analytic and p-valent in the unit disc U and satisfy the condition $\|(1-{\lambda}({\frac{f(z)}{z^p}})^{\alpha}+{\lambda}{\frac{zf^{\prime}(z)}{pf(z)}}({\frac{f(z)}{z^p}})^{\alpha}-1\|$ < ${\mu}$ (0 < ${\mu}{\leq}1$, ${\lambda}{\geq}0$, ${\alpha}$ > 0, $z{\in}U$). The starlikeness of certain integral operator are also discussed. The results obtained generalize the related works of some authors and some other new results are also obtained.

• Nonlinear Functional Analysis and Applications
• /
• v.26 no.2
• /
• pp.323-329
• /
• 2021

The main object of the present paper is to investigate some radius results of the functions f(z) = z + Σ^∞_n=2 a_nzⁿ(|z| < 1) with |a_n| ≤ n for all n ∈ ℕ. Some applications for certain operator defined through convolution are also considered.

• Journal of KIISE:Software and Applications
• /
• v.31 no.7
• /
• pp.883-900
• /
• 2004

As object-oriented development technology that increases extensibility and reusability has been widely spread, it can shorten development period and enhance quality by reusing verified object-oriented artifacts. Thus we can construct high quality component-based system at short time transforming component-based model using verified object-oriented artifacts. In this paper, we propose techniques to transform available object-oriented design model into component-based model using formal specification techniques in order to increase accuracy of transformation. First, formal specification language for component is defined for formal specification of component-based design. And, techniques for formal specification of object-oriented design using Object-Z, a formal specification language, is proposed in structural, functional, and dynamic aspects. Next, we present techniques for transforming formal specification of object-oriented design into formal specification of component-based design. Through a case study we apply the proposed transformation techniques and show the transformation process of object-oriented formal specification into component-based formal specification.

• Journal of Digital Contents Society
• /
• v.5 no.3
• /
• pp.176-179
• /
• 2004

Superquadrics can represent various and complex 3D object with only wome parameters(size, position, deformation etc). So if we use both superquadrics and deformed superquadrics, we can reoresent more realistic 3D object which are existed in real world. In this paper we use the Z-buffer algorithm and stencil buffer together because this is very useful when the wuperquadric primitives are combined. The fundamental ideas are illustrated with a number of tables and figures.

• Kyungpook Mathematical Journal
• /
• v.56 no.3
• /
• pp.979-991
• /
• 2016

The object of the present paper is to study N(k)-quasi-Einstein manifolds. We study an N(k)-quasi-Einstein manifold satisfying the curvature conditions $R({\xi},X){\cdot}Z=0$, $Z(X,{\xi}){\cdot}R=0$, and $P({\xi},X){\cdot}Z=0$, where R, P and Z denote the Riemannian curvature tensor, the projective curvature tensor and Z tensor respectively. Next we prove that the curvature condition $C{\cdot}Z=0$ holds in an N(k)-quasi-Einstein manifold, where C is the conformal curvature tensor. We also study Z-recurrent N(k)-quasi-Einstein manifolds. Finally, we construct an example of an N(k)-quasi-Einstein manifold and mention some physical examples.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.5
• /
• pp.1246-1256
• /
• 1998

MIB(Management Information Base), one of the key components of network management system, is a conceptual repository for the information of the various managed objects. MIB stores and manages all the structural and operational data of each managed resources. Therefore, MIB should be protected properly from inadvertant user access or malicious attacks. International standard ISO/IEC 10164-9 describes several managed object classes for the enforcement of MIB security. Those managed object classes described access control rules for security policy. But the exact authorization procedures using those newly added managed object classes are not presented. In this paper, we divide managed object classes into two groups, explicit and implicit ones, and describe the access authorization procedure in Z specification language. Using Z as a description method for both authorization procedure and GDMO's action part, the behaviour of each managed object class and access authorization procedure is more precisely and formally defined than those of natural language form.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.123-131
• /
• 2002

Let A(p, k) (p, k$\in$N) be the class of functions f(z) = $z^{p}$ + $a_{p+k}$ $z^{p+k}$+… analytic in the unit disk. We introduce a subclass H(p, k, λ, $\delta$, A, B) of A(p, k) by using the Ruscheweyh derivative. The object of the present paper is to show some properties of functions in the class H(p, k, λ, $\delta$, A, B). B).

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.512-514
• /
• 1999

효율적인 물체인식을 위해서는 물체의 형상특징을 직선적으로 기술할 수 있는 체적소 기반 물체 표현 방법이 필요하다. 본 논문에서는 몇 개의 계수를 가지고 3차원 정보를 효율적으로 표현할 수 있는 superquadric을 이용하여 기본적인 3차원 물체를 모델링 한다. 그리고 보다 복잡하고 정교한 물체의 표현을 위해서 변형된 superquadric을 함께 이용한다. 이렇게 만들어진 개개의 3차원 모델에 z-buffer 알고리즘을 적용하여 하나의 완전한 3차원 물체로 표현하는 방법을 제시하고 실험을 통해 그 유용성을 입증하였다.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.4
• /
• pp.615-620
• /
• 2008

For analytic functions f(z) in the open unit disc $\mathbb{D}$, an operator $N_{\alpha}(f(z))$ relating with starlike functions is introduced. The object of the present paper is to discuss some properties of the operator $N_{\alpha}(f(z))$.

• Proceedings of the KIEE Conference
• /
• 1987.07b
• /
• pp.1069-1072
• /
• 1987

In this paper, we drive useful data from 3-D depth information as input using discontinuity boundary or clustering. And using magnitude and direction of z-gradient we classify the data into adaptable primitive types through intrinsic and stochastical processing. After these processing information is reconstructed for forming data base. And make relationship and standard view position for matching.