• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.53 no.3
• /
• pp.122-128
• /
• 2004

This paper presents a control approach for designing a fuzzy-PI controller for a synchronous generator excitation and SVC system. A combination of thyristor-controlled reactors and fixed capacitors(TCR-FC) type SVC is recognized as having the most flexible control and high speed response, which has been widely utilized in power systems, is considered and designed to improve the response of a synchronous generator, as well as controlling the system voltage. A Fuzzy-PI controller for SVC system was proposed in this paper. The PI gain parameters of the proposed Fuzzy-PI controller which is a special type of PI ones are self-tuned by fuzzy inference technique. It is natural that the fuzzy inference technique should be based on humans intuitions and empirical knowledge. Nonetheless, the conventional ones were not so. Therefore, In this paper, the fuzzy inference technique of PI gains using MMGM(Min Max Gravity Method) which is very similar to humans inference procedures, was presented and applied to the SVC system. The system dynamic responses are examined after applying all small disturbance condition.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.4 s.42
• /
• pp.87-96
• /
• 2006

Although bytecode has many good features, it has slow execution speed and it is not an ideal representation for program analysis or optimization. For analysises and optimizations. bytecode must be translated to a Static Single Assignment Form(SSA Form) But when bytecode is translated a SSA Form it has lost type informations of son variables. For resolving these problem in this paper, we create extended control flow graph on bytecode. Also we convert the control flow graph to SSA Form for static analysis. Calculation about many informations such as dominator, immediate dominator. dominance frontier. ${\phi}$-Function. renaming are required to convert to SSA Form. To obtain appropriate type for generated SSA Form, we proceed the followings. First. we construct call graph and derivation graph of classes. And the we collect information associated with each node. After finding equivalence nodes and constructing Strongly Connected Component based on the collected informations. we assign type to each node.

• Structural Engineering and Mechanics
• /
• v.63 no.1
• /
• pp.47-53
• /
• 2017

The fundamental goal of this study is to minimize the uncertainty of the median fragility curve and to assess the structural vulnerability under earthquake excitation. Bayesian Inference with Markov Chain Monte Carlo (MCMC) simulation has been presented for efficient collapse response assessment of the independent intake water tower. The intake tower is significantly used as a diversion type of the hydropower station for maintaining power plant, reservoir and spillway tunnel. Therefore, the seismic fragility assessment of the intake tower is a pivotal component for estimating total system risk of the reservoir. In this investigation, an asymmetrical independent slender reinforced concrete structure is considered. The Bayesian Inference method provides the flexibility to integrate the prior information of collapse response data with the numerical analysis results. The preliminary information of risk data can be obtained from various sources like experiments, existing studies, and simplified linear dynamic analysis or nonlinear static analysis. The conventional lognormal model is used for plotting the fragility curve using the data from time history simulation and nonlinear static pushover analysis respectively. The Bayesian Inference approach is applied for integrating the data from both analyses with the help of MCMC simulation. The method achieves meaningful improvement of uncertainty associated with the fragility curve, and provides significant statistical and computational efficiency.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.15 no.3
• /
• pp.57-66
• /
• 2001

This paper resents a control approach for designing a fuzzy-PI controller for a synchronous generator excitation and SVC system A combination of thyristor-controlled reactors and fixed capacitors (TCR-FC) type SVC is recognized as having the must fiexible control and high speed response, which has been widely utilized in power systems, is considered and designed to improve the response of a synchronous generator, as well as controlling the system voltage A Fuzzy-PI controller for SVC system was proposed in this paper. The PI gain parameters of the proposed Fuzzy-PI controller which is a special type of PI ones are self-tuned by fuzzy inference technique. It is natural that the fuzzy inference technique should be barred on humans intuitions and empirical knowledge. Nonetheless, the conventional ones were not so. Therefore, In this paper, the fuzzy inference technique of PI gains using MMGM(Min Max Gravity Method) which is very similar to humans inference procedures, was presented and allied to the SVC system. The system dynamic responses are examined after applying all small disturbance condition.

• The Journal of the Korea Contents Association
• /
• v.5 no.3
• /
• pp.73-81
• /
• 2005

CTOC(Classes To Optimized Classes) is a Java bytecode framework for optimization and analysis. Although Java bytecode has a significant amount of type information embedded in it, there are no explicit types for local variables. However, knowing types for local variables is very useful for both program optimization and analysis. This paper is a first part of CTOC framework. In this paper, we present methods for inferring static types for local variables in a 3-address, stackless, representation of Java bytecode. We use SSA Form(Single Static Assignment Form) for spliting local variables. Splited local variables will use to prepare for static type inference.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.51 no.2
• /
• pp.60-67
• /
• 2002

This paper presents a control approach for designing a self tuning fuzzy controller for a synchronous generator excitation and SVC system. A combination of thyristor-controlled reactors and fixed capacitors (TCR-FC) type SVC is recognized as having the most flexible control and high speed response, which has been widely utilized in power systems, is considered and designed to improve the response of a synchronous generator, as well as controlling the system voltage. The proposed parameter self tuning algorithm of fuzzy controller is based on the steepest decent method using two direction vectors which make error between inference values of fuzzy controller and output values of the specially selected PSS reduce steepestly. Using input-output data pair obtained from PSS, the parameters in antecedent part and in consequent part of fuzzy inference rules are learned and tuned automatically using the proposed steepest decent method. The related simulation results show that the proposed fuzzy controller is more powerful than the conventional ones.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.35 no.2
• /
• pp.135-141
• /
• 2011

