图像缩略图

用Simuink设计验证器解决渡船问题

版本1.0.0.0(151 KB)由 约甘南达·杰普
这有两个模型,试图找到一个解决老难题使用SDV

170下载

更新2016年1月23日

查看许可证

这些谜题取自
https://cs.swan.ac.uk/~csfm/Pubs/fwfm13.pdf
人狼羊卷心菜谜语
一个人需要带着狼、山羊和卷心菜过河。他的船只够载他自己和他的三件物品中的一件,所以他必须一次一件地运送这些物品。然而,如果他把狼和山羊放在一起无人看管,那么狼就会吃掉山羊;同样,如果他把山羊和卷心菜放在一起
在无人看管的情况下,山羊会吃卷心菜。这名男子如何安全地携带他的三件物品通过?

水壶之谜
在1995年的电影《死难者:复仇》中,纽约侦探约翰·麦克莱恩(由布鲁斯·威利斯扮演)和哈莱姆干洗店的宙斯·卡弗(由塞缪尔·卡弗扮演)。杰克逊)必须解决以下问题,以防止炸弹在公共喷泉爆炸。

由于只有一个5加仑的水罐和一个3加仑的水罐,两个水罐上都没有任何标记,因此他们不得不将喷泉中正好4加仑的水装满大水罐,并将其放在磅秤上,以停止炸弹计时器,防止灾难发生。

他们是如何完成这一壮举的?

引用为

约甘南达·杰普(2021年)。用Simuink设计验证器解决渡船问题(//www.tianjin-qmedu.com/matlabcentral/fileexchange/55054-solving-ferryman-problem-with-simuink-design-verifier),MATLAB中央文件交换。恢复.

MATLAB版本兼容性
使用R2015a创建
与任何版本兼容
平台兼容性
窗户 马科斯 Linux

社区寻宝

在MATLAB Central中查找宝藏,了解社区如何帮助您!

开始打猎吧!