TRƯỜng đẠi học khoa học tự nhiên khung chưƠng trình đÀo tạo tiến sĩ

1. 
   Dữ liệu và độ đo
   
2. 
   Mô hình và mẫu dữ liệu
   
3. 
   Xử lí dữ liệu thống kê và nội suy dữ liệu
   
4. 
   Qui luật của dữ liệu
   
5. 
   Tổ chức dữ liệu và cơ sở dữ liệu
   
6. 
   Mô hình khai phá dữ liệu và ứng dụng
   

Môn học này nhằm trình bày các nguyên lý của mạng máy tính tập trung vào các thuật toán, các giao thức, sự thực hiện của các dịch vụ mạng tiên tiến.

1. 
   Giới thiệu: Kiến trúc của Internet - Lịch sử và sự phát triển.
   
2. 
   Mô phỏng mạng.
   
3. 
   Điều khiển luồng và tắc nghẽn .
   
4. 
   Định tuyến.
   
5. 
   Quản lý Traffic.
   
6. 
   Wireless Access and Mobility.
   
7. 
   Các ứng dụng và Middleware.
   

• 
  Ôtômat hữu hạn
  
• 
  Biểu thức chính quy và ngôn ngữ chính quy. Các tính chất của lớp ngôn ngữ chính quy
  
• 
  Văn phạm và ngôn ngữ phi ngữ cảnh.
  
• 
  Ôtômat đẩy xuống. Các tính chất của ngôn ngữ phi ngữ cảnh
  
• 
  Tính đóng của ngôn ngữ chính quy và phi ngữ cảnh
  
• 
  Các dạng chuẩn của văn phạm
  
• 
  Các thuật toán đoán nhận cho văn phạm
  
• 
  Máy Turing
  
• 
  Tính không quyết định được
  
• 
  Tính NP-đầy đủ.
  

1. 
   Phần mềm: Sự phân loại theo ISO và IEEE. Kiến trúc phần mềm, các hoạt động và tác vụ chính trong quá trình phát triển phần mềm
   
2. 
   Sản phẩm phần mềm: Sự phân loại theo ISO và IEEE và các đặc chưng của chúng. Các mô hình lớp của sản phẩm phần mềm.
   
3. 
   Quá trình phát triển và các sản phẩm của nó: Các hoạt động của quá trình phát triển phần mềm, các tác vụ và sản phẩm của nó. Sự liên quan giữa các hoạt động và sản phầm
   
4. 
   Chu trình hỗ trợ phần mềm: Hỗ trợ các quá trình phần mềm, sự liên quan của nó với các hoạt động phát triển.
   
5. 
   Chất lượng phần mềm và sự đánh giá chất lượng phần mềm
   
6. 
   Lập kế hoạch cho một phần mềm
   
7. 
   Đánh giá quá trình phát triển phần mềm: Kiểm thử phần mềm, quản lý rủi ro và thay đổi
   

• 
  Chuyên đề này cung cấp kiến thức về các vấn đề liên quan đến an toàn dữ liệu. Nội dung bao gồm:
  
• 
  Tổng quan. Khái niệm an toàn, tính riêng tư. Các vấn đề luật pháp liên quan. Các vấn đề về an toàn trong các hệ thống quản trị và phân tích dữ liệu
  
• 
  Các công cụ cơ bản: Giới thiệu về Mật mã học ứng dụng và tính toán an toàn. Lý thuyết thông tin và lý thuyết trò chơi.
  
• 
  An toàn dữ liệu
  
• 
  Bảo mật dữ liệu
  
• 
  Các vấn đề khác và xu hướng tương lai: Khai phá dữ liệu để phát hiện bất thường, Chối bỏ thông tin.
  

Distributed Systems

Mục đích của chuyên đề là trình bày các nguyên tắc cơ bản của các hệ thống phân tán như là truyền thống, đặt tên, sự đồng bộ hóa, sự chịu lỗi …. Chuyên đề sẽ bao gồm các chủ đề sau:

1. 
   Tổng quan về các hệ thống phân tán
   
