31 PFIEV- Mộcanique et matộriaux Các hệ thời gian thực I (4-MM-18) Thời lượng : 1 học trình Bài giảng Môi trường phát triển các hệ thời gian thực Giới thiệu về các hệ thời gian thực Các phương pháp đặc tả và thiết kế : Vòng đời phát triển một ứng dụng thời gian thực - Đặc tả một hệ thời gian thực (SA-RT) - Thiết kế một hệ thời gian thực (SD, DARTS) Việc mô hình hoá và mô phỏng các hệ thời gian thực: Mô hình hóa bằng mạng Petri Lập trình các hệ thời gian thực Các khái ni ệm thời gian thực: Khái niệm nhiệm vụ - Quan hệ giữa các nhiệm vụ Các bộ thực hiện thời gian thực: kiến trúc các bộ thực hiện thời gian thực -Quá trình thực hiện: cơ cở và tương lai - Các bộ thực hiện thời gian thực chủ yếu có trên thị trường Các ngôn ngữ lập trình thời gian thực: Các phương pháp luận lập trình khác nhau - Ngôn ngữ lập trình thời gian thực (Ada) - Các ngôn ngữ phản ứ ng (Esterel, ELECTRE) Hỗ trợ bài giảng : Cours de F. Cottet, ENSMA, năm thứ 3 32 PFIEV- Mộcanique et matộriaux Bộ chấp hành thông minh (4-MM-19) Thời lượng : 1 học trình Yêu cầu cần biết 4-MM-15 Mục đích môn học: Hiểu được khái niệm bộ chấp hành thông minh và vị trí của nó trong hệ thống tự động hóa sản xuất Bài giảng: Đặc tả bộ chấp hành 1.1 Mô hình chức năng của bộ chấp hành; thí dụ về bộ chấp hành 1.2 Mô hình ứng xử 1.3 Hiệu năng 1.4 Độ chắc chắn của vận hành 1.5 Hạn chế của hiệu năng 1.6 Tăng cường hiệu năng bằng điều khiển 1.7 Một vài cấu trúc điều khiển : điều khiển tuyến tính, điều khiển phi tuyến, điều khiển thích nghi 1.8 Một vài phương pháp chẩn đoán bộ chấp hành Bộ chấp hành, thành phần của một hệ thống tự động hoá sản xuất (SAP) 2.1 Các chức năng của SAP (vòng đời) 2.2 Các dịch vụ hệ thống tự động hóa 2.3 Tích hợp các dịch vụ : hệ điều hành tiến trình (SEP) 2.4 Hệ điều hành tiến trình phân tán 2.5 Đầu đo và bộ chấp hành thông minh Kiến trúc và mô hình của một bộ chấp hành thông minh 3.1 Kiến trúc phần cứng bộ chấp hành thông minh 3.2 Giao tiếp của các bộ ch ấp hành thông minh và phương tiện giao tiếp 3.3 Mô hình bộ chấp hành thông minh: khái niệm dịch vụ 3.4 Thí dụ : các van thông minh Tài liệu tham khảo : M. Staroswiecki, M. Byart, ô Actionneurs intelligents ằ, HERMES, sộrie Automatique, 1994 33 PFIEV- Mộcanique et matộriaux Xử lý tín hiệu (4-MM-20) Thời lượng : 2 học trình Yêu cầu cần biết Bài giảng 3-MMCIE-1 và các bài giảng về toán 2 năm đầu Mục đích : Cung cấp các tư liệu cần thiết để xây dựng bộ lọc số trên cơ sở DSP; giới thiệu bộ lọc thống kê tối ưu Bài giảng: Các hệ thốngvà tín hiệu rời rạc 1.1 Nhắc lại về lấy mẫu, phép biến đổi Z và phép biến đổi Fourier rời rạc 1.2 Bộ lọc đáp ứng xung hữu hạn (RIF) 1.3 Bộ lọc đáp ứng xung vô hạn (RII) Xấp xỉ số của các bộ lọc 2.1 Xấp xỉ bộ lọc RIF bằng cách cắt đáp ứng xung 2.2 Xấp xỉ bộ lọc RII đệ qui bằng phép biến đổi mặt phẳng (p->Z) 2.3 Xấp xỉ bộ lọc RII đệ qui bằng bộ lọc Butterworth, eliptic và Chebyshev Kiến trúc DSP 3.1 Nguyên lý và kiến trúc RISC, ASIC 3.2 Các lĩnh vực ứng dụng 3.3 Thí dụ DSP Giới thiệu về lọc tối ưu 4.1 Mô hình hỗn loạn: Quá trình Markov liên tục và rời rạc - Các biến thể của quá trình Markov 4.2 Tiệm cận tần số và tiệm cận trạng thái 4.3 Bộ lọc tĩnh 4.4 Nguyên lý trực giao: bộ lọc Kalman liên tục và rời rạc Thực hành : Xây dựng bộ lọc RII Chebyshev bằng công cụ MATLAB/DSP Thực hiện bộ lọc Kalman bằng MATLAB để nhận dạng một hệ thống tuyến tính Lắp đặt bộ lọc số trên card DSP. Tài liệu tham khảo : Traitement du signal, thộorie et pratique, M. Bellanger, MASSON Automatique, commande des systốmes linộaires, Philippe de Larminat, HERMES Tên và email của tác giả Pháp Didier Georges, Didier.Georges@inpg.fr 34 PFIEV- Mộcanique et matộriaux Mạng máy tính (4-MM-21) Thời lượng : 3 học trình Mục đích: Bài giảng này giới thiệu về các khái niệm và cách sử dụng các mạng (Internet và WWW). Mục đích của bài giảng là trao cho học sinh tri thức về cơ sở vật chất của mạng và các công cụ Internet. Bài giảng : Giới thiệu 1.1 Mạng là gì? 1.2 Lịch sử 1.3 Mổ xẻ một ứng dụng - WWW Kiến trúc 2.1. Kiến trúc các giao thức 2.2. Mô hình OSI của ISO 2.3. Mô hình TCP/IP 2.4. Phân loại mạng Ứng dụng 3.1. Miền tên (DNS) 3.2. Phiên làm việc từ xa (rlogin, telnet) 3.3. Truyền tệp (FTP) 3.4. Truyền thư điện tử (SMTP) 3.5. Diễn dàn thảo luận (NNTP) 3.6. WWW : html, scipts cgi Công việc thực hành : TP1 : Thao tác xung quanh tên miền TP2 : Thao tác xung quanh việc truyền tệp TP3 : Thao tác WWW Hỗ trợ bài giảng : Andrzej Duda : Nhập môn về mạng (bài giảng trong Powerpoint- INPG) Tài liệu tham khảo J.F. Kurose and K.W. Ross "Computer Networking", Addison Wesley, 2000 Tên và thư điện tử của tác giả Pháp: Andrzej.Duda@imag.fr 35 PFIEV- Mộcanique et matộriaux Ngôn ngữ lập trình nâng cao (4-MM-22) Thời lượng : 1 học trình Yêu cầu cần biết : Bài giảng tin học năm thứ 3 (3-INF-1 et 3-INF-2 : bài giảng UML) Mục đích : Dạy các cơ sở của việc thiết kế và lập trình hướng sự vật. Bài giảng : Nhắc lại 1.1. Nhắc lại các khái niệm về lập trình 1.2. Mô hình hoá UML : nhắc lại và bổ sung Người lập trình trong ngôn ngữ hướng sự vật 2.1.Khái niệm về lập trình hướng sự vật 2.2. Công nghệ JAVA 2.3. Khái niệm nền tảng của ngôn ngữ: biến, toán tử, biểu thức, phép gán và khối, cấu trúc điều khiển 2.4. Vòng đời một dự án : tạo ra và sử dụng sự vật 2.5. Lớp và kế thừa 2.6. Lớp trừu tượng và giao diện 2.7. Gói 2.8. Ngôn ngữ C++ Giao diện người sử dụng đồ hoạ Các mục khác 4.1. Ứng dụng khách-nguồn phục vụ 4.2. Truy vấn cơ sở dữ liệu quan hệ 4.3. Lập trình đa mạch 4.4. Tuần tự hoá Thực hành: TP1 : lớp và sự vật TP2 : kế thừa và thao tác gói đã định sẵn TP3 : đa hình thái và lớp trừu tượng TP4 : giao diện đồ hoạ Projet : JDBC và giao diện với một cơ sở dữ liệu quan hệ Hỗ trợ bài giảng : Bài giảng về lập trình hướng sự vật, ESISAR-INPG, Jean-Luc Koning Tài liệu tham khảo K. Arnold, J. Gosling, ô The Java programming language ằ, Addison-Wesley, Publishing Company C.S. Horstmann, G. Cornell, ô Core Java 2, Volume 1 : notions fondamentales ằ, CampusPress France P.A. Muller, ô Modộlisation objet avec UML ằ, Eyrolles, 1997 G. Booch, ô Object-oriented analysis and design with applications, Addison-Wesley, 1994 B. Stroustrup, ô the C++ programming language ằ, Addison-Wesley, 1993 L. Ammeraal, ô Algorithmes et structures de donnộes en langage C et C++, InterEditions Tên và email của tác giả Pháp: Jean-Luc KONING, Jean-Luc.Koning@esisar.inpg.fr . lập trình nâng cao (4-MM-22) Thời lượng : 1 học trình Yêu cầu cần biết : Bài giảng tin học năm thứ 3 (3-INF-1 et 3-INF-2 : bài giảng UML) Mục đích : Dạy các cơ sở của việc thiết kế và lập trình. lượng : 3 học trình Mục đích: Bài giảng này giới thiệu về các khái niệm và cách sử dụng các mạng (Internet và WWW). Mục đích của bài giảng là trao cho học sinh tri thức về cơ sở vật chất của. hướng sự vật. Bài giảng : Nhắc lại 1.1. Nhắc lại các khái niệm về lập trình 1.2. Mô hình hoá UML : nhắc lại và bổ sung Người lập trình trong ngôn ngữ hướng sự vật 2.1.Khái niệm về lập trình