• Korea Petroleum Association Journal
• /
• no.7 s.101
• /
• pp.92-93
• /
• 1989

이 자료는 지난 6월 14~16일 International Herald Tribune과 The Oil Daily 주최로 싱가포르에서 열린 「Oil and Money 」세미나에서 Dick Van Hilton 싱가포르 쉘 사장이 발표한 글을 옮긴 것이다. <역자 주>

• Korea Petroleum Association Journal
• /
• no.10 s.140
• /
• pp.125-133
• /
• 1992

이 자료는 싱가포르 AP Enetgy Business Publications PTE LTD에서 발간한 "Hydrocarbon Asian Business Report"지의 최근호 4권(6,7,8,9월호)에서 동남아국가의 석유산업 부문을 발췌하여 옮긴 것이다. <편집자 주>

• Microbiology and Biotechnology Letters
• /
• v.15 no.6
• /
• pp.425-429
• /
• 1987

The extra-cellular hemolysin from Bacillus thuringiensis subsp. israelensis was purified in the process of suiting with (NH$_4$)$_2$SO$_4$, Sephadex G-200 gel filtration, and DEAE-cellulose column chromatography. The purified hemolysin had molecular weight of approximately 47,000 dalton on SDS-polyacrylamide gel electrophoresis. The activity of purified hemolysin on human red blood cells was increased by thiol agents, but that was Inhibited by cholesterol, protease treatment, and metal salts such as CuSO$_4$, and FeSO$_4$, respectively.

• Korean Journal of Ecology and Environment
• /
• v.53 no.4
• /
• pp.380-389
• /
• 2020

Research on diagnosing and predicting the response of ecosystems caused by environmental changes such as artificial disturbance and climate change is emerging as the most important issue of biodiversity and ecosystem researches. This study aims to clean, standardize, and provide the results of National Ecosystem Survey which should be considered fundamentally in diagnosing and predicting ecosystem changes in the form of dataset. To refine and clean the dataset we developed a simple verification program based on the fifth National Ecosystem Survey Guideline and applied that program to the data from the second (1997~2005), third (2006~2013) and fourth (2014~2018) National Ecosystem Survey. Data quality control processes were implemented including (1) standardization of terminology, (2) similar data table integration, (3) unnecessary attribute and error elimination, (4) unification of different input items, (5) data arrangement in codes, and (6) code mapping for input items. These approaches and methods are the first attempt propose an option for ecological data standardization in Korea. The standardized dataset of National Ecosystem Survey in Korea will be easily accessible, reusable for both researchers and public. In addition, we expect it will contribute to the establishment of diverse environmental policies concerning environmental assessments, habitat conservation, prediction of endangered species distribution and ecological risks due to climate change. The dataset through this study is open freely online via EcoBank (nie-ecobank.kr) which is the first ecological information portal system in Korea developed by National Institute of Ecology.

• The Korean Journal of Mycology
• /
• v.32 no.2
• /
• pp.125-129
• /
• 2004

A carboxymethyl cellulase (CMCase) bas been isolated and purified from Lampteromyces japonicus. The molecular weight of CMCase was estimated to be 42 kDa by sodium dodecyl sulfate (SDS) polyacrylamide gel electrophoresis. The maximum activity of the purified CMCase was observed at pH 6.0 and $30^{\circ}C$, and stable for pH 4 to 7 to maintain 40% activity. The CMCase activity was activated by $Al_{2}(SO_{4})_{3}$, and inhibited by SDS. Also, the enzyme activity was decreased by the addition of ethylene diamine tetraacetic acid (EDTA), suggesting that the purified CMCase is metalloenzyme.

• The Korean Journal of Mycology
• /
• v.33 no.2
• /
• pp.75-80
• /
• 2005

A carboxymethyl cellulase (CMCase) has been purified from Loweporus roseoalbus. The molecular weight of the purified CMCase was estimated to be 28.5 kDa by sodium dodecyl sulfate (SDS) polyacrylamide gel electrophoresis. The maximum activity of the purified CMCase was observed at pH 4.0 and $30^{\circ}C$, and stable for pH 3 to 5 to maintain 60% activity. The CMCase activity was activated by SDS and inhibited by PMSF and 1,10-phenanthroline. The enzyme activity was also decreased by the addition of ethylene diamine tetraacetic acid (EDTA), suggesting that the purified CMCase is metalloenzyme.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.271-273
• /
• 2001

