• Progress in Superconductivity
• /
• v.1 no.2
• /
• pp.99-104
• /
• 2000

The e.m.f. induced by a normal spot moving in a superconducting foil has been investigated by using the simulation and the experiment of a simple superconducting Power Supply. The induced e.m.f. has been derived theoretically from the magnetic field distribution within the spot. It is the sum of a DC component induced constantly by the Faraday's law during the spot's movement and a pulse component induced periodically by the flux conservation law at every electrical degrees 2$\pi$ radians. The DC component of the output voltage appears slightly nonlinear to the rotating speed, having values greater than the linear approximation values. The theoretical interpretation has been verified through experiment.

• Language and Information
• /
• v.5 no.1
• /
• pp.17-34
• /
• 2001

Kamp & Reyle's (1993) proposal to represent split antecedents to a plural pronoun in terms of sum- mation and abstraction is critically reviewed in this paper, In point our some weak- nesses of their analysis as well as wrong predictions they make. In propose to treat the partitive reading found in bare numeral constructions by separating the conven-tional DRS construction rules from the cognitively motivated DRS-operations at a different level. A preference rule is also proposed that would constrain the sortal structure of discourse referents when such operations as summation and abstraction are enforced at the DRS's of relevant levels. Evidence for the separate treatment of linguistically motivated processes apart from cognitively motivated ones comes from both English and Korean constructions involving definite plural pronouns and numeral classifiers.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.50 no.2
• /
• pp.58-66
• /
• 2001

This paper presents an application of a newly designed Adaptive Genetic Algorithm (AGA) to solve the Optimal Feeder Routing (OFR) problem for distribution system planning. The main objective of the OFR problem usually is to minimize the total cost that is the sum of investment costs and system operation costs. We propose a properly designed AGA, in this paper, which can handle the horizon-year expansion planning problem of power distribution network in which the location of substation candidates, the location and amount of forecasted demands are given. In the proposed AGA, we applied adaptive operators using specially designed adaptive probabilities. we also a Simplified Load Flow (SLF) technique for radial networks to improve a searching efficiency of AGA. The proposed algorithm has been evaluated with the practical 32, 69 bus test system to show favorable performance. It is also shown that the proposed method for the OFR can also be used for the network reconfiguration problem in distribution system.

• Journal of Institute of Control, Robotics and Systems
• /
• v.18 no.9
• /
• pp.806-811
• /
• 2012

In this paper Hartley functions are used to approximate the solutions of continuous time linear dynamical system. The Hartley function and its integral operational matrix are first presented, an efficient algorithm to solve the Stein equation is proposed. The algorithm is based on the compound matrix and the inverse of sum of matrices. Using the structure of the Hartley's integral operational matrix, the full order Stein equation should be solved in terms of the solutions of pure algebraic matrix equations, which reduces the computation time remarkably. Finally a numerical example is illustrated to demonstrate the validity of the proposed algorithm.

• Journal of international Conference on Electrical Machines and Systems
• /
• v.1 no.3
• /
• pp.360-365
• /
• 2012

Cascaded H-Bridge rectifier (CHBR) is a more attractive solution in traction application for its transformerless structure. Because of the currents of different cells are exactly the same one, it is a challenge job to regulate the voltages of cells with only one current controller. In this paper, a PI-based control scheme is presented to deal with the voltages balance issue in CHBR. To satisfy the demand of rectifier such as unity power factor and regulated output DC voltages, the proposed control scheme consists of two parts. One is for shaping the grid current waveform and regulating the sum of DC-link voltages of all the cells; the other one is for balancing DC-link voltages. The latter is more concerned in this paper and is discussed in detail especially. Simulations and experiments are carried on. The results verified the feasibility and effectiveness of the proposed scheme.

• Journal of applied mathematics & informatics
• /
• v.23 no.1_2
• /
• pp.505-516
• /
• 2007

In this paper, we provide some fundamental properties and basic theoretical results of K-class-based dedicated storage policy in a unit load system assuming the constant-space assumption that the number of storage locations for a class is not the maximum aggregate inventory position for a class but the sum of space requirement for products assigned to the class. The main theorem is that there exists a (K+1) -class-based storage layout whose expexted single command (SC) travel time is not greater than that of a K-class-based storage layout, i.e, $E(SC^*_{K+1}){\leq}E(SC^*_K)\;for\;K=1,{\cdots}$, (n-1).

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.9
• /
• pp.85-90
• /
• 2016

In this paper, we study the domain-independent sensor data structuring method and the derivations about ' Filter Criteria' expansion factors of heterogeneous domain systems. For this purpose, we propose a 5W1H based information search and retrieval method without knowledges about the target domains. And we also suggest a resource management model that can support expanding search of information. By the suggested method, the oneM2M standard able to implement the use-cases like 'data exchanging between the heterogeneous domains'.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1993.06a
• /
• pp.1414-1417
• /
• 1993

Wang and Medel proved (1991) that fuzzy systems with product inference, centroid defuzzification, and everywhere positive membership functions (in particular, Gaussians, Wang, 1992) are capable of approximating any real continuous control function on a compact set to arbitrary accuracy. Kosko (1992) proved that fuzzy systems, in which membership functions have compact support, and combination operation (V-operation) for rules is the sum, are also universal approximators. In this paper, we generalize this result of Kosko and prove that for any &- and V-operations, any defuzzification procedure, and any basic membership function with a compact support, the resulting fuzzy controls are universal approximators. Also, Wang's result is transfered to min-inference.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.5
• /
• pp.879-884
• /
• 2009

A Method for detection of saturation of a current transformer(CT) is proposed. The algorithm is initiated when the end point of a saturation period is detected. This detection is achieved by checking the time interval between the adjacent zero-crossing points of the second derivative of the secondary current. Once the end point of the saturation period is detected, the beginning point of the corresponding saturation period is determined by backward examination of the sum of the secondary current from the end point. The performance of the algorithm was evaluated for a-g faults on a 345 kV 100km overhead transmission line. The Electromagnetic Transient Program(EMTP) was used to generate fault current signals for different fault inception angles and different remanent fluxes. The performance evaluation shows that the proposed algorithm successfully detects the saturation period even in the presence of a remanent flux.

• Journal of Korean Institute of Industrial Engineers
• /
• v.35 no.4
• /
• pp.218-225
• /
• 2009

This paper considers a parallel-machine scheduling problem with job release times and sequence-dependent setup times. The objective of this problem is to determine the allocation policy of jobs and the scheduling policy of machines so as to minimize the weighted sum of setup times, delay times, and tardy times. A mathematical model for optimal solution is derived and a meta heuristic algorithm based on the improved ant colony system is proposed in this paper. The performance of the meta heuristic algorithm is evaluated through compare with optimal solutions using randomly generated several examples.