폐수처리 반응기용 재질의 부식특성 평가에 대한 연구

김기태,이태구,문승재,이재헌,Kim, Ki-Tae,Lee, Tae-Gu,Moon, Seung-Jae,Lee, Jae-Heon 한국플랜트학회 2008 플랜트 저널 Vol.4 No.2

As the operating conditions in a supercritical oxidation reactor are set in high temperature with high pressure causing a reactor suffering from the harsh circumstances. It means the reactor adopts itself with Fe-Cr alloy in acidic atmosphere with low pH value and Ni alloy in basic atmosphere with high pH value due to its superior corrosion resistance. The study, whose target waster water is pertinent to the latter part, has selected Ni alloy such as ostenite type stainless steel 304 and 316, superstainless steel AL6XN, Inconel 625, MAT 21, and titanium Gr. 5 in order to measure corrosion resistance against those samples under the same conditions of temperature and pressure applied for a supercritical oxidation reactor. The result shows the identifiable difference in corrosion resistance by observing the surface states through a scanning probe microscope as well as measuring the weight loss through making the samples above deposited in wastewater for two-week and four-week stay. The purpose of this corrosion experiment is to identify the most corrosion-resistant material among sample species pre-selected according to pH concentration of wastewater in pursue of applying for a reactor exposed to the extreme corrosion environment. It is because such a reactor made of a verified material enables to safeguard a stable operation under the supercritical wastewater processing facility.

CTOC에서 자바 바이트코드를 위한 정적 단일 배정 형태

김기태,유원희,Kim, Ki-Tae,Yoo, Weon-Hee 한국정보처리학회 2006 정보처리학회논문지D Vol.13 No.7

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

SSA Form에서 부분 중복 제거를 이용한 최적화

김기태,유원희,Kim, Ki-Tae,Yoo, Weon-Hee 한국정보처리학회 2007 정보처리학회논문지D Vol.14 No.2

CTOC에서는 정적으로 값과 타입을 결정하기 위해 변수를 배정에 따라 분리하는 SSA Form을 사용한다. SSA Form은 최근 데이터 흐름분석과 코드 최적화를 위해 컴파일러의 중간 표현으로 많이 사용되고 있다. 하지만 기존의 SSA Form은 표현적보다는 주로 변수에 관련된 것이다. 따라서 SSA Form 형태의 표현식에 대해 최적화를 적용하기 위해 중복된 표현식을 제거한다. 본 논문에서는 좀더 최적화된 코드를 얻기 위해 부분 중복 표현식을 정의하고, 부분 중복 표현식을 제거하는 방법을 구현한다. In order to determine the value and type statically. CTOC uses the SSA Form which separates the variable according to assignment. The SSA Form is widely being used as the intermediate expression of the compiler for data flow analysis as well as code optimization. However, the conventional SSA Form is more associated with variables rather than expressions. Accordingly, the redundant expressions are eliminated to optimize expressions of the SSA From. This paper defines the partial redundant expression to obtain a more optimized code and also implements the technique for eliminating such expressions.

대도시 보건소 한방 진료실 이용실태

김기태,고흥,이은,Kim, Ki-Tae,Ko, Heung,Lee, Eun 대한한방내과학회 2006 大韓韓方內科學會誌 Vol.27 No.4

Objectives : This study investigated the actual condition of an oriental medical office in a public health center. Methods : We classified patients who visited an oriental medical office in the public health center of Gyeyang-gu over a 1-year period, according to age, sex, disease, etc. The number of patients was 6529. Results : Analyzing these 6529 persons, 65.8% were female, and 79.6% were seniors aged over 65. By disease category motor systemic disease or circulatory disease affected 84% of the patients. By medication or treatment category. O-Juk-San (五積散) at 38.3% was the greatest proportion, and Pal-Mul-Tang (八物湯) the second greatest. As to medical fee, 80.2% of the patients were not charged for treatment. Conclusions : The extract of herbal medication should be more expanded in the medical insurance, and should be improved in quality. The oriental medical office in a public health center should focus more on health promotion and disease prevention than patient care. For accomplishing this goal, the institutional position and rights of oriental medical doctors as civil officials should be equal to those of western medical doctors.

