• 한국통신학회논문지
• /
• 제29권5C호
• /
• pp.654-654
• /
• 2004

본 논문에서는 이산웨이블렛 변환을 이용한 영상 압축 프로세서를 하드웨어로 구현하였다. 웨이블렛 변환을 위하여 필터뱅크 및 피라미드 알고리즘을 이용하였고 각 필터들은 FIR 필터로 구현하였다. 병렬구조로 이루어져 동일 클럭 싸이클에서 하이패스와 로패스를 동시에 수행함으로써 속도를 향상시킬 뿐 아니라 QMF 특성을 이용하여 DWT 연산에 필요한 승산기의 수를 절반으로 줄임으로써 하드웨어 크기를 줄이고 이용효율 또한 높일 수 있다. 다중 해상도 분해 시 필요한 메모리 컨트롤러를 하드웨어로 구현하여 DWT 계산이 수행되므로 이 융자는 단순한 파라메터 입력만으로 효과적인 압축율을 얻을 수 있도록 구조적으로 설계하였다. 실시간 영상압축 프로세서의 성능 예측을 위하여 MATLAB을 통하여 시뮬레이션 하였고, VHDL을 이용하여 각 모듈들을 설계하였다. 설계한 영상압축기는 Leonaro-Spectrum에서 합성하였고, ALTERA FLEX10KE(EPF10K100 EFC256) FPGA에 이식하여 하드웨어적으로 동작을 검증하였다. 설계된 부호화기는 512×512 Woman 영상에 대하여 33㏈의 PSNR값을 갖는다. 그리고 설계된 프로세서를 FPGA 구현 시 35㎒에서 정상적으로 동작한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2017년도 학술발표회
• /
• pp.290-290
• /
• 2017

본 연구는 안정하도 설계를 위해 대상구간으로 원주천 16 km, 20개 횡단면에 대하여 SCAD(Stable Channel Analysis Design)를 이용한 안정하폭 평가를 실시하였다. 안정하폭은 하폭이 증가와 감소로 20%의 허용범위를 적용하였다. 안정하폭의 설계와 물리서식처의 개선을 위해 저수로 폭의 최적 설계를 제시하기 위해 유전자알고리즘을 이용하였다. 물리서식처 개선은 원주천의 하천환경조사와 어류의 군집특성을 이용하여 수중생태계를 대표 할 수 있는 복원 목표어종으로 참갈겨니를 선택하였다. 참갈겨니의 서식적합지수 (HSI, Habitat Suitability Index)를 사용한 서식 적합도 분석은 River2D 모형을 이용하였다. 그에 따라 안정하도 설계와 물리서식처의 개선을 위한 각 단면의 최적 저수로 폭을 제시하였다. 개선된 하천구조에 대한 물리적 교란개선 평가를 실시하였다. 대산구간을 40개 구간으로 분할하여 각 구간의 물리적 교란개선 평가를 수행하여 안정하도 설계와 물리서식처 개선을 위한 하천구조의 개선에 따른 물리적 교란 양상을 평가 분석하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.310-312
• /
• 2003

다중 쓰레드를 지원하는 실시간 운영체제 스케줄러의 time partitioning 속성을 프로세스 알제브라 언어인 ACSR을 이용하여 분석한다. 본 논문에서는 먼저 실시간 운영체제의 전반적인 스케줄러 동작에 대한 ACSR 모델을 작성하고, 이를 두 가지 시나리오에 대해 분석한다. 이러한 방법을 사용함으로써 실시간 시스템의 설계 및 구현 작업을 보다 쉽고 정확하게 수행할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.52-55
• /
• 2002

객체 지향 설계 방법론은 현재 소프트웨어 개발에 널리 사용되고 있지만 내장형 실시간 시스템에는 적합한 스케줄링 기법이 존재하지 않기 때문에 제한적으로만 적용되어 왔다. 선점 임계 스케줄링(preeption threshold scheduling: PTS)은 비선점성을 최대한 이용하여 다중 태스킹의 부하를 줄이기 위한 제안되었다. PTS는 전통적인 스케줄링 기법을 대신하여 실시간 객체지향 설계에 사용되기에 적합하나. 이를 위해서는 실시간 동기화의 문제가 해결되어야 한다. 본 논문에서는 PTS를 위한 실시간 동기화의 필수적인 기반을 제시한다. 구체적으로 PTS를 위한 기본 우선순위 계승 프로토콜과 우선순위 실링(ceiling) 프로토콜을 제시한다. 제시된 동기화 기법은 유효 우선순위의 개념을 사용하여 우선순위를 계승하도록 하며, 선점 임계 실링 대신 우선순위 실링을 사용한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.58-60
• /
• 2002

실시간 운영 체제(Real-Time Operating System)는 특정 태스크가 정해진 시간 안에 수행될 수 있도록 시간 결정성(Determinism)을 보장하는 운영 체제이다. 실시간 운영테제는 멀티태스킹(Multitasking) 및 ITC(InterTask Communication 혹은 IPC, Interprocess Communication)을 제공한다는 점에서는 일반 운영체제인 Unix$^{TM}$, Linux$^{TM}$, Windows$^{TM}$ 등과 같지만, 시간 결정성을 보장한다는 점에서 일반 운영 체제와 다르다. 또만 실시간 운영 체제를 포함한 임베디드 시스템(Embedded System)은 일반적으로 디지털 카메라, 디지털 TV, DVD 등에서 수행되므로 실행 이미지(Image) 크기가 작아야 한다. 본 논문에서는 실시간 운영체제의 실행 이미지를 줄이면서 시간 결정성을 보장한 수 있도록 메모리 관리 체계를 설계하고 구현한 내용을 설명한다.

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

