在V7以前,如果您想为中介流设置分支,这些分支的执行顺序是非确定性的。
互联网摘选
部分可观测马尔可夫决策过程(POMDP)是一种用于制定序列决策的经典模型。在该模型中,智能体做出动作所产生的效果是不确定的,对环境状态信息的观测也是不完整的。
互联网摘选
本文通过状态转换器来定义I/O的文件系统,并用非确定性Monad描述了操作系统的进程网,从而给出了通道系统的语义。
互联网摘选
This is the approach we advocate for using these nondeterministic methods.
这是我们提倡使用不确定方法的使用方法.
互联网摘选
On the basis of this concept, the noninterference model is extended to nondeterministic systems.
提出系统动作对信息域的不干扰概念, 并在此基础上将不干扰模型推广到非确定系统.
互联网摘选