Kết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Kết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web
Kết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web
ĐAI HOC QUÓC GIA TP. HÕ CHÍ MINHTRƯỜNG ĐẠI HỌC BÁCH KHOAHUỲNH TÀN KHÁIKÉT HỢP KHAI PHÁ DỮ LIỆU VÀ PHƯƠNG PHẤP HÌNH THỨC CHO BÀI TOÁN TO HỢP VÀ KIẺM CH Kết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web HỨNG DỊCH vụ WEBLUẬN ÁN TIÊN Sì KỲ THUẬTTP. HO CHỈ MINH NÀM 2018ĐẠI HỌC QƯÓC GIA TP. HCM TRƯỜNG ĐẠI HỌC BÁCH KHOAHUỲNH TÂN KHẢIKÉT HỢP KHAI PHÁ DỮ LIỆU VÀ PHƯƠNG PHẤP HÌNH THỨC CHO BÀI TOÁN TÓ HỢP VÀ KIẾM CHỨNG DỊCH vụ WEBChuyên ngành: Khoa học máy tính Mã số chuyên ngành: 62.48.Oi.01Phán biện độc l Kết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web ập 1: GS. TS. Nguyền Thanh ThủyPhán biện độc lập 2: PGS. TS. Hồ Bão QuốcPhan biện 1: PGS. TS. Đỗ PhúcPhan biện 2: PGS. TS. Trần Mạnh HàPhan biện 3: PGKết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web
S. TS. Dương Tuấn AnhNGƯỜI HƯỚNG DÁN KHOA HỌC1PGS. TS. Quan Thành Thơ2PGS. TS. Bùi Hoài ThắngLỜI CAM ĐOANTác giã xin cam đoan dày lã còng trình nghiênĐAI HOC QUÓC GIA TP. HÕ CHÍ MINHTRƯỜNG ĐẠI HỌC BÁCH KHOAHUỲNH TÀN KHÁIKÉT HỢP KHAI PHÁ DỮ LIỆU VÀ PHƯƠNG PHẤP HÌNH THỨC CHO BÀI TOÁN TO HỢP VÀ KIẺM CH Kết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web bat kỳ hình thírc nào. Việc tham khảo các nguồn tãi liệu (nếu có) đà được thực hiộn trích dãn và ghi nguồn lài liệu tham khao đũng quy định.Tác giã luận ánChừ kỹHuỳnh Tân KhảiTÓM TÁT LUẬN ÁNTủi sữ dụng thành phân được xem là phương pháp phát triền nhanh phan mềm có nhiều tru điểm và được sứ dụng rôn Kết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web g rãi. Kiến trúc hướng dịch vụ (SOA) là kiến trúc phần mem giúp xây dựng các hệ thong CNTT thông qua các thành phan đtrợc đóng gói dtrới dạng các dịchKết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web
vụ. Do vậy, có thê nói phương pháp phát triền phần mềm dựa trên tái sứ dung được áp dụng trong SOA. Dịch vụ ĩỉeb là dịch vụ mà chủng hoạt đông và giaĐAI HOC QUÓC GIA TP. HÕ CHÍ MINHTRƯỜNG ĐẠI HỌC BÁCH KHOAHUỲNH TÀN KHÁIKÉT HỢP KHAI PHÁ DỮ LIỆU VÀ PHƯƠNG PHẤP HÌNH THỨC CHO BÀI TOÁN TO HỢP VÀ KIẺM CH Kết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web có thè đáp ứng được các yêu cầu người dùng. Do đó. tô họp dịch vụ Web là vấn đề hết sức quan trọng cùa trong kiên trúc hướng dịch vụ.Tồ hợp dịch vụ Web là bãi toán có dộ phức tạp hàm mủ. Đề giâm đò phức tạp tinh toán, chúng ta cần sàng lọc dịch vụ ứng viên ờ mỗi birớc tổ hơp băng các kỳ' thuật khai Kết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web phá dừ ỉiện và ứng dụng phương pháp tim kiểm dựa ti ên heuristic. Ngoài ra. đê tô họp thỏa các loại ràng buộc khác nhau, đặc biệt là ràng buộc quan hKết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web
ệ thời gian giữa các dịch vụ. thi phương pháp hình thức cằn dược áp dụng, do các phương pháp truyền thống như lập kể hoạch không the kiêm tra các ràngĐAI HOC QUÓC GIA TP. HÕ CHÍ MINHTRƯỜNG ĐẠI HỌC BÁCH KHOAHUỲNH TÀN KHÁIKÉT HỢP KHAI PHÁ DỮ LIỆU VÀ PHƯƠNG PHẤP HÌNH THỨC CHO BÀI TOÁN TO HỢP VÀ KIẺM CH Kết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web chung và tò dịch vụ Web nói riêng một cách tư dòng.ii.Luận án đe xuắt cách đặc tã hình thức cho dịch vụ Web và mỏ hình hóa thư viện dịch vụ dưới dạng mò hình LTS4WS. Do đó. việc tỏ hợp và kiêm chứng được thực hiện theo phương pháp kiêm tra mõ hình.iii.Tiếp theo, luân án đưa ra giai pháp kiêm soát v Kết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web ấn đề bùng nò không gian trạng thãi của bài toán to hợp bàng cách áp dụng phương pháp tìm kiem heuristic và lập chi mục dựa trẽn bit nhị phản.iv.LuânKết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web
án đưa ra phương pháp gom cụm các dịch vụ Web dưa trên luận lý nhăm hỗ trợ truy xuất đúng các dịch \rỊi cần cho việc tồ hợp.V. Cuối củng, luận án đà xĐAI HOC QUÓC GIA TP. HÕ CHÍ MINHTRƯỜNG ĐẠI HỌC BÁCH KHOAHUỲNH TÀN KHÁIKÉT HỢP KHAI PHÁ DỮ LIỆU VÀ PHƯƠNG PHẤP HÌNH THỨC CHO BÀI TOÁN TO HỢP VÀ KIẺM CH Kết hợp khai phá dữ liệu và phương pháp hình thức cho bài toán tổ hợp và kiểm chứng dịch vụ web vụ Web. gom cụm dịch vụ Web. WSCOVER. tim kiếm tổ họp dịch vụ Web dựa trên heuristic.iiĐAI HOC QUÓC GIA TP. HÕ CHÍ MINHTRƯỜNG ĐẠI HỌC BÁCH KHOAHUỲNH TÀN KHÁIKÉT HỢP KHAI PHÁ DỮ LIỆU VÀ PHƯƠNG PHẤP HÌNH THỨC CHO BÀI TOÁN TO HỢP VÀ KIẺM CHGọi ngay
Chat zalo
Facebook