non determinism 非决定性
delay-non-determinism 时延不确定性
historical non-determinism 历史非决定论
non-determinism in history 历史非决定论
The last refinement of a machine is called implementation. In this thesis, the machines of the cytokine network models are refined, which is less non-determinism and more concretely.
本文对因子网络的机器进行了精化,变换到另一种更具体的数学模型,减少了非确定性。
参考来源 - 形式化B方法验证技术研究及其应用·2,447,543篇论文数据，部分数据来源于NoteExpress
I conclude this introduction to JCSP with a simple example that demonstrates the use of JCSP guards to facilitate non-determinism in concurrent applications.
我用一个简单的示例，演示如何用JCSP警卫实现并发应用程序中的非确定性，借此总结对JCSP的介绍。
Popper's Historical Non-determinism is formed and reflected in the process of critiizing Maxist Historical Determinism and once evoked great repercussion in Western society.
波普尔的历史非决定论曾在西方社会产生过很大影响。
The non-determinism in this example is because of the fact that the output value is based on the values on the in and inject streams (and also on the sequence in which these values arrive).
这个示例中的非确定性是因为：output 的值基于 in 和 inject 流的值（同时还基于这些值到达的顺序）。
应用推荐