대학원 교과과정

 
여러 가지 고급 프로그래밍 언어들의 설계 개념과 구현기법, 그 특징들을 실존하는 프로그래밍 언어들을 가지고 예를 들어가며 설명한다. 또한 이런 기본 개념들을 컴퓨터에서 이용되는 자료, 이 자료들을 다루는데 필요한 연산, 순서제어, 자료제어, 기억장소 할당 등에 관해 연구한다.
 
소프트웨어 생명 주기, 형식적 표현과 설계, 증명 신뢰성 분석 등과 같은 소프트웨어 시스템의 단계적 개발을 위한 기본 원리와 형식적 방법을 알아보고 요구 명시와 분석, 모듈 지정, 3설계, 통합, 증명과 타당성 조사와 유지 및 계획 관리 등에 대한 효율적인 기법을 연구한다.
 
운영체제의 형태와 구조에 관한 연구: Concurrent Programming, Semaphore를 이용한 동기화, Monitor, 메시지 전달, Deadlock 등의 기본 개념을 연구하고 간단한 OS를 실제로 구현해 본다.
 
컴퓨터 구조와 설계 원리에 관하여 강의하며,특히 최근 컴퓨터시스템의 고성능화를 위하여 사용되는 고속 상호연결망 구조, 프로세서 구조 및 병렬처리 기법을 분석한다. 또한 슈퍼컴퓨터의 설계 개념인 슈퍼파이프라이닝 및 체이닝 조직의 리를 분석하고 실제 시스템의 구조를 연구한다.
 
분산 운영체제의 특징과 Process들간의 Communication, Remote Procedure Call, Resource Management, Fault Tolerance, Protection과 Security, Real Time Scheduling, Deadlock, Work Load Sharing 등에 관해 연구한다.
 
분산 컴퓨터 통신을 설계하고 평가하며 사례 연구를 통해 용량 배정 집중과 Buffering, 망위상 설계 경로 설정, 접근 기법, 선 제어 등과 같은 설계 문제 등을 기술하고, 평가하기 위한 적절한 Queueing 모델이나 기타 모델을 개발한다.
 
자동정보 조직과 추출을 소개하고 사전구성과 통계와 구문론적 운용, 추출 시스템의 성능평가, 질의어 설계, 데이터 베이스 시스템의 모델과 데이터 베이스 보안에 대해 연구한다.
 
인공지능의 목적, Cognitive Process에 대한 설명, 지시 표상, Cognitive Behavior와 Simulation, Game-Playing와 General-Problem Solving Theorem Proving, Computer Vision, 자연어 처리 등에 대해 연구한다.
 
Computer를 이용한 자연언어들 간의 번역기법 및 그 언어구조의 이해를 돕기 위해 언어구조의 Parsing, 기억장치상의 표현에 관해 살펴보며 자연언어 처리 기술, 언어의 개념적 종속성, 간섭 문제 등에 대하여 연구한다.
 
연산지능(Computational Intelligence)의 한 분야인 신경회로망의 기초 개념과 이론적 알고리즘, 그리고 응용분야에 대한 소개와 Case Study에 대하여 연구한다.
 
Computer를 활용한 수치적 형태 수학-비선형 방정식 해법, 근사 함수론, 수치적 미분적분법, 상미분 방정식 등에 관해 살펴보고 그 이론을 바탕으로 구현해보며 그에 따른 오차 및 error 분석을 통해 수치적 소프트웨어의 발전을 도모한다.
 
어떤 시스템을 실제로 구축하기 전에 그 시스템에 대한 합당성 여부와 최적화 방법에 대해 연구하고, Computer Science 분야에 있어서 합리적인 Simulation 문제에 대한 Model 과 Program 작성, 디버그, 타당성을 작업을 통해 확인하며 그 확인을 통해 Language Flexibility도 느껴 본다. 아울러 Simulation 방법론으로서 특정 Package(GPSS, SIMSCRIPT, SIMULA)에 관해 서도 살펴본다.
 
디지털신호의 입력 및 처리 기술에 관한 기본 이론인 샘플링이론, z-변환, DFT, FFT에 대하여 공부하고, 디지털 필터 설계와 DSP 칩 구조 및 설계 기술에 관하여 연구한다.
 
음성신호의 통계적 특성, 모델링 및 분석, 음성 신호의 부호화, 음성인식 및 음성합성 기술에 관하여 연구한다.
 
디지털 통신의 정보이론, 채널 특성 및 용량, 변복조 기술, 채널 코딩 기술 등에 대하여 연구한다.
 
