Thẩm định các thành phần của hệ thống lai thời gian thực kết nối đồng bộ dựa trên logic tính toán khoảng DC
Bài luận được tổ chức như sau: chương 1 đưa ra tổng quan vắn tắt về Phép Tính Toán Khoảng Có Lặp (DC*), Phép Tính Toán Khoảng Có Lặp Với Thời Gian Đơn Điệu Yếu (WDC*). Trong chương 2 chúng ta sẽ xem xét kết nối đồng bộ dựa trên ngôn ngữ thời gian thực, cho nó một ngữ nghĩa hình thức trong logic WDC*...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | Vietnamese |
| Published: |
Trường Đại học Công nghệ
2017
|
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/43407 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | Vietnamese |
| id |
oai:112.137.131.14:VNU_123-43407 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-434072018-07-11T05:25:50Z Thẩm định các thành phần của hệ thống lai thời gian thực kết nối đồng bộ dựa trên logic tính toán khoảng DC Lương, Thanh Hoài Đặng, Văn Hưng Bài luận được tổ chức như sau: chương 1 đưa ra tổng quan vắn tắt về Phép Tính Toán Khoảng Có Lặp (DC*), Phép Tính Toán Khoảng Có Lặp Với Thời Gian Đơn Điệu Yếu (WDC*). Trong chương 2 chúng ta sẽ xem xét kết nối đồng bộ dựa trên ngôn ngữ thời gian thực, cho nó một ngữ nghĩa hình thức trong logic WDC*, và công thức hóa những luật chứng minh có tính kết hợp. Chương 3 đưa ra thiết kế rời rạc. Như là một áp dụng, chương 4 đưa ra chương trình kiểm chứng cho bài toán thời gian thực ETCS. Cuối cùng là kết luận của bài luận và danh sách các tài liệu tham khảo. Electronic Resources 2017-05-17T08:21:01Z 2017-05-17T08:21:01Z 2010 Thesis Lương, T. H. (2010). Thẩm định các thành phần của hệ thống lai thời gian thực kết nối đồng bộ dựa trên logic tính toán khoảng DC. Luận văn thạc sỹ, Đại học Quốc gia Hà Nội, Việt Nam. V_L0_02861 http://repository.vnu.edu.vn/handle/VNU_123/43407 vi Luận văn Ngành Công nghệ thông tin (Full) Access limited to members Thư viện nhà C1T - 144 Xuân Thủy - Cầu Giấy - Hà Nội 39 tr. application/pdf Trường Đại học Công nghệ |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
Vietnamese |
| description |
Bài luận được tổ chức như sau: chương 1 đưa ra tổng quan vắn tắt về Phép Tính Toán Khoảng Có Lặp (DC*), Phép Tính Toán Khoảng Có Lặp Với Thời Gian Đơn Điệu Yếu (WDC*). Trong chương 2 chúng ta sẽ xem xét kết nối đồng bộ dựa trên ngôn ngữ thời gian thực, cho nó một ngữ nghĩa hình thức trong logic WDC*, và công thức hóa những luật chứng minh có tính kết hợp. Chương 3 đưa ra thiết kế rời rạc. Như là một áp dụng, chương 4 đưa ra chương trình kiểm chứng cho bài toán thời gian thực ETCS. Cuối cùng là kết luận của bài luận và danh sách các tài liệu tham khảo. |
| author2 |
Đặng, Văn Hưng |
| author_facet |
Đặng, Văn Hưng Lương, Thanh Hoài |
| format |
Theses and Dissertations |
| author |
Lương, Thanh Hoài |
| spellingShingle |
Lương, Thanh Hoài Thẩm định các thành phần của hệ thống lai thời gian thực kết nối đồng bộ dựa trên logic tính toán khoảng DC |
| author_sort |
Lương, Thanh Hoài |
| title |
Thẩm định các thành phần của hệ thống lai thời gian thực kết nối đồng bộ dựa trên logic tính toán khoảng DC |
| title_short |
Thẩm định các thành phần của hệ thống lai thời gian thực kết nối đồng bộ dựa trên logic tính toán khoảng DC |
| title_full |
Thẩm định các thành phần của hệ thống lai thời gian thực kết nối đồng bộ dựa trên logic tính toán khoảng DC |
| title_fullStr |
Thẩm định các thành phần của hệ thống lai thời gian thực kết nối đồng bộ dựa trên logic tính toán khoảng DC |
| title_full_unstemmed |
Thẩm định các thành phần của hệ thống lai thời gian thực kết nối đồng bộ dựa trên logic tính toán khoảng DC |
| title_sort |
thẩm định các thành phần của hệ thống lai thời gian thực kết nối đồng bộ dựa trên logic tính toán khoảng dc |
| publisher |
Trường Đại học Công nghệ |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/43407 |
| _version_ |
1680963065307201536 |