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

서비스 거부공격(Denial of Sevice)이란 서버의 자원을 고갈시켜 더이상 정상적인 서비스를 할 수 없도록 하는 공격이다. DoS 공격 중에서 SYN Flooding DoS Attack을 받은 웹 서버는 외부로부터 들어온 공격 패킷에 의해 back log를 소모하게 된다. 그 결과 정상적인 연결 요청에 대해 서비스를 제공하지 못하게 된다. Dos 공격에 관한 다양한 연구가 진행되고 있지만, 본 논문에서는 서비스 거부공격이 TCP 상태 전이에 미치는 영향에 관한 연구를 하였다. 웹 서버의 Tcp 상태정보를 얻기 위해 GetTcpinfo 프로세스를 실행한 후 정상적인 접속을 시도해 보고 정상적인 접속이 진행되고 있는 상태에서 DoS 공격을 시도한다. GetTcpinfo 프로세스에 의해 파일로 저장된 TCP 상태전이 값을 분석하여 DoS 공격이 TCP 상태 전이에 미치는 영향에 대해 알아본다.

• 대한두경부종양학회지
• /
• 제29권2호
• /
• pp.93-96
• /
• 2013

원격 전이된 비인두암 환자에서 주요한 치료 방법은 고식적 항암화학치료에 국한되어왔다. 그러나 적극적인 항암화학치료로 비인두암 환자 중 많은 환자에서 치료 반응을 보이며, 치료 반응을 보인 환자군에서는 국소 제어가 중요한 문제가 된다. 본 저자들은 원격 전이 된 환자 1예를 보고하고자 한다. 환자는 큰 크기의 다발성 전이가 있었으나 항암화학요법으로 관해 상태를 보였다. 이후 공고화 항암화학방사선요법을 추가하였고 현재 30개월 간 무병상태이다. 원격전이된 비인두암에서 공고화 항암화학방사선 요법의 역할에 대하여 문헌 고찰을 통해 논의하고자 한다.

• 한국게임학회 논문지
• /
• 제14권5호
• /
• pp.127-136
• /
• 2014

게임 NPC(Non Player Character)는 게임 플레이어와 대전 또는 협력함으로써 게임의 재미를 증가시키는 중요한 요소이다. 대부분 기존 게임에서 제공되는 NPC 인공지능은 FSM(Finite State Machine)으로 제작되어 행동 패턴이 정해져 있고 능력이 동일한 특징을 갖고 있다. 따라서 이러한 특징을 갖는 NPC들과 대전하는 플레이어는 창조적인 게임 플레이를 진행하는 것이 어려울 수 있다. 본 논문은 이 문제점을 개선하기 위하여 실제 생활에서 늑대들이 먹이를 사냥하는 행동 모델을 게임 NPC의 행동 모델로 제작하고 이를 평가하기 위한 것이다. 이를 위하여 첫째, 실세계에서 늑대들이 먹이를 포획하기 위한 행동 상태들을 조사 연구한다. 둘째, 이 행동 상태들을 Unity3D 엔진을 이용하여 구현한다. 셋째, 구현된 NPC들의 상태 전이 비율과 실세계의 NPC들의 상태 전이 비율, 일반적인 게임 NPC의 상태 전이 비율을 비교한다. 비교 결과, 구현된 NPC들의 상태 전이 비율은 실세계의 상태 전이 비율과 비슷함을 보인다. 이는 구현된 NPC들의 행동 패턴이 실세계의 늑대 사냥 행동 패턴과 유사함을 의미하는데, 이렇게 함으로써 플레이어에게 보다 증가된 사용자 경험을 제공할 수 있다.

• 한국광학회:학술대회논문집
• /
• 한국광학회 2000년도 제11회 정기총회 및 00년 동계학술발표회 논문집
• /
• pp.142-143
• /
• 2000

