• 제목/요약/키워드: Static Type Inference

검색결과 10건 처리시간 0.024초

SVC를 포함한 전력시스템의 안정도 향상을 위한 최적 퍼지-PI 제어기의 설계 (A Design of Optimal Fuzzy-PI Controller to Improve System Stability of Power System with Static VAR Compensator)

  • 김해재;주석민
    • 전기학회논문지P
    • /
    • 제53권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.

바이트코드를 위한 정적 단일 배정문 기반의 정적 타입 추론 (Static Type Inference Based on Static Single Assignment for Bytecode)

  • 김지민;김기태;김제민;유원희
    • 한국컴퓨터정보학회논문지
    • /
    • 제11권4호
    • /
    • pp.87-96
    • /
    • 2006
  • 바이트코드는 많은 장점을 가지고 있으나 수행 속도가 느리고 프로그램의 분석과 최적화에 알맞은 표현은 아니다. 분석과 최적화를 위하여 바이트코드를 정적 단일 배정문(SSA Form)으로 변환이 수행되어야 한다. 그러나 바이트코드에서 SSA Form으로 변환 시 어떤 변수는 타입 정보를 상실한다. 이를 해결하기 위하여 본 논문에서는 바이트코드에 대한 확장된 제어 흐름 그래프를 생성한다. 또한 정적으로 분석하기 위해 제어 흐름 그래프를 SSA Form으로 변환한다. SSA Form으로 변환을 위하여 지배자. 직접 지배자. 지배자 경계. ${\phi}$-함수, 재명명 등 많은 정보에 대한 계산을 수행한다. 생성된 SSA Form에 알맞은 타입을 선언하기 위해서 다음과 같은 동작들을 수행한다. 먼저 클래스의 호출그래프와 상속 그래프를 생성한다. 그리고 각 노드에 대한 정보를 수집한다. 수집된 정보를 기반으로 동등한 타입의 노드를 찾고 강 결합 요소로 설정한 후 각 노드에 타입을 효율적으로 설정하는 방법을 제안하였다.

  • PDF

Uncertainty reduction of seismic fragility of intake tower using Bayesian Inference and Markov Chain Monte Carlo simulation

  • Alam, Jahangir;Kim, Dookie;Choi, Byounghan
    • Structural Engineering and Mechanics
    • /
    • 제63권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.

퍼지-PI 제어기를 이용하여 정지형 무효전력 보상기를 포함한 동기 발전기의 안정도 개선에 관한 연구 (A Study on Damping Improvement of a Synchronous Generator with Static VAR Compensator using a Fuzzy-PI Controller)

  • 주석민;허동렬;김상효;정동일;정형환
    • 조명전기설비학회논문지
    • /
    • 제15권3호
    • /
    • pp.57-66
    • /
    • 2001
  • 본 논문에서는 전력계통의 안정도를 향상시키기 위하여 동기 발전기와 정지형 무효전력 보상기예 대한 퍼지-PI 제어기를 설계하기 위한 제어 기법을 설명하였다. 정지형 무효전력 보상기는 고정된 용량의 커패시터와 싸이리스터 제어에 의하여 용량이 가변되는 인덕터가 병렬로 연결된 구조를 가지고 있으며, 시스템 전압을 제어할 뿐만 아니라 동기 발전기의 제동을 개선하기 위해 설계되었다. 본 논문에서 제안한 SVC 계통의 퍼지-PI 제어기의 파라미터는 퍼지 추론 기법에 의해 자동 동조되어진다. 퍼지 추론 기법은 일반적인 기법과는 달리 인간의 경험과 전문가의 지식을 제어 규칙으로 제어 동작을 결정하였다. 그리하여 인간의 추론 과정과 매우 유사한 MMGM을 이용하여 PI 이득의 퍼지 추론 기법을 SVC 계통에 적용하여 설명하였다. 제안된 방법의 강인성을 입증하기 위해 중부하시, 정상부하시 및 경부하시에 초기 전력을 변동시킨 경우에 대하여 시스템의 회전자각, 각속도 편차 특성 및 단자전압의 동특성을 고찰하여 기존의 전력시스템안정화장치보다 응답특성이 우수함을 보였다.

  • PDF

