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
Tài liệu HOT
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
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
TAILIEUCHUNG - 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
60
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
389
7
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
312
3
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
314
7
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
246
1
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
285
3
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
291
1
(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
248
0
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
304
0
(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
263
2
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
248
1
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
462343
61
Giới thiệu :Lập trình mã nguồn mở
14
26161
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
11351
542
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10553
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
9844
108
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8891
1161
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8507
426
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
8101
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
7767
1793
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
7274
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
Giáo án mầm non chương trình đổi mới: Gia đình vui nhộn
4
392
3
29-12-2024
THE ANTHROPOLOGY OF ONLINE COMMUNITIES BY Samuel M.Wilson and Leighton C. Peterson
19
227
4
29-12-2024
B2B Content Marketing: 2012 Benchmarks, Budgets & Trends
17
229
3
29-12-2024
Data Structures and Algorithms - Chapter 8: Heaps
41
188
5
29-12-2024
Báo cáo nghiên cứu khoa học " HÃY LÀM CHO HUẾ XANH HƠN VÀ ĐẸP HƠN "
6
181
3
29-12-2024
Báo cáo y học: "The Factors Influencing Depression Endpoints Research (FINDER) study: final results of Italian patients with depressio"
9
151
1
29-12-2024
Báo cáo nghiên cứu khoa học " Vai trò chính quyền địa phương trong phát triển kinh tế : khu chuyên doanh gốm sứ ( Trung Quốc ) và Bát Tràng ( Việt Nam )("
11
214
1
29-12-2024
TRẮC NGHIỆM - CÁC BỆNH THIẾU DINH DƯỠNG THƯỜNG GẶP
32
212
2
29-12-2024
CÂU HỎI TRẮC NGHIỆM HSLS NƯỚC TIỂU
9
177
0
29-12-2024
ĐỀ LUYỆN THI ĐẠI HỌC MÔN: TIẾNG ANH - SỐ 3
4
131
1
29-12-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
8101
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
7767
1793
Ebook Chào con ba mẹ đã sẵn sàng
112
4410
1371
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
6307
1268
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8891
1161
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3844
680
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3921
609
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4720
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
11351
542
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4511
490
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.