Đồ Án Tốt Nghiệp 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. Hiện nay có rất nhiều các nghiên cứu cũng như các phần mềm hỗ trợ cho việc thiết kế hệ thống thời gian thực được ứng dụng trong nhiều lĩnh vực khác nhau ví dụ như: hệ thống điều khiển không lưu, điều khiển tàu biển, các hệ thống ô tô, máy bay, tàu hỏa… Có nhiều các công cụ khác nhau từ lý thuyết đến thực nghiệm để làm việc này, tuy nhiên, đối với các hệ thống thời gian là một công cụ lý thuyết được rất nhiều người dùng với phần mềm trợ đặc tả Uppaal.

• Đồ án tốt nghiệp Đại học
• Chuyên ngành Công nghệ thông tin
• Người hướng dẫn: ThS Đỗ Văn Chiểu
• Tác giả: Đặng Thanh Tâm
• Số trang: 41
• Kiểu file: PDF - True
• Ngôn ngữ: Tiếng Việt
• Trường Đại học Dân lập Hải Phòng 2010

Link download:
https://lib.hpu.edu.vn/handle/123456789/18172
https://drive.google.com/uc?id=183zRXBC5EK0zWDGPuny2OIUrN5e6NV2d
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1