課程信息
3.7
3 個評分
2 個審閱
100% 在線

100% 在線

立即開始,按照自己的計劃學習。
可靈活調整截止日期

可靈活調整截止日期

根據您的日程表重置截止日期。
中級

中級

完成時間(小時)

完成時間大約為18 小時

建議:5周的学习, 6-12小时/周 ...
可選語言

中文(簡體)

字幕:中文(簡體)
100% 在線

100% 在線

立即開始,按照自己的計劃學習。
可靈活調整截止日期

可靈活調整截止日期

根據您的日程表重置截止日期。
中級

中級

完成時間(小時)

完成時間大約為18 小時

建議:5周的学习, 6-12小时/周 ...
可選語言

中文(簡體)

字幕:中文(簡體)

教學大綱 - 您將從這門課程中學到什麼

1
完成時間(小時)
完成時間為 10 小時

调试与改良模型

跟计算机程序一样,模型也会有错误。在这一单元中,你将会看到许多不同错误的症状(如不能满足,太多解,太少解),而且学到不同的方法来发现你的模型的问题在哪里,你可以如何去修复它们。有了这些技能,你就可以开发和调试复杂的模型。这个单元的学习目标是:1.改正不正确的Minizinc模型; 2. 运用调试技巧来查明模型里面的错误; 3. 解释在关系语义下的一些为定义的表达式; 4. 修改一个正确的MiniZinc模型从而让它变得更有效率。 ...
Reading
10 個視頻 (總計 182 分鐘), 4 個閱讀材料, 1 個測驗
Video10 個視頻
2.1.1 模型调试7分鐘
2.1.2 模型跟踪14分鐘
2.1.3 关系语义19分鐘
2.1.4 过多解12分鐘
2.1.5 丢失解30分鐘
2.1.6 基础模型改进36分鐘
2.1.7 单元1总结 (英文原声中文字幕)4分鐘
工作坊习题课5解答 (英文原声中文字幕)23分鐘
选项类型31分鐘
Reading4 個閱讀材料
课程原理与简介10分鐘
课前调查10分鐘
安装MiniZinc10分鐘
工作坊习题课5:诗歌挑战30分鐘
2
完成時間(小時)
完成時間為 10 小時

谓词

在这个模块中你将会学习到如何把一个复杂的约束定义封装到一个谓词里面,从而可以重复使用它。这可以让你建立越来越复杂的模型的同时,通过模块化的方式提升它的可读性。你将会第一次碰到多目标函数的问题,和学习如何压缩他们到一个目标函数里。除此以外,你还会学到如何对于安排宴会座次问题进行建模,这会在日常生活的许多场景中帮到你。你的学习目标有:1. 建立一个模型利用谓词和局部变量来让重要的约束抽象化; 2. 对于在MiniZinc模型中的不同的表达式进行分类。...
Reading
6 個視頻 (總計 115 分鐘), 1 個閱讀材料, 1 個測驗
Video6 個視頻
2.2.1 谓词10分鐘
2.2.2 let-in 结构24分鐘
2.2.3 谓词的使用25分鐘
2.2.4 语境25分鐘
2.2.5 单元2总结 (英文原声中文字幕)3分鐘
工作坊习题课6解答 (英文原声中文字幕)24分鐘
Reading1 個閱讀材料
工作坊习题课6:称象:第一部分15分鐘
3
完成時間(小時)
完成時間為 10 小時

调度问题

学习如何着手各种复杂的项目调度问题,从只有简单的次序要求的问题到有单一资源甚至累积资源的问题。你将会在这些应用中看到如何对于一些复杂的约束进行建模。这个单元的学习目标有: 1. 建立复杂的调度问题的模型; 2. 发现调度问题的子结构,如问题中分离调度和累积调度。...
Reading
7 個視頻 (總計 103 分鐘), 1 個閱讀材料, 1 個測驗
Video7 個視頻
2.3.2 分离调度11分鐘
2.3.3 累积调度27分鐘
2.3.4 序列依赖调度 123分鐘
2.3.5 序列依赖调度 28分鐘
2.3.6 单元3总结 (英文原声中文字幕)3分鐘
工作坊习题课7解答 (英文原声中文字幕)12分鐘
Reading1 個閱讀材料
工作坊习题课7:访问诸葛亮20分鐘
4
完成時間(小時)
完成時間為 1 小時

Packing 打包问题

在这个单元中,你可以学习到打包问题的一些重要应用,从正方形打包到直边形打包(考虑或不考虑旋转)。同样地,你将会看到在这些应用中如何对一些复杂的约束进行建模。你的学习目标有:1. 建立一个复杂的打包模型; 2. 通过全局约束(如diffn和geost)来描述打包问题。...
Reading
3 個視頻 (總計 68 分鐘)
Video3 個視頻
2.4.2 直边形打包(不考虑旋转)16分鐘
2.4.3 直线形打包(考虑旋转)24分鐘

講師

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

常見問題

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

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

還有其他問題嗎?請訪問 學生幫助中心