理学 类型理论 释 concurrency model 并发模型 一种用于描述和分析内部含有无因果关系的事件或事件组的系统的数学模型。
理论计算机科学 佩特里网 释文 concurrency model 并发模型
- positive semi-definite
- positive semi-definite form
- positive semi definite Hermitian matrix
- positive semi-definite Hermitian matrix
- positive semi-definite kernel
- positive semi definite matrix
- positive semi-definite matrix
- positive semi-definite operator
- positive semi definite quadratic form
- positive semi-definite quadratic form
- positive semi-definite rational function
- positive semigroup
- positive semiorbit
- positive semi-trough
- positive sense
- positive sense single-stranded RNA virus
- positive sequence
- positive series
- positive side
- positive sidelight
- positive sign
- positive skewness
- positive solution
- positive species interaction
- positive spinor