Structural Characterization of a New Antibiotic Substance Purified from Scolopendra Subspinipes Multilans L. Koch

김기태,김효준,박경배,조기승,Kim, Ki Tae,Kim, Hyo Joon,Park, Kyung Bae,Cho, Key Seung Korean Chemical Society 1998 대한화학회지 Vol.42 No.2

Centipede Scolopendra subspinipes multilans L. KOCH로부터 정제된 항균 물질 Centipedin의 항균 Spectrum 및 작용 Mechanism 연구

김기태,홍사원,원호식,김효준,박경배,조기승,Kim, Ki-Tae,Hong, Sa-Weon,Won, Ho-Shik,Kim, Hyo-Joon,Park, Kyung-Bae,Cho, Key-Seung 한국미생물학회 1998 미생물학회지 Vol.34 No.1

지네 Scolopendra subspinipes multilans L. Koch로부터 정제한 Centipedin의 gram-negative, gram-positive bacteria 및 fungi에 대한 광범위 항균 spectrum을 조사하였으며 액체배지를 사용하여 각 균주에 대한 minimal inhibitory concentrations(MICs)값을 측정하였다. 인체의 기관중 주로 폐에 감염되는 gram-negative bacteria인 Klebsiella pneumoniae ATCC 8308 균주에 대한 MIC값이 $2{\mu}g/ml$로서 가장 강한 항균력을 나타내었고 화농균인 Proteus vulgaris NRRL B-123 균주에 대해서도 MIC값이 $16{\mu}g/ml$로 비교적 높은 항균력을 나타내었으며 항균제로서의 작용 mechanism을 시험한 결과 prokaryotic RNA transcription을 억제함을 알 수 있었다. Human blood leukemia(HL-60)와 mouse B lymphocyte myeloma cell 등의 동물세포에 대한 Centipedin의 cytotoxicity는 없는 것으로 확인되었다. A broad spectrum of antibiotic action was studied with Centipedin purified from centipede Scolopendra subspinipes multilans L. Koch aganist gram-positive, gram-negative bacteria and fungi. The minimal inhibitory concentrations(MICs) were determined in liquid medium. The significant antibiotic activity was obtained aganist gram-negative Klebsiella pneumoniae ATCC 8308 responsible for causing infection at lung and intestine. The MIC value against Klebsiella pneumoniae ATCC 8308 was $2{\mu}g/ml$, and this Centipedin was active against Proteus vulgaris NRRL B-123. In addition, it has been shown that Centipedin blocks procaryotic RNA transcription and a little of DNA replication system in vitro. Centipedin did not exhibit any significant cytotoxicity against animal cells such as human blood leukemia (HL-60) and mouse B lymphocyte myeloma cell.

THE SEQUENCE OF P-T CURVES AROUND A QUATERNARY INVARIANT POINT IN THE SYSTEM NaAlSiO₄-KAlSiO₄-SiO₂-H₂O

김기태,Kim, Ki-Tae The Korean Society of Economic and Environmental G 1972 자원환경지질 Vol.5 No.2

