About this Course
최근 조회 1,907

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

유동적 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

중국어 (간체자)

자막: 중국어 (간체자)

100% 온라인

지금 바로 시작해 나만의 일정에 따라 학습을 진행하세요.

유동적 마감일

일정에 따라 마감일을 재설정합니다.

중급 단계

중국어 (간체자)

자막: 중국어 (간체자)

강의 계획 - 이 강좌에서 배울 내용

1
완료하는 데 6시간 필요

MiniZinc介绍

在第一单元中,你将学习到MiniZinc的基础知识。它是一门用于离散优化问题的高级建模语言。通过结合简洁的MiniZinc语言和业界开源项目强大的求解技术,你将学会如何轻松地解决一些应用问题,比如背包问题,涂色问题,生产规划和覆面算问题。这个模块的学习目标是: (1) 建立一个基本的MiniZinc模型。 (2)理解一个由他人创建的简单MiniZinc模型。

...
11 videos (Total 140 min), 5 readings, 1 quiz
11개의 동영상
1.1.1 第一步17m
1.1.2 第二个模型7m
1.1.3 第三个模型7m
1.1.4 模型和实例16m
1.1.5 对象建模10m
1.1.6 数组和推导式19m
1.1.7 全局约束10m
1.1.8 单元1总结 (英文原声中文字幕)5m
工作坊习题课0解答 (英文原声中文字幕)19m
工作坊习题课1解答 (英文原声中文字幕)21m
5개의 읽기 자료
课程简介10m
课前调查 (研究者: 墨尔本高等教育中心 Gregor Kennedy教授)10m
安装MiniZinc10m
工作坊习题课0:第一步20m
工作坊习题课1:温度45m
2
완료하는 데 5시간 필요

集合建模

在这个单元中,你将学到如何对集合选择问题进行建模。特别是你将学习到如何利用不同的方法来表示没有势约束的,固定势的,或有界势的集合变量。在建模时,你还需要确保所有的模型决策都是有效的决策,而每一个有效的决策刚好对应一个模型决策。这个模块的学习目标是:(1) 建立一个MiniZinc模型来选择一个集合 。 (2)选择一种最适合的表示方式来表示集合。

...
6 videos (Total 75 min), 1 reading, 1 quiz
6개의 동영상
1.2.2 集合表示的选择12m
1.2.3 固定势集合的选择13m
1.2.4 有界势的集合12m
1.2.5 单元2总结 (英文原声中文字幕)3m
工作坊习题课2解答 (英文原声中文字幕)19m
1개의 읽기 자료
工作坊习题课2:投降谈判1시 15분
3
완료하는 데 9시간 필요

函数建模

在这个单元中,你将学习到如何对纯分配问题和划分问题建模,而实际上它们都是函数建模问题。这些问题可以应用到值勤安排或者约束聚类问题中。而在建模技术上,你将看到共同子表达式消除和中间变量的威力,还会初次接触到全局势约束。另外,MiniZinc还提供了约束来去除值对称。这个模块的学习目标是:(1) 创建MiniZinc模型来决定一个函数 。 (2)分析问题来洞察问题中是否含有赋值的子结构 。 (3)创建基本的值班模型。 (4)发现问题是否需要划分一个集合 。

...
7 videos (Total 100 min), 1 reading, 1 quiz
7개의 동영상
1.3.2 另一个分配问题例子8m
1.3.3 划分建模12m
1.3.4 全局势约束12m
1.3.5 纯划分22m
1.3.6 单元3总结 (英文原声中文字幕)5m
工作坊习题课3解答 (英文原声中文字幕)28m
1개의 읽기 자료
工作坊习题课3:美人计:盛宴2시 50분
4
완료하는 데 8시간 필요

多重建模

在最后一个单元中,你将会看到离散优化问题可以如何通过不同的视角来切入,和如何从不同的视角来建立完全不同的模型。每一个视角都有优劣,而实际上不同的视角的模型可以结合起来互补。 这个模块的学习目标是:(1) 创建可以用两种不同视角的决策变量的MiniZinc模型。 (2)决定使用哪一种视角(或者组合视角)的决策变量对某一类问题更适合。

...
7 videos (Total 113 min), 2 readings, 1 quiz
7개의 동영상
1.4.2 更多排列问题15m
1.4.3 更多排列问题10m
1.4.4 更多多重模型18m
1.4.5 单元4总结 (英文原声中文字幕)7m
工作坊习题课4解答 (英文原声中文字幕)13m
选项类型31m
2개의 읽기 자료
工作坊习题课4:作曲2시 5분
课后调查 (研究者: 墨尔本高等教育中心 Gregor Kennedy教授)10m
4.7
7개의 리뷰Chevron Right

离散优化建模基础篇 Basic Modeling for Discrete Optimization의 최상위 리뷰

대학: SYFeb 25th 2017

这是一个非常有趣的课程,难度适中, 讲解清晰。建议稍微讲点理论,也就是说要让人知其然, 还要知其所以然 。 另外, 是否可以选择一个更大众化的语言。当然MINIZINC 在这个问题上做得确实也很好。

강사

Avatar

Prof. Jimmy Ho Man Lee

Professor
Department of Computer Science and Engineering
Avatar

Prof. Peter James Stuckey

Professor
Computing and Information Systems

홍콩 중문 대학교 정보

Founded in 1963, The Chinese University of Hong Kong (CUHK) is a forward looking comprehensive research university with a global vision and a mission to combine tradition with modernity, and to bring together China and the West. CUHK teachers and students hail from all corners of the world. CUHK graduates are connected worldwide through an expansive alumni network....

멜버른 대학교 정보

The University of Melbourne is an internationally recognised research intensive University with a strong tradition of excellence in teaching, research, and community engagement. Established in 1853, it is Australia's second oldest University....

자주 묻는 질문

  • 강좌에 등록하면 바로 모든 비디오, 테스트 및 프로그래밍 과제(해당하는 경우)에 접근할 수 있습니다. 상호 첨삭 과제는 이 세션이 시작된 경우에만 제출하고 검토할 수 있습니다. 강좌를 구매하지 않고 살펴보기만 하면 특정 과제에 접근하지 못할 수 있습니다.

  • 수료증을 구매하면 성적 평가 과제를 포함한 모든 강좌 자료에 접근할 수 있습니다. 강좌를 완료하면 전자 수료증이 성취도 페이지에 추가되며, 해당 페이지에서 수료증을 인쇄하거나 LinkedIn 프로필에 수료증을 추가할 수 있습니다. 강좌 콘텐츠만 읽고 살펴보려면 해당 강좌를 무료로 청강할 수 있습니다.

궁금한 점이 더 있으신가요? 학습자 도움말 센터를 방문해 보세요.