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: 73 trang
Dung lượng: 858 KB

Giới thiệu nội dung

Một Số Thuật Toán Đánh Giá Độ Tin Cậy Của Hệ Thống

Tác giả: ĐÀO TUẤN HIỆP

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

Nội dung tài liệu:

Luận văn Thạc sĩ Khoa học Máy tính này tập trung vào việc phân tích và đánh giá độ tin cậy của hệ thống. Tài liệu trình bày tổng quan về các khái niệm cơ bản, các yếu tố ảnh hưởng, các chỉ tiêu đánh giá độ tin cậy của hệ thống. Đặc biệt, luận văn đi sâu vào giới thiệu và phân tích một số thuật toán để đánh giá độ tin cậy, bao gồm các bài toán về tìm đường đi trong đồ thị hệ thống, tối thiểu hóa các toán tử logic, và xác định trực giao hóa các toán tử logic. Cuối cùng, luận văn đề cập đến bài toán thực nghiệm đánh giá hệ thống và các mô hình dự phòng nhằm nâng cao độ tin cậy.

Mục lục chi tiết:

  • Lời nói đầu
  • Chương 1: Tổng quan về độ tin cậy của hệ thống
    • 1.1. Khái niệm cơ bản về độ tin cậy
      • 1.1.1 Ý nghĩa độ tin cậy của hệ thống
      • 1.1.2 Định nghĩa độ tin cậy:
      • 1.1.3 Những yếu tố ảnh hưởng độ tin cậy.
    • 1.2 Các chỉ tiêu của độ tin cậy
      • 1.2.1 Phần tử không phục hồi
      • 1.2.2 Phần tử phục hồi
      • 1.2.3 Cường độ hỏng:
    • 1.3 Độ tin cậy hệ thống qua cấu trúc hệ thống
    • 1.4 Các biện pháp nâng cao độ tin cậy của hệ thống
      • 1.4.1 Phương pháp dự phòng nóng
      • 1.4.2 Phương pháp dự phòng lạnh.
      • 1.4.3 Phương pháp dự phòng hỗ hợp
      • 1.4.4 Phương pháp dự phòng tích cực:
    • 1.5. Kết luận.
  • Chương 2: Một số thuật toán đánh giá độ tin cậy
    • 2.1 Tổng quan về bài toán đánh giá độ tin cậy của hệ thống
    • 2.2 Bài toán tìm đường đi trong đồ thị hệ thống
      • 2.2.1 Một số khái niệm:
      • 2.2.2 Thuật toán tìm tất cả đường đi trong ma trận liên kết
      • 2.2.3 Thuật toán tìm tất cả đường đi trong ma trận liên kết trong lý thuyết đồ thị
      • 2.2.4 Kết luận.
    • 2.3 Bài toán tối thiểu các toán tử logic.
      • 2.3.1 Biến đổi đại số.
      • 2.3.2 Phương pháp tối thiểu hóa theo thuật toán
    • 2.4 Bài toán xác định trực giao hóa các toán tử logic
      • 2.4.1 Phương pháp giảm thiểu các hàm đại số logic đối với hình thức trực giao và trực giao không lặp.
      • 2.4.2 Các quy tắc chuyển đổi sang dạng xác suất trong dạng chuẩn tắc tuyển.
      • 2.4.3 Xây dựng chương trình trực giao hóa hàm đại số logic.
      • 2.4.4 Kết luận:
  • Chương 3: Bài toán thực nghiệm đánh giá hệ thống.
    • 3.1 Phát biểu bài toán
    • 3.2 Mô hình dự phòng nâng cao độ tin cậy
      • 3.2.1 Đặc tả hệ thống
      • 3.2.2 Mô hình bài toán dự phòng nhân đôi ( Duplicate):
    • 3.3 Kết luận:
  • Kết luận và hướng phát triển
    • 1. Kết luận
    • 2. Hướng phát triển
  • Tài liệu tham khảo