Bowen의 "Petrogeny's Residua System"으로 알려져 있는 NaAlSiO_4-KAlSiO_4-SiO_2-H_2O계(系)는 대륙지각(大陸地殼)에 있어 화성암(火成岩)과 변성암(變成岩) 간(間)의 상(相)의 관계(關係)를 이해(理解)하는데 대단히 중요(重要)한 것이다. 그럼에도 불구하고 이 계내(系內)의 상(相)의 관계(關係)는 아직 Mohorovicic 불연속면(不連續面) 이상(以上)의 위치(位置)의 P-T 범위(範圍)의 것 조차 완전(完全)히 알려져 있지 않다. 그러므로 이 상(相)들 간(間)의 관계(關係)를 알 필요(必要)가 있다. 본(本) 연구(硏究)는 Schreinemaker 법칙(法則)을 적용한 계내(系內)에 있는 불변점(不變點)(~5kb/${\sim}635^{\circ}C$) 부근(附近)에 있는 순서를 추이(推理)하였는데 이는 주(主)로 Morse (1969a&6) 실험자료에 근거하였다. 결론(結論)으로 불변점(不變點)(~5kb/${\sim}635^{\circ}C$) 부근(附近)에서의 P-T 곡선(曲線)의 순서(順序)는 각각(各各) P-T 투영(投影)에서는 (L), (Anl), (Or), (V), (Ne), 및 (Ab)의 순(順)이고 P-T 곡선(曲線) (L)은 P-T 구역(區域) 하부(下部)로 연장되며 (Anl) 곡선(曲線)은 불변점(不變點)보다 높은 온도(溫度)와 낮은 압력(壓力)의 구역(區域)으로 연장(延長)된다는 것을 알았다. The system NaAlSiO_4-KAlSiO_4-SiO_2-H_2O, Bowen's "Petrogeny's Residua System" of course is extremely important in understanding the phase relationships of igneous and metamorphic rock in the continental crust. The phase relationships in this system, however, have not been completely established in the P-T range above the Mohorovicic discontinuity. They need to be established. In this study, the most probable sequence of P-T curves around a quaternary invariant point(~5Kb/${\sim}635^{\circ}C$) in the system using Schreinemakers' rule, is deduced, essentially on the basis of Morse's(1969a and b) experimental data. Possible modifications of the sequence of the P-T curves considering likely changes of the invariant chemogram are also considered. It is concluded that the sequence of P-T curves around the invariant point (~5Kb/${\sim}635^{\circ}C$) is (L), (Anl), (Or), (V), (Ne) and (Ab) on the P-T projection, where the P-T curve (L) is extended towards lower P-T regions, and the (Anl) curve is extended towards a region of higher temperature and lower pressure from the invariant point respectively.

나노탄소섬유소재(Carbon fiber)를 활용한 로드형 자전거에서의 프레임 디자인 개발에 관한 연구

김기태,김현성,강승민,Kim, Ki-Tae,Kim, Hyun-Sung,Kang, Seung-Min 한국결정성장학회 2017 한국결정성장학회지 Vol.27 No.4

탄소섬유가 차세대 자전거 프레임의 소재로 자리잡아감에 따라 각 제조사별로 탄소섬유 프레임 개발을 위한 연구가 활발하게 진행되고 있으며, 현재도 탄소섬유의 강성, 내구성, 충격흡수, 경량화, 강도를 중시하며 개발되고 있다. 또한 탄소섬유 자전거모델은 고가 제품으로써, 이에 맞는 개성적이고 차별화된 디자인 컨셉의 제품이 필요하며, 기본적으로 요구되는 구조 역학적 프레임의 개발이 중요하고, 안전성과 조형성이 뛰어난 제품개발과 무엇보다도 자기만의 아이덴티티(Identity)가 필요하다. 본 연구에서는 소비자 요구의 조사연구와 이미지 분석의 과정을 통해 개성적이고 통일된 이미지를 도출하였고, 본 디자인 개발에서는 최근 수요가 급증하고 있는 로드형 자전거를 타켓으로 잡아 탄소섬유를 소재로 한 자전거 프레임 디자인을 개발하고 제안하였다. Carbon fiber frames are actively developed for developing carbon fiber frames as the material of the next generation of bicycle frames, and are currently being developed with carbon fiber frames, hardness, shock absorption, light intensity, and strength. The carbon fiber bike models require a premium, differentiated design concept, which is essential to the development of a conceptual and differentiated design, requiring the development of essential structural structures, safety and refinement, and more of their own identity. In this study, a personal and unified image was derived from the research of the needs of consumers and image analysis process and then in the practical design work, the road bike bicycle frame design was proposed targeting the frame on the basis of carbon fiber materials.

