• Journal for History of Mathematics
• /
• v.12 no.2
• /
• pp.47-54
• /
• 1999

We introduce some historical facts on number theory, especially prime numbers and modular arithmetic. And then, with the viewpoint of computer arithmetic, residue number systems are considered as an alternate to positional number systems so that high performance and high speed computation can be achieved in a specified domain such as cryptography and digital signal processing.

• Journal of Electrical Engineering and Technology
• /
• v.4 no.1
• /
• pp.1-12
• /
• 2009

In recent years, integration of new distributed generation (DG) technology in distribution networks has become one of the major management concerns for professional engineers. This paper presents a dynamic methodology of optimal allocation and sizing of DG units for a given practical distribution network, so that the cost of active power can be minimized. The approach proposed is based on a combined Genetic/Fuzzy Rules. The genetic algorithm generates and optimizes combinations of distributed power generation for integration into the network in order to minimize power losses, and in second step simple fuzzy rules designs based upon practical expertise rules to control the reactive power of a multi dynamic shunt FACTS Compensator (SVC, STATCOM) in order to improve the system loadability. This proposed approach is implemented with the Matlab program and is applied to small case studies, IEEE 25-Bus and IEEE 30-Bus. The results obtained confirm the effectiveness in sizing and integration of an assigned number of DG units.

• Journal of Information Technology Services
• /
• v.9 no.3
• /
• pp.123-144
• /
• 2010

As knowledge becomes a critical success factor of companies nowadays, lots of rule-based systems have been and are being developed to support their activities. Large number of rule-based systems serve as Web sites to advise, or recommend their customers. They usually use a backward chaining inference algorithm based on backtrack to implement those interactive Web-enabled rule-based systems. However, when the users like customers are using these systems interactively, it happens frequently where the users do not know some of the answers for the questions from the rule-based systems. We are going to design a backward chaining inference methodology considering unknown facts based on backtrack technique. Firstly, we review exact and inexact reasoning. After that, we develop a backward chaining inference algorithm for exact reasoning based on backtrack, and then, extend the algorithm so that it can consider unknown facts and reduce its search space. The algorithm speeded-up inference and decreased interaction time with users by eliminating unnecessary questions and answers. We expect that the Web-enabled rule-based systems implemented by our methodology would improve users' satisfaction and make companies' competitiveness.

• 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.

• Journal of the Korean Geophysical Society
• /
• v.4 no.3
• /
• pp.183-195
• /
• 2001

This paper contains and facts to a number of projects on "content-based access to image databases" around the world today. The main focus is on what kind of image features are used but also the user interface and the users possibility to interact with the system.

• Corrosion Science and Technology
• /
• v.19 no.3
• /
• pp.131-137
• /
• 2020

A number of piping components in the secondary system of nuclear power plants (NPPs) are exposed to aging mechanisms, such as flow-accelerated corrosion (FAC), cavitation, flashing, solid particle erosion, and liquid droplet impingement erosion. Those mechanisms may lead to thinning, leaking, or rupture of the components. Due to the pipe ruptures caused by wall thinning in Surry unit 2 in the USA in 1986 and Mihama unit 3 in Japan in 1994, pipe wall thinning management has emerged as one of the most important issues in the nuclear industry. To manage pipe wall thinning, a foreign program has been utilized for NPPs in Korea since 1996. As our experience and knowledge of pipe wall thinning management have accumulated, our program needs to reflect our experience, requests from users, and the result of recent experiments using Flow Accelerated Corrosion Testing System (FACTS). FACTS is the empirical experimental facility developed by Korea Atomic Energy Research Institute (KAERI) for tests. Accordingly, KEPCO-E&C developed a 3D-based pipe wall thinning management program called ToSPACE in 2016. This paper describes a comparison between the FAC analysis results using ToSPACE and the experimental results using FACTS to verify their applicability to pipe wall thinning management in NPPs.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.7
• /
• pp.863-871
• /
• 1999

While Logic Based Expert System (LBES) has a merit of rapid and complete inference, it also has a defect of huge knowledge base. Hierarchical LBES (HLBES) replaces the assertion time inference of LBES with the multi-level logic minimization procedure, and it guarantees smaller knowledge base comparing with LBES. This paper has two contributions. The one is proposing so-called fact-minimization procedure which reduces not only the number of facts or measured events but also the size of knowledge base dramatically. The other contribution is application of HLBES and the proposed fact-minimization to the fault diagnosis of power system. The application is successfully performed in the example with the transmission system which takes 72 goals and 352 facts.

• Journal for History of Mathematics
• /
• v.32 no.2
• /
• pp.61-77
• /
• 2019

The study was conducted based on the 'method of mathematical exploration through history'. In recent school education, 'Probability and Statistics' education has been emphasized, and as a result, the study has conducted a study on permutations. Permutation is used in a variety of fields, and in this study, we looked at the Derangement. The results of this study are as follows. First, analysis was made at current school mathematics level and academic mathematics level for Derangement. Second, the historical development process of derangement was examined. Third, based on this, the research direction of this study was decided to be 'Derangement number's triangle(Rencontres number's triangle)', and the inquiry for education expansion was carried out. Fourth, we have presented data on concrete educational expansion by discovering various mathematical facts of the Derangement number's triangle. We hope that the results of this study will provide meaningful implications for the application of mathematics and the presentation of new inquiry directions.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.16 no.27
• /
• pp.105-111
• /
• 1993

Human works shift its roll from physical condition to the system supervisory control task In this paper safety-presentation configuration is discussed instead of well-known fault-warning configuration. Of paticular interest was the personal factor which include the cognitive process. Through a performance between each person information processing(d') and decision process($\beta$) was pointed out to explain the sensitivity of personal cognitive process. Impact of uncertainty effect the supervisor having doubt situations. These facts are released by the use of flat fuzzy number of $\beta$ and its learning rate R.

• Publications of The Korean Astronomical Society
• /
• v.25 no.3
• /
• pp.91-99
• /
• 2010

An increasing number of observations have confirmed the presence of multiple stellar populations in Galactic globular clusters. Multiple populations evidence come from the complex chemical pattern of stars hosted in GCs and from the split or broadening of different evolutionary sequences in the color-magnitude diagrams. Multiple stellar populations have been identified in Galactic and Magellanic Cloud clusters, as well as in external galaxies. In this paper I will summarize the observational facts.