• 제목/요약/키워드: transition state analog

검색결과 11건 처리시간 0.025초

VERIFICATION OF PLC PROGRAMS WRITTEN IN FBD WITH VIS

  • Yoo, Jun-Beom;Cha, Sung-Deok;Jee, Eun-Kyung
    • Nuclear Engineering and Technology
    • /
    • 제41권1호
    • /
    • pp.79-90
    • /
    • 2009
  • Verification of programmable logic controller (PLC) programs written in IEC 61131-3 function block diagram (FBD) is essential in the transition from the use of traditional relay-based analog systems to PLC-based digital systems. This paper describes effective use of the well-known verification tool VIS for automatic verification of behavioral equivalences between successive FBD revisions. We formally defined FBD semantics as a state-transition system, developed semantic-preserving translation rules from FBD to Verilog programs, implemented a software tool to support the process, and conducted a case study on a subset of FBDs for APR-1400 reactor protection system design.

Mutational Analysis of Two Conserved Active Site Tyrosine Residues in Matrilysin

  • Jaeho Cha
    • Journal of Life Science
    • /
    • 제9권2호
    • /
    • pp.44-48
    • /
    • 1999
  • The ionization of tyrosine residue is known to be involved in the stabilization of transition-state in catalysis of astacin based upon the astacin-transition state analog structure. Two tyrosine residues, Tyr-216 and Tyr-219, are conserved in all MMPs related with astacin family, We replaced Tyr-216 and Tyr-219 into phenylalanine, respectively and the zinc binding properties, kinetic parameters, and pH dependence of each mutant are determined in order to examine the role of tyrosine residue in matrilysin catalysis. Both mutants contain two zinc atoms per mol of enzyme, indicating that either tyrosime does not affect the zinc binding property of the enzyme. Y216F and Y219F mutants are highly active and the kcat/Km values are only decreased 1.1-1.5-fold compared to the wild-type enzyme. The decrease in the activity of the mutants is essentially due to the increase in Km value. The pH dependencies of the kcat/Km values for both mutants are similar to the corresponding dependencies obtained with the wild type enzyme. The pKa values at the alkaline side of both mutants are not changed. These kinetic and pH dependence results indicate that the ionization of active site tyrosine residue of matrilysin is not reflected in the kinetics of peptide hydrolysin as catalyzed by astacin.

비선형 순시추종형 PWM 제어기법을 적용한 강압형 DC-DC 컨버터 (The Buck DC-DC Convener with Non-Linear Instantaneous Following PWM Control Method)

  • 김상돈;라병훈;이현우;김광태
    • 조명전기설비학회논문지
    • /
    • 제17권2호
    • /
    • pp.73-80
    • /
    • 2003
  • 제안된 제어 기법은 아날로그 적분기의 적분시간이 적분기 입력전압의 크기에 반비례하는 원리를 이용하여 이 펄스 변조 스위칭 컨버터를 순시 추종 제어하는 방법을 제시한다. 제안된 제어 방법은 정주파수로 동작하며 제어 스위치가 턴 온 되는 시점에서 시작하여 턴 오프 되는 시간을 아날로그 적분기를 사용하여 계산한다. 전력 변환기의 스위칭 시간을 나타내는 듀티비는 스위칭 변수의 평균치에 의하여 결정되며 추종시간은 한 사이클 내에서 이루어진다. 정상 상태는 물론 과도 상태에서도 정확하게 지령치에 추종하며, 제어기는 제어 변수의 평균치와 제어 기준값을 보정하여 제어 오차가 제로가 되게 제어한다. 제안된 제어 방법은 벅 컨버터를 사용하여 실험하였으며 이를 통하여 실험 결과와 이론이 잘 일치하고 있음을 알 수 있었다.

Comparison of Small Signal Stability Analysis Methods in Complex Systems with Switching Elements

  • Kim, Deok Young;Meliiopoulos, A.P.Sakis
    • KIEE International Transactions on Power Engineering
    • /
    • 제4A권2호
    • /
    • pp.79-83
    • /
    • 2004
  • A new small signal stability analysis method for eigenvalue analysis is presented. This method utilizes the Resistive Companion Form (RCF) for the computation of the transition matrix over a specified time interval, which corresponds to a single cycle operation of the system. This method is applicable to any system, with or without switching element. An illustrative example of the method is presented and the eigenvalues are compared with those of the conventional state space method (analog) in order to demonstrate the accuracy of the proposed eigenvalue analysis method. Also, the variations of oscillation modes that are caused by the switching operation can be precisely analyzed using this method.

