• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권1호
• /
• pp.55-59
• /
• 2010

현재 Ubiquitous Sensor Network(USN) 연구에 있어서 이동성 지원은 중요한 기술로써 인식되고 있다. 이러한 이동성 기술 중에서 Mobile IPv6(MIPv6)와 Network Mobility(NEMO) Basic Support Protocol은 IETF의 표준화된 프로토콜로써, 인터넷상에서 이동성을 지원하기 위한 핵심 기술이다. 그러나 USN에 MIPv6와 NEMO Protocol을 수정 없이 적용할 경우에는 바인딩 메시지의 크기로 인해 Handoff 성능이 저하되게 된다. 이를 해결하기 위한 NEMO Protocol의 경량화에 대한 기존 연구는 Sequence Num.의 호환성 문제가 발생하며, 바인딩 메시지의 압축을 6LoWPAN 네트워크 구성과 주소 할당 방식에 최적화하지 못하였다. 본 논문에서는 6LoWPAN의 노드 기반 이동성과 네트워크 기반 이동성을 고려한 최적의 압축기법을 제안한다. 노드 기반 이동성은 32bytes Binding Update(BU)와 12bytes Binding ACK(BA) 메시지를 13bytes와 3bytes로 압축하였으며, 네트워크 기반 이동성은 40bytes BU와 12bytes BA를 13bytes와 3bytes로 압축하였다. 이는 기존 연구보다 각각 15bytes(NEMO-BU)와 1bytes(NEMO-BA)만큼 더 압축시킨 성능으로써, 센서 이동성의 Handoff 성능을 8.72% 향상시켰다.

• 대한전자공학회논문지SP
• /
• 제41권6호
• /
• pp.253-260
• /
• 2004

본 논문에서는 정수 웨이블릿 변환(Integer Wavelet Transform)과 선형 예측(Linear Prediction)을 이용한 Hybrid 무손실 오디오 부호화 알고리즘을 제안하였다. 제안된 부호화기는 입력된 신호를 적당한 프레임으로 분할 후, 정수 웨이블릿 변환과 정수 예측기를 사용하여 입력된 오디오 신호내의 상관관계(Correlation)를 제거하였다. 그리고 신호내의 상관이 제거된 신호를 엔트로피 부호화(Entropy Coding) 하였다. 엔트로피 부호화기로는 정수 입력원의 특성에 따라 최적의 압축 효율을 갖는 옵션을 선택적으로 처리하는 Adaptive Golomb-Rice 부호화기법을 이용하였다. 제안된 부호화 방식은 모든 연산을 정수 연산으로 가능케 하므로 기존의 실수를 사용하는 연산과 비교하여 연산 속도의 개선과 시스템의 복잡성을 낮추어 고속처리 및 저전력화가 가능하다. 또한 각 프레임은 독립적으로 부호화되고, 부호화된 데이터는 프레임헤더와 바이트 단위로 정렬이 되도록 데이터 포맷을 설계하여, 압축 부호화된 데이터의 이동, 찾기, 편집이 편리하도록 하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• 한국정보처리학회논문지
• /
• 제6권1호
• /
• pp.182-192
• /
• 1999

동영상 압축 기술 및 디지털 신호처리 기술의 발전으로 인해 댁내의 가전 기기들이 점차 디지털화 되고 고속의 통신 기능이 탑재되는 정보 4 가전으로 발전하고 있다. 본 논문에서는 댁내의 정보 가전들 간에 경제적으로 ATM 기반의 고속 통신 기술을 제공하는 CHANCE(Cost-effective Home ATM network for the Consumer Electronics) 프로토콜을 제안하고서 망 관리 및 신호 방식 등을 포함한 세부 기능을 설계하였다. CHANCE 프로토콜은 트리형 구조를 가지며, ATM 셀의 헤더 필드만을 이용하여 플러그 앤 플레이 기능을 제공한다. 또한 기존의 ATM Warren 프로토콜이 소스 라우팅 기법을 이용하여 콘트롤러에서 각 디바이스로 제어정보를 전달하는 방식과는 달리, CHANCE 프로토콜은 스위치 및 디바이스의 식별자를 이용하므로 디바이스간에도 제어 정보를 교환할 수 있는 특징을 갖는다.