주파수 대역에 따른 전파 특성, 에러정정 부호 기술, 대역확산 기법, 셀룰러 기반 디지털 이동 통신 시스템 및 프로토콜에 관하여 연구한다.
 

 
전산학 분야의 전공 영역별 석사과정 개별연구를 지도한다.
 
전산학 분야의 전공 영역별 석사과정 개별연구를 지도한다.
 
전산학 분야의 전공 영역별 석사과정 개별연구를 지도한다.
 

 

 

 
적응 알고리듬의 개요, gradient 탐색 및 LMS알고리즘, RLS, Lattice, Gram-schmdt 적응디지털 필터에 대해 살펴보고 비선형 적응필터, 적응 디지털 필터응용분야를 알아본다.
 
DSP chip의 기본 구조, 기본 명령어, 고급 명령어를 살펴보고, 실제 DSP 칩을 사용하여 연구과제를 구현함으로써 시스템 프로그래밍 작성 및 분석 능력을 실험적으로 경험한다.
 

 

 

 
차세대 정보화 기반기술인 MPEG-4, MPEG-7 등의 국제 표준화에서 검증된 동영상 처리 기법들에 과한 소개와 그 응용 분야에 대하여 연구한다.
 

 

 
전산학에 관련된 최근의 기술 동향을 소개한다.
 
전산학에 관련된 최근의 기술 동향을 소개한다.
 
전산학에 관련된 최근의 기술 동향을 소개한다.
 
전산학에 관련된 최근의 기술 동향을 소개한다.
 

 
프로그래밍 언어에 대한 기본 개념들을 간략하게 소개 하고 의미론적인 측면임 Binding rule Scoping, 추상성과 확장성의 운용과 외연적 의미특징 등을, 설계와 수행 문제에 있어서는 고급언어에 중점을 두어 데이터의 표현, 제어장치, 코드표현 등의 중요 주제들에 대해 연구한다.
 
Array processor architecture, multiprocessor architecture 등 병렬처리 컴퓨터의 구조와 병렬수행 프로그래밍 기법, 파이프라인과 벡터 프로세싱 등의 이론적인 개념을 공부하고, 실제 연구 및 구현되고 있는 병렬처리시스템들에 관한 세미나와 사례 연구를 수행한다.
 
컴퓨터망의 계층적 구조, 스위칭 기법, 접근기법, 흐름제어, 과잉밀집제어, 자원할당, 망관리 등과 관련된 문제들에 대한 세미나를 통해 이론적인 고찰과 시스템의 성능에 대한 분석 및 개선에 관해 연구한다.
 
관용 암호화 방식, 공개키 암호화 방식, 키 분배 방식 등과 같은 정보 보호 기법에 대해서 연구하고, 인터넷에 적용하는 방식에 대해 분석한다.
 
다양한 분야의 데이터베이스 시스템 응용분야에 대한 구체적인 사례를 통해 효과적인 데이터 베이스 시스템의 설계 및 구축에 관해 연구한다. 특히 하이퍼텍스트 기술의 응용에 관하여 제기되는 주요 주제들에 대하여 세미나를 통해 연구한다.
 
자연언어의 현상을 이해하고 언어의 형식화를 바탕으로 컴퓨터로 응용 할 수 있는 언어 문법을 이해, 고안하며 언어구조를 파악하는 적절한 처리 방법을 연구한다.
 
인공지능분야 중에서 특정분야들에 대하여 심도 있는 세미나형태의 강의 및 토의로 진행한다.
 
인공지능의 중요 응용분야로 각광받고 있는 퍼지이론에 대한 강의와 세미나를 통해 퍼지 함수를 이용한 응용시스템의 개발에 관련된 문제들을 연구한다.
 
음성을 인식하기 위한 Mechanism과 이에 사용되는 방법들을 강의와 세미나를 통해 연구한다.
 
시뮬레이션에 대한 소개 및 Queueing이론과 Stochastic Process에 대한 고찰을 통하여 Random Number의 변이와 생성, 시뮬레이션 모델의 설계 및 분석, 실험 결과에 대한 분석과 평가 방법론 등을 연구한다.
 

 
실시간시스템의 구현 및 응용 사례를 조사하고 분석하며, 실시간 운영체제와 외부장치 인터페이스를 설계하고 성능을 최적화하는 기법을 연구한다.
 

 
전산학 분야의 전공 영역별 박사과정 개별연구를 지도한다.
 
전산학 분야의 전공 영역별 박사과정 개별연구를 지도한다.
 
전산학 분야의 전공 영역별 박사과정 개별연구를 지도한다.