invariants
美 [ɪnˈvɛriənt]英 [ɪnˈveəriənt]
- n.不变量;【数】不变式
- adj.不变的;恒定的
- 网络不变性;不变性条件;恒常性
复数:invariants
invariants
invariants
不变性
Liran - 博客园 ... introspection 自省 invariants 不变性 invoke 调用 ...
不变量
- 不变量(Invariants)- 例如,一天24小时就是一个绝对的不变量。- 成长曲线(Growth Curves)- 缓慢的诞生、迅速的成长、 …
不变式
系统的保护由不变式(invariants)集提供,比如内存不变式将维护内存内两个SIP间没有交互参照(或循环的内存指针)。这项 …
不变性条件
断言大致分为前置条件(Preconditions)、后置条件(Postconditions)、不变性条件(Invariants)如果前置条件不成立,发生…
恒常性
编程英语常用词汇 - 豆丁网 ... interpreter/ 直译器 解释器 invariants/ 恒常性,约束条件 约束条件 invoke/ 唤起 调用 ...
不变量分析
图2 是DaNAMiCS 的主界面,其分析功能包括不变量分析(Invariants)、基于覆盖图的活性和有界性分析(Coverability Graph)、 …
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
22
23
24
25
26
27
28