如何使用 int fint (double) 将 double 值转换为整数而不会在 Uppaal 中获得“服务器连接丢失”

编程问答 2022-05-25

问题描述

我想将 double 值转换为整数以在模型的保护中使用它们。为此，我在 https://www.it.uu.se/research/group/darts/uppaal/download.shtml 找到了 int fint (double) 函数，现在我使用 uppaal -4.1.24 而不是 uppaal-4.1.19。不幸的是，当我尝试在其中一个模拟器或验证器中执行相应的转换时，我总是收到消息'服务器连接丢失'。有没有人遇到过类似的问题并知道解决方案？

最好的问候， 乔西

解决方法

不幸的是，Uppaal 4.1.24 模拟器无法处理浮点变量（以及带有 ODE 的模型）。这些功能目前仅适用于使用 SMC 查询的验证器。

请参阅第 23 期了解更多详情： https://github.com/UPPAALModelChecker/UPPAAL-Meta/issues/23

doubledoubleintegerintegerintegeruppaal