2. 
   Truyền thông trong các hệ phân tán
   
3. 
   Naming trong hệ thống phân tán
   
4. 
   Đồng bộ hóa
   
5. 
   Tính thống nhất và sự tái tạo
   
6. 
   Sự chịu lỗi
   
7. 
   An toàn trong hệ thống phân tán
   

• 
  Phương pháp hướng đối tượng và quá trình phát triển hệ thống phần mềm
  
• 
  UML và quá trình phát triển phần mềm thống nhất.
  
• 
  Biểu đồ ca sử dụng phân tích các nhu cầu của hệ thống
  
• 
  Phân tích hệ thống – Mô hình khái niệm và biểu đồ lớp
  
• 
  Mô hình động thái: Các biểu đồ tương tác và hành động trong hệ thống
  
• 
  Thiết kế các biểu đồ cộng tác và biểu đồ thành phần của hệ thống
  
• 
  Kiến trúc hệ thống và phát sinh mã trình
  

1. 
   Công tác quản lí và tin học hóa công tác quản lí
   
2. 
   Các định nghĩa về hệ thống trợ giúp quyết định
   
3. 
   Mô hình, kiến trúc của DSS
   
4. 
   DSS nhóm
   
5. 
   Vai trò của giao diện người dùng và hệ quản trị cơ sở dữ liệu trong DSS
   
6. 
   DSS và hệ chuyên gia
   

• 
  Khái quát về ngôn ngữ lập trình, lịch sử phát triển
  
• 
  Các kiểu giá trị
  
• 
  Lưu trữ
  
• 
  Liên kết, phạm vi và khai báo
  
• 
  Sự trừu tượng (abstraction)
  
• 
  Sự bao gói (encapsulation)
  
• 
  Các hệ thống kiểu
  
• 
  Lập trình mệnh lệnh
  
• 
  Lập trình hướng đối tượng
  
• 
  Lập trình hàm
  
• 
  Lập trình lôgic
  

Hệ thống tương tranh là các hệ thống thường gặp trong thực tế. Mô hình hoá các hệ thống này để nhận ra các tính chất của chúng và điều khiển tối ưu sự thực hiện của các quá trình trong hệ là một trong sô các đối tượng nghiên cứu hiện nay của Tin học.

Chuyên đề sẽ nghiên cứu một số mô hình tương tranh như: hệ các điều kiện và biến cố, mạng các vị trí và các chuyển, ngôn ngữ vết … Đồng thời, chuyên đề cũng sẽ nghiên cứu bài toán điều khiển trên các mô hình này và dùng ngôn ngữ vết để biểu diễn hành vi của hai mô hình trước và các hệ hợp thành của chúng.

19. Lý thuyết đồ thị và ứng dụng

Graph Theory and Applications
Môn học nhằm trang bị kiến thức nâng cao về lý thuyết đồ thị và ứng dụng.

Các chủ đề chính là:

• 
  Bài toán đồ thị cực trị
  
• 
  Bài toán ghép cặp (đối sánh)
  
• 
  Tô màu đồ thị
  
• 
  Chu trình Hamilton
  
• 
  Đồ thị đầy đủ
  
• 
  Matroid
  
• 
  Lý thuyết Ramsey
  
• 
  Đồ thị ngẫu nhiên
  

1. 
   Nhu cầu về dữ liệu phân tán
   
2. 
   Mô hình dữ liệu phân tán
   
3. 
   Kiến trúc mạng máy tính và việc phân tán tài nguyên mạng
   
4. 
   Hệ quản trị cơ sở dữ liệu phân tán
   

Các kiến thức được cung cấp:

• 
  Văn phạm và ngôn ngữ
  
• 
  Lập trình phân tích cú pháp
  
• 
  Tổ chức bộ nhớ trong thời gian chạy chương trình
  
• 
  Bảng kí hiệu
  
• 
  Dạng bên trong của chương trình nguồn
  
• 
  Xử lí ngữ nghĩa cho các ngôn ngữ cấu trúc khối
  
• 
  Cấp phát bộ nhớ
  
• 
  Khôi phục lỗi
  
