TAILIEUCHUNG - Tóm tắt Luận văn Thạc sĩ Kỹ thuật: Nghiên cứu và ứng dụng kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/SCADE

Tóm tắt Luận văn Thạc sĩ Kỹ thuật: Nghiên cứu và ứng dụng kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/SCADE hướng đến nghiên cứu kiểm chứng mô hình cho các hệ thống phát triển trên môi trường Lustre/SCADE nhằm tăng độ tin cậy, tính an toàn cho các hệ thống, giảm thời gian phát triển và lỗi xảy ra trong hệ thống phần mềm. | BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG NGUYỄN VĂN ĐỊNH NGHIÊN CỨU VÀ ỨNG DỤNG KIỂM CHỨNG MÔ HÌNH CHO CÁC HỆ THỐNG PHÁT TRIỂN TRÊN MÔI TRƯỜNG LUSTRE SCADE Chuyên ngành Khoa học máy tính Mã số TÓM TẮT LUẬN VĂN THẠC SĨ KỸ THUẬT Đà Nằng - Năm 2013 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 TS. NGUYỄN THANH BÌNH Phản biện 1 TS. PHẠM MINH TUẤN Phản biện 2 TS. NGUYỄN QUANG THANH Luận văn được bảo vệ trước Hội đồng chấm Luận văn tốt nghiệp thạc sĩ Kỹ thuật họp tại Đại học Đà Nằng vào ngày 16 tháng 11 năm 2013. Có thể tìm hiểu luận văn tại - Trung tâm Thông tin - Học liệu Đại Học Đà Nằng 1 MỞ ĐẦU 1. Tính cấp thiết của đề tài Các lĩnh vực công nghệ thông tin và truyền thông bao gồm cả các hệ thống phần cứng và phần mềm trong thời đại ngày nay thực sự phát triển mạnh mẽ. Phạm vi kích thước và độ phức tạp của các phần mềm đòi hỏi sự an toàn độ tin cậy ở mức cao nhất trong nhiều lĩnh vực thương mại khí tài trong lực lượng vũ trang và năng lượng . Hiện tại những phương pháp xác minh sẽ không thể đáp ứng để đảm bảo tính hiệu quả độ tin cậy với những phần mềm thế hệ tiếp theo này. Các qui trình kiểm định mới đã được phát triển làm tăng khả năng kiểm thử hệ thống phần mềm với các kỹ thuật phân tích như các phương thức mô hình hóa. Những qui trình này đảm bảo được các chức năng nâng cao cần thiết trong các hệ thống phần mềm hiện đại như hệ thống phần mềm điều khiển trên máy bay Air Bus hệ thống giám sát và điều khiển tàu điện ngầm các hệ thống quản lý năng lượng nhà máy điện hạt nhân . như giá thành về sự an toàn chắc chắn trong hệ thống phần mềm. Việc đảm bảo chất lượng phần mềm là một trong những công đoạn khó khăn nhất của việc phát triển phần mềm. Trong đó việc đảm bảo tính đúng đắn của bản thiết kế ở bước sớm nhất có thể là một thách thức lớn nhất đối với bất kì quy trình phát triển phần mềm nào. Từ trước đến nay phương pháp giả lập và kiểm thử thường được sử dụng để kiểm tra các bản thiết kế. Tuy nhiên phương pháp này bộc lộ nhiều khiếm .

• Thạc sĩ - Tiến sĩ - Cao học
• Tóm tắt Luận văn Thạc sĩ Kỹ thuật
• Môi trường Lustre SCADE
• Kiểm chứng mô hình
• Phát triển trên môi trường Lustre SCADE
• Hệ thống phần mềm
• Mô hình Lesar
• Luận văn thạc sĩ
• Chương trình tích hợp xử lý chữ viết tắt
• Chương trình xử lý gõ tắt
• Chương trình xử lý văn bản
• Luận văn thạc sĩ kỹ thuật
• Tóm tắt luận văn Thạc sĩ
• Công nghệ thông tin
• Tóm tắt văn bản tự động
• ứng dụng tóm tắt văn bản tự động
• Kỹ thuật phần mềm
• Mạng nơ ron nhân tạo
• Ứng dụng phần mềm tóm tắt văn bản
• Luận văn Thạc sĩ Kỹ thuật hạ tầng đô thị
• Kỹ thuật hạ tầng đô thị
• Áp dụng tuynen
• Bố trí đi ngầm đường dây
• Khoa học máy tính
• Tìm kiếm văn bản pháp quy
• Kỹ thuật học sâu
• Văn bản pháp quy tiếng Việt
• Tóm tắt luận văn Thạc sĩ Khoa học
• Luận văn Thạc sĩ Khoa học
• Sản xuất thuốc tiêm carboplatin
• Thuốc tiêm carboplatin
• Kỹ thuật đông khô thuốc tiêm
• Luận văn Thạc sĩ Khoa học máy tính
• Thuật toán ACO
• Định tuyến mạng IP
• Kỹ thuật cập nhật nguồn
• Xây dựng công trình giao thông
• Kỹ thuật Xây dựng công trình giao thông
• Kỹ thuật Xây dựng
• Luận văn Thạc sĩ ngành Khoa học máy tính
• Ứng dụng khai phá dữ liệu
• Kỹ thuật khai phá văn bản
• Phương pháp tách từ
• Hiệu năng hệ thống phân phối khóa lượng tử
• Khóa lượng tử
• Vệ tinh sử dụng kỹ thuật chuyển tiếp
• Mô hình QKD/FSO
• Ứng dụng giải thuật di truyền
• Giải quyết bài toán tối ưu xếp dỡ hàng hóa
• Kỹ thuật Động cơ Nhiệt
• Nghiên cứu ứng dụng LPG
• Động cơ nén cháy
• Động cơ diesel
• Tóm tắt luận văn Thạc sĩ Kỹ thuật điện
• Kỹ thuật điện
• Công nghệ mới FPI
• Chỉ báo đường đi sự cố
• Lưới điện phân phối thông minh
• Giải pháp điều khiển từ xa
• Điều khiển từ xa
• TBA 110kV không người trực
• Động cơ dual fuel
• Quá trình hình thành hỗn hợp
• Quá trình cháy
• Nguồn nhiên liệu sinh học
• Tóm tắt luận văn Thạc sĩ Kỹ thuật môi trường
• Kỹ thuật môi trường
• Nước thải chế biến thủy sản
• Chế biến thủy sản
• Xử lý nước thải
• Trạm xử lý nước thải
• Chất ô nhiễm
• Quản lý chất thải rắn y tế
• Giải pháp quản lý chất thải rắn y tế
• Chất thải rắn y tế
• Hệ thống lưới điện truyền tải Việt Nam
• Hệ thống lưới điện quốc gia
• Giải pháp tiết kiệm điện
• Hệ thông bơm cấp nước
• Phương pháp không lưới MK
• Lý thuyết biến dạng cắt
• Biến dạng cắt bậc cao R QSDT
• Dầm cao bê tông cốt thép
• Khả năng chịu lực của dầm bê tông
• Mô hình chống giằng
• Sức chịu tải của cọc
• Cọc khoan nhồi
• Công trình nhà cao tầng
• Vỏ trụ Composite nhiều lớp
• Ngôn ngữ Fortran
• Lý thuyết biến dạng cắt bậc nhất
• Nối đất trạm biến áp cao
• Hóa chất cải tạo đất