• Journal of the Korean Mathematical Society
• /
• v.59 no.1
• /
• pp.1-12
• /
• 2022

We introduce the notion of a minimal synchronizing word; that is a synchronizing word whose proper subwords are not synchronized. This has been used to give a new shorter proof for a theorem in [6]. Also, the common synchronized components of a subshift and its derived set have been characterized.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.4 no.3
• /
• pp.275-284
• /
• 1999

Unbalanced source voltage in the 3-phase power system is decomposed into positive, negative and zero sequence c components. Also, assuming there is no neutral path in the system, the zero sequence component is not shown on the l load side. Therefore, in the unbalanced power system without neutral path. it is possible to provide balanced voltage to t the load side by compensating negative sequence component and also to regulate the voltage amplitude by controlling t the positive sequence component. In addition, the symmetrical components due to voltage unbalance can be effectively d detected on the synchronous reference frame by using dlongleftarrowq transformation. In this paper, an algorithm not only c compensating unbalanced source voltage by canceling the negative sequence component on the synchronous reference f frame but also maintaining load voltages constantly is proposed. Also a novel method for phase angle detection s synchronized by positive sequence component under unbalanced source voltage is suggested and this detected phase a angle is used for d-q transformation. The performances and characteristics of the proposed compensating system are a analyzed by simulation and verified through experimental results.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.64 no.4
• /
• pp.291-296
• /
• 2015

Transmission line is exposed to a large area, and then faults are likely to occur than the other component of power system. When a fault occurs on a transmission line, fault locator helps fast recovery of power supply on power system. This paper deals with the design of a digital fault locator for improvement accuracy of the fault distance estimation and a fault occurrence position for transmission line. The algorithm of a fault locator uses a DC offset removal filter and DFT filter. The algorithm utilizes a fault data of GPS time synchronized. The computed fault information is transmitted to the other side substation through communication. The digital fault locator includes MPU module, ADPU module, SIU module, and a power module. The MMI firmware and software of the fault locator was implemented.

• Proceedings of the KIEE Conference
• /
• 1999.07c
• /
• pp.1262-1266
• /
• 1999

More precise operation and control is required to ensure the stability and security of modern large power systems that is a complicated and widely dispersed structure. To ensure the precise operation and control of modern power system, most of all, precise monitoring and measurement of the various state values of power system is required. This paper discusses phasor measurement unit using synchronization signals from the GPS satellite system- Synchronized Phasor Measurement Unit. Considering the power system operation state, the transmitting data format over modems is defined. To provide all available information, PMU process the measurements to generate three phase symmetrical component. This paper proposes the transmitted data format and implements the PMU model using EMTP/Models. The validity of proposed model is confirmed through several contingency on the simple power system.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.3 no.1
• /
• pp.17-29
• /
• 1999

The reliable authentication of a communicating party and a network component is an essential factor to achieve the security in a computer network. The Kerberos Authentication Services has been the most successful solution which is widely used today but its requirement for synchronized clocks has been a serious limitation to use it. In this paper we presented an extended Kerberos method which avoids the synchronization requirement for a single-time ticket user. We modified the Kerberos protocol minimally by replacing the synchronization requirement with the challenge-response method.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.5 no.6
• /
• pp.544-551
• /
• 2000

In this paper, 3-phase hybrid series active power filter for compensate current harmonics, voltage drop and unbalanced voltage in the network presented. The proposed system is implemented with a space vector modulation voltage source inverter and a high pass filter connected in parallel to the power system. Here the load is six-pulses thyristor rectifier. The phase angle detected in order to generation reference voltage at load terminal is synchronized with the positive sequence component of the unbalanced source by using symmetrical component transformation. The proposed system has an function harmonic isolation between source and load, voltage regulation, and unbalance compensation. Therefore, what the power system is improved quality, the source current is maintained as a nearly sinusoidal waveform and the load voltage is regulated with a rated voltage regardless of the source variation condition. To verify the validity of the proposed compensating system, the computer simulation and experiment are carried out.

