理学 类型理论 释 concurrency model 并发模型 一种用于描述和分析内部含有无因果关系的事件或事件组的系统的数学模型。
理论计算机科学 佩特里网 释文 concurrency model 并发模型
- navigation aided by dynamic model
- navigation aids
- navigational datum
- navigational GNSS receiver
- navigational instruments
- navigational lighting aid station
- navigational lighting aid system
- navigational object
- navigational planet
- navigational satellite
- navigational sports
- navigational star
- navigational star number
- navigational time scale
- navigational triangle
- navigation and positioning
- navigation and positioning on the sea
- navigation and search on complex network
- navigation aqueduct
- navigation brain system
- navigation by earth reference
- navigation by map-matching
- navigation by space reference
- navigation channel of Xijiang River
- navigation clock