• Title/Summary/Keyword: KD

Search Result 775, Processing Time 0.046 seconds

Algebraic semantics for some weak Boolean logics

  • Yang, Eun-Suk
    • Korean Journal of Logic
    • /
    • v.9 no.2
    • /
    • pp.1-30
    • /
    • 2006
  • This paper investigates algebraic semantics for some weak Boolean (wB) logics, which may be regarded as left-continuous t-norm based logics (or monoidal t-norm based logics (MTLs)). We investigate as infinite-valued logics each of wB-LC and wB-sKD, and each corresponding first order extension $wB-LC\forall$ and $wB-sKD\forall$. We give algebraic completeness for each of them.

  • PDF

Transformer Temperature forecast method using Top Oil Temperature Rising & Current (최상부 유온 상승과 전류를 이용한 변압기 온도 예측 방법)

  • Ko, Dong-Wook;Kim, Kwang-Soon
    • Proceedings of the KIEE Conference
    • /
    • 2008.07a
    • /
    • pp.1689-1690
    • /
    • 2008
  • In this paper, The method of a temperature rasing forecast is suggested and simulated. The data used in this simulations exists in the KD Power and it was obtain by real transformer. The method of temperature forecast is based on a top oil temperature rising modeling which is proposed by the IEEE journal. We propose modifications of a modeling that accurately predicts a future transformer temperature. This Method is verified by simulations.

  • PDF

CONTINUITIES AND HOMEOMORPHISMS IN COMPUTER TOPOLOGY AND THEIR APPLICATIONS

  • Han, Sang-Eon
    • Journal of the Korean Mathematical Society
    • /
    • v.45 no.4
    • /
    • pp.923-952
    • /
    • 2008
  • In this paper several continuities and homeomorphisms in computer topology are studied and their applications are investigated in relation to the classification of subs paces of Khalimsky n-dimensional space $({\mathbb{Z}}^n,\;T^n)$. Precisely, the notions of K-$(k_0,\;k_1)$-,$(k_0,\;k_1)$-,KD-$(k_0,\;k_1)$-continuities, and Khalimsky continuity as well as those of K-$(k_0,\;k_1)$-, $(k_0,\;k_1)$-, KD-$(k_0,\;k_1)$-homeomorphisms, and Khalimsky homeomorphism are studied and further, their applications are investigated.

Binding of brazilin to cellular proteins in isolated rat epididymal adipocytes

  • Lee, Yong-Khil;So, Dong-Soo;Moon, Chang-Kiu
    • Proceedings of the Korean Society of Applied Pharmacology
    • /
    • 1996.04a
    • /
    • pp.173-173
    • /
    • 1996
  • 포도당 수송을 증가시키는 것으로 밝혀진 brazilin의 작용이 지방세포의 단백질과 결합하여 나타나는지 알아보기 위한 실험으로 brazilin의 단백결합 성질을 살펴보았다. Brazilin의 단백결합 실험에는 [$^3$H]-brazilin을 사용하여 결합된 양을 방사선 동위원소량으로 확인하였다. 먼저 일반적인 단백결합을 알아보기 위하여 산침전을 이용한 brazilin의 BSA에 대한 결합을 살펴보았다. 그 결과 brazilin은 시간의 경과에 따라 BSA에 결합하는 양이 증가하여 2시간에 최고치에 달했으며 그 양은 약 80% 정도였다. 세포내 단백과의 결합은 BSA에 대한 결합과는 달리 1시간만에 최고치에 달하였다. 세포내 분획에 분포하는 brazilin의 양을 알기 위하여 brazilin처리 후 세포내 분획을 원심분리로 얻어 brazilin의 양을 확인하였다. 그 결과 brazilin은 cytosol에 대부분 존재하며 microsomal membrane과 nuclear에 많은 양이 존재하는 것으로 확인되었다. SDS-PAGE를 이용하여 brazilin과 결합한 각 분획의 단백질을 살펴본 결과 brazilin은 cytosol의 30, 65KD, microsomal membrane의 45, 130KD, nucear의 26, 35KD, plasma membrane의 46, 228KD protein과 반응하는 것으로 확인되었다.

  • PDF

A Study on Optimization of Reformer for kW Class SOFC System (kW급 SOFC 시스템용 개질기 최적화)

  • YI, YONG;PARK, SE JIN;KIM, MIN SOO;SHIN, JANG SIK;SHIN, SEOCK JAE
    • Transactions of the Korean hydrogen and new energy society
    • /
    • v.29 no.4
    • /
    • pp.317-323
    • /
    • 2018
  • Solid oxide fuel cell (SOFC) operates at high temperature, therefor has the advantage of higher power generation and using exhaust heat than other fuel cells. In particular, the reforming reaction can be performed inside the SOFC stack to reduce the cooling of the stack and the burden on the reformer reactor. In this study, the reformer structure, operating characteristics, and thermal efficiency were evaluated for the optimization design of a heat exchanger type reformer of a 1 kW SOFC system.