나날이 증가하는 해킹의 위협에 따라 이를 방어하기 위한 침임 탐지 시스템과 로그 수집 분야에서 많은 연구가 진행되고 있다. 이러한 연구들로 인해 다양한 종류의 침임 탐지 시스템이 생겨났으며, 이는 다양한 종류의 침입 탐지 시스템에서 서로의 단점을 보안할 필요성이 생기게 되었다. 따라서 본 논문에서는 네트워크 기반인 NIDS(Network-based IDS)와 호스트 기반인 HIDS(Host-based IDS)의 장단점을 가진 Hybrid IDS을 구성하기 위해 NIDS와 HIDS의 로그 데이터 통합을 위해 실시간 로그 처리에 특화된 Kafka를 이용하고, 실시간 분석에 Spark Streaming을 이용하여 통합된 로그를 분석하게 되며, 실시간 전송 도중에 발생되는 데이터 유실에 대해 별도로 저장되는 Hadoop의 HDFS에서는 데이터 유실에 대한 보장을 하는 실시간 Hybrid IDS 분석 시스템에 대한 설계를 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
• /
• pp.295-297
• /
• 2000

현재까지 인터넷상에서 텍스트와 이미지를 이용하여 정보를 표현하고 전달하는 방법이 가장 많이 사용되고 있다. 그러나 웹 관련 기술의 비약적인 발달과 네트워크 속도의 증가 및 인터넷의 급속한 보급으로 단순한 텍스트와 이미지 중심의 HTML 문서를 이용한 정보의 전달이 아닌 멀티미디어 데이터를 이용한 정보의 표현과 전달이 점차 증대되고 있다. 최근에는 개인용 컴퓨터의 성능 증가와 초고속 통신 서비스의 보급에 의해 멀티미디어 데이터의 전송이 가능하게 됨으로써 기존의 공중파나 CATV 방송국의 형태 지니고 인터넷상에서 실시간 방송/VOD(Video On Demand) 서비스를 제공하는 인터넷 방송국이 급속하게 생겨나고 있다. 인터넷 방송은 동영상과 오디오의 실시간 전달을 가능하게 하는 멀티미디어 스트리밍 기술과 실시간 전송 프로토콜인 RTP/RTCP를 기반으로 발전하고 있다. 본 논문은 멀티미디어 스트리밍과 실시간 전송 프로토콜을 지원하고, 자바를 기반으로 한 실시간 방송/VOD 서비스를 제공하는 멀티미디어 스트리밍 시스템을 설계하고 구현한다.

• 정보처리학회지
• /
• 제5권4호
• /
• pp.61-66
• /
• 1998

원자성 완료 프로토콜은 기본적으로 일반적인 분산 시스템 내에서 트랜잭션들 사이의 원자성 및 일치성을 보장하기 위한 프로토콜이다. 이러한 프로토콜은 분산 트랙잭션 처리 과정 중에서 고장이 발생된 경우에 신뢰성 있게 진행이 될 수 있는 방안ㄷ르을 제시하고 있다 즉 원자성 완료 프로토콜은 분산 처리 과정에서 발생되는 각종 오류 발생에 대하여 신뢰성 있는 진행이 이루어지도록 지원하여 준다 그러나 일반적인 원자성 완료 프로토콜들을 실시간 시스템에서 요구하는 시간적인 요구 조건들은 고려하지 않고 설계되었다 예를 들어 두 단계 완료 프로토콜에서는 트랜잭션이 지연되는 문제가 발생될수 있다 또한 삼단계 완료 프로토콜에서는 빠른 처리가 이루어져야 하는 실시간 시스템의 기본조건을 무시하고 있는 프로토콜이다. 따라서 실시간 시스템에 유용한 원자성 완료 프로토콜은 단순히 원자성과 일치성만을 보장하는 것이 아니라 시간적인 제약조건도 만족할 수 있도록 설계되어야 한다 본 논문에서는 실시간 분산 시스템을 위한 원자성 완료 프로토콜에 대하여 기술한다.

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

본 논문에서는 Sun의 JMF(Java Media Framework)를 이용하여 웹 기반 실시간 스트리밍 시스템의 설계 및 구현을 제시한다. 웹 기반 실시간 스트리밍 시스템 구현은 미디어 소스의 채택 부분에서 볼 때 크게 두 부분으로 나누어질 수 있는데, 첫 번째는 서버 측의 로컬 파일 시스템에서 미디어를 읽어오는 On-Demand 형식의 PULL 방식과 두 번째는 캡처된 영상 또는 음성을 RTP를 이용하여 실시간 처리할 수 있는 PUSH 방식을 들 수 있다. PULL 방식의 경우, 미디어파일들을 DB화시켜 JDBC를 이용하여 On-Demand 재생을 구성할 수 있으며, PUSH 방식의 경우, 각종 캡쳐 장비를 이용하여 얻은 미디어 소스를 RTP 송신하여 실시간 미디어 재생을 구성할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.489-491
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.