下载PDF摘要：同步建模是诸如Lustre、Esterel或Scade等编程语言的核心，这些编程语言通常用于实现安全关键控制软件，例如飞机上的电传飞行和引擎控制。然而，到目前为止，这些语言对建模不确定性(软件环境或行为的概率方面)的现代支持有限，即使建模不确定性是设计控制系统时的主要活动。本文介绍了第一种同步概率程序设计语言ProbZelus。ProbZelus保守地为编写控制软件提供了异步语言的便利，具有建立模型不确定性和执行回路中推理的概率结构。给出了该语言的设计与实现。我们提出了概率流函数的度量理论语义和分离确定性表达式和概率表达式的简单类型规则。我们将保持语义的编译转换成一阶函数语言，以便简单地表示流式模型的推理算法。我们还重新设计了延迟采样推理算法，以提供高效的流推理。结合对几个反应性应用程序的评估，我们的结果表明，ProbZelus能够设计反应性概率应用程序和有效的、有界的内存推理。