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ĩ Kỹ thuật: Kiểm thử hồi quy tự động cho các ứng dụng Lustre/SCADE
TAILIEUCHUNG - Tóm tắt Luận án tiến sĩ Kỹ thuật: Kiểm thử hồi quy tự động cho các ứng dụng Lustre/SCADE
Mục tiêu cuối cùng của đề tài là tự động hóa quá trình kiểm thử hồi quy cho các hệ thống phản ứng được xây dựng bởi ngôn ngữ Lustre và môi trường SCADE. Trong đó, đề tài tập trung xây dựng được giải pháp sinh ca kiểm thử tự động trong kiểm thử hồi quy các ứng dụng Lustre/SCADE. | Tóm tắt Luận án tiến sĩ Kỹ thuật: Kiểm thử hồi quy tự động cho các ứng dụng Lustre/SCADE BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG TRỊNH CÔNG DUY KIỂM THỬ HỒI QUY TỰ ĐỘNG CHO CÁC ỨNG DỤNG LUSTRE/SCADE Chuyên ngành : KHOA HỌC MÁY TÍNH Mã số : 62 48 01 01 TÓM TẮT LUẬN ÁN TIẾN SĨ KỸ THUẬT Đà Nẵng, 8/2018 Công trình được hoàn thành tại: ĐẠI HỌC ĐÀ NẴNG Người hướng dẫn khoa học: 1) Phó Giáo sư, Tiến sĩ Nguyễn Thanh Bình 2) Giáo sư, Tiến sĩ Ioannis Parissis . Phản biện 1: Phản biện 2: Phản biện 3: Luận án sẽ được bảo vệ trước Hội đồng chấm luận án cấp Đại học Đà Nẵng, họp tại Đại học Đà Nẵng. Vào hồi giờ . ngày . tháng năm . Có thể tìm luận án tại: - Thư viện quốc gia Việt Nam - Trung tâm Thông tin – Học liệu Đại học Đà Nẵng 1 GIỚI THIỆU 1. Tính cấp thiết của đề tài Lustre là một ngôn ngữ đồng bộ luồng dữ liệu. Chương trình Lustre gồm một chuỗi có thứ tự các phương trình tính toán từ các đầu vào thành các đầu ra thông qua một tập hợp các toán tử. Do đó, cách biểu diễn phù hợp nhất cho các chương trình Lustre là một đồ thị có hướng, gọi là mạng lưới toán tử (trong thực tế, người sử dụng không viết chương trình Lustre mà sử dụng trình soạn thảo đồ họa trong công cụ SCADE để xây dựng các mạng lưới toán tử liên quan). Việc kết hợp của cả hai mô hình đồng bộ và dòng dữ liệu, cú pháp đồ họa đơn giản, áp dụng khái niệm thời gian rời rạc là một số trong những đặc điểm chính làm cho Lustre trở thành ngôn ngữ lý tưởng cho việc xây dựng các mô hình, các thiết kế hệ thống điều khiển trong một số lĩnh vực công nghiệp, chẳng hạn như hệ thống điện tử, ô tô và năng lượng, hạt nhân nói riêng và hệ thống phản ứng nói chung. Với các hệ thống này, yếu tố an toàn (safety) được quan tâm hàng đầu. Trong quá trình phát triển phần mềm nói chung và các hệ thống phản ứng nói riêng, hệ thống thường được cập nhật tính năng và nâng cấp .
Phương Nghi
96
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
462048
59
Giới thiệu :Lập trình mã nguồn mở
14
23700
74
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
11114
535
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10347
458
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
9627
106
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8615
1148
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8355
423
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7937
2249
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6972
260
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
6669
1603
TỪ KHÓA LIÊN QUAN
Thạc sĩ - Tiến sĩ - Cao học
Luận án tiến sĩ
Khoa học máy tính
Luận án tiến sĩ Kỹ thuật
Ngôn ngữ đồng bộ luồng dữ liệu
Kiểm thử hồi quy tự động
Ứng dụng Lustre SCADE
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
353
1
24-06-2024
Sáng tạo trong thuật toán và lập trình với ngôn ngữ Pascal và C# Tập 2 - Chương 4
47
286
2
24-06-2024
Trading Strategies Profit Making Techniques For Stock_3
23
217
2
24-06-2024
THE ANTHROPOLOGY OF ONLINE COMMUNITIES BY Samuel M.Wilson and Leighton C. Peterson
19
187
2
24-06-2024
HƯỚNG DẪN SỬ DỤNG PHẦN MỀM CAITA part 9
18
152
0
24-06-2024
báo cáo hóa học:" Increased androgen receptor expression in serous carcinoma of the ovary is associated with an improved survival"
6
124
1
24-06-2024
ĐỀ THI THỬ ĐẠI HỌC 2009 – THPT ĐÔNG SƠN 1 – LẦN 2 – MÔN TOÁN
8
123
1
24-06-2024
Quy Trình Canh Tác Cây Bông Vải
8
129
0
24-06-2024
Báo cáo khoa học: " Principaux critères économiques de gestion des forêts : analyse critique et comparative"
29
106
0
24-06-2024
Tự học thổi sáo và ngâm thơ part 4
11
173
1
24-06-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7937
2249
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
6669
1603
Ebook Chào con ba mẹ đã sẵn sàng
112
3991
1298
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5665
1190
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8615
1148
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3629
664
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3842
601
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4353
542
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
11114
535
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4289
483
Đã 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.