TAILIEUCHUNG - Tóm tắt Luận án Tiến sĩ ngành Công nghệ thông tin: 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 trình bày nội dung tóm tắt các nghiên cứu nền tảng cho các nghiên cứu tiếp theo của luận án, đưa ra lý thuyết vết thời gian dựa trên vết Mazurkiewicz, trình bày một ứng dụng của lý thuyết vết trong việc mô hình hóa hệ thống tương tranh thời gian thực dựa trên việc sử dụng vết thời gian cho đặc tả các thể thức giao diện thành phần được mở rộng từ lý thuyết rCOS,. Để biết rõ hơn về nội dung chi tiết, . | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ ĐỖ VĂN CHIỂU 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 TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN Hà Nội – 2014 Công trình được hoàn thành tại khoa Công nghệ Thông tin, Trường Đại học Công nghệ , Đại học Quốc Gia Hà Nội. Người hướng dẫn khoa học: TS. Đặng Văn Hưng . Nguyễn Việt Hà Phản biện 1: Phản biện 2: Phản biện 3: Có thể tìm hiểu luận án tại: - Thư viện Quốc gia Việt Nam - Trung tâm Thông tin – Thư viện, Đại học Quốc gia Hà Nội Chương 1 Giới thiệu Giới thiệu Trong luận án này, chúng tôi tập trung nghiên cứu đề xuất phương pháp hình thức hỗ trợ mô hình hóa và đặc tả các giao diện thành phần có chứa các ràng buộc thời gian và tính tương tranh và xây dựng ứng dụng. Ý tưởng cơ bản của phương pháp đề xuất trong luận án là mở rộng về thời gian trên vết Marzukiewicz. Kết quả của mở rộng này là đưa ra lý thuyết về vết thời gian, ô-tô-mát đoán nhận ngôn ngữ vết và logic đặc tả thuộc tính vết cũng như mối quan hệ giữa chúng. Để chứng minh tính hiệu quả của phương pháp đề xuất, chúng tôi áp dụng lý thuyết này mở rộng một số mô hình thiết kế hệ thống hướng thành phần để hỗ trợ đặc tả các thuộc tính tương tranh có các ràng buộc thời gian. Thứ nhất, chúng tôi đề xuất một phương pháp hình thức cho đặc tả các hệ thống tương tranh thời gian thực hướng thành phần dựa trên mô hình của lý thuyết rCOS. Thứ hai, luận án đề xuất mở rộng mô hình thiết kế dựa trên giao diện cho các hệ tương tranh có ràng buộc thời gian bằng các ô-tô-mát giao diện tương tranh thời gian. Thứ ba, luận án đã xây dựng một ứng dụng của vết thời gian hỗ trợ đặc tả và kiểm chứng cho một hệ thống phân tán. Các kết quả trong luận án đã được minh chứng qua các công trình đã được xuất bản và có ý nghĩa lớn trong việc nghiên cứu, sử dụng để đặc tả các hệ có ràng buộc thời gian và tương tranh. Bố cục của luận án Dựa trên các mục tiêu và đối tượng nghiên cứu,

• Thạc sĩ - Tiến sĩ - Cao học
• Tóm tắt Luận án Tiến sĩ
• Luận án Tiến sĩ
• Luận án Tiến sĩ ngành Công nghệ thông tin
• Lý thuyết vết
• Lý thuyết Vết thời gian
• Hệ phân tán
• Dự thảo tóm tắt Luận án Tiến sĩ
• Luận án Tiến sĩ Hóa học
• Luận án Tiến sĩ ngành Hóa phân tích
• Nguyên tố độc hại cho môi trường
• Luận án Tiến sĩ Sinh học
• Luận án Tiến sĩ ngành Di truyền học
• Phân tích ADN
• Tế bào phôi thai tự do trong máu mẹ
• Luận án Tiến sĩ ngành Thực vật học
• Bảo tồn tài nguyên cây thuốc
• Ti nguyên cây thuốc tỉnh Thái Nguyên
• Luận án Tiến sĩ ngành Vi sinh vật học
• Xử lý chất thải hữu cơ
• Luận án Tiến sĩ ngành Hóa sinh học
• Bệnh đốm trắng ở tôm
• Luận án Tiến sĩ Toán học
• Luận án Tiến sĩ ngành Toán ứng dụng
• Phương pháp giải hệ phương trình toán tử
• Luận án Tiến sĩ ngành Hóa vô cơ
• Phức chất hỗn hợp kim loại
• Luận án Tiến sĩ Địạ lí
• Luận án Tiến sĩ ngành Địa lí tự nhiên
• Phát triển nông lâm nghiệp
• Cảnh quan miền núi
• Luận án Tiến sĩ ngành Hóa dầu
• Hệ nhũ tương
• Sự lắng đọng parafin
• Luận Án Tiến sĩ ngành Côn trùng học
• Bộ Phù du
• Bộ Cánh úp
• Bộ Cánh lông
• Luận Án Tiến sĩ ngành Sinh thái học
• Hệ sinh thái hồ Tây
• Sự chu chuyển của asen
• Luận Án Tiến sĩ ngành Hóa hữu cơ
• Loài thực vật thuộc họ rau răm
• Phương trình sai phân phi tuyến
• Tóm tắt dự thảo Luận án Tiến sĩ
• Luận án Tiến sĩ ngành Hóa môi trường
• Phương pháp vi chiết mao quản hở
• Luận án Tiến sĩ Vật lý
• Luận án Tiến sĩ ngành Vật lý địa cầu
• Spread F xích đạo
• Nghiên cứu giám định gen
• Nghiên cứu dân tộc học
• Luận án Tiến sĩ ngành Vi sinh vật
• Nghiên cứu sản xuất vaccine
• Dịch tễ học bệnh than
• Loài thực vật thuộc họ thầu dầu
• Loài thực vật thuộc chi ba bét
• Chất lượng xơ ở cây bông
• Phương pháp lắng đọng hơi hóa học
• Màng mỏng oxit bán dẫn
• Nguyên tố đất hiếm
• Luận án Tiến sĩ ngành Vật lý chất rắn
• Công nghệ chế tạo microlaser
• Tóm tắt Luận án Tiến sĩ Luận án Tiến sĩ
• Luận án Tiến sĩ Địa lí
• Cảnh quan lưu vực sông Lại Giang
• Tính đa dạng thực vậ
• Hệ sinh thái vườn quốc gia Phú Quốc
• Luận án Tiến sĩ Cơ học
• Luận án Tiến sĩ ngành Cơ học vật rắn
• Vật liệu cơ tính biến thiên
• Phi tuyến ổn định tĩnh