Đang tải... (xem toàn văn)
Ngày đăng: 09/01/2015, 08:54
Xem thêm: đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực luận án ts. đảm bảo toán học cho máy tính và các hệ thống tính toán, đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực luận án ts. đảm bảo toán học cho máy tính và các hệ thống tính toán, CHƯƠNG 1: CƠ SỞ DỮ LIỆU THỜI GIAN THỰC, 3 Các đặc điểm dữ liệu và giao tác của CSDL thời gian thực, 4 Điều khiển tương tranh thời gian thực, CHƯƠNG 2: LOGIC TÍNH TOÁN KHOẢNG, CHƯƠNG 3: MÔ HÌNH HÌNH THỨC CỦA HỆ THỐNG CƠ SỞ DỮ LIỆU THỜI GIAN THỰC TRONG LOGIC TÍNH TOÁN KHOẢNG, 1 Mô hình cơ sở, 2 Mô hình tiến hành, 3 Các điều kiện đúng cho thực hiện song song của hê thống giao tác, CHƯƠNG 4: ĐẶC TẢ, KIỂM CHỨNG HÌNH THỨC GIAO THỨC ĐIỀU KHIỂN TƯƠNG TRANH VÀ ỨNG DỤNG TRONG CƠ SỞ DỮ LIỆU THỜI GIAN THỰC, 3 Kiểm chứng hình thức giao thức R/WPCP, 5 Ứng dụng hệ thống cơ sở dữ liệu thời gian thực trong hệ thống điều khiển giao thông hàng không, TÀI LIỆU THAM KHẢO