• Proceedings of the IEEK Conference
• /
• 1998.06a
• /
• pp.883-886
• /
• 1998

We introduce a high level synthesis methodlogoy for automatic synthesis of asynchronous circuits form a language based on CSP. The input language is a high level concurrent algorithmic specification that can model complex concurrent control flow, logical and arithmetic computation and communications between them. This specification is translated into petri net which has actions. These actions are refined to synthesize the controllers and to allocate the data resources. We use the automatic synthesis through signal transition graphs (STGs) that allows to take advantage of logic synthsis methods to optimize the circuit.

• Progress in Superconductivity and Cryogenics
• /
• v.3 no.2
• /
• pp.15-20
• /
• 2001

This paper describes a model flux pump experiment recently performed at the MIT Francis Bitter Magnet Laboratory. The results of the model flux pump will be used in the development of a prototype flux pump that will be couple to a high-temperature superconductor (HTS) insert coil of a high-field NMR (Nuclear Magnetic Resonance) magnet, Such an HTS insert is unlikely to operate in persistent model because of the conductors low index(n) The flux pump can compensate fro field decay in the HTS insert coil and make the insert operate effectively in persistent mode . The flux pump, comprised essentially of a transformer an two switches. all made of superconductor, transfers into the insert coil a fraction of a magnetic energy that is first introduced in the secondary circuit of the transformer by a current supplied to the primary circuit. A model flux pump has been designed. fabricated, and operated to demonstrate that a flux pump can indeed supply a small metered current into a load superconducting magnet. A current increment in the range of microamperes has been measured in the magnet after each pumping action. The superconducting model flux pump is made of Nb$_3$ Sn tape, The pump is placed in a gaseous environment above the liquid helium level to keep its heat dissipation from directly discharged in the liquid: the effluent helium vapor maintains the thermal stability of the flux pump.

• Proceedings of the KSR Conference
• /
• 2004.06a
• /
• pp.1233-1239
• /
• 2004

This study analysis the current level of the Korea High Speed Line by mathematical model of the rail and compensation capacitors. The rail and compensation capacitors are represented by transmission parameters and the analysis is processed by computer simulation.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2021.05a
• /
• pp.584-588
• /
• 2021

The impedance of the speaker is likely to be recognized as a fixed value. However, speaker impedance continues to vary with frequency variation, especially larger in resonant frequency region. The sound pressure level of loudspeakers is determined by the current flowing throughout the coil that consists loudspeakers. If loudspeakers are driven by voltage, sound pressure level of the loudspeaker is distorted by the variation of loudspeaker impedance. Current-drive of loudspeakers can solve this problem, but distortion of sound pressure level occurs in low frequencies due to resonance. The distortion can degrade the sound quality of the sound system. So to solve this problem, In this paper, we propose a resonance compensation circuit using DSP. we simulates audio systems using an equivalent model of loudspeakers to verify distortion of sound pressure level due to impedance variation and propose a circuit to compensate it. The proposed circuit is configured using a state variable filter and it can adjust the center frequency and output, so it will be used various sound systems.

• Resources Recycling
• /
• v.23 no.6
• /
• pp.30-39
• /
• 2014

The trajectories of PCB(Printed Circuit Board) particles in the corona discharge electrostatic separation was simulated. The PCB particles are prepared by crushing bare board, which disassembled from electronic components, consist mostly of copper and FR-4(Flame Retardant Level-4) Firstly, a model was established for calculating of detachment points of PCB particles from the rotating electrode in separator. The model of detachment points was derived from equilibrium of force such as gravity force, centrifugal force, electrostatic force. The trajectories of particles after detachment was calculated by acceleration derived from time-integrating method of motion equation. In this simulation, particle size, supplied voltage, rotation speed of rotating roll electrode and angle of induction electrode were adopted as variables. While the trajectories of FR-4 particles were affected by all variables, rotation speed of rotating roll electrode was dominant variables affecting trajectories of copper particles.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.24 no.1
• /
• pp.82-90
• /
• 2013