• 
  Tổ chức mã chương trình
  

Môn học có mục đích trang bị kiến thức về :

1. 
   Các ngành liên quan đến tương tác người-máy
   
2. 
   Tâm lí học nhận thức trong HCI
   
3. 
   Khía cạnh công nghệ trong HCI
   
4. 
   Các kiểu tương tác
   
5. 
   Đánh giá HCI
   
6. 
   Tổ chức HCI
   

• 
  Giới thiệu đa phương tiện
  
• 
  Các kiểu dữ liệu
  
• 
  Phân tích ứng dụng đa phương tiện qua vài ứng dụng mẫu
  
• 
  Các kĩ thuật đa phương tiện: văn bản tích hợp, đồ hoạ và hoạt hình, video
  
• 
  Sử dụng một phần mềm để viết ứng dụng đa phương tiện.
  

Môn học có mục đích trang bị kiến thức về :

1. 
   Tri thức và phân loại tri thức
   
2. 
   Thể hiện tri thức
   
3. 
   Cấu trúc dữ liệu trong cơ sở dữ liệu suy diễn
   

• 
  Cung cấp kiến thức cơ bản về xây dựng các ứng dụng cho mạng máy tính nói chung và mạng Intranet/Internet nói riêng.
  
• 
  Hiểu và biết cách ứng dụng mô hình client-server và các kỹ thuật liên quan (socket API, giao thức TCP/IP)
  
• 
  Hiểu rõ kiến trúc cơ bản các dịch vụ Web (Web Service) và cơ chế trao đổi đối tượng client-server theo giao thức SOAP.
  
• 
  Nắm được một số vấn đề chủ chốt trong việc bảo đảm an toàn thông tin cho các ứng dụng mạng.
  

• 
  Các khái niệm quan trọng của lý thuyết độ phức tạp
  
• 
  Phát hiện các bài toán P, NP, NP đầy đủ
  
• 
  Các phương pháp giải các bài toán tối ưu tổ hợp
  
• 
  Các thuật toán xâp xỉ, thuật toán xác suất, heuristics và ứng dụng của chúng.
  

• 
  Tổng quan
  
• 
  Phân tích từ vựng
  
• 
  Phân tích cú pháp
  
• 
  Phân tích ngữ nghĩa
  
• 
  Ngữ dụng và đối thoại người - máy
  

Chuyên đề sẽ trình bày các vấn đề cơ bản trong tính toán lưới như nền tảng phần cứng, phần mềm, giao thức, công cụ …. trong một hệ thống tính toán lưới. Chuyên đề sẽ bao gồm các chủ đề sau:

1. 
   Lưới tính toán: Sự cần thiết, các kỹ thuật và yêu cầu cho một hệ thống lưới tính toán
   
2. 
   Kiến trúc lưới tính toán, nền tảng mạng, giao thức và dịch vụ
   
3. 
   Nền tảng tính toán: Hệ điều hành và giao diện mạng
   
4. 
   Chươn trình dịch, ngôn ngữ lập trình và thư viện cho lưới tính toán
   
5. 
   Lập lịch và quản lý tài nguyên
   
6. 
   Độ đo và đánh giá hiệu năng lưới tính toán
   
7. 
   Vấn đề về an ninh
   
8. 
   Globus Toolkit, Condor
   
9. 
   Các kiểu ứng dụng của lưới tính toán
   

• 
  Biểu diễn tín hiệu theo thời gian
  
• 
  Biến đổi Fourier
  
• 
  Định lí lấy mẫu
  
• 
  Hệ thống tuyến tính bất biến
  
• 
  Cuộn rời rạc
  
• 
  Biến đổi Z
  
• 
  Biến đổi Fourier rời rạc
  
• 
  Ứng dụng
  

­Chuyên đề này trình bày các nguyên tắc cơ bản như là hệ điều hành, quản lý tài nguyên, điều khiển, tính toán di động …. của các hệ thống nhúng và hệ thống thời gian. Chuyên đề bao gồm các chủ đề sau:

1. 
   Các khái niệm cơ bản và lập trình Real-Time
   
