Đề 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, ...
Nội dung trích xuất từ tài liệu:
Đề 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 Đề tài Luận văn Cao học CNTT năm học 2007-2008 tại ĐHBK TP HCMGVHD: 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ậtnà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ệnquá 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ánGiai đ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ứuGiai đ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ớpcủ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ứuGiai đ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ứuGiai đ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ệmGVHD: 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ịchvụ Web có ngữ nghĩa thông qua các mô tả bằng ngôn ngữ tự nhiênSinh 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ươngtrì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 CaoGVHD: PGS. TS. Cao Hoàng TrụHướng nghiên cứu: Web ngữ nghĩa 1. Gom cụm mờ tài liệu theo thực thể có tên và từ khoá Tham khảo: Cao, T.H. & Do, H.T. & Hong, D.T. & Quan, T.T. (2008), Fuzzy Named Entity-Based Document Clustering. In Proc. of the 17th IEEE International Conference on Fuzzy Systems. 2. Nhận diện quan hệ giữa các thực thể có tên trên văn bản Tham khảo: Cao Duy Trường (2008). Dịch câu truy vấn tiếng Anh sang đồ thị khái niệm: cách tiếp cận ít phụ thuộc cú pháp. Luận văn Cao học, Khoa KH&KT Máy tính, ĐHBK TP.HCM. 3. Dịch câu truy vấn tiếng Anh có liên từ luận lý, tính từ, và lượng từ sang đồ thị khái niệm Tham khảo: Cao Duy Trường (2008). Dịch câu truy vấn tiếng Anh sang đồ thị khái niệm: cách tiếp cận ít phụ thuộc cú pháp. Luận văn Cao học, Khoa KH&KT Máy tính, ĐHBK TP.HCM.GVHD: TS. Đặng Trần KhánhĐề tài 1: Đặng Trần TríBảo mật dựa trên trực quan hóa cho các ứng dụng chia sẻ tài nguyên ngang hàng.(Security Visualization for Peer-to-Peer Resource Sharing Applications)Yêu cầu: Trực quan hóa các vấn đề bảo mật trong hệ thống là một hướng nghiên cứu mới và đang thuhút được sự quan tâm rất lớn của cộng đồng các nhà/nhóm nghiên cứu về bảo mật trên thế giới. Trongđề tài này, học viên phải nghiên cứu về security visualization và ứng dụng vào việc xây dựng mộtframework hỗ trợ bảo mật dựa trên security visualization cho các ứng dụng chia sẻ tài nguyên nganghàng (peer-to-peer). Sau đó cần áp dụng các kết quả nghiên cứu vào một bài toán và môi trường cụ thể(vd resource sharing for a group of peer-to-peer users using Windows Vista, …).Đề tài 2: Đàm Khánh Quốc MinhBảo vệ tính riêng tư trong các dịch vụ dựa trên vị trí với thiết bị di động.(Privacy-Preserving in Location Based Services)Yêu cầu: Nghiên cứu về LBS và bài toán bảo vệ tính riêng tư trong các ứng dụng LBS. Áp dụng các kếtquả nghiên cứu để đề xuất/cải tiến một giải pháp hiệu quả nhằm bảo vệ tính riêng tư cho một ứng dụngLBS cụ thể (vd LBS for mobile banking, LBS for mobile marketing, LBS for tourist information systems,…).Đề tài 3: Hà Hồng SơnTìm kiếm lỗ hổng bảo mật trong các hệ cơ sở dữ liệu.(Detecting Security Breaches in Database Systems)Yêu cầu: Nghiên cứu các phương pháp tìm kiếm lỗ hổng bảo mật trong các hệ cơ sở dữ liệu. Áp dụngcác kết quả nghiên cứu để đề xuất/cải tiến một giải pháp hiệu quả cho việc tìm kiếm lỗ hổng bảo mậttrong một DBMS cụ thể (vd Oracle 11g hoặc SQL Server 2008).GVHD: TS. Phạm Trần VũĐề 1. Nghien cuu phat trien co che bien soan tu dong Workflow to Web ServicesSv thuc hien: Bui Dung Anh TuanĐề 2. Nghien cuu phat trien co che single sign-on tu moi truong Web cho VN-GridSv. Thai Thi Thu ThuyGVHD: TS. N ...