1. Trang chủ
  2. Luận Văn - Báo Cáo

Một số phương pháp kiểm chứng tính đúng đắn của hệ thời gian thực bằng thuật toán

129 620 1
Một số phương pháp kiểm chứng tính đúng đắn của hệ thời gian thực bằng thuật toán

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

. Thái một số phương pháp kiểm chứng tính đúng đắn của hệ thời gian thực bằng thuật toán Chuyên ngành : Đảm bảo toán học cho máy tính và các hệ thống tính toán Mã số : 1.01.10 luận án tiến sĩ toán. là kiểm chứng mô hình cổ điển để phân biệt với hướng kiểm chứng mô hình thời gian thực sau này. Kiểm chứng mô hình với hệ thời gian thực Hệ thời gian thực là các hệ thống mà tính đúng đắn của. công nghệ Phạm Hồng Thái một số phương pháp kiểm chứng tính đúng đắn của hệ thời gian thực bằng thuật toán luận án tiến sĩ toán học Hà Nội - 2005 đại học quốc gia hà nội trường đại học công nghệ Phạm

Ngày đăng: 25/03/2015, 09:53

Xem thêm: Một số phương pháp kiểm chứng tính đúng đắn của hệ thời gian thực bằng thuật toán, Một số phương pháp kiểm chứng tính đúng đắn của hệ thời gian thực bằng thuật toán, Chương 1 Kiểm chứng mô hình và hệ thời gian thực, 1 Đặc tả và kiểm tra hệ thống, 2 Kiểm chứng mô hình, 3 Mục đích và kết quả của luận án, Chương 2 Đặc tả hệ thống và tính chất, 1 Mô hình thời gian, Chương 3 Kiểm chứng mô hình với kỹ thuật qui hoạch tuyến tính, 1 Biểu thức chính quy thời gian và bài toán qui hoạch tuyến tính, 2 Chuyển TRE về hợp của các TRE hữu hạn, 3 Các công trình liên quan và nhận xét về phương pháp, Chương 4 Kỹ thuật rời rạc hoá và duyệt đồ thị đạt được, 1 Tính rời rạc hoá được và đồ thị vùng nguyên, 2 Kiểm chứng công thức LDP, 3 Kiểm chứng công thức LDI, Tài liệu tham khảo

Từ khóa liên quan

Mục lục

  • Mục lục

  • Danh mục từ viết tắt

  • Danh mục bảng và thuật toán

  • Danh mục hình vẽ

  • Chương 1 Kiểm chứng mô hình và hệ thời gian thực

  • 1.1 Đặc tả và kiểm tra hệ thống

  • 1.2 Kiểm chứng mô hình

  • 1.3 Mục đích và kết quả của luận án

  • Chương 2 Đặc tả hệ thống và tính chất

  • 2.1 Mô hình thời gian

  • 2.1.1 Thể hiện đồng hồ và ràng buộc thời gian

  • 2.1.2 Kỹ thuật phân vùng đồng hồ

  • 2.2 Ôtômat thời gian

  • 2.2.1 Cú pháp và ngữ nghĩa

  • 2.2.2 Đường chạy và dáng điệu của ôtômat thời gian

  • 2.2.3 Hợp song song của các ôtômat thời gian

  • 2.3 Lôgic khoảng

  • 2.3.1 Mô hình trong Lôgic khoảng

  • 2.3.2 Công thức khoảng và bài toán kiểm chứng mô hình

  • Chương 3 Kiểm chứng mô hình với kỹ thuật qui hoạch tuyến tính

Trích đoạn

Một mô hình của DC

Một dáng điệu của hệ chắn tàu

Một trường hợp nguyên hoá mô hình σ với =b và e= e

thịtrọng số G phục vụ kiểm chứng LDP

thịtrọng số G từ đồ thịvùng đạt được RG

Đường đi trong đồ thịtrọng số G

Thuật toán kiểm chứng LDI tổng quát

Ôtômat đạt được của hệ chắn tàu

Tài liệu cùng người dùng

Tài liệu liên quan