• Proceedings of the Korean Vacuum Society Conference
• /
• 2016.02a
• /
• pp.215.2-215.2
• /
• 2016

플라즈마는 현대 산업에서 다양한 고부가가치 산업 분야에 걸쳐 이용되고 있다. 이러한 플라즈마를 정밀하게 진단하고 제어하는 기술이 공정의 수율을 증대하고 생산성을 높이는데 크게 기여함은 자명하다. 플라즈마를 진단하는 방법은 크게 광학적 진단 방법과, 전기적 진단 방법으로 나눌 수 있는데 광학적 진단 방법은 방전시 발생하는 방출광을 통해 플라즈마의 현재 상태를 예측하는 방법이고, 전기적 진단 방법은 플라즈마 내로 직접 탐침을 접촉하여 전기적 물리량을 측정하는 방법이다. 각각은 정성적, 정량적 진단을 하는 데에 장점이 있다. 공정 모니터링은 주로 광학적 진단 방법에 의해 이루어지는데 전기적 진단 방법은 플라즈마와 직접 접촉하기 때문에 플라즈마에 대한 간섭현상이 발생하므로 부적합하다. 해당 실험에서는 유도 결합형 플라즈마 발생 용기에 아르곤, 산소 혼합 유체를 유입하여 방전하며 광학적 진단 방법을 통해 플라즈마를 관측하며 실험을 진행하였다. 측정 장치는 3채널 광학 진단이 가능한 시스템을 구성하여 공정중 발생하는 방출광의 특정 피크 변화를 공정 변수 변화로 인지하여 질량 유량 제어기를 조작, 피크를 초기상태로 되돌리는 공정 제어가 가능하도록 시스템을 구성하였다. 이를 통해 플라즈마를 이용한 공정 중 공정 변화에 자동으로 대응하는 공정제어 시스템을 시험 하였다.

• The Journal of the Korea Contents Association
• /
• v.6 no.9
• /
• pp.28-41
• /
• 2006

Recently, Baruah et.al. proposed an optimal Pfair scheduling algorithm in the hard real-time multiprocessor environments, and several variants of it were presented. All these algorithms assume the fixed unit quantum size, and this assumption has two problems in the mode change environments. If the quantum size is too large, it results in the scheduling failure due to the decreased processor utilization. If it is too small, it increases the frequency of scheduling points, and it incurs the task switching overheads. In this paper, we propose several methods that determine the maximum quantum size dynamically such that the task set can be scheduled in the mode change environments.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.616-620
• /
• 2006

한 해에도 수많은 해킹 사고가 발생하고 있고, 이 중에서 웹 해킹이 차지하는 비율은 급격하게 증가하고 있다. 또한 최근의 해킹 동향을 분석해 보았을 때 웹 해킹의 비율은 더욱 증가할 것이라고 예상된다. HTTP 프로토콜을 이용한 공격의 특성 상 정상행위와 비정상 행위의 구분이 어렵다. 따라서 웹 서비스에 특화된 침입탐지 시스템이 요구된다. 또한 웹 사이트 관리자는 빠른 탐지와 대응을 위해 이상 행위에 대한 신속하고 정확한 인식을 필요로 한다. 본 논문에서는 이러한 필요성을 기반으로 Location-based Visualization Tool을 제안한다. 웹 사용 현황 및 이상행위에 대해 시각적인 정보를 제공하기 위해 웹 서버의 access log를 분석하여 이상 행위를 탐지하였고, IP정보를 기반으로 지역 정보의 시각화를 구현하였다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• The Journal of the Korea Contents Association
• /
• v.7 no.7
• /
• pp.39-49
• /
• 2007

Since the PF scheduling algorithm[13], which is optimal in the hard real-time multiprocessor environments, several scheduling algorithms have been proposed. All these algorithms assume the fixed unit quantum size, and this assumption has problems in the mode change environments. To settle the problem, we already proposed a method for deciding the optimal quantum size[2]. In this paper, we propose improved methods considering the task set whose utilization e is less than or equal to p/3+1. As far as the numbers of computations used to determine the optimal quantum size are concerned, newly proposed methods are proved to be more efficient than our previous ones.

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