In this paper, conducted emission from the MDS(Motor Drive System) of a HEV/EV was analyzed using high- frequency circuit modeling in system-level approach. The conducted emission by PWM process can cause RFI(radio- frequency interference) problems in the AM/FM frequency range. In order to mitigate this conducted emission, a high-frequency equivalent circuit model is proposed by analyzing the fundamental circuits, parasitic components in their parts and connections and non-linear characteristics of IGBTs, high-power capacitors, inverters, motors, high-power cables, and bus bars which are composed of the MDS. It is confirmed that the simulated result by the proposed model is well agreed with measured results in spite of a large-scaled analysis in system level. We are looking forward that this approach can be effectively used in the EMC design of HEV/EV.

• Nuclear Engineering and Technology
• /
• v.56 no.8
• /
• pp.2990-2998
• /
• 2024

In ITER, the evaluation of the activated water radiation source and its impact on the radiological levels is necessary to demonstrate compliance with the safety requirements. The use of simplified or conservative approaches often results in the application of expensive constraints on the installation that impact its economics, operations, and construction schedule. In this work, we propose a novel methodology to calculate the activated water source term with a higher degree of realism. The methodology is based on the coupling of a system-level code with a Computational Fluid Dynamics (CFD) code in an explicit, one-way approach. We apply this methodology to the evaluation of the16N radioisotope within the ITER Vacuum Vessel Primary Heat Transfer System (VV-PHTS) cooling circuit in a steady-state and transient scenarios. We chose this system since previous analyses of the VV-PHTS were done with simple, ad-hoc calculations that yielded results that differed by up to a factor of five, underscoring a higher level of uncertainty. As a result, we generate a computational model of the source term that can be used to evaluate the radiological condition surrounding the cooling systems during the operations.

• ETRI Journal
• /
• v.35 no.3
• /
• pp.480-490
• /
• 2013

As technology evolves into the deep submicron level, synchronous circuit designs based on a single global clock have incurred problems in such areas as timing closure and power consumption. An asynchronous circuit design methodology is one of the strong candidates to solve such problems. To verify the feasibility and efficiency of a large-scale asynchronous circuit, we design a fully clockless 32-bit processor. We model the processor using an asynchronous HDL and synthesize it using a tool specialized for asynchronous circuits with a top-down design approach. In this paper, two microarchitectures, basic and enhanced, are explored. The results from a pre-layout simulation utilizing 0.13-${\mu}m$ CMOS technology show that the performance and power consumption of the enhanced microarchitecture are respectively improved by 109% and 30% with respect to the basic architecture. Furthermore, the measured power efficiency is about 238 ${\mu}W$/MHz and is comparable to that of a synchronous counterpart.

• Journal of Electrical Engineering and Technology
• /
• v.3 no.1
• /
• pp.43-51
• /
• 2008

Evolutionary Algorithms (EAs) cover all the applications involving the use of Evolutionary Computation in electronic system design. It is largely applied to complex optimization problems. EAs introduce a new idea for automatic design of electronic systems; instead of imagine model, ions, and conventional techniques, it uses search algorithm to design a circuit. In this paper, a method for automatic optimization of the digital circuit design method has been introduced. This method is based on randomized search techniques mimicking natural genetic evolution. The proposed method is an iterative procedure that consists of a constant-size population of individuals, each one encoding a possible solution in a given problem space. The structure of the circuit is encoded into a one-dimensional genotype as represented by a finite string of bits. A number of bit strings is used to represent the wires connection between the level and 7 types of possible logic gates; XOR, XNOR, NAND, NOR, AND, OR, NOT 1, and NOT 2. The structure of gates are arranged in an $m{\times}n$ matrix form in which m is the number of input variables.

• Proceedings of the KIEE Conference
• /
• 1994.07b
• /
• pp.1603-1605
• /
• 1994

Recently, Gas Circuit Breakers are rapidly replacing Vacuum Circuit Breakers in the medium voltage switchgear. This is due to the improved performance of - GCB in interrupting capability, price, weight, size etc., while the countermeasure to suppress the switching surges of VCB has not been satisfactory. Intensive research works on the GCB have been conducted in the world widely since 1980. Nowadays it is well known that the thermal expansion type GCB can provide- better performance than puffer type in the distribution power system. KERI has conducted researches in the GCB rated at 25.8kV 25kA with Jinkwang Co. using the thermal expantion principle since 1993. In this paper, the calculated results of electric and magnetic fields for the model GCB are presented and analyzed. The effect of permanent magnet used to improve the interruption capabilty at the low current level is also investigated. The design parameters for the interrupter inspected through the short-circuit tests conducted at high power laboratory of KERI.