Tìm hiểu về ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Tìm hiểu về ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực
Tìm hiểu về ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực
LỜI CẢM ƠNTrước hết em xin gửi lời cám cm đen thầy Đồ Văn Chiêu, người đà hưởng đản em rất nhiều trong suốt quá trinh tim hiên nghiên cứu và hoãn thàn Tìm hiểu về ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực nh khóa luận này từ lý thuyết đến ửng dụng. Sự hướng dản của thầy đà giúp em có thèm dược nhừng hiểu biết về một số vấn dề hên quan đến Otomat thời gian vã hệ thời gian thực. Qua nhùng phân lý thuyêt này cùng lôi cuốn em và sè Irỡ thành hướng nghiên cứu lièp của cm sau kill tốt nghiệp.Đồng thời em c Tìm hiểu về ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực ùng xin chân thành cam ơn các thầy có trong bộ món cũng như các thầy cô trong trường dà trang bị cho em nhũng kiến thức cơ ban cần thiết dê em có thềTìm hiểu về ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực
hoàn thành tòi khóa luận này.Em xin gửi lời cám ưn đèn các thành viên lớp CT1001, nhừng người bạn đà luôn ớ bên cạnh dộng viên, tạo diều kiện thuận lợLỜI CẢM ƠNTrước hết em xin gửi lời cám cm đen thầy Đồ Văn Chiêu, người đà hưởng đản em rất nhiều trong suốt quá trinh tim hiên nghiên cứu và hoãn thàn Tìm hiểu về ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực óa luận này.Hài Phòng ngày 10, tháng 6 năm 2010Sinh viên thực hiệnDộng Thanh Tâm1MỤC LỤCLỜI CẢM ƠN...............................................1LỜINÓIĐẲU................................................5CHƯƠNG 1: TÌM HIÉU VẺ MODEL C HECKING VÀ LÝ THƯYẺT VẺHÊ THÒI GIAN THỤC.......................... Tìm hiểu về ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực ..............61.1DÔI NÉT VẼ MÒ HÌNH KIÊM TRA (MODEL CHECKING) TRONGCÔNG NGHỆ PHAN MÈM.....................................61.1.1Các yêu câu cua mô hìTìm hiểu về ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực
nh hệ thống..............71.2 GIỚI THIỆU VÊ HỆ THỜI GIAN THựC....................71.2.1Khải niệm.....................................71.2.2Dặc diêm cuLỜI CẢM ƠNTrước hết em xin gửi lời cám cm đen thầy Đồ Văn Chiêu, người đà hưởng đản em rất nhiều trong suốt quá trinh tim hiên nghiên cứu và hoãn thàn Tìm hiểu về ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực o chọn hệ thời gian thực..................10Dưới đây là một so ví dụ;..........................10C HƯƠNG 2: LÝ THUYÉT VÈ OTOMAT THỜI GIAN...............122.1DỊNH NGHÌA OTOMAT thoi gian......................122.2KHÁI NIỆM VỀOTOMATTIIỜI gian.......................122.2.1Mô la cách dịch chuycn các trạn Tìm hiểu về ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực g thái lừng thành phân cua TRAIN,GATE, CONTROLLER như sau:..........................122.2.2Dịnh nghĩa 2 (ngừ nghĩa cùa TA)..............152.2.3Dịnh ngTìm hiểu về ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực
hĩa cua một mạng olomat thời gian (Semantics of aNetwork of Timed Automata).........................16< HƯƠNG 3: THỬ NGHIỆM ĐẶC TẢ HE THỎNG VÓI CÔNG cLỜI CẢM ƠNTrước hết em xin gửi lời cám cm đen thầy Đồ Văn Chiêu, người đà hưởng đản em rất nhiều trong suốt quá trinh tim hiên nghiên cứu và hoãn thàn Tìm hiểu về ôtomat thời gian và ứng dụng trong đặc tả các hệ thống thời gian thực ............173.1.2Cài đật......................................17LỜI CẢM ƠNTrước hết em xin gửi lời cám cm đen thầy Đồ Văn Chiêu, người đà hưởng đản em rất nhiều trong suốt quá trinh tim hiên nghiên cứu và hoãn thànGọi ngay
Chat zalo
Facebook