A Study on the Method for Detecting of Leakage Point using Wavelet Transforms (웨이블릿 변환을 이용한 누전점 검출에 관한 연구)

  • Park, Keon-Woo;Kim, Il-Kwon;Kim, Jin-Su;Kim, Kwang-Soon;Kim, Young-Il
    • Proceedings of the KIEE Conference
    • /
    • 2008.07a
    • /
    • pp.173-174
    • /
    • 2008
  • Wavelet transform is a new method for power system analysis. On the basis of extensive investigation, optimal mother wavelets for the detection of leakage current are chosen. The recommended mother wavelet is 'Daubechies 4' wavelet. This paper proposes a technique for modeling toe finding point of leakage current in distribution system using wavelet transform and EMTP MODELS.

  • PDF

A Study on Partial Discharge Diagnosis Using AI Algorism (인공지능 알고리즘을 이용한 부분방전 진단에 관한 연구)

  • Kim, Jin-Su;Kim, Il-Kwon;Park, Keon-Woo;Kim, Kwang-Soon;Kim, Young-Il
    • Proceedings of the KIEE Conference
    • /
    • 2008.07a
    • /
    • pp.1382-1383
    • /
    • 2008
  • In this paper, we have studied for analysis of the partial discharge(PD) signal based on fuzzy algorism. Partial discharge signal detector is difficult because of partial discharge signal is very non-linear. Also, it is very difficult work that separate partial discharge signal from noise. We constructed partial discharge accumulation detection system that use Labview for detection of non-linear partial discharge signal. And analyzed Partial discharge signal that is detected by Labview system utilizing Fuzzy model.

  • PDF

Two cases of Kawasaki disease following pneumonia (폐렴에 속발한 가와사끼병 2예)

  • Kim, Hyun Jung;Lee, Soo Jin
    • Clinical and Experimental Pediatrics
    • /
    • v.52 no.5
    • /
    • pp.615-618
    • /
    • 2009
  • Kawasaki disease (KD) causes multisystemic vasculitis but rarely manifests with pulmonary symptoms. As its etiology is still unknown, there are no specific diagnostic tools available, and KD can be diagnosed only by the symptom pattern. The presence of unusual clinical manifestations often leads to delayed diagnosis. Here, we report two cases of KD with an initial presentation of pneumonia. KD should be consideration when there is a prolonged inflammatory reaction and progressive pneumonia unresponsive to antibiotics.

Kawasaki disease in infants

  • Yeom, Jung Sook;Woo, Hyang Ok;Park, Ji Sook;Park, Eun Sil;Seo, Ji-Hyun;Youn, Hee-Shang
    • Clinical and Experimental Pediatrics
    • /
    • v.56 no.9
    • /
    • pp.377-382
    • /
    • 2013
  • Kawasaki disease (KD) is an acute febrile illness that is the predominant cause of pediatric acquired heart disease in infants and young children. Because the diagnosis of KD depends on clinical manifestations, incomplete cases are difficult to diagnose, especially in infants younger than 1 year. Incomplete clinical manifestations in infants are related with the development of KD-associated coronary artery abnormalities. Because the diagnosis of infantile KD is difficult and complications are numerous, early suspicion and evaluation are necessary.

Isolation and characterization of Bacillus sp. KD1014 producing carboxymethyl-cellulase (Isolation and Characterization of Bacillus sp. KD1014 Producing Carboxymethyl-Cellulase)

  • Lee, Kyung Dong;Kim, Jong Ho;Kim Hoon
    • Journal of Microbiology
    • /
    • v.34 no.4
    • /
    • pp.305-310
    • /
    • 1996
  • A microorganism producing carboxymethyl-cellulase (CMCase) was isolated from 300 soil and compost samples. The isolate was identified as Bacillus sp. by $Biolog^{TM}$ test and fatty acid analysis, and named as Bacillus sp. KD1014. The isolate could degrade, in addition to CMC, various kinds of polysaccharides such as levan, xylan, starch, and filter paper but hardly degrade microcrystalline Avicel. The optimum growth and CMCase production of the isolate was observed between 16-and 25 hr-culture at 45$^{\circ}C$ and pH 5.0. The maximum CMCase activity was observed at pH 4.5 and 6$0^{\circ}C$. The CMCase was found to bind to Avicel. The CMCase was internally cleaved as growth continued. When crude supernatant was used for activity staining, three major bands were detected on a native gel, however, only one major band was detected on a denaturating gel after removal of the detergent.

  • PDF