在计算属性约简集的基础上,建立了雷达干扰空间的偏序关系矩阵。
Based on the reduction of attribute sets, the partial order relation matrix of radar jamming space is obtained.
模型把子区域地形几何数据定义为单纯复合形集,按地形变化时间顺序和空间关系组织成一个偏序集。
The model is based on a collection of a divisional terrain data defined as simplicial complexes arranged into a partially ordered set by time and space.
SPIN在应用过程中同样面临状态空间爆炸问题,它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.
应用推荐