악의의 침입자로부터 시스템을 보호하기 위한 첫 번째 단계는 시스템의 취약점을 분석하는 일이다. 기존의 시스템 취약점 분석 방법은 주로 네트워크 기반 취약점 점검 도구에 의존해 왔다. 하지만, 네트워크 기반 취약점 점검 도구는 대상 시스템의 제한된 정보만을 이용하여 취약점을 점검하기 때문에 시스템의 모든 취약점에 대한 검사가 불가능하다는 단점이 있다. 호스트 기반 취약점 점검 도구를 사용하면 시스템 내부의 모든 정보를 이용할 수 있지만, 시스템의 OS 종류나 버전에 따라 각기 다른 호스트 기반 취약점 점검 도구를 개발해야 한다는 단점이 있다. 또한, 호스트 기반 취약점 점검 도구들은 많은 호스트들을 동시에 점검하기 힘들다는 점이 문제로 지적되고 있다. 본 논문에서는 호스트 기반 취약점 점검 도구를 에이전트로 구현하여 대상 시스템에 설치하고, 하나의 관리 프로그램에서 여러 에이전트들을 관리함으로써 동시에 많은 호스트의 취약점들을 관리할 수 있는 모델인 ISMAEL을 제시한다. 또한 ISMAEL은 OS에 맞는 여러 호스트 기반 취약점 점검 도구들을 개발해야 하는 문제를 해결하기 위해 OS에 독립인 부분만을 뽑아내고, 그 외 OS에 종속된 부분은 Library 형태로 제공하여, OS에 독립인 부분에서 이 Library를 참조하여 특정 취약점 점검 코드를 자동 생성하고 이를 실행하여 취약성 여부를 판단할 수 있는 구조를 채택하고 있다.

• Journal of KIISE:Software and Applications
• /
• v.29 no.5
• /
• pp.345-354
• /
• 2002

There have been many researches about monitoring and checking the implementations during run-time using formal requirement specification. They usually adopt temporal logics or their extensions to specify the requirements for the implementations. However, most of the systems fail to support the specification of requirements fir dynamic systems - systems whore components are created and removed during run-time. Unlike analysis or design models, most actual implementations are dynamic, so the notion of instances should be employed in the property specification language. In this paper, we show how we can monitor and check Java programs using our temporal logic for dynamic systems (HDTL). We suggest a framework in which the execution of Java programs are monitored and chocked against given HDTL requirements.

• Journal of KIISE:Information Networking
• /
• v.30 no.1
• /
• pp.97-116
• /
• 2003

Frequency of attacks on web services and the resulting damage continue to grow as web services become popular. Techniques used in web service attacks are usually different from traditional network intrusion techniques, and techniques to protect web services are badly needed. Unfortunately, conventional intrusion detection systems (IDS), especially those based on known attack signatures, are inadequate in providing reasonable degree of security to web services. An application-level IDS, tailored to web services, is needed to overcome such limitations. The first step in developing web application IDS is to analyze known attacks on web services and characterize them so that anomaly-based intrusion defection becomes possible. In this paper, we classified known attack techniques to web services by analyzing causes, locations where such attack can be easily detected, and the potential risks.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2009.05a
• /
• pp.385-386
• /
• 2009

The temperature crack of concrete structure is caused by the phenomenon which the concrete volume is restricted in the inside or outside part due th the temperature variations induced by the hydration heat of cement. And mass concrete structures are weak in temperature crack. This study performed the hydration heat analysis of Seongdeok dam to analyze the hydration heat according to different interval of placement.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.10a
• /
• pp.603-606
• /
• 2001

의료영상 이미지에서 이상유무 등 진단능력을 향상시키기 위해 2D 웨이블릿 변환을 이용하여 그레이 이미지를 의사컬러로 향상하기 위한 연구이다. 웨이블릿 필터설계는 변환된 영상데이터의 블록킹을 줄이기 위해 차수가 높은 다우비치 8차 웨이블렛 함수을 사용하여 필터함수를 구성하였고, 저주파 성분과 고주파 성덕, 대역통과 성분으로 각각 분리하여 R, G, B 이미지의 성분으로 매핑하여 의사 컬러 이미지로 향상하였다. 의사컬러로 향상된 이미지는 그레이 이미지에 비해 결함 유무를 빠르게 구분할 수 있어 신속한 진단이 가능하고,. 웨이블릿 변환을 이용함으로서 기존의 주파수변환 기법에 비하여 변환과정을 간소화 할 수 있다.