合金中的随机物体

Question

假设你有一个基本的电梯系统定义在合金..。每层楼都有一套楼层和一组人在电梯上等候。你和州政府合作展示电梯所取得的进步。你怎么能让电梯在最初的状态下随机到达一个楼层去接他的第一个人？(又称:如何随机化元素合金？)

Answer 1

我认为你在这里要做的是不指定初始状态。也就是说，描述它的存在，澄清确实有一个，但不具体说明哪一个可能的状态是初始状态。

合金分析器将检查断言和谓词中所有可能的初始状态，并(最终)为所有可能的初始状态生成模型实例。这类似于一个好的随机数产生器的行为，即选择任何给定状态作为初始状态的可能性等于选择任何其他给定状态的可能性--只是这里的可能性变成1.0，而不是n个可能的状态。

Answer 2

更好的说法是任意楼层，而不是随机楼层。