시변 시간지연을 가지는 이산 선형 불확실성 시스템에 대한 보장 비용 제어

김기태,조상현,이상경,박홍배,Kim, Ki-Tae,Cho, Sang-Hyun,Lee, Sang-Kyung,Park, Hong-Bae 대한전자공학회 2002 電子工學會論文誌-SC (System and control) Vol.39 No.6

본 논문에서는 시변 시간지연을 가지는 이산 선형 불확실성 시스템에 대한 보장 비용 제어문제를 다룬다. 본 논문에서 다루는 불확실성 시스템은 시변 노옴 한정 파라미터 불확실성을 가진다. 모든 허용 가능한 불확실성에 대해 폐루프 시스템이 자승적으로 안정하고 성능을 보장하는 제어기가 존재할 충분조건과 설계방법에 대해 논의한다. 또한, 변수 치환과 Schur 여수정리 등을 이용하여 충분조건을 모든 변수에 대한 선형 행렬 부등식(linear matrix inequality)으로 표현한다. This paper deals with the guaranteed cost control problems for a class of discrete-time linear uncertain systems with time-varying delay. The uncertain systems under consideration depend on time-varying norm-bounded parameter uncertainties. We address the existence condition and the design method of the memoryless state feedback control law such that the closed loop system not only is quadratically stable but also guarantees an adequate level of performance for all admissible uncertainties. Through some changes of variables and Schur complement, It is shown that the sufficient condition can be rewritten as an LMI(linear matrix inequality) form in terms of all variables.

CTOC에서 루프 트리 구성하기

김기태,김제민,유원희,Kim, Ki-Tae,Kim, Je-Min,Yoo, Weong-Hee 한국정보처리학회 2008 정보처리학회논문지D Vol.15 No.2

The CTOC framework was implemented to efficiently perform analysis and optimization of the Java bytecode that is often being used lately. In order to analyze and optimize the bytecode from the CTOC, the eCFG was first generated. Due to the bytecode characteristics of difficult analysis, the existing bytecode was expanded to be suitable for control flow analysis, and the control flow graph was drawn. We called eCFG(extended Control Flow Graph). Furthermore, the eCFG was converted into the SSA Form for a static analysis. Many loops were found in the conversion program. The previous CTOC performed conversion directly into the SSA Form without processing the loops. However, processing the loops prior to the SSA Form conversion allows more efficient generation of the SSA Form. This paper examines the process of finding the loops prior to converting the eCFG into the SSA Form in order to efficiently process the loops, and exhibits the procedures for generating the loop tree. 최근 많이 사용되고 있는 자바 바이트코드의 분석과 최적화를 효율적으로 수행하기 위해 CTOC 프레임워크가 구현되었다. CTOC에서는 바이트코드에 대해 분석과 최적화를 수행하기 위해 가장 먼저 eCFG를 생성하였다. 분석하기 어렵다는 바이트코드의 특성 때문에 기존의 바이트 코드를 제어 흐름 분석에 적합하게 확장하여 제어 흐름 그래프를 작성하였다. 이를 확장된 제어 흐름 그래프인 eCFG라 부른다. 또한 정적으로 분석하기 위해 eCFG를 SSA Form으로 변환 하였다. 변환 시 많은 프로그램에서 루프가 발견되었다. 이전 CTOC에서는 루프에 대한 처리를 수행하지 않은 상태에서 직접 SSA Form으로 변환을 수행하였다. 하지만 SSA Form으로 변환하기 이전에 루프에 대한 부분을 처리하면 더욱 효율적인 SSA Form을 생성할 수 있게 된다. 본 논문은 루프에 대한 처리를 효율적으로 하기 위해 eCFG를 SSA Form으로 변환하는 과정 이전에 루프를 발견하고 이와 관련된 루프 트리를 생성하는 과정을 보인다.