Logic thời gian tuyến tính

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI ------------------------------- LUẬN VĂN THẠC SỸ KHOA HỌC KIỂM TRA MÔ HÌNH PHẦN MỀM SỬ DỤNG LÝ THUYẾT ÔTÔMAT BUCHI VÀ LOGIC THỜI GIAN TUYẾN TÍNH NGÀNH: CÔNG NGHỆ THÔNG TIN MÃ SỐ: PHẠM THỊ THÁI NINH Người hướng dẫn khoa học: TS. HUỲNH QUYẾT THẮNG HÀ NỘI 2006 ..1 LỜI CẢM ƠN Trước hết tôi xin gửi lời cảm ơn đặc biệt nhất tới Thầy TS Huỳnh Quyết Thắng, người đã định hướng đề tài và tận tình hướng dẫn chỉ bảo tôi trong suốt quá trình thực hiện bản luận văn cao học này,...

102p cancer23 21-08-2012 171 42   Download

Kỹ thuật lập trình: 2.1.Giới thiệuchung: 2.1.1.Lập trình tuyến tính và lập trình có cấu trúc: Phần bộ nhớ của CPU dành cho ch-ơng trình ứng dụng có tên gọi là logic Block. Nh- vậy logic block là tên chung để gọi tất cả các khối bao gồm những khối ch-ơng trình tổ chức OB, khối ch-ơng trình FC, khối hàm FB. Trong các loại khối ch-ơng trình đó thì chỉ có khối duy nhất khối OB1 đ-ợc thực hiện trực tiếp theo vòng quét. Nó đ-ợc hệ điều hành gọi theo chu kỳ lặp với khảng thời gian...

8p vitconsieuquay 18-08-2011 199 76   Download