A smart home provides services that its inhabitant needs or wants, by integrating and simultaneously controlling various devices and sensors. In this study, we focused on a smart-home system for people with disabilities and for elderly people. We introduced a new type of system for real-time analysis of body posture of the inhabitants of a smart home. The system includes the concept that offers remote healthcare or medical services by using a 3D tilt sensor for recognizing the static and dynamic postures of inhabitants in real time. It consists of a smart-home server and a 3D tilt sensor, and it uses wireless technology to communicate with the inhabitants and thus enhance their mobility. The smart-home server includes the inference engine that differentiates the dynamic postures from the static ones. Finally, we also demonstrate the usefulness of the proposed system by applying it to a real environment.

• The KIPS Transactions:PartD
• /
• v.13D no.7 s.110
• /
• pp.939-946
• /
• 2006

Although the Java bytecode has numerous advantages, there are also shortcomings such as slow execution speed and difficulty in analysis. In order to overcome such disadvantages, bytecode analysis and optimization must be performed. We implements CTOC for optimized codes. An extended CFG must be first created in order to analyze and optimize a bytecode. Due to unique bytecode properties, the existing CFG must be expanded according to the bytecode. Furthermore, the CFG must be converted into SSA Form for a static analysis, for which calculation is required for various information such as the dominate relation, dominator tree, immediate dominator, $\phi$-function, rename, and dominance frontier. This paper describes the algorithm and the process for converting the existing CFG into the SSA From. The graph that incorporates the SSA Form is later used for type inference and optimization.

• ETRI Journal
• /
• v.45 no.2
• /
• pp.318-328
• /
• 2023

Recently, embedded systems, such as mobile platforms, have multiple processing units that can operate in parallel, such as centralized processing units (CPUs) and neural processing units (NPUs). We can use deep-learning compilers to generate machine code optimized for these embedded systems from a deep neural network (DNN). However, the deep-learning compilers proposed so far generate codes that sequentially execute DNN operators on a single processing unit or parallel codes for graphic processing units (GPUs). In this study, we propose PartitionTuner, an operator scheduler for deep-learning compilers that supports multiple heterogeneous PUs including CPUs and NPUs. PartitionTuner can generate an operator-scheduling plan that uses all available PUs simultaneously to minimize overall DNN inference time. Operator scheduling is based on the analysis of DNN architecture and the performance profiles of individual and group operators measured on heterogeneous processing units. By the experiments for seven DNNs, PartitionTuner generates scheduling plans that perform 5.03% better than a static type-based operator-scheduling technique for SqueezeNet. In addition, PartitionTuner outperforms recent profiling-based operator-scheduling techniques for ResNet50, ResNet18, and SqueezeNet by 7.18%, 5.36%, and 2.73%, respectively.

• Journal of Microbiology and Biotechnology
• /
• v.14 no.2
• /
• pp.276-283
• /
• 2004

Screening was performed to isolate cellulose-producing microorganisms from the Korean traditional fermented persimmon vinegar. The resulting strain, KJ $145^{T}$, was then taxonomically investigated by phenotypic characterization, particularly chemotaxonomic, and by phylogenetic inference based on a 16S rDNA sequence analysis including other related taxa. Strain KJ $145^{T}$ was found to grow rapidly and form pale white colonies with smooth to rough surfaces on a GYC agar. Strain KJ $145^T$ also produced acetate from ethanol, and was tolerable to 10% ethanol in SM medium. In a static culture, a thick cellulose pellicle was produced, and in GYC broth, the strain grew at temperatures ranging from 28 to $40^\circ{C}$ with an optimum pH of 4.0. The genomic DNA G+C content of strain KJ $145^T$ was 61.9 mol%, and the predominant ubiquinone was Q 10 as the major quinone and Q9 as the minor quinone. The major cellular fatty acids were $C_{16:0}$ and the sum in feature 7 ($C_{18:1}$ w9c, w12t and/or w7c). A 16S rRNA-targeted oligonucleotide probe specific for strain KJ $145^T$was constructed, and the phylogenetic position of the new species was derived from a 16S rDNA-based tree. When comparing the 16S rDNA nucleotide sequences, strain KJ $145^T$ was found to be most closely related to G. hansenii LMG $1527^T$ (99.2%), although KJ $145^T$ was still distinct from G. hansenii LMG $l527^T$ and G. xylinus LMG $1515^T$ in certain phenotypic characteristics. Therefore, on the basis of 16S rDNA sequences and taxonomic characteristics, it is proposed that strain KJ $145^T$ should be placed in the genus Gluconacetobacter as a new species, Gluconacetobacter persimmonis sp. nov., under the type-strain KJ $145^T$ (=KCTC =$10175BP^T$=KCCM=$10354^T$).