Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Luận Văn - Báo Cáo
Thạc sĩ - Tiến sĩ - Cao học
Tóm tắt Luận án Tiến sĩ: Kiểm chứng hình thức các hệ thống thời gian thực hướng thành phần bằng kĩ thuật Model-Checking
tailieunhanh - Tóm tắt Luận án Tiến sĩ: Kiểm chứng hình thức các hệ thống thời gian thực hướng thành phần bằng kĩ thuật Model-Checking
Các nội dung còn lại của luận án được tổ chức như sau: Chương 2 trình bày các kiến thức cơ bản cũng như các khái niệm về phát triển hệ thống dựa trên thành phần. Chương 3 trình bày mô hình thành phần phần mềm và thể thức tương tác tương tranh trong các thành phần phần mềm thời gian thực, cùng với các thuật toán kiểm chứng sự tuân thủ của dãy hành vi của môi trường hệ thống với thể thức tương tác của thành phần phần mềm trên hai khía cạnh chức năng và phi chức năng; . | Chương 1 Giới thiệu Đặt vấn đề Phát triển phần mềm thời gian thực dựa trên thành phần đóng một vai trò quan trọng trong lĩnh vực công nghệ phần mềm. Tuy nhiên các phương pháp đã đề xuất vẫn còn hạn chế như thiếu mô hình thành phần cho thành phần phần mềm thời gian thực làm thế nào để có thể đặc tả phân tích đánh giá và kiểm chứng sự tương tác giữa các thành phần phần mềm với nhau và với môi trường của chúng trên khía cạnh chức năng và phi chức năng. Luận án đã nghiên cứu và đề xuất các kỹ thuật để giải quyết bài toán trên. Thứ nhất luận án đề xuất mô hình cho thành phần phần mềm thời gian thực với thể thức tương tác tương tranh thời gian timed concurrent interaction protocol và bổ sung đặc tả tài nguyên vào thể thức tương tác tương tranh nhằm lập luận cho tính sử dụng hiệu quả nguồn tài nguyên của hệ thống. Thứ hai luận án đề xuất mở rộng lý thuyết giao diện thành phần trở thành lý thuyết giao diện thời gian thực nhằm mô hình hóa và đặc tả các hoạt động của hệ thống thời gian thực dựa trên thành phần. Thứ ba luận án áp dụng lý thuyết quot tính đúng đắn bởi cách xây dựng quot và lý thuyết quot thiết kế bằng hợp đồng quot để đề xuất một kỹ thuật đặc tả và mô hình hóa hệ thống thời gian thực bằng hợp đồng thời gian và hợp đồng thời gian ràng buộc tài nguyên nhằm phân tích đánh giá hệ thống thời gian thực dựa trên hợp đồng trên hai khía cạnh chức năng và phi chức năng. Bên cạnh đó luận án cũng đề xuất ngôn ngữ đặc tả thời gian thực như một sự gia tăng tính khả thi của lý thuyết được đề xuất. Các kết quả chính của luận án Luận án có ba kết quả chính được trình bày như sau. Luận án mở rộng mô hình PECOS PErvasive COmponent Systems cho thành phần phần mềm thời gian thực với mục đích tạo ra một mô hình có thể áp dụng cho nhiều hệ thống có nền tảng phần cứng khác nhau. Luận án đề xuất mô hình cho thành phần phần mềm thời gian thực với thể thức tương tác tương tranh thời gian timed concurrent interaction protocol và bổ sung đặc tả tài nguyên vào thể thức tương tác .
Hồng Ðiệp
59
27
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Không thể tạo bản xem trước, hãy bấm tải xuống
Tải xuống
TÀI LIỆU LIÊN QUAN
Dự thảo tóm tắt Luận án Tiến sĩ Hóa học: Nghiên cứu phương pháp phân tích dạng một số nguyên tố độc hại trong đối tượng môi trường
27
495
9
Dự thảo tóm tắt Luận án Tiến sĩ Sinh học: Nghiên cứu quy trình tách chiết, phân tích ADN và tế bào phôi thai tự do trong máu ngoại vi của mẹ để chẩn đoán trước sinh
23
374
5
Dự thảo tóm tắt Luận án Tiến sĩ Sinh học: Nghiên cứu tính đa dạng nguồn cây thuốc được sử dụng trong cộng đồng các dân tộc ở tỉnh Thái Nguyên nhằm bảo tồn và phát triển bền vững
26
421
11
Dự thảo tóm tắt Luận án Tiến sĩ Sinh học: Nghiên cứu vi sinh vật ứng dụng cho sản xuất biogas làm tăng hiệu suất trong điều kiện môi trường nước lợ và nước mặn
23
300
3
Dự thảo tóm tắt Luận án Tiến sĩ Sinh học: Nghiên cứu nhân dòng và biểu hiện trên bề mặt bào tử Bacillus subtilis gen mã hóa kháng nguyên VP28 của virus gây bệnh đốm trắng ở tôm
27
336
6
Dự thảo Tóm tắt Luận án Tiến sĩ Toán học: Một số phương pháp kết hợp giải hệ phương trình toán tử
26
368
5
(Dự thảo) Tóm tắt Luận án Tiến sĩ Hóa học: Nghiên cứu các phức chất đa nhân kim loại chuyển tiếp d-f trên cơ sở phối tử thioure
27
307
2
Dự thảo Tóm tắt Luận án Tiến sĩ Địạ lí: Nghiên cứu cảnh quan cho định hướng không gian phát triển nông lâm nghiệp huyện miền núi Quỳ châu, tỉnh Nghệ An
27
363
3
(Dự thảo) Tóm tắt Luận án Tiến sĩ Hóa học: Nghiên cứu chế tạo một số hệ nhũ tương sinh nhiệt để xử lý, ngăn ngừa parafin lắng đọng trong đường ống dẫn dầu thô ở Việt Nam
27
318
4
Dự thảo tóm tắt Luận Án Tiến sĩ Sinh học: Nghiên cứu đa dạng sinh học ba bộ côn trùng nước bộ phù du (ephemeroptera), bộ cánh úp (plecoptera) và bộ cánh lông (trichoptera) ở vườn quốc gia Hoàng liên, tỉnh Lào Cai
27
314
3
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
462336
61
Giới thiệu :Lập trình mã nguồn mở
14
25913
79
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
11335
542
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10543
466
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9835
108
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8885
1161
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8499
426
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
8098
2279
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
7709
1788
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
7240
268
TỪ KHÓA LIÊN QUAN
Thạc sĩ - Tiến sĩ - Cao học
Luận án Tiến sĩ
Kĩ thuật Model Checking
Kĩ thuật phần mềm
Hệ thống thời gian thực
Ôtômát thời gian
Ôtômát trọng số
Dự thảo tóm tắt Luận án Tiến sĩ
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
TÀI LIỆU MỚI ĐĂNG
B2B Content Marketing: 2012 Benchmarks, Budgets & Trends
17
228
3
23-12-2024
Hướng dẫn chế độ dinh dưỡng cho người bệnh viêm khớp
5
167
2
23-12-2024
Data Mining Classification: Basic Concepts, Decision Trees, and Model Evaluation Lecture Notes for Chapter 4 Introduction to Data Mining
101
140
1
23-12-2024
longman english 1
5
128
0
23-12-2024
đề cương ôn tập chương Vật lý 10 - Cơ học
6
125
0
23-12-2024
NHÀ MẠC – NAM BẮC TRIỀU (1527-1592)_1
6
123
1
23-12-2024
Báo cáo lâm nghiệp: "Les facteurs de productivité du Pin noir d’Autriche (Pinus nigra Arnold. ssp. nigricans Host. austriaca Hoss. Novak) dans les Alpes du Sud"
17
109
0
23-12-2024
Báo cáo y học: "Application of in vivo microscopy: evaluating the immune response in living animals"
7
98
0
23-12-2024
Biomass 2012 Part 1
15
107
0
23-12-2024
The New Rules of Marketing and PR: How to use news releases, blogs, podcasts, viral marketing and online media to reach your buyers directly
22
96
0
23-12-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
8098
2279
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
7709
1788
Ebook Chào con ba mẹ đã sẵn sàng
112
4406
1371
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
6273
1266
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8885
1161
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3835
680
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3917
609
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4700
565
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
11335
542
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4501
490