健身手环控制逻辑的可视化设计¶

健身手环的有限自动机模型，可对人体活动的变化做出反应，并模拟计步和发送通知。

您可以阅读 Hubre 上的 文章，了解有关该项目的更多信息。

开始¶

打开模型fitness_tracker.engee ； 2.运行交互式脚本_fitness_tracker.ngscript 初始化参数； 3.运行脚本run_interactive_simulation.jl 开始模拟。

设置模型参数¶

在模拟过程中，可直接在脚本fitness_tracker.ngscript 中更改用户行为和健身手环设置：

运行模拟的示例¶

为了让演示更加直观，我录制了一段视频：