TAILIEUCHUNG - Luận vă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

Xã hội phát triển, công nghệ thông tin ngày càng giữ vị trí quan trọng trong đời sống và kỹ thuật. Nó giúp cho các nhà quản lý kinh doanh, thương mại ,quân đội,các hoạt động của con người trong nhiều lĩnh vực đem lại hiệu quả cao. Đặc biệt vấn đề về điều khiển đã hỗ trợ con người đắc lực trong việc điều khiển tự đông. Việc xây dựng các phần mềm như vậy đòi hỏi phần mềm thực thi phải có độ chính xác cao đặc biệt là luôn có các ràng buộc liên quan đến thời gian | B I I I 1 1 i i 1 I I I I B BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG. Luân văn H I I i 1 I I i I I I I I I I B i B B I I i Tìm hiêu vê Otomat thời gian và ứng dụng À Ă r 1 J 1 Ấ J 1 J I trong đặc tả các hệ thông thời gian thực B ffl J5 s i I ffi B eJ ĩ gũ gg tgo ũ Ẽjs gũ tgữ i g í n fw rw í nf anr fwãi afĩpirBjĩ ií ĩfĩpi afẼãií npirgfìPií fípi ĩpira Ir311 lõi LỜI CẢM ƠN Trước hết em xin gửi lời cảm ơn đến thầy Đỗ Văn Chiểu người đã hướng dẫn em rất nhiều trong suốt quá trình tìm hiểu nghiên cứu và hoàn thà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 được những hiểu biết về một số vấn đề liê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ẽ trở thành hướng nghiên cứu tiếp của em sau khi tốt nghiệp. Đồng thời em cũng xin chân thành cảm ơn các thầy cô trong bộ môn cũng như các thầy cô trong trường đã trang bị cho em những kiến thức cơ bản cần thiết để em có thể hoàn thành tốt 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 động viên tạo điều kiện thuận lợi và cùng em tìm hiểu hoàn thành tốt khóa luận. Sau cùng em xin gửi lời cảm ơn đến gia đình bạn bè đã tạo mọi điều kiện để em xây dựng thành công khóa luận này. Hải Phòng ngày 10 tháng 6 năm 2010 Sinh viên thực hiện Đặng Thanh Tâm 1 MỤC LỤC LỜI CẢM L ỜI N ÓI Đ CHƯƠNG 1 TÌM HIỂU VỀ MODEL CHECKING VÀ LÝ THUYẾT VỀ HỆ THỜI GIAN ĐÔI NÉT VỀ MÔ HÌNH KIỂM TRA MODEL CHECKING TRONG CÔNG NGHỆ PHẦN Các yêu cầu của mô hình hệ GIỚI THIỆU VỀ HỆ THỜI GIAN Khái Đặc điểm của hệ thống thời gian Cấu tạo hệ thời gian Hệ điều hành thời gian Vì sao chọn hệ thời gian Dưới đây là một số ví dụ .10 CHƯƠNG 2 LÝ THUYẾT VỀ OTOMAT THỜI ĐỊNH NGHĨA OTOMAT THOI KHÁI NIỆM VỀ OTOMAT THỜI Mô tả cách dịch chuyển các trạng thái từng thành phần của TRAIN GATE CONTROLLER .

Gia Ân 74 42 pdf

Upload

Không thể tạo bản xem trước, hãy bấm tải xuống

Tải xuống

TÀI LIỆU LIÊN QUAN

Sáng kiến kinh nghiệm: Một số phương pháp giúp học sinh tìm hiểu về bài toán và thuật toán

15 217 1

Thiện-căn, phước-đức và nhân-duyên

168 163 0

Tiểu luận môn Hóa sinh đại cương: Tìm hiểu về các Vitamin A, C, E, H

47 10 1

Bài giảng Kỹ thuật lập trình: Điều khiển lặp - GV. Hà Đại Dương

18 103 0

Đề tài: Tìm hiểu về tường lửa và Netfilter

19 180 4

Sổ tay Tìm hiểu pháp luật về quyền dân sự, chính trị năm 2019

108 2 1

Giáo án Thể dục 5: Bài 41 - Tung và bắt bóng, nhảy dây, bật cao (GV. Trần Tài)

3 187 0

Chủ đề: Tìm hiểu về chuỗi cung ứng của Nokia

17 293 6

Tiểu luận: Tìm hiểu tổng quan về đánh giá hệ thống phát hiện xâm nhập và tìm hiểu về Ftester qua đó ứng dụng trong một hệ thống cụ thể

32 140 4

Đề tài: Tìm hiểu về cellulose, hemicellulose, lignin và ứng dụng thực tiễn của chúng

44 20 1

TÀI LIỆU XEM NHIỀU

Một Case Về Hematology (1)

8 462336 61

Giới thiệu :Lập trình mã nguồn mở

14 25925 79

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 11335 542

Câu hỏi và đáp án bài tập tình huống Quản trị học

14 10543 466

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 9835 108

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8885 1161

Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức

16 8499 426

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 8098 2279

Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)

152 7709 1788

Đề tài: Dự án kinh doanh thời trang quần áo nữ

17 7241 268

TỪ KHÓA LIÊN QUAN

TÀI LIỆU MỚI ĐĂNG

B2B Content Marketing: 2012 Benchmarks, Budgets & Trends

17 228 3 24-12-2024

Quy Trình Canh Tác Cây Bông Vải

8 164 3 24-12-2024

Báo cáo nghiên cứu khoa học " HÃY LÀM CHO HUẾ XANH HƠN VÀ ĐẸP HƠN "

6 180 3 24-12-2024

Hướng dẫn chế độ dinh dưỡng cho người bệnh viêm khớp

5 167 2 24-12-2024

báo cáo hóa học:" Perceptions of rewards among volunteer caregivers of people living with AIDS working in faith-based organizations in South Africa: a qualitative study"

10 156 1 24-12-2024

BÀI GIẢNG Biến Đổi Năng Lượng Điện Cơ - TS. Hồ Phạm Huy

137 157 1 24-12-2024

Giáo án điện tử tiểu học môn lịch sử: Cách mạng mùa thu

39 164 1 24-12-2024

ĐỀ TÀI " ĐÁNH GIÁ HIỆU QUẢ HOẠT ĐỘNG KINH DOANH NGOẠI HỐI CỦA NGÂN HÀNG THƯƠNG MẠI CỔ PHẦN XUẤT NHẬP KHẨU VIỆT NAM "

51 149 3 24-12-2024

Báo cáo nghiên cứu khoa học " Vai trò chính quyền địa phương trong phát triển kinh tế : khu chuyên doanh gốm sứ ( Trung Quốc ) và Bát Tràng ( Việt Nam )("

11 212 1 24-12-2024

Báo cáo nghiên cứu khoa học " NÂNG QUAN HỆ KINH TẾ THƯƠNG MẠI VIỆT NAM - TRUNG QUỐC LÊN TẦM CAO THỜI ĐẠI "

8 170 1 24-12-2024

TÀI LIỆU HOT

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 8098 2279

Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)

152 7709 1788

Ebook Chào con ba mẹ đã sẵn sàng

112 4406 1371

Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1

62 6273 1266

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8885 1161

Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu

561 3835 680

Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân

122 3917 609

Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm

274 4702 565

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 11335 542

Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe

35 4501 490