2. 
   Metrics, Benchmarks, Applications
   
3. 
   Chất lượng dịch vụ
   
4. 
   Lập lich
   
5. 
   Bộ vi xử lý
   
6. 
   Mạng
   
7. 
   Hệ điều hành Real-Time quản lý tài nguyên.
   
8. 
   Các công cụ
   

• 
  Tổng quan
  
• 
  Phân tích từ vựng
  
• 
  Phân tích cú pháp
  
• 
  Phân tích ngữ nghĩa
  
• 
  Ngữ dụng và đối thoại người - máy
  

Kết thúc chuyên đề, NCS cần tìm hiểu sâu về một chủ đề trong lĩnh vực Xử lí ngôn ngữ tự nhiên.

7. 
   Dữ liệu và độ đo
   
8. 
   Mô hình và mẫu dữ liệu
   
9. 
   Xử lí dữ liệu thống kê và nội suy dữ liệu
   
10. 
    Qui luật của dữ liệu
    
11. 
    Tổ chức dữ liệu và cơ sở dữ liệu
    
12. 
    Mô hình khai phá dữ liệu và ứng dụng
    

• 
  Bài toán giải được và không giải được
  
• 
  Luận đề Church-Turing
  
• 
  Tập đếm được, hàm kể được, tập không đếm được và chéo hoá.
  
• 
  Hàm tính được một cách hiệu quả. Thuật toán và hàm.
  
• 
  Ngữ nghĩa hình thức và phi hình thức cùng các vấn đề liên quan.
  
• 
  Định lý m-n của Kleene. Tính không quyết định được của bài toán dừng.
  
• 
  Định lý Rice. Tập quyết định được và tập nửa quyết định được. Tính kể được và tính nửa quyết định được. Tập đệ quy và đệ quy kể được.
  
• 
  Định lý Goedel về tính không đầy đủ.
  

Kết thúc chuyên đề, NCS sẽ được giao tìm hiểu sâu về một chủ đề cụ thể trong lĩnh vực Lý thuyết tính toán.

• 
  Tổng quan. Khái niệm an toàn, tính riêng tư. Các vấn đề luật pháp liên quan. Các vấn đề về an toàn trong các hệ thống quản trị và phân tích dữ liệu
  
• 
  Các công cụ cơ bản: Giới thiệu về Mật mã học ứng dụng và tính toán an toàn. Lý thuyết thông tin và lý thuyết trò chơi.
  
• 
  An toàn dữ liệu
  
• 
  Bảo mật dữ liệu
  
• 
  Các vấn đề khác và xu hướng tương lai: Khai phá dữ liệu để phát hiện bất thường, Chối bỏ thông tin.
  

Kết thúc chuyên đề, NCS sẽ được giao tìm hiểu sâu về một chủ đề cụ thể trong các chủ đề đã nêu.

8. 
   Tổng quan về các hệ thống phân tán
   
9. 
   Truyền thông trong các hệ phân tán
   
10. 
    Naming trong hệ thống phân tán
    
11. 
    Đồng bộ hóa
    
12. 
    Tính thống nhất và sự tái tạo
    
13. 
    Sự chịu lỗi
    
14. 
    An toàn trong hệ thống phân tán
    

Kết thúc chuyên đề, NCS sẽ được giao tìm hiểu sâu về một chủ đề cụ thể trong các chủ đề đã nêu.

• 
  Tổng quan, biểu diễn ảnh. Không gian màu. Lấy mẫu ảnh
  
• 
  Lượng tử hoá. Đo chất lượng ảnh. Nâng cao chất lượng ảnh. Biến đổi Fourier rời rạc
  
• 
  Biến đổi, khôi phục ảnh
  
• 
  Tìm và biểu diễn đặc trưng ảnh: Cung và đường
  
• 
  Phân vùng và biểu diễn
  
• 
  Nén ảnh và video
  
• 
  Nhận dạng đối tượng
  

Kết thúc chuyên đề, NCS sẽ được giao tìm hiểu sâu về một chủ đề cụ thể trong các chủ đề đã nêu.