웹 로그는 웹 서버를 통해 이루어지는 작업들에 관한 기록으로써, OLAP이나 데이터 마이닝과 같은 비즈니스 인텔리전스 기술로 분석되어 고부가가치 창출에 사용되는 중요한 자료이다. 웹 로그에는 파일 이름과 같은 물리적인 데이터가 저장되는데 이러한 데이터는 분석에 사용되기 전에 정제과정을 통해 의미 있는 데이터로 변환되거나 불필요한 경우에는 삭제된다. 웹 로그 데이터의 분량을 적정선으로 유지하면서 데이터 정제 작업의 일부가 해결되도록 하는 방법으로 웹로그 생성단계에서 시스템이 제공하는 필터를 쓸 수 있다. 그러나, 필터로는 웹 페이지의 내용이 동적으로 변경되는 경우 그 상황을 즉시 반영하기가 쉽지 않다. 본 연구에서는 웹 로그가 ‘지능적 웹 로거’를 통해 생성되도록 하여 이러한 문제를 해결하였다. ‘지능적 웹 로거’를 통해 불필요한 데이터의 생성을 막고, 물리적인 데이터를 신속하게 의미 있는 데이터로 변환하도록 하였다. 웹 페이지의 변경 내용을 웹 로그 생성에 즉시 반영하여 의미 있는 데이터 생성에 이용함으로써, 웹 로그 생성 후에 실행되던 데이터 정제작업 자체를 단순화시켰고, 웹사이트 관리자가 편리한 사용자 인터페이스로 로그 규칙을 만들어 적용할 수 있도록 하였다.

• Annual Conference on Human and Language Technology
• /
• 2010.10a
• /
• pp.3-8
• /
• 2010

본 연구에서는 일련의 연구에서 수집된 영작문 오류 유형의 정제된 자료를 토대로 연관 규칙을 생성하고, 학습을 통해서 효용성이 검증된 연관 규칙을 활용해서 영작문 데이터의 형태 통사 오류를 자동으로 탐지한다. 영작문 데이터에서 형태 통사 오류를 찾아내는 작업은 많은 시간과 자원이 소요되는 작업이므로 자동화가 필수적이다. 기존의 연구들이 통계적 모델을 활용한 어휘적 오류에 치중하거나 언어 이론적 틀에 근거한 통사 처리에 집중하는 반면에, 본 연구는 데이터 마이닝을 통해서 정제된 데이터에서 연관 규칙을 생성하고 이를 검증한 후 형태 통사 오류를 감지한다. 이전 연구들에서는 이론적 틀에 맞추어진 규칙 생성이나 언어 모델 생성을 위한 대량의 코퍼스 데이터와 같은 다량의 지식 베이스 생성이 필수적인데, 본 연구는 적은 양의 정제된 데이터를 활용한다. 영작문 오류 유형의 형태 통사 연관 규칙을 생성하기 위해서 Apriori 알고리즘을 활용하였다. 알고리즘을 통해서 생성된 연관 규칙 중 잘못된 규칙이 생성될 가능성이 있으므로, 상관성 검정, 코사인 유사도와 같은 규칙 효용성의 통계적 검증을 활용해서 타당한 규칙만을 학습하였다. 이를 통해서 축적된 연관 규칙들을 영작문 오류를 자동으로 탐지하는 실험에 활용하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.595-597
• /
• 2001

World-Wide Web으로 인하여 인터넷 상의 다양하고 고품질의 자료들을 교육 자료에 손쉽게 활용할 수 있는 시대가 도래하였다. 그러나 이러한 자료들은 교육적 효과를 극대화시키기 위해서 좀 더 정제되고, 교육과정에 맞는 흐름을 가질 필요가 있다. 이러한 과정의 흐름을 제공하기 위해서는 웹 상에서 분산되어 독립적으로 존재하는 디지털 문서들을 교육 목적에 맞게 새로운 순서, 즉 문맥화된 순서를 가진 자료로 재구성할 수 있어야 하며, 문서간의 부드러운 내용 전개를 위해서 부가적인 설명이나 기존 문서에 빠져 있는 내용들을 보완할 수 있어야 한다. 본 논문의 연구과정에서 개발된 가상교육 시스템은 교사가 교육용 지식문서를 작성하여 면대면(face to face) 교육에서는 직접 학생들을 교육할 수 있는 교육 자료로 사용될 수 있을 뿐만 아니라 웹을 통해서는 학생 스스로가 부족한 부분을 원하는 시간에 학습할 수 있는 능동적인 교육 환경을 제공할 수 있다. 또한, 가상교육 시스템에 가상문서 개념을 도입함으로써 인터넷 상의 수많은 리소스들을 인용하는 것에 대한 부하를 막을 수 있다. 본 논문에서는 인터넷 상의 디지털 컨텐츠를 전문적인 지식을 가진 교사가 교육과정에 맞게 쉽게 재구성해 줄 수 있도록 가상교육 시스템을 설계 및 구현한 내용에 대해 기술한다.

• The KIPS Transactions:PartD
• /
• v.8D no.4
• /
• pp.421-426
• /
• 2001

A formal development method is used to develop software rigorously and systematically. In a formal development method, we specify system by a formal specification language and gradually develop the system more concretely until we can implement the system. VDM is one of formal specification languages. VDM uses mathematical data structures such as sets, sequences, and maps to specify the system, but most programming languages do not have such data structures. Therefore, these data structures should be converted. We can convert mathematical data structures in VDM to a linked list, a data structure in a programming language. In this article, we propose a method to convert a set, a sequence, and a map in VDM to a linked list in a programming language and prove the correctness of this conversion mathematically.