Đại số tiến trình thời gian thực và đặc tả hệ thống theo dõi thùng chứa xăng ngầm

0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Ngọc Bình Nguyễn, Thanh Phương Nguyễn

Ngôn ngữ: vie

Ký hiệu phân loại: 511.3 Mathematical logic (Symbolic logic)

Thông tin xuất bản: Kỷ yếu hội thảo khoa học quốc gia lần thứ nhất về nghiên cứu, phát triển và ứng dụng công nghệ thông tin và truyền thông, 2003

Mô tả vật lý:

Bộ sưu tập: Metadata

ID: 616361

Thêm vào giỏ

Trình bày về một số ký hiệu cốt lõi của Đại số tiến trình thời gian thực (Real-Time Process Algebra-RTPA) bao gồm các siêu tiến trình (meta-process) và các siêu quan hệ (meta-ralation), sau đó nêu đặc tả RTPA cho một ứng dụng nhúng sử dụng hệ điều hành thời gian thực. Đó là Hệ thống theo dõi thùng chứa xăng ngầm (Underground Tank Monitoring System - UTMS) được đưa ra để thể hiện các ưu điểm của RTPA trong đặc tả và làm mịn một hệ thống thời gian thực.

1. Đọc trực tuyến

1. Đọc trực tuyến

Tạo bộ sưu tập với mã QR