Luận Án Tiến Sĩ Mô Hình Hóa Và Đặc Tả Hình Thức Các Giao Diện Thành Phần Có Chứa Chất Lượng Dịch Vụ Và Tính Tương

Mô Hình Hóa Và Đặc Tả Hình Thức Các Giao Diện Thành Phần Có Chứa Chất Lượng Dịch Vụ Và Tính Tương Tranh​

Luận án đề xuất lý thuyết Vết thời gian để hỗ trợ đặc tả các ràng buộc về thời gian trên các hệ thống tương tranh có ràng buộc thời gian. Vết thời gian là một sự mở rộng về thời gian của Vết Mazurkiewicz bằng việc bổ sung vào Vết Mazurkiewicz một hàm gán nhãn thời gian. Với việc mở rộng này, Vết thời gian có thể dễ dàng đặc tả các hành vi của hệ thống tương tranh có ràng buộc thời gian. Trong lý thuyết này, luận án còn đề xuất khái niệm Vết khoảng. Vết khoảng là các Vết Mazurkiewicz mà mỗi ký hiệu (hành động) trong bảng chữ cái phụ thuộc được gán một ràng buộc là một khoảng thời gian.

• Luận án tiến sĩ tin học
• Chuyên ngành Kỹ thuật phần mềm
• Người hướng dẫn khoa học: TS. Đặng Văn Hưng, PGS.TS. Nguyễn Việt Hà
• Tác giả: Đỗ Văn Chiểu
• Số trang: 135
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Quốc gia Hà Nội 2016

Link Download
https://vnu.edu.vn/ttsk/?C1667/N18795/Thong-tin-LATS-cua-NCS-do-Van-Chieu.htm
https://drive.google.com/uc?id=1dwFdHiTIv-dVZeCxcCEG1GNNvCD397Ve
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1