(LUẬN văn THẠC sĩ) nghiên cứu phương pháp xây dựng mô hình tự động
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: (LUẬN văn THẠC sĩ) nghiên cứu phương pháp xây dựng mô hình tự động
(LUẬN văn THẠC sĩ) nghiên cứu phương pháp xây dựng mô hình tự động
ĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHẸLÊ BÁ CƯỜNGNGHIÊN củi; PHƯƠNG PHÁP XÂY DỤNG MÓ HÌNH Tự ĐỘNGNgành: Công nghệ thồng lin Chuyên ngành: Cô (LUẬN văn THẠC sĩ) nghiên cứu phương pháp xây dựng mô hình tự độngông nghệ phàn inêmMà Số: 60 48 10LUẬN VÃN THẠC sĩNGƯỜI HƯỚNG DÀN KHOA HỌC: TS. PHẠM NGỌC HÙNGHà nội - 11/2011IMục lụcLỜI CÁM ƠN.................................................iiLÕI CAM ĐOAN..............................................iiiDANH MỤC HÌNH VÈ...........................................iv (LUẬN văn THẠC sĩ) nghiên cứu phương pháp xây dựng mô hình tự độngDANH MỤC THUẬT TOÁN.........................................VChương 1: Giới (hiệu........................................1Chương 2: Các phương pháp hì(LUẬN văn THẠC sĩ) nghiên cứu phương pháp xây dựng mô hình tự động
nh thức cho đặc ta phan mềm.....32.1Hộ thống chuyên trạng thái được gán nhàn..........32.2Phép ghép nòi song song...........................72.3Hộ chuĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHẸLÊ BÁ CƯỜNGNGHIÊN củi; PHƯƠNG PHÁP XÂY DỤNG MÓ HÌNH Tự ĐỘNGNgành: Công nghệ thồng lin Chuyên ngành: Cô (LUẬN văn THẠC sĩ) nghiên cứu phương pháp xây dựng mô hình tự động.....122.5Ôlômát hữu hạn trạng thái........................12(’hương 3: ('ác phương pháp sinh tự dộng mô hĩnh thành phan phan mềm.. 173.1Phương pháp học sử dụng giãi thuật 1..............183.1.1Phương pháp xây dựng mô hình sư dụng thuật toán L ..193.1.2Giai thuật Vasilevskii-Chow................223. (LUẬN văn THẠC sĩ) nghiên cứu phương pháp xây dựng mô hình tự động2Phương pháp xây dựng mô hình sử dụng thuật toán Thompsơn243.2.1Sinh dần xuất..............................243.2.2Xây dựng mỏ hình....................(LUẬN văn THẠC sĩ) nghiên cứu phương pháp xây dựng mô hình tự động
.......273.2.3Tối ưu hỏa mô hình.........................343.2.4Dộ phức tạp tinh toán......................40Chương 4: Ihực nghiệm....................ĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHẸLÊ BÁ CƯỜNGNGHIÊN củi; PHƯƠNG PHÁP XÂY DỤNG MÓ HÌNH Tự ĐỘNGNgành: Công nghệ thồng lin Chuyên ngành: Cô (LUẬN văn THẠC sĩ) nghiên cứu phương pháp xây dựng mô hình tự động dựng mô hình.................45KÉT LUẬN...................................................47TÀI LIỆUTHAM KHẢO.....................................49ĐẠI HỌC QƯÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHẸLÊ BÁ CƯỜNGNGHIÊN củi; PHƯƠNG PHÁP XÂY DỤNG MÓ HÌNH Tự ĐỘNGNgành: Công nghệ thồng lin Chuyên ngành: CôGọi ngay
Chat zalo
Facebook