• Bulletin of the Korean Mathematical Society
• /
• v.52 no.3
• /
• pp.699-705
• /
• 2015

Two well known facts from elementary number theory are proven by using Bergman spaces.

• The Journal of Korean Philosophical History
• /
• no.32
• /
• pp.7-41
• /
• 2011

Theories of Li-Ki mutual dynamism and piety represent philosophical thoughts of Toege School. The theory of Li-Ki mutual dynamism reflects conflicts of Heavenly Law and Human Desire or Principled Mind and Selfish Mind on the private level, but conflicts of Virtuous Gentleman and Materialistic Person on the social level. The theory of piety is for establishments of Heavenly Law's Superintendence and Virtuous Gentleman's Leading Power in life. Toege's followers keep this theoretical stream Their perception of reality has two distinct features: one is that they focus on the fundamental distinguished from the incidental: the other is that they don't tolerate any compromise between righteousness and interest, They think they can make a beautiful world without any compromise between righteousness and material interest if trying hard on the fundamental. Their propensities are very different from those of Yulgok school who sought an appropriate compromise between principle and reality or between the Eastern and the Western party distinguishing an argument of the fundamental from an argument of the incidental.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.6 no.4
• /
• pp.341-347
• /
• 2001

Harmonics and fundamental reactive current of nonlinear loads in serious unbalanced power condition, are compensated by current synchronous detection(CSD) theory which is also acceptable for single phase power system. But, the CSD theory is not suitable any more, in case of controlled independently harmonics and reactive component. Therefore, a new algorithm, the expanded current synchronous detection(ECSD) theory for a three phase active power filter based on decomposition of fundamental reactive, distorted components, is proposed in this paper. The proposed ECSD theory is experimented and tested comparison with a few power theories under asymmetrical condition in power system.

• Structural Engineering and Mechanics
• /
• v.20 no.3
• /
• pp.363-380
• /
• 2005

The cable tension plays an important role in the construction, assessment and long-term health monitoring of cable structures. The cable vibration equation is nonlinear if cable sag and bending stiffness are included. The engineering implementation of a vibration-based cable tension evaluation is mostly carried out by the simple taut string theory. However, the simple theory may cause unacceptable errors in many applications since the cable sag and bending stiffness are ignored. From the practical point of view, it is necessary to have empirical formulas if they are simple and yet accurate. Based on the solutions by means of energy method and fitting the exact solutions of cable vibration equations where the cable sag and bending stiffness are respectively taken into account, the empirical formulas are proposed in the paper to estimate cable tension based on the cable fundamental frequency only. The applicability of the proposed formulas is verified by comparing the results with those reported in the literatures and with the experimental results carried out on the stay cables in the laboratory. The proposed formulas are straightforward and they are convenient for practical engineers to fast estimate the cable tension by the cable fundamental frequency.

• Journal for History of Mathematics
• /
• v.10 no.1
• /
• pp.19-32
• /
• 1997

This paper deals with the relationship between the order structure and topological structure in the historical point of view. We first investigate how the order structure has developed along with the set theory and logic in the second half of the nineteenth century. After the general topology has emerged in the beginning of the twentieth century, two disciplines of the order theory and topology give each other a great deal of effect for their development via various dualities, compactifications by maximal filter spaces and Alexandroff's specialization order, which form eventually a fundamental setting for the development of the category theory or functor theory.

• Industrial Engineering and Management Systems
• /
• v.12 no.1
• /
• pp.46-50
• /
• 2013

In insurance statistics, the sum of homogeneous insurance is often needed. The sum is called individual risk model which is a fundamental model in risk analysis for insurance. This paper first presents an individual risk model based on the uncertainty theory. Then its uncertainty distribution is provided. Finally, its arithmetic is shown by a numerical example.

• Proceedings of the Korean Society of Tribologists and Lubrication Engineers Conference
• /
• 2000.11a
• /
• pp.134-154
• /
• 2000

New engine design changes and ever increasing requirements make the design of gear oils challenging. Proper understanding of fundamental lubrication theory and formulation knowledge is necessary to develop new gear oils. This paper provides an overview on fundamentals of lubrication theory and functions of each additive. Also, key technical issues facing gear oils are discussed.

• Honam Mathematical Journal
• /
• v.36 no.3
• /
• pp.695-706
• /
• 2014

Various properties of digital covering spaces have been substantially used in studying digital homotopic properties of digital images. In particular, these are so related to the study of a digital fundamental group, a classification of digital images, an automorphism group of a digital covering space and so forth. The goal of the present paper, as a survey article, to speak out utility of digital covering theory. Besides, the present paper recalls that the papers [1, 4, 30] took their own approaches into the study of a digital fundamental group. For instance, they consider the digital fundamental group of the special digital image (X, 4), where X := $SC^{2,8}_4$ which is a simple closed 4-curve with eight elements in $Z^2$, as a group which is isomorphic to an infinite cyclic group such as (Z, +). In spite of this approach, they could not propose any digital topological tools to get the result. Namely, the papers [4, 30] consider a simple closed 4 or 8-curve to be a kind of simple closed curve from the viewpoint of a Hausdorff topological structure, i.e. a continuous analogue induced by an algebraic topological approach. However, in digital topology we need to develop a digital topological tool to calculate a digital fundamental group of a given digital space. Finally, the paper [9] firstly developed the notion of a digital covering space and further, the advanced and simplified version was proposed in [21]. Thus the present paper refers the history and the process of calculating a digital fundamental group by using various tools and some utilities of digital covering spaces. Furthermore, we deal with some parts of the preprint [11] which were not published in a journal (see Theorems 4.3 and 4.4). Finally, the paper suggests an efficient process of the calculation of digital fundamental groups of digital images.

• Journal of Arbitration Studies
• /
• v.13 no.2
• /
• pp.157-179
• /
• 2004

Currently major countries, including the USA, have developed and contrived to activate ADR(Alternative Dispute Resolution) in order to both choose effective means for dispute resolution and establish the reformation of the judicial system; thus meeting people's revamped expectations due to the rapid increase of, and diversification in, civil disputes. This is why there has been some haste in many countries to organize systems for this, so called, 'the Fundamental ADR Act' which regulates the essential structure to accelerate the use of ADR and strengthen the links with trial procedures. For example, in 1999 Germany revised it Civil Procedure Act, to allow for a pre-conciliation process in cases involving only small sums of money. Whilst, with regard to the Civil Procedure Act in France, new regulations have been introduced with regard to actions before either a suit or return to conciliation. In the United Kingdom, as far back as 1988, additions to the legal structure allowed for expansion of regulations applying to ADR. By 1999 the new ADR regulations were part of the legal structure of the UK Civil Procedure Act. The USA passed the federal law for ADR in 1998. Since then the world has tried to enact this model in UNCITRAL on international conciliation. When we consider this recent trend by the world's major countries, it is desirable that the fundamental law on ADR should be enacted in Korea also. This paper traces the object, and the regulatory content required, for the fundamental ADR law to be enacted in Korea's future. Firstly, the purpose of the fundamental ADR law is limited only to the private sector, including administrative and excluding judicial sector and arbitration, because in Korea the Judicial Conciliation of the Civil Disputes Act, the Family Disputes Act and the Arbitration Act already exist. Secondly I will I examine the regulatory content of the basic ADR Act, dividing it into: 1)regulations on the basic ideology of ADR, 2)those on the transition to trial procedures of ADR, and 3)those on the transition to ADR from trial procedures. In addition I will research the regulatory limitations of ADR.

• The Mathematical Education
• /
• v.17 no.1
• /
• pp.59-62
• /
• 1978