tailieunhanh - Đề tài Luận văn Cao học công nghệ thông tin năm học 2007-2008 tại ĐHBK TP HCM

Kỹ thuật đánh giá khả năng trùng khớp. của hai phần mềm từ đó dự đoán khả . thuộc thời gian, các hệ thống quản lý dữ liệu y học 3 chiều phụ thuộc thời gian, . | Đề tài Luận văn Cao học CNTT năm học 2007-2008 tại ĐHBK TP HCM GVHD: TS. Nguyễn Hứa Phùng Đề 1: Software Verification là kỹ thuật xác định xem một phần mềm thỏa mãn các yêu cầu thiết kế. Kỹ thuật này đòi hỏi xác định một phương pháp mô tả các yêu cầu thiết kế và một cơ chế suy diễn để thực hiện quá trình chứng minh. Yêu cầu: Sinh viên cần có kiến thức cơ bản về logic toán Giai đoạn làm đề cương: - Tìm hiểu lý thuyết về software verification - Tìm hiểu một số phương pháp mô tả hiện có - Tìm hiểu các cơ chế suy diễn hiện có - Xác định phạm vi nghiên cứu Giai đoạn làm luận văn: - Phát triển một mô hình thích hợp - Hiện thực chương trình - Thử nghiệm Đề 2: Plagiarism Detection là kỹ thuật phát hiện sao cắp phần mềm. Kỹ thuật đánh giá khả năng trùng khớp của hai phần mềm từ đó dự đoán khả năng sao cắp. Giai đoạn làm đề cương: - Tìm hiểu về các kỹ thuật Plagiarism Detection hiện có - Tìm hiểu một số phần mềm hiện có - Xác định phạm vi nghiên cứu Giai đoạn làm luận văn: - Phát triển một mô hình thích hợp - Hiện thực chương trình - Thử nghiệm Đề 3: Tìm hiểu mô hình vi xử lý họ ARM và phát triển trình biên dịch cho ARM dựa trên gcc. Giai đoạn làm đề cương: - Tìm hiểu về đặc tính của vi xử lý họ ARM - Tìm hiểu cơ chế sinh trình biên dịch của gcc - Tìm hiểu các đặc tả hiện có của ARM trên gcc - Xác định phạm vi nghiên cứu Giai đoạn làm luận văn: - Đề xuất một giải pháp thích hợp - Hiện thực chương trình - Thử nghiệm GVHD: TS. Quản Thành Thơ Đề 1: Xây dựng một chương trình dạy học lái xe thông minh dựa trên luật. Sinh viên đăng ký: Lê Anh Vũ Đề 2: Xây dựng một kiến trúc cập nhật động nội dung trang Web theo hướng tiếp cận sử dụng các dịch vụ Web có ngữ nghĩa thông qua các mô tả bằng ngôn ngữ tự nhiên Sinh viên đăng ký: Nguyễn Bảo Toàn Đề 3: Xây dựng chương trình phát hiện các mẫu quảng cáo được lặp lại nhiều lần trong các chương trình MP3 podcasting Đồng hướng dẫn: Tiến sĩ Nguyễn Minh Nhựt (Đại học Công nghệ Nanyang, Singapore) Sinh viên đăng ký: Phan Thanh Cao GVHD: PGS. TS.