XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 57 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM

XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM

DẠI HỌC ỌVÕC GIA HÀ NỌI TRƯỜNG DẠI HỌC CÔNG NGHỆHoàng Thế TùngXÂY DỤNG HỆ THỐNG GIÁI BÀI TOÁN SMT HIỆU NĂNG CAO - PHÀN MÁY TRẠMKHOẤ LUẬN TÕT NGHIỆP DẠ

XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM ẠI HỌC HẸ CHÍNH QUVNgành: Công nghệ phần mềmCán bộ hưóng dẫn: TS. Trương Anh HoàngCán bộ dong hướng dẫn: TS. Phạm Ngọc HùngHÀ NỘI-2010Xây dựng hệ thốn

g giãi bài toán SMT hiệu năng cao - Phần máy trạm I 2010Lời cảm ơnTrước hết. tôi xin gùi lời cam ơn chân thành và sáu sắc dền Tiến sỹ Trương Anh Hoàng XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM

và Tien sỹ Phạm Ngọc Hùng, những người dà trực tiếp hưởng dan tôi trong snot quả trình nghiên cứu và phàt triển đề tài nghiên cứu này. Đế cỏ dược nhù

XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM

ng ket qua nghiên cứu như hiện nay. tôi vó cùng biết ơn sự quan tâm. hướng dan nhiệt tình của hai thầy trong thời gian vừa qua.Tôi xin chân thành cam

XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM dà nhiệt tình giang dạy. giúp tỏi có những kiến thức quỹ bâu dế tôi có thế hoàn thành dược dề tài luận van này.Tỏi xin bày lo lòng cam ơn den các anh

chị cao học. và các ban trong nhỏm nghiên cứu dã cùng tôi tim hiếu và xây dựng hoàn chinh hệ thong giai quyết bài toán Satisfiability Modulo Theories XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM

(SMT) vởi hiệu nàng cao, giúp tôi có thế hoàn thành tot phần nghiên cừu cua mình.Và cuối cùng, tôi xin gùi ỉời cam ơn den gia dinh, bạn bè và những n

XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM

gười thân dà bên cạnh, dộng viên giúp lôi hoàn thành fol luận ván cua mình.Hà NỘI. tháng 05/2010Hoàng Thế TùngSinh viên: Hoàng The Tùng - K51CNPM - Kh

XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM 2010Tóm tăt nội dungVan để giái quyết các bài loan Satisfiability Modulo Theories (SMT) hiện nay dang dược nghiên cứu vã phát triển ớ nhiều nơi trên t

hế giới. Cho dến ngày nay. nhiều trường dại học, tổ chức dã nghiên cứu và dưa ra những bộ giãi giài quyết bài toán SMT (hay còn gọi là SMT solver), ví XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM

dụ như Z3 cùa Mcrosolì. vices cùa SRI, CVC3 của một số trường dại học danh tiếng cứa Mỹ. hay boolector, openSMT của một số trường đại học danh tiếng

XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM

khác... Tuy nhiên, moi solver có một lựi thế ưu diêm riêng đối vời các dạng khác nhau cùa bài toán SMT. Vậy vấn đe đật ra là làm sao đề lận dựng dược

XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM n, kết hợp nhiều bộ giãi khác nhau dề dưa ra được lời giai tối ưu cho từng bài toán SMT.Trong khuôn khổ khóa luận tốt nghiệp này cua cá nhân tòi. tôi

dã xây dựng hai hộ thống con cua hệ thống đà nêu trên là hộ thống trên máy khách (users) và trẽn máy trạm (sứ dụng dê gọi các Solver). Hệ thống trên m XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM

áy khách SC dám nhiệm việc cung cấp một giao diện lập trinh ứng dụng (Application Programming Interface hay API) de người dùng sứ dụng có thề xây dựng

XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM

bãi toán SMT theo chuẩn thư viện SMT ( SMT-L113) và sau đó là giri bài toán đến máy chu (server). Hộ thống trên máy trộm sổ liếp nhận bài loán lữ máy

XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM ỈD. TS. Trưong Anh HoàngGVĐHD. TS. Phạm Ngọc HùngXây dựng hệ thống giãi bài toán SMT hiệu năng cao - Phần máy trạm 2010Mục lụcChương1. Mờ đầu.........

......................................................11.1.Giới thiệu................................................................11.2.Bài toán đặt XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM

ra...........................................................11.3.Cấu trúc nội dung tài liệu................................................2Chương2.

XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM

Kiên thức nền tàng...................................................32.1.Giới thiệu SMT............................................................3

XÂY DỰNG hệ THỐNG GIẢI bài TOÁN SMT HIỆU NĂNG CAO PHẦN máy TRẠM .......4