multiset
基本解释
- 多重集
英汉例句
- Stacked bar charts are therefore an alternative representation for quantitative multiset data.
堆叠柱形图应此可以是多集数据的替代表现形式。 - Use a multiset bar chart to display various datasets of quantitative data items within one diagram.
在一个图表中使用多重柱形图来显示不用的数量数据集。 - Multiset bar charts allow the user to compare the magnitude of data items by two separate discrete parameters.
多重柱形图允许用户比较两个不同部分的重要数据。 - For multimap and multiset the process is more complicated: the element may be present many times.
但对于multimap或multiset,该过程就复杂多了:某键对应的元素可能出现多次。 - As a result, when a multimap or multiset has multiple instances of a given key, those instances will be adjacent elements within the container.
因此,在multimap和multiset容器中,如果某个键对应多个实例,则这些实例在容器中将相邻存放。
专业释义
- 多重集
- 多集合
- 多重集合
- 多集
- 多重集
The model uses strongly typed multiset rewriting over firs order atomic formulas to express protocol actions and relies on a form of existential quantification to symbolically model the generation of fresh data.
MSR用基于一阶原子公式的类型化的多重集重写规则描述协议动作,用存在量词模拟新鲜数的产生,是一种精确、灵活的密码协议形式化模型。 本文所做的工作主要有以下几点:1) 分析研究了基于多重集重写的MSR模型及相关理论。数学
- 多重集