文件名称：CSPElevator:基于CSP的电梯仿真非平凡系统
文件大小：10KB
文件格式：ZIP
更新时间：2024-07-16 15:35:26
Java
CSPElevator 我们看到了 CSP 中的基本运算符。 这里需要定义一个基于CSP的非平凡系统，然后再想办法用Java实现。 该系统描述了一个简单的电梯，可以在 3 层的环境中载客。 我们将需要（至少） 10 + n流程定义：一部电梯、三个呼叫按钮、三个目的地按钮、三个电梯门和n乘客。 电梯和乘客从随机楼层开始。 后者然后（反复）乘坐电梯到不同的、随机选择的楼层。 每层楼都有一个按钮和一个通往电梯井的门。 一名乘客按下他们所在楼层的呼叫按钮，这会召唤电梯。 当电梯到达某个楼层时，它会发出开门信号，等待想要前往该楼层的乘客离开，并等待新乘客进入并通过按下相应的目的地按钮选择目的地楼层。 一旦所有合适的乘客都离开并且呼叫电梯的每个人都选择了目的地，门就会关闭，电梯就会移动到另一个楼层。 请注意以下事项： 无论同一楼层是否有多名乘客，每个想要旅行的乘客都会按下呼叫按钮并单独选择他
【文件预览】：
CSPElevator-master
----README.md(4KB)
----csp-implementation.hs(712B)
----sample-3p10s.log(13KB)
----src()
--------main()