음이온 기반 멤리스터의 최신 기술동향 및 이슈 (The Latest Trends and Issues of Anion-based Memristor)

  • 이홍섭
    • 마이크로전자및패키징학회지
    • /
    • 제26권1호
    • /
    • pp.1-7
    • /
    • 2019
  • Recently, memristor (anion-based memristor) is referred to as the fourth circuit element which resistance state can be gradually changed by the electric pulse signals that have been applied to it. And the stored information in a memristor is non-volatile and also the resistance of a memristor can vary, through intermediate states, between high and low resistance states, by tuning the voltage and current. Therefore the memristor can be applied for analogue memory and/or learning device. Usually, memristive behavior is easily observed in the most transition metal oxide system, and it is explained by electrochemical migration motion of anion with electric field, electron scattering and joule heating. This paper reports the latest trends and issues of anion-based memristor.

이산시간 전압모드 CMOS 혼돈 발생회로의 특성해석 (Characteristic Analysis of the Discrete Time Voltage Mode CMOS Chaos Generative Circuit)

  • 송한정;곽계달
    • 전자공학회논문지SC
    • /
    • 제37권3호
    • /
    • pp.55-62
    • /
    • 2000
  • 0.8㎛ single poly CMOS 집적회로로 구현된 이산시간 전압모드 혼돈 발생회로의 동작특성을 분석하였다. 회로내 비선형 함수 블록에 대한 선형근사식을 유도하여, 실험적으로 제작한 혼돈 발생회로의 해석이 가능하도록 하였다. 혼돈상태 판별의 주요 지표인, 입력변수에 따른 분기도를 구하였고 초기값 의존성을 보여 주는 리아프노프 지수도 계산하였다. 뿐만 아니라 상태조건, 즉 평형상태, 주기상태, 혼돈상태에 따라 나타나는 시간파형 및 상태천이관계 그리고 주파수특성을 보여주는 전력스펙트럼도 구하여 상호 연관성을 보였다. 한편 집적화 된 혼돈 발생회로를 ±2.5V 전원, 10㎑의 클럭으로 구동시켜 입력전압에 따른 분기도를 측정하였고, 상태조건에 따라 다르게 나타나는 시간파형의 측정과 이의 전력스펙트럼 분석도 실시하여 해석결과와 비교하였다.

  • PDF

Hysteresis를 가지는 카운터에 의한 디지털 DLL의 지터 잡음 감소 (Jitter Noise Suppression in the Digital DLL by a New Counter with Hysteretic Bit Transitions)

  • 정인영;손영수
    • 대한전자공학회논문지SD
    • /
    • 제41권11호
    • /
    • pp.79-85
    • /
    • 2004
  • 디지털 방식으로 제어되는 아날로그 회로에서는 bang-bang 진동이 발생하며, 이 때 사용되는 FSM 이진 카운터의 MSB가 천이하는 곳에서 발생하는 bang-bang 진동은 큰 glitch를 발생시켜 DLL에 적용될 경우, 출력 클록의 지터를 크게 증가시킨다. 본 논문에서는 카운터 값의 증감에 따라 MSB의 천이점에 hysteresis가 발생하는 새로운 형태의 escalator 코드 카운터를 제안한다. 이 카운터는 DLL의 locking 시 발생하는 bang-bang 진동을 최소 단위의 소자로 제어하게 함으로서 glitch의 발생 요인을 원천적으로 제거한다. 이 카운터를 사용한 DLL을 설계 시뮬레이션하여 규격 조건에서 최대 35ps 이상 지터가 줄어드는 것을 확인하였으며 이를 고속 packet-base DRAM의 이중 루프 DLL에 적용하여 데이터 윈도우를 극대화하였다.

