如何使用 int fint (double) 将双精度值转换为整数而不在 Uppaal 中获得 'Server connection lost'
how to convert double values to integer with int fint (double) without getting 'Server connection lost' in Uppaal
我想将双精度值转换为整数，以便在 model.For 的守卫中使用它们，我在 [=11] 找到了 int fint (double) 函数=] 现在我使用 uppaal-4.1.24 而不是 uppaal-4.1.19。不幸的是，当我尝试在其中一个模拟器或验证器中执行相应的转换时，我总是收到消息 'Server connection lost'。有没有人遇到过类似的问题并且知道解决办法？
最诚挚的问候，
乔西
不幸的是，Uppaal 4.1.24 模拟器无法处理浮点变量（以及具有 ODE 的模型）。这些功能目前仅适用于使用 SMC 查询的验证者。
详见第23期：
https://github.com/UPPAALModelChecker/UPPAAL-Meta/issues/23
我想将双精度值转换为整数，以便在 model.For 的守卫中使用它们，我在 [=11] 找到了 int fint (double) 函数=] 现在我使用 uppaal-4.1.24 而不是 uppaal-4.1.19。不幸的是，当我尝试在其中一个模拟器或验证器中执行相应的转换时，我总是收到消息 'Server connection lost'。有没有人遇到过类似的问题并且知道解决办法？
最诚挚的问候， 乔西
不幸的是，Uppaal 4.1.24 模拟器无法处理浮点变量（以及具有 ODE 的模型）。这些功能目前仅适用于使用 SMC 查询的验证者。
详见第23期： https://github.com/UPPAALModelChecker/UPPAAL-Meta/issues/23