• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.102-110
• /
• 2001

대부분의 해킹 공격은 공격 대상 프로그램의 소스코드 보안취약점에 의해서 발생하지만 프로그램 개발시에 소스코드 보안성에 대해서는 고려되지 않았다. 이러한 문제점으로 인하여 해킹 공격의 근본적인 원인을 해결할 수 없었다. 본 논문에서는 취약점의 원인이 되는 코드를 컴파일시 생성된 어셈블리 코드 수준에서 탐지하는 방법을 제시하고자 한다. 취약한 코드를 컴파일러 수준에서 점검하는 것보다 어셈블리 코드 수준에서 점검하는 것은 어느 정도의 메모리 영역까지 점검할 수 있어 더 정확하다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2002.05a
• /
• pp.171-176
• /
• 2002

이 논문은 MVR(Machinery Vapor Recompressor) Impeller Blade의 파손으로 발생한 사고원인 조사Um 관한 것이다 MVR의 고장의 원인을 밝히기 위해서 육안 분석(visual examination), 실체현미경 분석(Stereoscopic examination), SEM 분석 (SEM examination)을 한 결과 주조결함으로 인한 Surface Crack이 장기간 지속되어 Initial Crack이 생성된 뒤에 이 부위에 응력이 집중되면서 Fatigue Crack이 임계 Crack 길이까지 진행되었다. 여기에 Impeller 회전속도의 상승으로 인한 과부하가 부가되어 MVR의 Blade가 파손된 것을 알 수 있었다.(중략)

• Journal of Life Science
• /
• v.4 no.3
• /
• pp.113-118
• /
• 1994

유산균의 증식으로 인해 설사 등의 원인인 유해균들의 증식이 억제되는데 이것은 유산균들이 만드는 각종 유기산들, 과산화수소에 의한 직접적인 저해나 산생성에 부수되는 pH 저하가 원인이고 그 외 유산균들이 만드는 nisin이나 각종 bacteriocin 등도 관여한다. 유산균을 이용한 발효 유제품이 소비증가, 유산균의 약리작용 효과를 이용한 건강보조식품의 개발 등을 통하여 유산균의 중요성은 더욱 대두되고 있다. 이 같은 추세로 전세계적으로 유산균에 대한 연구가 활발히 진행되고 있으며, 최근에는 생명공학 분야에서 광범위하게 이용되고 있는 유전공학 기술에 의한 유산균의 개발연구가 관심을 모으고 있다. 본 논문에서는 현재까지 진행되고 있는 유산균 연구 중 유전공학기술을 이용한 연구결과와 이 분야의 향후 전망 등에 대하여 고찰하였다.

• Congress of the korean instutite of fire investigation
• /
• 2011.04a
• /
• pp.137-160
• /
• 2011

본 사고분석을 통해 154 kV 절연부싱에서의 폭발사고에 대한 원인을 규명하였다. 결과적으로, 절연부싱의 사양은 국제표준에 적합하였다. 사고당일 기록된 자료에 의하면 R상과 S상에서 거의 동시에 지락사고가 발생하였으며, 지락지속시간은 약 75 ms로써 사고의 영향을 준 시간은 약 67 ms인 것으로 나타났다. R상은 아크에 의한 탄화 흔적, S상은 아크에 의한 탄화흔적과 외부열에 의한 탄화흔적, T상은 외부열에 의한 탄화흔적, 용융흔적은 R상과 S상의 케이블접속부와 플랜지에서 각각 발생하였다. S상의 절연부싱을 이용하여 탄화패턴 중 아크에 의한 것과 일반 열에 의한 것을 분류하여 연면방전이 발생한 것을 입증하였다. 사고추정 시나리오는 현장조사과정에서 나타난 현상과 목격자 진술, 사고원인 분석자료 등을 토대로 하여 작성되었다. 따라서 사고추정을 통해 분석된 자료는 아크생성단계, 열폭주 단계, 폭발단계, 화재단계로 구성하였다. 사고원인 가능성은 사고의 원인, 형태, 영향을 통해 나타난 연결고리를 검토하여 가능성이 낮은 부분을 배제하는 방식으로 진행되었다. 절연부싱의 사고원인은 표면의 오염물질 부착 가능성이 가장 높았다. 이를 근거로 하여 제조, 시공, 관리적 측면에서의 방지대책을 고려하는 것이 바람직할 것으로 판단된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.21-23
• /
• 1999