동종이핵착물인 M+5-MeCp)Mn(CO)2Mn(CO)5-(M+=Na+, PPN+)와 염화알릴간의 반응에 대한 반응속도론적 연구 (Kinetic Studies on the Reaction of the Homobimetallic Anion, M+5-MeCp)Mn(CO)2Mn(CO)5-(M+=Na+, PPN+) with Allyl Chloride)

  • 박용광;윤동신
    • 대한화학회지
    • /
    • 제48권5호
    • /
    • pp.473-482
    • /
    • 2004
  • 동종이핵착물인 $M^+({\eta}^5-MeCp)Mn(CO)_2Mn(CO)_5^-(M^+=Na^+,\;PPN^+)$과 염화알릴과의 반응을 고순도 질소속에서 염화알릴을 다량 넣어서 유사1차 반응조건에서 다양한 온도($20^{\circ}C{\sim}50^{\circ}C$)에서 반응시켰다. 이 동종이핵착물을 네 개의 원자를 있는 전이 상태를 거치는 단일 단계 반응과 관련되는 것으로 보인다. 이러한 전이 상태 후 CO와 만나서 $({\eta}^5-MeCp)Mn(CO)_3와\;({\eta}^1-allyl)Mn(CO)_5$로 이어지는 것 같다. 그러나 양이온이 $Na^+$인 경우, 이 양이온은 이 반응에서 동종이핵착물의 $Mn(CO)_5$ 부분에서 CO하나를 $({\eta}^5-MeCp)Mn(CO)_2$쪽으로 이동시켜 결국 $({\eta}^5-MeCp)Mn(CO)_3$로 만들거나 혹은 양이온($Na^+$)과 이탈기인 Cl을 끌어당겨서 반응을 가속화 시키는 역할을 하는 것으로 생각되었다. 이 반응은 각각의 반응물질에 관해서 1차, 따라서 전체적으로 2차 반응이며 이 반응에 관련된 활성화 에너지 관련 매개변수들은 다음과 같다(양이온이 $Na^+$인 경우 ${\Delta}H^{\neq}=17.15{\pm} 0.17 kcal/mol,\;{\Delta}S^{\neq}=-9.63{\pm}0.10$ e.u.; 양이온이 인 경우 ${\Delta}H^{\neq}=22.13{\pm}0.21 kcal/mol,\;;{\Delta}S^{\neq}=9.74{\pm}0.19$ e.u.).

전환 비용이 반영된 선택 기반 확산 모형을 통한 신.구 상품간 대체 및 경쟁 예측: 신.구 유료 방송서비스간 대체 및 경쟁 사례를 중심으로 (Forecasting Substitution and Competition among Previous and New products using Choice-based Diffusion Model with Switching Cost: Focusing on Substitution and Competition among Previous and New Fixed Charged Broadcasting Services)

  • 고대영;황준석;오현석;이종수
    • 마케팅과학연구
    • /
    • 제18권2호
    • /
    • pp.223-252
    • /
    • 2008
  • 본 연구에서 우리는 시장 자료가 부족한 상황에서 개인레벨과 총량레벨 모두에서 신상품들과 기존 상품들 간의 동태적 대체, 경쟁을 예측하는데 적합하도록 전환비용 요소가 포함된 신 구상품간 대체 경쟁 예측 선택기반 확산 모형을 제안하고자 한다. 추가적으로, 우리는 제안된 모형을 디지털 케이블 TV, IPTV 등이 포함된 신규 유료 양방향 방송서비스들과 기존의 아날로그 케이블 TV가 대표하는 구 유료 방송 서비스간에 벌어지는 대체 및 경쟁 예측 사례에 적용하여 본 모형의 의의를 밝히며, 또한 관련된 실증적 시사점을 도출하고자 한다. 실증 적용 결과, 유료 방송서비스 시장에 있어선 기존 상품과 전환 비용을 고려하지 않고 신상품 수요 예측을 하는 경우, 초기 확산 속도를 과대 추정하거나 왜곡된 예측 경향이 존재하여, 보다 현실적이고 보수적인 신상품 수요 예측을 위해 이들의 반영이 필요함을 밝혀, 본 연구에서 제안된 모형의 의의를 확인할 수 있었다. 또한, 제안된 모형이 S자 곡선을 미리 가정하기보다, 실증 대상의 속성이 소비자의 상태전환에 미치는 영향의 정도에 따라 유연한 형태의 총량시장 성장 곡선을 도출함을 확인하였다. 실증적으로는 여러 가격 조합에 대해 IPTV가 디지털 케이블 TV에 비해 더 선호되어 가입자 확보 면에서 우위에 있을 것임을 확인할 수 있었다. 한편, 기존 상품인 아날로그케이블 TV의 경우 열위의 서비스 속성에도 불구하고, 가격에서의 우위와 높은 전환비용의 존재로 인해 급격한 대체보다 점진적인 대체가 이루어질 가능성이 큼을 알 수 있었다.

  • PDF