Một số ứng dụng của vết và nửa vết trong điều khiển tương tranh
Nghiên cứu phát triển các phương pháp biến đổi các quá trình tuần tự thành các quá trình tương tranh để xây dựng hành vi tương tranh cho hệ mạng hợp thành. Hành vi này sẽ bao gồm các quá trình tương tranh với các bước tương tranh cực đại và được xây dựng trực tiếp từ các hành vi tuần tự của các hệ m...
সংরক্ষণ করুন:
| প্রধান লেখক: | , , |
|---|---|
| বিন্যাস: | Bài viết |
| ভাষা: | Vietnamese |
| প্রকাশিত: |
Đại học Quốc gia Hà Nội
2015
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/56905 |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| সংক্ষিপ্ত: | Nghiên cứu phát triển các phương pháp biến đổi các quá trình tuần tự thành các quá trình tương tranh để xây dựng hành vi tương tranh cho hệ mạng hợp thành. Hành vi này sẽ bao gồm các quá trình tương tranh với các bước tương tranh cực đại và được xây dựng trực tiếp từ các hành vi tuần tự của các hệ mạng thành viên. Phát triển lý thuyết nửa vết để áp dụng cho các hệ thống mà tính độc lập của biến cố mang tính cục bộ địa phương. Xây dựng mối quan hệ giữa vết (trace) và nửa vết (semitrace), biểu diễn ngữ nghĩa nửa vết cho các hệ phân tán. Xây dựng thuật toán điều khiển tương tranh dựa trên đối sánh trên nửa vết cho một số hệ thống phân tán. |
|---|