레이저는 입력을 증가시킴에 따라 레이저의 꺼짐 상태에서 레이저의 켜짐 상태로 전이한다. 그러나 그 전이 현상에 대해서는 아직 밝혀진 바가 없다. 이때까지 이 현상은 처음 자발전이의 빛이 점점 유도전이로 바뀌며 그 빛이 점점 세어져 레이저의 출력이 생기기 시작하고 이것이 레이저 입력의 증가에 따라 연속적으로 발전하는 것으로 알려져 왔다. 그러나 이러한 결과에 반대되는 결과들이 최근 밝혀지고 있다[1-2]. 그것은 이산화탄소 레이저에서 이득을 변조시키면 방전이 불안정해지고 그 결과 레이저의 출력도 불안정해 지는데 특히 발진 문턱 근처에서 레이저의 출력은 불규칙 적으로 레이저의 출력이 사라지는 현상이 생긴다는 것이다[1]. 또 다른 하나는 cw Nd:YAG 레이저를 아크 램프로 여기시켜 발진시키면 발진 문턱 근처에서 이 레이저의 출력도 불규칙적으로 레이저의 출력이 사라지는 것으로 나타난다[2]. 이 현상은 레이저의 입력을 증가시킴에 따라 레이저의 꺼짐 상태에서 발진 상태로 전이할 때 그 중간에 불규칙적인 레이저의 꺼짐 상태가 존재한다는 것이 된다. 이 현상이 비선형 동력학의 특이한 현상 중의 하나인 on-off 간헐성임[3]이 밝혀졌다. (중략)

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권11호
• /
• pp.701-704
• /
• 2008

일반 오토마톤은 다중 입력 전이를 허용하기에 과거 전이 경로가 필요한 경우에는 별도 작업이 필요하다. LR 오토마톤의 경우는 스택을 이용하여 과거 전이 경로를 저장한 후에 파싱 시에 이를 이용한다. 한편 과거 경로의 정보를 포함하도록 상태 구성이 가능한 경우에는 과거 정보 추적을 위한 오버헤드를 피할 수가 있다. 본 논문에서는 과거 전이에 의존하지 않는 단일 상태 파싱 오토마톤을 제안한다. 적용 가능한 문법 클래스는 LR 문법보다 작으나, 오토마톤의 상태가 과거 경로의 정보를 포함하기에 LR 오토마톤과 달리 파싱시에 과거 정보의 추적이 불필요하다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권1호
• /
• pp.19-26
• /
• 2013

소프트웨어 시스템의 안정성 및 품질을 향상시키기 위해서 상태 다이어그램을 기반으로 한 테스트 기법들과 상태 다이어그램 도출에 관한 연구들이 진행되고 있다. 기존의 연구들은 일부 상태와 전이를 변경하여 상태 다이어그램의 복잡도 문제를 해결하고 있다. 그러나 테스트 케이스 도출에는 상태와 전이를 유지하면서 상태 다이어그램을 도출하는 방법이 필요하며 복잡도를 낮추는 방법도 필요하다. 본 논문에서는 상태나 전이의 변경 없이 복잡도를 감소시키기 위해 STMT(State-Transition Mapping Tree) 방법을 제안한다. 제안한 방법은 기존의 표기법과 비교하였을 때 복잡도가 낮다는 결과를 얻을 수 있었으며 시스템이 복잡해질수록 기존 방식에 비해 복잡도 개선에서 이점을 보였다.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1998년도 제15회 음성통신 및 신호처리 워크샵(KSCSP 98 15권1호)
• /
• pp.419-424
• /
• 1998

담화 구조를 파악하기 위한 대표적인 방법으로 Litman과 Allen 의 계획 기법에 의한 것과 RDTN을 이용한 것을 들 수 있다. 그 중에서도 RDTN을 이용하여 대화의 흐름을 파악하려는 시도는 간단하며, 결정적이라는 장점이 있는 반면에 몇 가지 단점도 가지고 있다. RETN을 이용한 대화 분석의 가장 큰 단점은 정확히 분석된 화행을 입력으로 사용한다는 것이다. 즉, 현 상태에서 다음 상태로의 전이에 정의된 화행 이외의 화행이 입력으로 사용되면 분석을 실패하게 된다. 또 하나의 단점은 RDTN 이 어느정도 영역에 의존적인 특성을 보인다는 것이다. 본 논문에서는 이러한 확장성에 대한 문제점을 해결하고, 화행 분석의 어려움을 덜기 위해 신경망을 이용한 새로운 대화 전이망을 제안한다. 제안된 대화 전이 신경망은 지역적 대화 전이 신경망과 전역적 대화 전이 신경망은 이전의 두 발화와 현재 발화와의 관계를 살펴서 현재 발화가 이전 대화의 연속인지, 새로운 대화이 시작인지, 아니면 부대화의 시작인지를 결정하는 역할은 한다.전역적 대화전이 신경망은 담화 스택과의 상호 작용을 통해 담화의 전체구조를 살피고,전체 담화 구조에서 현재 발화가 어떤 역할을 하는지를 결정한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (3)
• /
• pp.379-381
• /
• 2002

