Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 8 trang
Dung lượng: 282 KB

Giới thiệu nội dung

Một Cách Tiếp Cận Hình Thức Trong Việc Mô Hình Hóa Tham Số Động Cho Bài Toán Kiểm Tra Tắc Nghẽn Trên Mạng Cảm Biến Không Dây

Tác giả: Lê Ngọc Kim Khánh

Lĩnh vực: Khoa học máy tính

Nội dung tài liệu:

Luận án này tập trung vào việc phát hiện tắc nghẽn trong mạng cảm biến không dây (Wireless Sensor Networks – WSNs) bằng phương pháp mô hình hóa hình thức (model-based). Nghiên cứu đề xuất các mô hình mạng cảm biến không dây sử dụng ngôn ngữ Petri Nets, bao gồm cả mô hình P/T Nets và Coloured Petri Net. Các mô hình này được thiết kế để phản ánh các thành phần của mạng như cảm biến và kênh truyền, cũng như các thuộc tính động như tham số độ tin cậy và xác suất tắc nghẽn. Luận án cũng trình bày các thuật toán để tăng tốc độ phát hiện tắc nghẽn, bao gồm kỹ thuật gom cụm và thuật toán tìm kiếm heuristic. Một công cụ có tên CODE-WSN đã được xây dựng để thực thi các mô hình và thuật toán đã đề xuất, nhằm kiểm tra sự tắc nghẽn trên mạng cảm biến không dây.

Mục lục chi tiết:

  • CHƯƠNG 1 GIỚI THIỆU
  • CHƯƠNG 2 MÔ HÌNH HÓA MẠNG CẢM BIẾN KHÔNG DÂY BẰNG NGÔN NGỮ PLACE/TRANSITION NETS
  • CHƯƠNG 3 TĂNG TỐC ĐỘ PHÁT HIỆN NGHẼN
  • CHƯƠNG 4 MÔ HÌNH HÓA MẠNG CẢM BIẾN KHÔNG DÂY BẰNG NGÔN NGỮ COLOURED PETRI NET
  • CHƯƠNG 5 MÔ HÌNH THAM SỐ ĐỘNG CHO MẠNG CẢM BIẾN KHÔNG DÂY VÀ XÁC SUẤT PHÁT HIỆN NGHẼN
  • CHƯƠNG 6 CÔNG CỤ CODE-WSN
  • CHƯƠNG 7 KẾT LUẬN