课程信息
4.7
19 个评分
6 个审阅
100% 在线

100% 在线

立即开始,按照自己的计划学习。
可灵活调整截止日期

可灵活调整截止日期

根据您的日程表重置截止日期。
中级

中级

完成时间(小时)

完成时间大约为17 小时

建议:4周的学习, 6-12小时/周 ...
可选语言

中文(简体)

字幕:中文(简体)...
100% 在线

100% 在线

立即开始,按照自己的计划学习。
可灵活调整截止日期

可灵活调整截止日期

根据您的日程表重置截止日期。
中级

中级

完成时间(小时)

完成时间大约为17 小时

建议:4周的学习, 6-12小时/周 ...
可选语言

中文(简体)

字幕:中文(简体)...

教学大纲 - 您将从这门课程中学到什么

1
完成时间(小时)
完成时间为 6 小时

MiniZinc介绍

在第一单元中,你将学习到MiniZinc的基础知识。它是一门用于离散优化问题的高级建模语言。通过结合简洁的MiniZinc语言和业界开源项目强大的求解技术,你将学会如何轻松地解决一些应用问题,比如背包问题,涂色问题,生产规划和覆面算问题。这个模块的学习目标是: (1) 建立一个基本的MiniZinc模型。 (2)理解一个由他人创建的简单MiniZinc模型。 ...
Reading
11 个视频(共 140 分钟), 5 个阅读材料, 1 个测验
Video11 个视频
1.1.1 第一步17分钟
1.1.2 第二个模型7分钟
1.1.3 第三个模型7分钟
1.1.4 模型和实例16分钟
1.1.5 对象建模10分钟
1.1.6 数组和推导式19分钟
1.1.7 全局约束10分钟
1.1.8 单元1总结 (英文原声中文字幕)5分钟
工作坊习题课0解答 (英文原声中文字幕)19分钟
工作坊习题课1解答 (英文原声中文字幕)21分钟
Reading5 个阅读材料
课程简介10分钟
课前调查10分钟
安装MiniZinc10分钟
工作坊习题课0:第一步20分钟
工作坊习题课1:温度45分钟
2
完成时间(小时)
完成时间为 5 小时

集合建模

在这个单元中,你将学到如何对集合选择问题进行建模。特别是你将学习到如何利用不同的方法来表示没有势约束的,固定势的,或有界势的集合变量。在建模时,你还需要确保所有的模型决策都是有效的决策,而每一个有效的决策刚好对应一个模型决策。这个模块的学习目标是:(1) 建立一个MiniZinc模型来选择一个集合 。 (2)选择一种最适合的表示方式来表示集合。...
Reading
6 个视频(共 75 分钟), 1 个阅读材料, 1 个测验
Video6 个视频
1.2.2 集合表示的选择12分钟
1.2.3 固定势集合的选择13分钟
1.2.4 有界势的集合12分钟
1.2.5 单元2总结 (英文原声中文字幕)3分钟
工作坊习题课2解答 (英文原声中文字幕)19分钟
Reading1 个阅读材料
工作坊习题课2:投降谈判15分钟
3
完成时间(小时)
完成时间为 9 小时

函数建模

在这个单元中,你将学习到如何对纯分配问题和划分问题建模,而实际上它们都是函数建模问题。这些问题可以应用到值勤安排或者约束聚类问题中。而在建模技术上,你将看到共同子表达式消除和中间变量的威力,还会初次接触到全局势约束。另外,MiniZinc还提供了约束来去除值对称。这个模块的学习目标是:(1) 创建MiniZinc模型来决定一个函数 。 (2)分析问题来洞察问题中是否含有赋值的子结构 。 (3)创建基本的值班模型。 (4)发现问题是否需要划分一个集合 。 ...
Reading
7 个视频(共 100 分钟), 1 个阅读材料, 1 个测验
Video7 个视频
1.3.2 另一个分配问题例子8分钟
1.3.3 划分建模12分钟
1.3.4 全局势约束12分钟
1.3.5 纯划分22分钟
1.3.6 单元3总结 (英文原声中文字幕)5分钟
工作坊习题课3解答 (英文原声中文字幕)28分钟
Reading1 个阅读材料
工作坊习题课3:美人计:盛宴50分钟
4
完成时间(小时)
完成时间为 8 小时

多重建模

在最后一个单元中,你将会看到离散优化问题可以如何通过不同的视角来切入,和如何从不同的视角来建立完全不同的模型。每一个视角都有优劣,而实际上不同的视角的模型可以结合起来互补。 这个模块的学习目标是:(1) 创建可以用两种不同视角的决策变量的MiniZinc模型。 (2)决定使用哪一种视角(或者组合视角)的决策变量对某一类问题更适合。...
Reading
7 个视频(共 113 分钟), 2 个阅读材料, 1 个测验
Video7 个视频
1.4.2 更多排列问题15分钟
1.4.3 更多排列问题10分钟
1.4.4 更多多重模型18分钟
1.4.5 单元4总结 (英文原声中文字幕)7分钟
工作坊习题课4解答 (英文原声中文字幕)13分钟
选项类型31分钟
Reading2 个阅读材料
工作坊习题课4:作曲5分钟
课后调查10分钟

讲师

Avatar

Prof. Jimmy Ho Man Lee

Professor
Department of Computer Science and Engineering
Avatar

Prof. Peter James Stuckey

Professor
Computing and Information Systems

关于 The Chinese University of Hong Kong

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

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....

常见问题

  • 注册以便获得证书后,您将有权访问所有视频、测验和编程作业(如果适用)。只有在您的班次开课之后,才可以提交和审阅同学互评作业。如果您选择在不购买的情况下浏览课程,可能无法访问某些作业。

  • 您购买证书后,将有权访问所有课程材料,包括评分作业。完成课程后,您的电子课程证书将添加到您的成就页中,您可以通过该页打印您的课程证书或将其添加到您的领英档案中。如果您只想阅读和查看课程内容,可以免费旁听课程。

还有其他问题吗?请访问 学生帮助中心