인터넷이 급속도로 발전함에 따라 현재 사용하고 있는 IPv4 주소는 인터넷 초기 시절 무분별한 클래스 단위의 할당으로 주소가 고갈되고 있는 상태이며 인터넷 라우팅 시스템은 과부하 상태에 있다. 이에 따라 IPv4의 여러 문제점들에 대한 해결책을 연구하고 있으며 기존의 TCP／IP 프로토콜에 대한 수정 보완 작업 및 IPv4를 대체하는 방안으로 mobile IP, QoS, Security, multicast 등의 많은 프로토콜들이 추가되고 주소 공간 문제 등을 해결할 수 있는 IPv6 가 이슈화되고 있다. 그러나 가까운 시일 내에 모든 시스템들이 IPv4로부터 IPv6로 전이되는 것은 불가능하기 때문에 전반적이 IPv6 시스템이 구성될 때 까지 IPv4와 IPv6가 동시에 존재하게 되며 이들간의 통신을 위해서 IPv4／IPv6 전이 메커니즘은 필수 사항이다 따라서 본 논문에서는 현재까지 제안된 IP6 전이 메커니즘들 중 NAT-PT와 6to4 전이 메커니즘의 성능을 비교 분석하였다.

• 정보처리학회논문지D
• /
• 제13D권1호
• /
• pp.67-74
• /
• 2006

소프트웨어 개발 과정에서 보안 요구사항 식별은 그 중요성으로 최근에 관심이 주목되고 있다. 그러나 기존 방법들은 보안 요구사항 식별 방법과 절차가 명확하지 않았다. 본 논문에서는 소프트웨어 개발자가 보안 위협 위치의 상태전이도로부터 보안 요구사항을 식별하는 절차를 제안한다. 이과정은 상태전이도를 작성하는 부분과 어플리케이션 의존적인 보안 요구사항을 식별하는 부분으로 구성된다. 상태전이도 작성은 1) 공격자가 소프트웨어 취약성을 이용하여 자산을 공격한다는 것에 기반하여 기존에 발생했던 보안 실패 자료를 이용하여 소프트웨어의 취약성을 위협하는 위치를 식별하고, 2) 식별된 위협 위치에 해당하는 소프트웨어 취약성을 방어, 완화시킬 수 있는 상태전이도를 작성하는 과정으로 이루어진다. 어플리케이션 의존적인 보안 요구사항 식별과정은 1) 기능 요구사항을 분석 한 후, 위협 위치를 파악하고, 각 위협 위치 에 해당하는 상태전이도를 적용하고, 2) 상태전이도를 어플리케이션 의존적인 형태로 수정한 후, 3) 보안 요구사항 추출 규칙을 적용하여 보안요구사항을 작성하는 과정으로 구성된다. 제안한 방법은 소프트웨어 개발자가 소프트웨어 개발 초기에 모델을 적용하여 쉽게 보안 요구사항을 식별하는데 도움을 준다.

• 한국정보처리학회논문지
• /
• 제7권8호
• /
• pp.2430-2441
• /
• 2000

이해하기 쉽고, 병렬 동작을 표현할 수 있으며, 이식성이 좋은 시각 병렬 프로그래밍 환경인 ESTGVP가 설계, 구현된다. 이를 위해, 기존의 상태 전이 그래프를 동기식 혹은 비동기식 병렬 동작을 포함할 수 있도록 확장시킨 확장 상태 전이 그래프(ESTG)가 제안된다. ESTGVP는, 확장 상태 전이 그래프와 텍스트를 병용하고 있으며, 순차 및 병렬 프로그래밍 작업을 이해할 수 있다. Tcl로 설계 구현되어 있으므로, 다양한 운영체제 환경에서 실행할 수 있어 높은 이식성을 가지고 있다. ESTGVP에 있어서, 주 기능은 편집, 변환, 실행으로 구성되어지며, 필요시 C언어와 Tcl 언어로 변환될 수 있으며, 실행은 Tcl을 기반으로 이루어진다.