결정 트리는 실세계에서 얻어지는 많은 사례들로부터 분류 정보를 얻기 위해 사용되는 유용한 방법중의 하나이다. 분류를 목적으로 사용되는 사례, 즉 데이터들은 실제 현장에서 얻어지기 때문에 관측오류, 불확실성, 주관적인 판단 등의 원인으로 참 값이 아닌 근사 값으로써 기술되는 경우가 많으며, 이러한 잠재적 오류로 인해 잘못된 결정 트리가 생성될 수 있다. 한편, 트리를 생성하는 각각의 과정에서 하나의 특징 값만을 고려하지 않고 두 가지 이상의 특징 값을 동시에 고려하여 결정 트리를 생성할 경우 보다 정확한 분류 정보를 기대할 수 있다. 본 논문에서는 수치 특징 값으로 기술된 데이터로부터 보다 정확한 분류 정보를 얻을 수 있고, 작은 오류에 강건한 사선형 분할 퍼지 결정 트리를 제안한다. 또한 제안된 사선형 분할 퍼지 결정 트리의 생성 절차 및 생성된 결정 트리를 이용하여 새로운 데이터에 분류 정보를 부여하는 추론 과정을 소개한다.

• KSBB Journal
• /
• v.11 no.2
• /
• pp.125-131
• /
• 1996

In this study, Bucillus amyloliquefaciens was adopted as bacterial source to investigate the concentration of carbon source by adding inhibitors in the batch culture. By adding acetic acid at $10g/\ell$ of initial glucose concentration, maximum dry cell density was obtained with the highest value of /$\3.9gell$ at $1.0g/\ell$ of initial acetic acid concentration. By adding acetic acid al 10g/$\ell$ of initial glucose concentration, maximum ${\alpha}$-amylase production was obtained with 331.55unit/m1 at $2.0g/\ell$ of initial acetic acid concentration. ${\alpha}$-Amylase production was decreased with the increase of initial acetic acrid concentration. By adding acetic acid to the medium, cell growth and ${\alpha}$-amylase production was higher in glucose than in maltose. By adding lactic acid to the medium, cell growth was decreased.

• Journal of KIISE:Software and Applications
• /
• v.36 no.10
• /
• pp.861-873
• /
• 2009

There are many reasons that fail to get appropriate information in information retrieval. Allomorph is one of the reasons for search failure due to keyword mismatch. This research proposes a method to construct alternative word candidates automatically in order to minimize search failure due to keyword mismatch. Assuming that two words have similar meaning if they have similar co-occurrence words, the proposed method uses the concept of concentration, association word set, cosine similarity between association word sets and a filtering technique using confidence. Performance of the proposed method is evaluated using a manually extracted alternative list. Evaluation results show that the proposed method outperforms the context window overlapping in precision and recall.

• Analytical Science and Technology
• /
• v.13 no.1
• /
• pp.5-11
• /
• 2000

During the commissioning period in Tonghae thermal power plant which is the largest circulating fluidized bed boiler in the nation, a considerable amount of clinker was formed at FBAC and seal pot. Various attempts, for example, concentration analysis, surface phenomena, thermal characterization, and crystal structure of ash, bed sand, limestone, clinker, and mixture of each gradients have been studied to identify the causes of clinker formed in circulating fluidized bed boiler. As the results, the characterization of black particles in which separated from the clinker is more similar to that of bed sand, on the other hand, white particles are more similar to ash. In addition, the sintering temperature of sand is over $1,200^{\circ}C$ and this temperature was decreased as limestone is added to bed material. The cause of clinker was proved that ash was sticked to molten or sintered sand or limestone in the area of high temperature in the circulating system.

• KIPS Transactions on Software and Data Engineering
• /
• v.12 no.9
• /
• pp.381-386
• /
• 2023

Many existing test case generation researchers extract test cases from models. However, research on generating test cases from natural language requirements is required in practice. For this purpose, the combination of natural language analysis and requirements engineering is very necessary. However, Requirements analysis written in Korean is difficult due to the diverse meaning of sentence expressions. We research test case generation through natural language requirement definition analysis, C3Tree model, cause-effect graph, and decision table steps as one of the test case generation methods from Korean natural requirements. As an intermediate step, this paper generates test cases from C3Tree model-based decision tables using meta-modeling. This method has the advantage of being able to easily maintain the model-to-model and model-to-text transformation processes by modifying only the transformation rules. If an existing model is modified or a new model is added, only the model transformation rules can be maintained without changing the program algorithm. As a result of the evaluation, all combinations for the decision table were automatically generated as test cases.

• Proceedings of the Korea Air Pollution Research Association Conference
• /
• 1999.10a
• /
• pp.211-212
• /
• 1999

오존경보제가 시행된 이후 오존경보의 발령 횟수 및 발령 지역이 점차 증가하고 있다. 이에 따라 각 지방자치단체에서는 대도시 광화학 스모그 생성의 중요한 원인물질 중 하나로 알려진 질소산화물의 배출을 저감시키기 위해 배출허용기준을 강화하려는 움직임을 보이고 있다. 발전소에서 운영하는 대형 보일러는 고온의 연소영역에서 운전이 이루어지므로 Thermal NOx의 생성이 지배적인 것으로 알려져 있다.(중략)