http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김기태,정진화,Kim, Ki-tae,Jung, Jin-hwa 대한한방내과학회 2016 大韓韓方內科學會誌 Vol.37 No.5
Objective: To examine the effects of Hyeongbangdojeok-san-gami (荊防導赤散加味方) which has been used in asthmatic patients in Korean Medicine. Methods: Five asthmatic patients were enrolled who had visited Semyung University Korean Medical Hospital from July 1, 2015 to June 30, 2016. They were examined by a pulmonary function test and completed the Quality of Life Questionnaire for adult Korean Asthmatics (QLQAKA) before and after taking Hyeongbangdojeok-san-gami for 3 weeks. All data were analyzed by paired t-tests. Results: After treatment with Hyeongbangdojeok-san-gami for 3 weeks, Forced Expiratory Volume 1 sec (FEV 1.0) improved significantly (p=0.01) and Peak Expiratory Flow (PEF) showed an increase of 20% in results examined by Pulmonary Function Test (PFT). The results of the QLQAKA indicated that the main improvements occurred in theitems associated with theactivity domain. Conclusions: This study suggests that Hyeongbangdojeok-san-gami is effective in improving pulmonary function and quality of life in patients with asthma. More extensive study is needed in the future.
김기태,김제민,유원희,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으로 변환하는 과정 이전에 루프를 발견하고 이와 관련된 루프 트리를 생성하는 과정을 보인다.
김기태,김영재,박두희,Kim. Ki-Tae,Kim. Young-Jae,Park. Du-Hee 한국방재학회 2008 한국방재학회 학술발표대회논문집 Vol.2008 No.1
Generally numerical analysis of tunnel lining, under dynamic loading condition, performed not considering pore pressure. But if tunnel excavated under the surface of water, such as bottom of the sea, the river bed, tunnel lining can take pore water pressure. It may be different from evaluated numerical analysis not considering pore pressure. Therefore tunnel design should consider effect of water pressure acting on tunnel lining.
시변 시간지연을 가지는 이산 선형 불확실성 시스템에 대한 보장 비용 제어
김기태,조상현,이상경,박홍배,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.
김기태,유원희,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,Cho, Sung-Jin 한국군사과학기술학회 2010 한국군사과학기술학회지 Vol.13 No.6
Victory and defeat of the war depends on follow-on logistics support. The spending time of follow-on logistics support at combat area is greatly influenced by the degree of combat intensity. The main purpose of this study is to compose a optimal supply route for operational sustainability of combat unit at combat area using transport vehicles. This study suggests a composition of optimal supply route for follow-on logistics support which considers the degree of combat intensity. A mathematical programming model and a genetic algorithm suggest to minimize the total spending time of follow-on logistics support. The suggested mathematical programming model is verified by using CPLEX 11.1. This study computes supply route, total spending time, total travel distance, and the number of transport vehicle.
김기태,홍사원,원호식,김효준,박경배,조기승,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.