• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2001년도 추계학술대회 학술발표 논문집
• /
• pp.213-216
• /
• 2001

기존의 유한오토마타는 입력 값에 따른 상태 전이가 유한개의 문자열이 입력될 때는 정확하게 인식하나 무한개의 문자열이 입력될 때는 정확하게 인식하지 못한다는 문제점을 가지고 있다. 본 논문에서는 유한오토마타의 상태 전이를 다치오토마타 모델을 이용하여 무한개의 상태로 확장할 수 있는 가능성을 제시하고 이를 신경망 (Neural Network)으로 구현한 다치-신경망 시스템을 제안한다.

• 정보처리학회논문지C
• /
• 제10C권2호
• /
• pp.119-124
• /
• 2003

침입 탐지 기법에 있어서 유한상태기계(finite automata)를 통해 정상 행위를 프로파일링 하는 연구들이 많이 진행되어 왔으나, 자동으로 간결한 형태의 오토마타를 생성하는 것이 매우 어려웠다. 이전 연구에서는 프로세스를 오토마타로 프로파일링 하기 위해 빈번한 시스템 콜 서열(system call sequence)을 매크로(macro)로 치환하고, 이러한 서열을 인식하는 오토마타를 수작업으로 생성하였다. 본 논문에서는 이러한 오토마타를 자동적으로 생성할 수 있도록, 서열 정합(sequence alignment)을 수행하고 스트링으로부터 반복되는 패턴들을 찾아내어 프로세스들로부터 매크로를 추출하고 오토마타를 생성해내는 방법을 제안한다. 생성된 오토마타가 침입탐지에 효과적으로 이용될 수 있음을 실험을 통하여 보였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권9호
• /
• pp.712-721
• /
• 2010

본 논문에서는 화재 불꽃의 시각적 특징들을 확률적인 멤버십 함수로 모델링하고 이를 퍼지 유한상태 오토마타에 적용한 새로운 화재 불꽃 감지 알고리즘을 제안한다. 먼저 입력된 영상에서 배경모델을 이용하여 움직임 영역을 추출하고 불꽃 색상 모델을 적용하여 최종 화재 후보 영역을 결정한다. 불꽃영역은 일반적으로 연속적이며 불규칙한 패턴을 가지고 있으므로 명도와 웨이블릿 에너지의 왜도 값과 모션의 상승 방향성을 이용하여 확률모델을 생성하고 이를 퍼지 유한상태 오토마타에 적용한다. 퍼지 유한상태 오토마타는 오토마타의 성능과 퍼지 로직이 결합된 형태로 컴퓨터 시스템에서 불확실한 문제뿐 아니라 연속적인 공간에서 발생하는 문제를 처리하는 시스템적인 접근법을 제공한다. 제안된 알고리즘은 다양한 화재 영상에서 성공적으로 불꽃을 감지하였고 다른 알고리즘에 비해 더 좋은 성능을 보여주고 있다.

• 정보보호학회논문지
• /
• 제23권3호
• /
• pp.395-404
• /
• 2013

패턴 정합 알고리듬은 침입 탐지 및 방지 시스템의 성능을 좌우하는 중요한 기능 요소로서 일반적으로 정규 표현식(Regualr Expressions)을 사용해 패턴을 표현한다. 공격 패턴이 복잡해지고 다양해짐에 따라, 정규 표현식 또한 복잡해지고 그 수가 증가하고 있으며 이로 인해, 패턴 매칭 알고리듬에서 정규 표현식을 인식하기 위해 사용된 결정적 유한 오토마타(Deterministic Finite Automata)를 구성하는 상태가 폭발적으로 증가(states blowup)하고 있다. 이러한 상태의 폭발적 증가 문제를 해결하고 메모리 효율적인 자료 구조를 구현하기 위해 많은 연구가 이루어졌다. 대부분의 연구 결과들에서는 하나의 정규 표현식을 변환한 결정적 유한 오토마톤(Automaton) 내 상태의 수를 감소시키기 위한 효과적인 방안들을 제안하였다. 하지만, 이들 연구 결과는 단일 패턴 내 상태의 수만을 감소시킬 뿐 패턴의 수에 따라 증가하는 상태의 수를 감소시키지 못하는 한계점을 가지고 있다. 본 논문에서는 이를 해결하기 위해 정규 표현식으로 구성된 유한 오토마타(Automata) 상의 상태 병합을 통한 상태 감소 방안을 제안한다. 이는 동일한 입력 문자를 가지는 상태를 병합함으로써 유한 오토마타 상의 상태의 수를 감소시켜, 기존 결정적 유한 오토마타에 비해 평균 40.0%의 메모리 감소 효과를 나타낸다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2000년도 춘계학술발표논문집
• /
• pp.273-276
• /
• 2000

본 논문에서는 문서처리와 비디오 스트림 처리에 이용되는 이론적 배경을 고찰하고 , 제시된 이론을 바탕으로 하나의 비디오 스트림을 결정적 유한 오토마타 형태의 논리적인 구조로 재구성하여 사용자의 요구나 수준에 따라 가변적인 재생 시간을 갖는 비디오 브라우징 시스템을 구현하였다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2004년도 춘계학술대회 학술발표 논문집 제14권 제1호
• /
• pp.506-509
• /
• 2004

