• Honam Mathematical Journal
• /
• v.21 no.1
• /
• pp.49-56
• /
• 1999

The object of this note is to provide various methods for proving two results contiguous to Kummer's second theorem by using the classical Gauss's summation theorem and contiguous relations.

• Honam Mathematical Journal
• /
• v.33 no.2
• /
• pp.187-206
• /
• 2011

The main object of this paper is to present generalization of extended beta function, extended hypergeometric and confluent hypergeometric function introduced by Chaudhry et al. and obtained various integral representations, properties of beta function, Mellin transform, beta distribution, differentiation formulas transform formulas, recurrence relations, summation formula for these new generalization.

• Proceedings of the IEEK Conference
• /
• 1999.06a
• /
• pp.534-537
• /
• 1999

In this paper we designed a service composition architecture which enables the functional extension of existing service or the creation of new service by combining more than one service. The designed composition architecture is based on the service architecture of the TINA-C. It is designed by extending TINA information model and computational model. Composition related object, relations and interface between objects are defined in the information model and the computational model. And we tested the designed architecture by implementing two multimedia service and composition the services.

• Publications of The Korean Astronomical Society
• /
• v.17 no.1
• /
• pp.11-14
• /
• 2002

Our examination of the relations of spherically symmetric accretion on a massive point object to viscous drag, neglecting gas pressure and using self-similar transformation, shows the behaviors of the asymptotic solutions? in the regions near to and far from the center. The viscosity reduces the free-fall velocity by the factor $(1\;+\;\zeta) ^{-1}$, and causes flattening in the density distribution. Therefore, the viscosity leads to the reduction of the mass accretion rate.

• Honam Mathematical Journal
• /
• v.37 no.1
• /
• pp.113-126
• /
• 2015

Recently, Liu and Wang generalized Appell's and Lauricella's hypergeometric functions. Motivated by the work of Liu and Wang, the main object of this paper is to present new generalizations of Appell's and Lauricella's hypergeometric functions. Some integral representations, transformation formulae, differential formulae and recurrence relations are obtained for these new generalized Appell's and Lauricella's functions.

• Journal of The Korean Astronomical Society
• /
• v.36 no.3
• /
• pp.75-80
• /
• 2003

When a bright astronomical object (source) is gravitationally lensed by a foreground mass (lens), its image appears to be located at different positions. The lens equation describes the relations between the locations of the lens, source, and images. The lens equation used for the description of the lensing behavior caused by a lens system composed of multiple masses has a form with a linear combination of the individual single lens equations. In this paper, we examine the validity of the linear nature of the multi-lens equation based on the general relativistic point of view.

• Journal of Institute of Control, Robotics and Systems
• /
• v.15 no.11
• /
• pp.1080-1087
• /
• 2009

This paper presents an algorithm to acquire 3D geometric information using a virtual plane method. The method to measure 3D information on the plane is easy, because it's not concerning value on the z-axis. A plane can be made by arbitrary three points in the 3D space, so the algorithm is able to make a number of virtual planes from feature points on the target object. In this case, these geometric relations between the origin of each virtual plane and the origin of the target object coordinates should be expressed as known homogeneous matrices. To include this idea, the algorithm could induce simple matrix formula which is only concerning unknown geometric relation between the origin of target object and the origin of camera coordinates. Therefore, it's more fast and simple than other methods. For achieving the proposed method, a regular pin-hole camera model and a perspective projection matrix which is defined by a geometric relation between each coordinate system is used. In the final part of this paper, we demonstrate the techniques for a variety of applications, including measurements in industrial parts and known patches images.

• The Korean Journal of Elementary Counseling
• /
• v.5 no.1
• /
• pp.205-226
• /
• 2006

The purpose of this study was to find out the relations between 6th graders' negative cognitive process and anger experience and aggressiveness. To achieve the goal, it conducted a test to examine children's negative cognitive process, anger experience, aggressiveness targeting 100 children of 6th grade in C elementary school, Gyeonggj province. Then it conducted SPSS 12.0 statistical program to get the results of correlation analysis and regression analysis. The outcomes were as follows. First, there was a meaningfully positive relation between a negative cognitive process and anger experience. In other words, children having more negative cognitive process seemed to experience the feelings of anger more often, this presented the important role of cognition while getting into a temper Second, it reported a positive relation between anger experience and aggressiveness. Children who have experienced anger more often showed more violent behaviors, especially there were more significant positive relations between trait-anger and aggressiveness compared to state-anger and aggressiveness. This could explain some possibilities that children with high level of trait-anger might outrage more often than others by recognizing the situations as anger stimulants. Third, when conducting a regression analysis, a negative cognitive process made an effect on anger experience which affected aggressiveness. However, it did not show a negative cognitive process making a direct effect on aggressiveness. This is considered that children could experience an anger while evaluating an event or object in a negative way based on individual belief, and emotional linguistic behavioral aggressiveness would be formalized as they express the sparked fury either internally or externally. In conclusion, this study proved that there were close relations between children's negative cognitive process and anger experience and aggressiveness. A negative cognitive process affects anger experience, and anger experience affects aggressiveness afterwards. A negative cognitive process affects aggressiveness through anger experience indirectly, and especially trait-anger among anger experience is the main factor to influence on aggressiveness. With consideration of these results, it is believed that mediation is important key to moderate the negative cognition and trait-anger in order to diminish children's aggressive behaviors. This study has a meaning to provide searching for manifold mediating methods between negative cognition and trait anger, with a fundamental resource.

• Journal of KIISE:Software and Applications
• /
• v.30 no.1_2
• /
• pp.40-50
• /
• 2003

Ontology is the artifacts for representing the truth or the states of objects by defining objects and their relations. In this paper, we propose an agent that classifies Web documents and provides personalized information towards user`s information needs using ontology. the agent uses ontology in which semantic relations on Web documents are represented in ta hierarchical form to classify Web documents. In this paper, ontology consists of concepts, features(describing concepts), relations(among concepts) and constraints(among elements in a feature). The agent can capture user's information needs efficiently by using ontology and assist Web navigation by using users profiles and the results of identification of semantic relations in Web documents. Also, the agent obtains Web documents by a look-ahead search and represents them as concepts, therefore users can understand them easily by receiving recommendations expressed in the form of high-level concepts.

• The Transactions of the Korea Information Processing Society
• /
• v.2 no.4
• /
• pp.477-486
• /
• 1995

This paper describes and constructs object-oriented analysis models using Galois-lattices that we are always studying in discrete mathematics, shows fundamental approaches to maintain the models, analyzes the construction of object-oriented analysis models through good examples. Also, we define several properties of Galois-lattices that have binary relations between class objects, propose the incremental updating algorithms that can update the Galois-lattice whenever new classes are added. This proposal shows that in case of adding new class nodes the results from simulations can implement in constant time and have linearly the incremental structures in worst cases, and in that the growth rate of lattices is proportioned to class nodes in time complexity. This results can achieve the high understandability of object-oriented analysis models and the high traceability of maintenance models. Furthermore it is possible to make more efficient performances of class reusability in advantages of object-oriented systems and support truly the class hierarchical maintenances.