Chương trình đào tạo tiến sĩ chuyên ngành khoa học máy tính

BỘ GIÁO DỤC VÀ ðÀO TẠO TRƯỜNG ðẠI HỌC BÁCH KHOA HÀ NỘI CHƯƠNG TRÌNH ðÀO TẠO TIẾN SĨ CHUYÊN NGÀNH KHOA HỌC MÁY TÍNH Mà SỐ: 62480101 ðã Hội đồng Xây dựng Chương trình đào tạo bậc Tiến sĩ thông qua ngày tháng 06 năm 2012 HÀ NỘI 2012 MỤC LỤC Trang PHẦN I 1.1 1.2 4.1 4.2 7.1 7.2 7.3 7.3.1 7.3.2 7.3.3 7.4 TỔNG QUAN VỀ CHƯƠNG TRÌNH ðÀO TẠO Mục tiêu đào tạo Mục tiêu chung Mục tiêu cụ thể Thời gian ñào tạo Khối lượng kiến thức ðối tượng tuyển sinh ðịnh nghĩa Phân loại đối tượng Quy trình đào tạo, điều kiện cơng nhận ñạt Thang ñiểm Nội dung chương trình Cấu trúc Học phần bổ sung Học phần Tiến sĩ Danh mục học phần Tiến sĩ Mơ tả tóm tắt học phần Tiến sĩ Kế hoạch học tập học phần Tiến sĩ Chun đề Tiến sĩ Danh sách Tạp chí / Hội nghị Khoa học PHẦN II 9.1 9.2 10 ðỀ CƯƠNG CHI TIẾT CÁC HỌC PHẦN Danh mục học phần chi tiết chương trình đào tạo Danh mục học phần bổ sung, chuyển ñổi Danh mục học phần Tiến sĩ ðề cương chi tiết học phần Tiến sĩ PHẦN I TỔNG QUAN VỀ CHƯƠNG TRÌNH ðÀO TẠO TRƯỜNG ðẠI HỌC BÁCH KHOA HÀ NỘI VIỆN CNTT VÀ TRUYỀN THƠNG CỘNG HỊA Xà HỘI CHỦ NGHĨA VIỆT NAM ðộc lập - Tự - Hạnh phúc CHƯƠNG TRÌNH ðÀO TẠO TIẾN SĨ CHUYÊN NGÀNH “KHOA HỌC MÁY TÍNH” Tên chương trình: Chương trình đào tạo Tiến sĩ chun ngành “Khoa học Máy tính” Trình độ đào tạo: Tiến sĩ Chun ngành đào tạo: Khoa học Máy tính – Computer Science Mã chuyên ngành: 62480101 (Ban hành theo Quyết ñịnh số / Qð-ðHBK-SðH ngày tháng năm Hiệu trưởng trường ðH Bách Khoa Hà Nội) Mục tiêu ñào tạo 1.1 Mục tiêu chung ðào tạo Tiến sĩ chuyên ngành “Khoa học Máy tính” có trình độ chun mơn sâu cao, có khả nghiên cứu lãnh đạo nhóm nghiên cứu lĩnh vực chuyên ngành, có tư khoa học, có khả tiếp cận giải vấn đề khoa học chun ngành, có khả trình bày - giới thiệu nội dung khoa học, ñồng thời có khả đào tạo bậc ðại học Cao học 1.2 Mục tiêu cụ thể Sau kết thúc thành cơng chương trình đào tạo, Tiến sĩ chun ngành Khoa học Máy tính: Có khả phát trực tiếp giải vấn ñề khoa học thuộc lĩnh vực Khoa học Máy tính Có khả dẫn dắt, lãnh đạo nhóm nghiên cứu thuộc lĩnh vực Khoa học Máy tính Có khả nghiên cứu, ñề xuất áp dụng giải pháp cơng nghệ thuộc lĩnh vực Khoa học máy tính thực tiễn Có khả cao để trình bầy, giới thiệu (bằng hình thức viết, báo cáo hội nghị, giảng dạy ñại học sau ñại học) vấn ñề khoa học thuộc lĩnh vực Khoa học Máy tính Thời gian đào tạo • Hệ tập trung liên tục: năm liên tục ñối với NCS có ThS, năm NCS có ðH • Hệ khơng tập trung liên tục: NCS có văn ThS đăng ký thực vịng năm ñảm bảo tổng thời gian học tập, nghiên cứu Trường năm 12 tháng ñầu tiên tập trung liên tục Trường Khối lượng kiến thức Khối lượng kiến thức bao gồm khối lượng học phần Tiến sĩ khối lượng học phần bổ sung ñược xác ñịnh cụ thể cho loại đối tượng mục NCS có ThS: tối thiểu tín + khối lượng bổ sung (nếu có) NCS có ðH: tối thiểu tín + 28 tín (khơng kể luận văn) Chương trình Thạc sĩ Khoa học ngành “Công nghệ thông tin”, trường ðại học Bách Khoa Hà Nội ðối với NCS có ðH hệ 4,5 năm (theo quy ñịnh) phải thêm học phần bổ sung Chương trình Thạc sĩ Khoa học ngành “Công nghệ Thông tin” Trường ðH Bách Khoa Hà Nội ðối tượng tuyển sinh ðối tượng tuyển sinh thí sinh có Thạc sĩ với chuyên ngành tốt nghiệp phù hợp (ñúng ngành) gần phù hợp với chuyên ngành Khoa học Máy tính Chỉ tuyển sinh có ðH với ngành tốt nghiệp phù hợp Mức ñộ “phù hợp gần phù hợp” với chuyên ngành Khoa học Máy tính, ñược ñịnh nghĩa cụ thể mục 4.1 sau ñây 4.1 ðịnh nghĩa Ngành phù hợp (ñúng ngành): Là hướng đào tạo chun sâu thuộc ngành “Cơng nghệ Thơng tin” ngành “Kỹ thuật máy tính Truyền thơng” chương trình đào tạo thạc sỹ trường ðHBK HN, chuyên ngành thuộc ngành Công nghệ thông tin trường đại học khác (như Khoa học máy tính, Hệ thống thông tin, Công nghệ phần mềm, Truyền thông mạng, Kỹ thuật máy tính) Ngành gần phù hợp: Ngành „Toán tin“ (các chuyên ngành sâu Cơ sở toán học cho tin học, Toán Tin ứng dụng) chương trình đào tạo thạc sỹ trường ðHBK HN trường đại học khác; ngành SPKT CNTT chương trình ñào tạo thạc sỹ trường ðHBK HN 4.2 Phân loại đối tượng • Có ThS Khoa học ðH Bách Khoa Hà Nội với ngành tốt nghiệp cao học ñúng với chuyên ngành Tiến sĩ ðây ñối tượng tham gia học bổ sung, gọi tắt đối tượng A1 • Có tốt nghiệp ðại học loại xuất sắc với ngành tốt nghiệp ñúng với chuyên ngành Tiến sĩ ðây ñối tượng phải tham gia học bổ sung, gọi tắt đối tượng A2 • Có ThS ngành, khơng phải ThS Khoa học ðH Bách Khoa Hà Nội có ThS tốt nghiệp ngành gần phù hợp ðây ñối tượng phải tham gia học bổ sung, gọi tắt đối tượng A3 Quy trình đào tạo, điều kiện cơng nhận đạt Quy trình đào tạo thực theo học chế tín chỉ, tn thủ Quy định 1035/2011 tổ chức quản lý ñào tạo sau ñại học ðH Bách Khoa Hà Nội Các học phần bổ sung, học phần chuyển ñổi phải ñạt mức ñiểm C trở lên (xem mục 6) Các học phần Tiến sĩ phải ñạt mức ñiểm B trở lên (xem mục 6) Thang ñiểm Khoản 6a ðiều 62 Quy ñịnh 1035/2011 quy ñịnh: Việc chấm ñiểm kiểm tra - ñánh giá học phần (bao gồm ñiểm kiểm tra ñiểm thi kết thúc học phần) ñược thực theo thang điểm từ đến 10, làm trịn ñến chữ số thập phân sau dấu phẩy ðiểm học phần điểm trung bình có trọng số ñiểm kiểm tra ñiểm thi kết thúc (tổng tất ñiểm kiểm tra, ñiểm thi kết thúc ñã nhân với trọng số tương ứng ñiểm ñược quy ñịnh ñề cương chi tiết học phần) ðiểm học phần làm trịn đến chữ số thập phân sau dấu phẩy, sau chuyển thành ñiểm chữ với mức sau: ðiểm số từ 8,5 – 10 chuyển thành ñiểm A (Giỏi) ðiểm số từ 7,0 – 8,4 chuyển thành ñiểm B (Khá) ðiểm số từ 5,5 – 6,9 chuyển thành ñiểm C (Trung bình) ðiểm số từ 4,0 – 5,4 chuyển thành điểm D (Trung bình yếu) ðiểm số 4,0 chuyển thành ñiểm F (Kém) Nội dung chương trình 7.1 Cấu trúc Cấu trúc chương trình đào tạo trình độ Tiến sĩ gồm có phần bảng sau Phần Nội dung ñào tạo HP bổ sung HP TS TLTQ A2 A3 CT ThS KH (28TC) ≥ 4TC 8TC Thực báo cáo năm học ñầu tiên CðTS NC khoa học Luận án TS A1 Tổng cộng CðTS, CðTS 2TC Lưu ý: - Số TC qui ñịnh cho ñối tượng số TC tối thiểu NCS phải hoàn thành - ðối tượng A2 phải thực toàn học phần qui định chương trình ThS Khoa học ngành tương ứng, không cần thực luận văn ThS - Các HP bổ sung ñược lựa chọn từ chương trình đào tạo Thạc sĩ ngành chun ngành Tiến sĩ - Việc qui ñịnh số TC HP bổ sung cho ñối tượng A3 người hướng dẫn (NHD) ñịnh dựa sở ñối chiếu học phần bảng kết học tập ThS thí sinh với chương trình ThS ngành ñúng chuyên ngành Tiến sĩ phải ñảm bảo số TC tối thiểu bảng - Các HP TS ñược NHD ñề xuất từ chương trình ñào tạo Thạc sĩ Tiến sĩ trường nhằm trang bị kiến cần thiết phục vụ cho ñề tài nghiên cứu cụ thể LATS 7.2 Học phần bổ sung Các học phần bổ sung mơ tả “Chương trình ñào tạo Thạc sĩ” ngành “Công nghệ Thông tin” hành trường ðH Bách Khoa Hà Nội NCS phải hoàn thành học phần bổ sung thời hạn năm kể từ ngày có định cơng nhận NCS 7.3 Học phần Tiến sĩ 7.3.1 Danh mục học phần Tiến sĩ TT Mà SỐ IT7110 IT7121 IT7131 IT7141 TÊN HỌC PHẦN GIẢNG VIÊN TÍN CHỈ KHỐI LƯỢNG Tối ưu hố tổ hợp Combinatorial Optimization Lập trình song song cho hệ thống đa lõi Parallel programming for multicore systems Các chủ ñề nâng cao lý thuyết hệ ñiều hành Advanced Topics in Operating Systems Tìm kiếm địa phương dựa ràng buộc Constraint-Based Local Search PGS Nguyễn ðức Nghĩa TS ðỗ Phan Thuận 3(2-2-0-6) TS Nguyễn Hữu ðức TS Cao Tuấn Dũng 3(2-2-0-6) TS Nguyễn Khanh Văn 2.PGS Huỳnh Quyết Thắng 3(2-2-0-6) PGS Nguyễn ðức Nghĩa TS ðỗ Phan Thuận 3(2-2-0-6) Ghi chú: Theo yêu cầu ñịnh hướng nghiên cứu luận án, tập thể giáo sư hướng dẫn, nghiên cứu sinh định học học phần từ học phần trình độ tiến sỹ chương trình đào tạo tiến sỹ Cơng nghệ phần mềm, Hệ thống thơng tin, Kỹ thuật máy tính 7.3.2 Mơ tả tóm tắt học phần Tiến sĩ IT7110 Tối ưu hố tổ hợp Học phần cung cấp cho NCS hướng tiếp cận phát triển thuật toán phương pháp đại tối ưu hố tổ hợp NCS làm chủ ñược kiến thức qui hoạch nguyên, sơ đồ phát triển thuật tốn dựa phân rã, sinh cột, sơ đồ thuật tốn gần ngẫu nhiên tối ưu tổ hợp Nội dung mơn học bao gồm: Quy hoạch tuyến tính (phương pháp ñơn hình, phương pháp ñiểm trong, lý thuyết ñối ngẫu phương pháp đơn hình mạng); Quy hoạch ngun tuyến tính (phương pháp siêu phẳng cắt, phương pháp nhánh cận, phương pháp nhánh cắt, phương pháp nhánh ñịnh giá); Phương pháp phân rã tối ưu tổ hợp (Phân rã Sinh cột); Các thuật tốn gần (Sơ ñồ PTAS FPTAS); Các phương pháp ngẫu nhiên IT7110 Combinatorial Optimization This course provides Ph.D students with algorithm development approaches and modern metheods in combinatorial optimization Ph.D students are expected to own knowledge on linear programming, algorithm development schemas based on decomposition, column generation, aproximative and heuristic algorithm schemas in combinatorial optimization This course includes: Linear Programming (Simplex Method, Interior Point Method, Dual Theory and Network Simplex Method); Linear Interger Programming (Hyper-plan Cutting Method, Brand and Bound Method, Branch and Cut Method, Branch and Price Method); Decomposition Method in Combinatorial Optimization (Decomposition and Column Generation); Approximation Algorithms (PTAS and FPTAS Schemas); Randomized Methods IT7121 Lập trình song song cho hệ thống ña lõi Học phần tập trung giới thiệu kỹ thuật lập trình song song phù hợp kiến trúc ña lõi ñang phổ biến Những chủ đề học phần là: lập trình đa luồng, chia sẻ nhớ chung, lập trình song song liệu, lập trình đa dụng xử lý ñồ họa ña lõi Trong nội dung học phần giới thiệu số công cụ điển với ngơn ngữ Cilk; với ngơn ngữ NESL; Ngồi học phần đề cập tới mơ hình lập trình mức cao với số thư viện khung song song SkeTo IT7121 Parallel programming for multicore systems This course focuses introduce parallel programming techniques suitable multi-core architectures are popular today The main theme of course is multi-threaded programming, shared common memory, data parallel programming, programming on multi-processor multi-core graphics During the course content also introduces some typical tools such as Cilk language, the language NESL; The course also addresses high-level programming model with a frame of parallel libraries such as SkeTo IT7131 Các chủ ñề nâng cao lý thuyết hệ ñiều hành Học phần tập trung giới thiệu số chủ ñề tiên tiến lý thuyết hệ ñiều hành: khái niệm về Processes Threads; phương pháp tiên tiến lập lịch CPU thực thi chương trình; chương trình tương tranh ñồng bộ; kỹ thuật tiên tiến quản lý nhớ; hệ ñiều hành hệ thống phân tán; hệ ñiều hành hệ nhúng IT7131 Advanced Topics in Operating Systems This course focuses introduce some advanced topics in operating systems theory: the concept of the Processes and Threads, and other advanced methods CPU scheduling and program execution; program concurrency and synchronization ; the advanced techniques of memory management, operating system in distributed systems, operating systems in embedded systems IT7141 Tìm kiếm địa phương dựa ràng buộc Học phần cung cấp cho NCS kiến thức tảng Tìm kiếm địa phương dựa ràng buộc – hướng tiếp cận có triển vọng để giải nhiều tốn ứng dụng thực tiễn quan trọng Học xong học phần NCS tiếp tục nghiên cứu ứng dụng cách tiếp cận việc nghiên cứu phát triển thuật tốn giải vấn đề ứng dụng Học phần bao gồm: Sơ đồ tìm kiếm địa phương; Tìm kiếm ñịa phương dựa ràng buộc; Các ứng dụng tìm kiếm địa phương việc phát triển thuật tốn metaheuristic; Ứng dụng tìm kiếm địa phương lý thuyết lập lịch IT7141 Constraint-Based Local Search This course provides Ph.D students basic knowledge of Constraint-based Local search - one promising approach for solving important pratical problems After this course, Ph.D students are expected to use this knowledge in order to their research on algorithm development for pratical problems This course includes: Local Search Schema; Constraint-Based Local Search; Local Search Applications in the Development of Meta-Heuristic Algorithms; Local Search Applications in the Scheduling Theory 7.3.3 Kế hoạch học tập học phần Tiến sĩ Các học phần Tiến sĩ ñược thực linh hoạt, tùy theo ñiều kiện thời gian cụ thể giảng viên Tuy nhiên, nghiên cứu sinh phải hoàn thành học phần Tiến sĩ vịng 24 tháng kể từ ngày có ñịnh công nhận NCS 7.4 Chuyên ñề Tiến sĩ Mỗi nghiên cứu sinh phải hồn thành chun đề Tiến sĩ chọn từ danh sách hướng chuyên sâu Mỗi hướng chun sâu có người hướng dẫn Hội đồng Xây dựng chương trình đào tạo chun ngành Viện Công nghệ thông tin truyền thông xác ñịnh Người hướng dẫn khoa học luận án nghiên cứu sinh ñề xuất ñề tài cụ thể Ưu tiên ñề xuất ñề tài gắn liền, thiết thực với ñề tài luận án Tiến sĩ Sau ñã có đề tài cụ thể, NCS thực đề tài ñó hướng dẫn khoa học người hướng dẫn chuyên ñề Danh mục hướng chuyên sâu cho Chuyên ñề Tiến sĩ TT Mà SỐ HƯỚNG CHUYÊN SÂU IT7210 IT7221 IT7231 IT7241 Network Optimization Parallel process and Multicore systems Các giảit thuật môi trương tính tốn tiên tiến Innovative Computing Algorithms and Platforms Cơng nghệ ða phương tiện, mô hiển thị Multimedia, Visualization and Simulation NGƯỜI HƯỚNG DẪN PGS Nguyễn ðức Nghĩa TS ðỗ Phan Thuận TS Nguyễn Hữu ðức TS Cao Tuấn Dũng TÍN CHỈ 2 PGS Nguyễn ðức Nghĩa TS ðỗ Phan Thuận TS Nguyễn Linh Giang TS Nguyễn Hữu ðức IT7251 IT7261 IT7271 Sinh tin học Bioinformatics Information Retrieval and Searching Combinatorial Enumeration and Design 1.TS ðỗ Phan Thuận 2.TS Tạ Tuấn Anh TS Tạ Tuấn Anh TS Cao Tuấn Dũng PGS Nguyễn ðức Nghĩa TS ðỗ Phan Thuận 2 Danh sách Tạp chí / Hội nghị khoa học Các diễn ñàn khoa học nước bảng nơi NCS chọn cơng bố kết nghiên cứu khoa học phục vụ hoàn thành luận án Tiến sĩ ðịnh kỳ Số TT Tên diễn đàn ðịa liên hệ Tạp chí Khoa học Công nghệ ðH Bách Khoa Hà Nội; Số 1, phố ðại Cồ Việt, Hai Bà Trưng, Hà Nội Hai tháng lần Tạp chí Khoa học Công nghệ trường ðại học quốc gia Hà nội Trường ðại học Quốc Gia Hà Nội Hai tháng lần Tạp chí Khoa học Cơng nghệ trường ðại học quốc gia thành phố Hồ Chí Minh Trường ðại học Quốc Gia Thành phố Hồ Chí Minh Hai tháng lần Viện Khoa học Công nghệ Việt Nam; đường Hồng Quốc Việt, Hà Nội Ba tháng lần Viện Khoa học Công nghệ Việt Nam; số 18 đường Hồng Quốc Việt, Hà Nội Ba tháng lần Tạp chí Bưu viễn thơng, Chun san Các nghiên cứu triển khai ứng dụng viễn thông Công nghệ thông tin xuất / họp Tạp chí Cơng nghệ thơng tin tháng lần Hội thảo khoa học quốc gia nghiên cứu, phát triển ứng Ban chương trình quốc gia dụng CNTT Truyền thông ICT RDA Hàng năm Hội nghị khoa học “Một số vấn ñề chọn lọc CNTT” Ban chương trình quốc gia Hàng năm Hội thảo Khoa học Quốc gia – "Nghiên cứu ứng dụng Công nghệ thông tin” FAIR Ban chương trình quốc gia Hàng năm Các Hội nghị quốc tế tổ chức Việt Nam Ban chương trình quốc gia Hàng năm PHẦN II ðỀ CƯƠNG CHI TIẾT CÁC HỌC PHẦN 10 Danh mục học phần chi tiết chương trình đào tạo 9.1 Danh mục học phần bổ sung Danh mục học phần bổ sung xem chi tiết “Chương trình đào tạo Thạc sĩ Công nghệ thông tin” Trường ðHBK Hà Nội 9.2 Danh mục học phần Tiến sĩ Số Mà TT SỐ TÊN HỌC PHẦN TÊN TIẾNG ANH KHỐI LƯỢNG Khoa/Viện Bộ mơn IT7110 Tối ưu hố tổ hợp Combinatorial Optimization 3(2-2-0-6) Bm KHMT IT7121 Lập trình song song cho hệ thống ña lõi Parallel programming for multicore systems 3(2-2-0-6) IT7131 Advanced Topics in Operating Systems 3(2-2-0-6) IT7141 Các chủ ñề nâng cao lý thuyết hệ điều hành Tìm kiếm địa phương dựa ràng buộc Constraint-Based Local Search 3(2-2-0-6) 10 Liên BM KHMT+HTTT +CNPM Liên BM KHMT+HTTT +CNPM Bm KHMT ðánh giá KT0,3T0,7 KT0,3T0,7 KT0,3T0,7 KT0,3T0,7 ðề cương chi tiết học phần Tiến sĩ IT7110 Tối ưu hoá tổ hợp Combinatorial Optimization Tên học phần: Tối ưu hoá tổ hợp Mã học phần: IT7110 Tên tiếng Anh: Combinatorial Optimization Khối lượng: 3(2-2-0-6) - Lý thuyết:30 tiết - Bài tập: 30 tiết - Thí nghiệm: ðối tượng tham dự: Tất NCS thuộc chuyên ngành Khoa học Máy tính Mục tiêu học phần: Học phần cung cấp cho NCS hướng tiếp cận phát triển thuật tốn phương pháp đại tối ưu hố tổ hợp NCS làm chủ kiến thức qui hoạch nguyên, sơ ñồ phát triển thuật toán dựa phân rã, sinh cột, sơ đồ thuật tốn gần ngẫu nhiên tối ưu tổ hợp Nội dung tóm tắt: Quy hoạch tuyến tính (phương pháp đơn hình, phương pháp điểm trong, lý thuyết đối ngẫu phương pháp đơn hình mạng); Quy hoạch nguyên tuyến tính (phương pháp siêu phẳng cắt, phương pháp nhánh cận, phương pháp nhánh cắt, phương pháp nhánh ñịnh giá); Phương pháp phân rã tối ưu tổ hợp (Phân rã Sinh cột); Các thuật tốn gần (Sơ đồ PTAS FPTAS); Các phương pháp ngẫu nhiên Nhiệm vụ NCS: 11 - Dự lớp: - Bài tập: - Thí nghiệm: ðánh giá kết quả: (cách cho ñiểm giống quy ñịnh ñối với Cao học) - Mức ñộ dự giảng: 0.2 - Kiểm tra ñịnh kỳ: 0.3 - Thi kết thúc học phần: 0.5 10 Nội dung chi tiết học phần: Chương Mở đầu 1.1 Bài tốn tối ưu tổ hợp 1.2 Các mơ hình thực tế tối ưu hoá tổ hợp Chương Qui hoạch tuyến tính 2.1 Bài tốn qui hoach tuyến tính 2.2 Thuật tốn đơn hình 2.3 Thuật tốn điểm 2.4 Lý thuyết đối ngẫu 2.5 Thuật tốn gốc-đối ngẫu Chương Qui hoạch nguyên 3.1 Bài toán qui hoạch nguyên 3.2 Phương pháp siêu phẳng cắt 3.3 Phương pháp nhánh cận 3.4 Phương pháp nhánh cắt 3.5 Phương pháp nhánh ñịnh giá Chương Phân rã sinh cột Decomposition and Column Generation) 4.1 Nguyên lí phân rã 4.2 Giải toán 4.3 Giải toán chủ 4.4 Phương pháp sinh cột 4.5 Ứng dụng vào số toán tối ưu tổ hợp Chương Các phương pháp gần ñúng 5.1 Cận sai số tỷ lệ sơ ñồ xấp xỉ ña thức 5.2 Một số kỹ thuật phát triển thuật tốn với đánh giá cận sai số tỷ lệ 12 5.3 Ví dụ ứng dụng Chương Các thuật tốn ngẫu nhiên 6.1 Nhập mơn thuật toán ngẫu nhiên 6.2 Phát triển thuật toán ngẫu nhiên cho số lớp toán tối ưu tổ hợp 11 Tài liệu học tập: ðề cương Slides giảng môn học 12 Tài liệu tham khảo: [1] Korte B., Vygen J Combinatorial Optimization Theory and Algorithms Springer, 2008 [2] John K Karlof (Ed.) Integer programming Theory and Practice CRC Press, 2006 IT7121 Lập trình song song cho hệ thống ña lõi Parallel programming for multicore systems Tên học phần: Lập trình song song cho hệ thống ña lõi Mã học phần: IT7121 Tên tiếng Anh: Parallel programming for multicore systems Khối lượng: 3(2-2-0-6) - Lý thuyết: 30 tiết - Bài tập: 30 tiết - Thí nghiệm: ðối tượng tham dự: Tất NCS thuộc chuyên ngành Khoa học máy tính Mục tiêu học phần: Học phần nhằm mang lại cho NCS: Các kiến thức nâng cao lý luận chuyên ngành khoa học máy tính; Rèn luyện khả tư lập trình theo mơ hình song song, áp dụng cho kiến trúc tính tốn ñại; Rèn kỹ công nghệ chuyên ngành khoa học máy tính Nội dung tóm tắt: Học phần tập trung giới thiệu kỹ thuật lập trình song song phù hợp kiến trúc ña lõi ñang phổ biến Những chủ đề học phần là: lập trình đa luồng, chia sẻ nhớ chung với ngơn ngữ Cilk; lập trình song song liệu với ngơn ngữ NESL; lập trình đa dụng xử lý đồ họa đa lõi Ngồi học phần đề cập tới mơ hình lập trình mức cao với số thư viện khung song song SkeTo Nhiệm vụ NCS: - Dự lớp: - Bài tập: - Thí nghiệm: ðánh giá kết quả: - Mức ñộ dự giảng: 0.2 13 - Kiểm tra ñịnh kỳ: 0.3 - Thi kết thúc học phần: 0.5 10 Nội dung chi tiết học phần: Mở ñầu Giới thiệu môn học Giới thiệu ñề cương môn học Giới thiệu tài liệu tham khảo Chương 1: Tổng quan lập trình song song cho hệ thống ña lõi 1.1 Giới thiệu chung 1.2 Các hệ thống tính tốn song song đa lõi 1.3 Các mơ hình lập trình song song hệ thống đa lõi Chương 2: Song song điều khiển 2.1 Lập trình đa luồng 2.2 Các kỹ thuật chia sẻ nhớ chung 2.3 Lập trình đa luồng động với Cilk Chương 3: Song song liệu 3.1 Các phép toán song song liệu 3.2 Lập trình song song liệu với NESL Chương 4: Tính tốn đa dụng xử lý ñồ họa (GPU) 4.1 Kiến trúc GPU 4.2 Lập trình đa dụng xử lý đồ họa đa lõi 4.3 Tối ưu hóa truy nhập nhớ Chương 5: Lập trình mức cao với khung song song (parallel skeletal) 5.1 Khái niệm khung song song 5.2 Các khung song song 5.3 Các khung song song mở rộng 11 Tài liệu học tập: ðề cương Slides giảng môn học 12 Tài liệu tham khảo: [1] Thomas Rauber , Gudula Rünger Parallel programming for multicore and cluster system Springer, 2010, ISBN: 364204817X, 450 pages [2] Daryl Gove Multicore Application Programming: for Windows, Linux, and Oracle Solaris Developer's Library, 2010 IT7131 Các chủ ñề nâng cao lý thuyết hệ ñiều hành Advanced Topics in Operating Systems Tên học phần: Lập trình song song cho hệ thống ña lõi Mã học phần: Các chủ ñề nâng cao lý thuyết hệ ñiều hành Tên tiếng Anh: Advanced Topics in Operating Systems 14 Khối lượng: 3(2-2-0-6) - Lý thuyết: 30 tiết - Bài tập: 30 tiết - Thí nghiệm: ðối tượng tham dự: Tất NCS thuộc chuyên ngành Khoa học máy tính Mục tiêu học phần: Học phần nhằm mang lại cho NCS: Các kiến thức nâng cao lý luận chuyên ngành khoa học máy tính; Rèn luyện khả tư hệ thống, áp dụng cho kiến trúc kỹ thuật tính tốn đại; Rèn kỹ cơng nghệ chun ngành khoa học máy tính Nội dung tóm tắt: Học phần tập trung giới thiệu số chủ ñề tiên tiến lý thuyết hệ ñiều hành: khái niệm về Processes Threads; phương pháp tiên tiến lập lịch CPU thực thi chương trình; chương trình tương tranh đồng bộ; kỹ thuật tiên tiến quản lý nhớ; hệ ñiều hành hệ thống phân tán; hệ ñiều hành hệ nhúng Nhiệm vụ NCS: - Dự lớp: - Bài tập: - Thí nghiệm: ðánh giá kết quả: - Mức ñộ dự giảng: 0.2 - Kiểm tra ñịnh kỳ: 0.3 - Thi kết thúc học phần: 0.5 10 Nội dung chi tiết học phần: PHẦN MỞ ðẦU Giới thiệu mơn học Giới thiệu đề cương mơn học Giới thiệu tài liệu tham khảo Chương 1: Tổng quan lý thuyết hệ ñiều hành 1.1.Tổng quan hệ ñiều hành 1.2 Những khái niệm kỹ thuật tiêu biểu lý thuyết hệ ñiều hành 1.3 Các ñịnh hướng phát triển lý thuyết hệ ñiều hành Chương 2: Các kỹ thuật đại quản lý tiến trình 2.1 Khái niệm tiến trình 2.2 Các kỹ thuật quản lý tiến trình 2.3 Các kỹ thuật lập lịch cho tiến trình 2.4 Các kỹ thuật đồng trao đổi (Synchronization and communication) 2.5 Quản lý tiến trình lập lịch số hệ ñiều hành tiêu biểu Chương 3: Các kỹ thuật ñại quản lý nhớ 15 3.1.Quản lý nhớ thực 3.2 Quản lý nhớ ảo 3.3 Quản lý nhớ số hệ điều hành tiêu biểu Chương 4: Cơng nghệ ảo hóa (Virtualization Technology) 4.1 Các khái niệm 4.2 Kỹ thuật ảo hóa 4.3 Ảo hóa vi xử lý (CPU Virtualization) Chương 5: Các kỹ thuật bảo mật chịu lỗi 5.1 Tổng quan bảo mật, xác thực chịu lỗi 5.2 Các kỹ thuật bảo mật liệu 5.3 Các kỹ thuật xác thực 5.4 Các kỹ thuật chịu lỗi 11 Tài liệu học tập: ðề cương Slides giảng môn học 12 Tài liệu tham khảo: [1]Andrew S Tanenbaum (2007) Modern Operating Systems (3rd Edition), Prentice Hall; edition (December 21, 2007) [2]Thomas W Doeppner (2010) Operating Systems In Depth: Design and Programming Wiley (November 2, 2010) IT7141 Tìm kiếm địa phương dựa ràng buộc Constraint-Based Local Search Tên học phần: Tìm kiếm địa phương dựa ràng buộc Mã học phần: IT7141 Tên tiếng Anh: Constraint-Based Local Search Khối lượng: 3(2-2-0-6) - Lý thuyết:30 tiết - Bài tập: 30 tiết - Thí nghiệm: ðối tượng tham dự: Tất NCS thuộc chuyên ngành Khoa học Máy tính Mục tiêu học phần: Học phần cung cấp cho NCS kiến thức tảng Tìm kiếm địa phương dựa ràng buộc – hướng tiếp cận có triển vọng để giải nhiều toán ứng dụng thực tiễn quan trọng Học xong học phần NCS tiếp tục nghiên cứu ứng dụng cách tiếp cận việc nghiên cứu phát triển thuật tốn giải vấn đề ứng dụng 16 Nội dung tóm tắt: Sơ đồ tìm kiếm địa phương; Tìm kiếm địa phương dựa ràng buộc; Các ứng dụng tìm kiếm địa phương việc phát triển thuật toán metaheuristic; Ứng dụng tìm kiếm địa phương lý thuyết lập lịch Giới thiệu ngơn ngữ lập trình chun dụng (COMET) để mơ hình hố giải tốn tối ưu Nhiệm vụ NCS: - Dự lớp: - Bài tập: - Thí nghiệm: ðánh giá kết quả: (cách cho ñiểm giống quy ñịnh ñối với Cao học) - Mức ñộ dự giảng: 0.2 - Kiểm tra ñịnh kỳ: 0.3 - Thi kết thúc học phần: 0.5 10 Nội dung chi tiết học phần: Chương Tìm kiếm địa phương (Local Search) 1.1 Lân cận tìm kiếm 1.2 Tối ưu địa phương 1.3 Các heuristics tốn học Chương Tìm kiếm địa phương dựa ràng buộc 2.1 Mơ hình hố 2.2 Tìm kiếm Chương COMET 3.1 Bất biến 3.2 Phân nhỏ ñối tượng 3.3 ðiều khiển ðiều khiển bậc Chương Ứng dụng 4.1 Ứng dụng tìm kiếm Tabu 4.2 Tìm kiếm với lân cận biến đổi 4.3 Ứng dụng tơi luyện 4.4 Tìm kiếm địa phương dẫn đường 4.5 Tìm kiếm tiến hố lai 4.6 Tìm kiếm ñịa phương ñộc lập với miền 17 4.7 Ứng dụng sơ ñồ tối ưu bày kiến Chương Bài tốn lập lịch 5.1 Lập lịch dãy cơng việc 5.2 Các đối tượng lập lịch 5.3 Bài tốn lập lịch cực tiểu thời gian trễ 5.4 Bài toán lập lịch cực tiểu thời gian hồn thành 5.6 Lập lịch tích luỹ 11 Tài liệu học tập: ðề cương Slides giảng môn học 12 Tài liệu tham khảo: [1] Pascal Van Hentenryck, Laurent Michel, Constraint-Based Local Search MIT Press, 2005 [2] W Michiels, E Aarts, J Korst, Theoretical Aspects of Local Search Springer, 2007 [3] F Rossi, P van Beek, T Walsh (Edit), Handbook of Constraint Programming Elsevier, 2006 [4] Krzysztof R Apt, Principles of Constraint Programming, Cambridge University Press 2003 18 ... TẠO TIẾN SĨ CHUYÊN NGÀNH ? ?KHOA HỌC MÁY TÍNH” Tên chương trình: Chương trình đào tạo Tiến sĩ chun ngành ? ?Khoa học Máy tính? ?? Trình độ đào tạo: Tiến sĩ Chun ngành đào tạo: Khoa học Máy tính – Computer... ñiểm Nội dung chương trình Cấu trúc Học phần bổ sung Học phần Tiến sĩ Danh mục học phần Tiến sĩ Mơ tả tóm tắt học phần Tiến sĩ Kế hoạch học tập học phần Tiến sĩ Chuyên ñề Tiến sĩ Danh sách Tạp... giới thiệu nội dung khoa học, đồng thời có khả ñào tạo bậc ðại học Cao học 1.2 Mục tiêu cụ thể Sau ñã kết thúc thành cơng chương trình đào tạo, Tiến sĩ chun ngành Khoa học Máy tính: Có khả phát