생물과 같이 외부 환경의 변화에 적응하는 능력을 갖도록 하기 위한 시스템을 다치오토마타를 사용하여 모델화하고 이들에 대하여 도태, 교배, 돌연변이 둥의 유전적 조작을 반복함 적용에 의해 유한 상태 전이 과정을 해석하고 응용할 수 있는 방법을 제안한다. 이러한 해석과 방법에 대한 모델을 기초로 자기 갱신할 수 있는 자율 오토마타와 환경에 적응할 수 있는 적응 오토마타를 실현하는 기초 단계로 적용할 수 있는 가능성을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.785-788
• /
• 2007

본 연구는 Ramadege 와 Wonham 의 Supervisor Control 을 기반으로 한다. 초기 이 이론은 오토마타를 이용하여 모델링 하였으며, 많은 연구가 활발하게 이루어져왔다. 그러나, 유한 오토마타는 병렬처리 및 동기화, 자원공유를 모델링하기 어렵다는 단점이 있다. 유한 오토마타를 기반으로 한 연구는 일반적으로 복잡한 시스템을 모델링 할 때 발생하는 결합 폭발성에 의한 제한성이 있다. 반면, 패트리 넷은 병렬처리나 동기화에 대한 모델링을 하기에 보다 더 강력한 도구이지만, 패트리 넷을 이용한 통합법은 아직까지 광범위하게 연구되지는 않았다. 따라서, 본 연구에서는 공장설비(plant)모델과 이 설비에 대해 사용자가 원하는 작업을 명시한 사용자 설계명세 (user specifications)모델을 패트리 넷을 이용하여 모델링하는 방법을 제안한다. 본 연구는 사용자 설계명세에 관련한 폐쇄 회로 패트리 넷(closed-loop PN)을 획득하고자 원시 공장설비 모델에 제어 플래이스(control place)를 추가하는 통합을 실행하기 위한 방법으로 Ghaffari의 영역 이론(Theory of Region )을 이용하여 연구개발 하였다

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.209-212
• /
• 2001

본 논문의 연구 목적은 효율적인 비디오 브라우징에 관한 연구이다. 비디오 스트림을 효율적으로 저장 및 재생하는 브라우징 시스템의 기본 구조로는 결정적 유한 오토마타를 사용하였다. 인덱싱 단계에서는 기존의 비디오 정보 또는 오디오 정보 한가지만을 사용하여 분야별로 특수하게 모델링하는 방법을 개선하여 비디오 스트림과 오디오 스트림 모두를 이용하는 새로운 인덱싱 방법을 제시하였다. 즉, 일차적으로 비디오 정보를 이용하여 동영상 데이터를 장면 단위로 분할한 후, 오디오 정보를 이용하여 에피소드 단위로 분할하여 인덱싱을 실행하였다. 이를 결정적 유한 오토마타 형태의 논리적인 구조로 에피소드들을 재구성하여 사용자의 요구에 따라 가변적인 재생 시간을 갖는 비디오 브라우징 시스템을 설계하였다.

• 한국컴퓨터정보학회논문지
• /
• 제18권5호
• /
• pp.69-76
• /
• 2013

최근에 인터넷 환경에서 악성코드를 이용한 사이버 공격이 문제가 되고 있으며, 악성코드로 인한 피해가 점차 심각해지고 규모도 증가하고 있는 추세이다. 그리고 새로운 악성코드의 출현과 더불어 기존의 악성코드를 이용한 변종 역시 커다란 피해를 주고 있다. 본 논문에서는 악성코드 분석방법에서 악성코드라고 의심되어지는 파일을 보다 정확하게 판단하기 위해 악성행위에 대해서 유한 오토마타(Finite Automata) 기법을 이용한 프로파일링 기법을 도입하여 수동이 아닌 자동으로 실시간 악성코드를 분석할 수 있는 효과적인 방법을제 안하고자 한다. 파일내부에서 사용되는 함수들을 유한 오토마타로 표현하여 상호 관계 및 연관성을 파악하여 해당 파일에 대한 악성코드 여부와 정상파일 여부를 실시간적으로 분석할 수 있는 실시간 악성코드 분석 시스템(Realtime Malware Analysis System)을 제안한다.

• 한국멀티미디어학회논문지
• /
• 제8권5호
• /
• pp.670-678
• /
• 2005

셀룰라 오토마타(CA, Cellular Automata)란 동역 학계 (Dynamical Systems)를 해석하는 한 방법으로 공간과 시간을 이산적으로 다루고 셀룰라 공간(Cellular Space)의 기본 단위인 각 셀(Cell)이 취할 수 있는 상태를 유한하게 처리하며, 각 셀의 상태가 국소적인 상호작용(Local Interaction)에 의해서 동시에 갱신되는 시스템이다. CA는 그 본질적 인 특성 이 확산(Diffusion)과 국소적 인 상호 작용(Local Interaction)이므로 암호 시스템과 VLSI환경에 적합한 것으로 알려져 있다. 본 연구에서는 새로운 구조의 이차원 셀룰라 오토마타를 제안하고 제안된 이차원 셀룰라 오토마타에 기초한 새로운 구조의 해쉬 함수를 제안하고 제안된 해쉬 함수의 통계적 검증 결과를 밝힌다. 또한 제안된 해쉬 함수는 키를 사용하는 경우와 그렇지 않은 경우에 모두 적용 가능하도록 구성되었다.