Đang tải... (xem toàn văn)
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