• Proceedings of the KIPE Conference
• /
• 2002.07a
• /
• pp.598-602
• /
• 2002

This paper presents the 3-phase hybrid series active power filter with dynamic voltage restorer(DVR) which serve as an energy buffer and current harmonics blocking resistor connected to sensitive loads, such as, to compensate voltage dips and current harmonics in power distribution system. The DVR is to inject a dynamically controlled voltage generated by a forced commutated converter in series to the bus voltage by means of a booster transformer. The momentary amplitudes of the three injected phase voltages are controlled such as to eliminate any detrimental effects of a bus fault to the load voltage. The proposed system is able to simultaneously compensate current harmonics, voltage fluctuating and voltage unbalance in power distribution systems. The reference phase angle detected by synchronized with the positive sequence component of the unbalanced source by using symmetrical component transformation. The effectiveness of proposed system is verified by the computer simulation.

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.3
• /
• pp.266-277
• /
• 2003

Every conceptual temporal rat relationship can be described using one of seven relations (before, meets, overlaps, during, starts, finishes, and equals ). The conceptual representation provides an efficient means for our multimedia authoring system to automatically fill in the necessary timing details. We developed a multimedia Presentation authoring system that supports a mechanism for conceptually representing the temporal relations of different media. Among the many editors that make up our system, the temporal relation editor provides users with an intuitive mechanism for representing the conceptual flow of a presentation by simple and direct graphical manipulations. Our system is based on the SMIL(Synchronized Multimedia Integration Language). The conceptual temporal relation editor and other editors of our system exchange their information in real-time and automatically generate SMIL codes through the SMIL Object Manager. Our system uses TRN(Temporal Relation Network) as its internal multimedia presentation representation. The TRN corresponds exactly to the structure seen in the graphical representation of the presentation. A parallel relationship found in a TRN can be collapsed into a single synchronization block. This facilitates the determination of the playing time of each component and can be the basic unit for reusability of already prepared blocks of presentation code.

• Progress in Superconductivity
• /
• v.4 no.2
• /
• pp.114-120
• /
• 2003

We employed a method eliminating a temporally partial principal component (PC) of multichannel-recorded neuromagnetic fields for excluding spatially correlated noises from event-evoked signals. The noises in magnetoencephalography (MEG) are considered to be mainly spontaneous neuromagnetic fields which are spatially correlated. In conventional MEG experiments, the amplitude of the spontaneous neuromagnetic field is much lager than that of the evoked signal and the synchronized characteristics of the correlated rhythmic noise makes it possible for us to extract the correlation noises from the evoked signal by means of the general PC analysis. However, the whole-time PC of the fields still contains a little projection component of the evoked signal and the elimination of the PC results in the distortion of the evoked signal. Especially, the distortion will not be negligible when the amplitude of the evoked signal is relatively large or when the evoked signals have a spatially-asymmetrical distribution which does not cancel out the corresponding elements of the covariance matrix. In the period of prestimulus, there are only the spontaneous fields and we can find the pure noise PC that is not including the evoked signal. Besides that, we propose a method, called the extended temporal decorrelation method (ETDM), to suppress the distortion of the noise PC from remanent evoked signal components. In this study, we applied the Partial Principal component elimination method (PPCE) and ETDM to simulated signals and the auditory evoked signals that had been obtained with our homemade 37-channel magnetometer-based SQUID system. We demonstrate here that PPCE and ETDM reduce the number of epochs required in averaging to about half of that required in conventional averaging.

• The KIPS Transactions:PartD
• /
• v.17D no.6
• /
• pp.415-422
• /
• 2010

This paper proposes service-oriented composition and verification techniques for incrementally extracting high-level abstract behavior of unit components in a systematic manner. Proposed techniques include the definition for abstract component, which is a basic building-block of the abstraction process, an algorithm for port-based synchronized abstraction, and projection abstraction. A verification framework is developed using the proposed techniques and its efficiency is demonstrated through a case example.