CTOC에서 정적 단일 배정문 형태를 이용한 지역 변수 분리 (Split Local Variables Using Static Single Assignment Form in CTOC)

  • 이갑래;유원희;김기태
    • 한국콘텐츠학회논문지
    • /
    • 제5권3호
    • /
    • pp.73-81
    • /
    • 2005
  • CTOC(Classes To Optimized Classes)는 자바 바이트코드의 최적화와 분석을 위해 현재 개발 중인 프레임워크이다. CTOC는 스택 기반인 바이트코드를 최적화와 분석을 쉽게 하기 위해 3-주소 형태로 변환한다. 바이트코드가 타입에 관한 정보를 포함하지만 스택 기반의 동작을 수행하기 때문에 지역 변수를 위한 명시적인 타입을 갖지 못하는 경우가 발생한다. 따라서 바이트코드에서 3-주소 형태로 변환하는 과정에 사용되는 모든 변수는 정적 타입을 가져야 하는 문제점이 발생한다. 왜냐하면, 프로그램의 최적화나 분석을 위해서는 지역 변수의 타입을 알아야 하기 때문이다. 본 논문은 CTOC 프레임워크의 전반부로 바이트코드를 스택을 사용하지 않는 3-주소 형태로 변환하는 과정을 수행한다. 이 과정에서 스택 코드 형태인 CTOC-B 코드를 생성하고, 제어 흐름 그래프를 생성하여 바이트코드 수준에서 분석을 수행한다. 또한 정적 타입을 제공하기 위한 중간 과정으로 타입을 갖지 않는 CTOC-T 코드를 생성한다. 이를 위해 정적 단일 배정문 형태(Static Single Assignment Form)를 사용하여 모든 변수를 분리하고 각 변수에 새로운 이름으로 재명명하는 동작을 수행한다. 분리된 변수들은 추후 정적 타입 추론을 위한 준비 단계로 사용된다.

  • PDF

자기조정 퍼지제어기를 이용한 SVC계통의 안정화 장치의 설계 (A Design of Power System Stabilization for SVC System Using Self Tuning Fuzzy Controller)

  • 주석민;허동렬;김해재
    • 전기학회논문지P
    • /
    • 제51권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.

기울기 센서를 이용한 홈 거주자의 실시간 자세분석 시스템 (System for Real-Time Analysis of Body Posture of Home Inhabitant by Using a Tilt Sensor)

  • 차주헌;전성
    • 대한기계학회논문집A
    • /
    • 제35권2호
    • /
    • pp.135-141
    • /
    • 2011
  • 스마트 홈은 다양한 기기들과 센서들을 통합하여 제어함으로써 거주자가 필요로 하는 서비스를 제공한다. 본 논문에서는 장애자들과 노인들을 위한 스마트 홈 시스템에 초점을 두고 있으며, 스마트 홈 거주자를 위한 새로운 방식의 실시간 자세분석 시스템을 제안한다. 본 시스템은 3 차원 기울기 센서를 이용하여 거주자의 정적인 자세와 동적인 자세를 실시간으로 인식함으로써, 원격에서의 건강관리 및 의료 서비스를 제공하는 개념을 포함한다. 본 시스템은 스마트 홈 서버와 3 차원 기울기 센서로 구성되며, 이들 상호간 통신과 이동성 증진을 위해 무선 기술이 적용되었다. 스마트 홈 서버는 정적 자세로부터 동적 자세를 추출하는 추론엔진을 포함하고 있다. 끝으로 본 논문에서 제안한 시스템을 실제 환경에 적용하여 그 유효성을 확인한다.

CTOC에서 자바 바이트코드를 위한 정적 단일 배정 형태 (Static Single Assignment Form for Java Bytecodes in CTOC)

  • 김기태;유원희
    • 정보처리학회논문지D
    • /
    • 제13D권7호
    • /
    • pp.939-946
    • /
    • 2006
  • 자바 바이트코드는 많은 장점을 갖지만 수행 속도가 느리고 분석이 어렵다는 단점을 갖는다. 이를 극복하기 위해 바이트코드에 대한 분석과 최적화가 수행되어야 한다. 최적화된 코드를 위해 CTOC를 구현하였다. 바이트코드에 대해 분석과 최적화를 수행하기 위해서는 우선 CFG를 생성해야 한다. 바이트코드의 특성 때문에 기존의 제어 흐름 분석 기술을 바이트코드에 적합하게 확장해야 한다. 또한 정적으로 분석하기 위해 CFG를 SSA Form으로 변환한다. SSA Form으로 변환하기 위해서는 지배 관계, 지배자 트리, 직접 지배자, $\phi$-함수, 재명명, 지배자 경계 등 많은 정보에 대한 계산을 수행한다. 본 논문은 기존의 CFG로부터 SSA Form으로 변환을 위해 알고리즘과 변환 과정을 기술한다. SSA Form이 적용된 그래프는 추후에 타입 추론과 최적화를 위해 사용된다.

PartitionTuner: An operator scheduler for deep-learning compilers supporting multiple heterogeneous processing units

  • Misun Yu;Yongin Kwon;Jemin Lee;Jeman Park;Junmo Park;Taeho Kim
    • ETRI Journal
    • /
    • 제45권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.

Gluconacetobacter persimmonis sp. nov., Isolated from Korean Traditional Persimmon Vinegar

  • Yeo, Soo-Hwan;Lee, Oh-Seuk;Lee, In-Seon;Kim, Hyun-Soo;Yu, Tae-Shick;Jeong, Yong-Jin
    • Journal of Microbiology and Biotechnology
    • /
    • 제14권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$).