...指向不同元素的指针组成的数组;集合(set)是由节点组成的,每个节点包含一个元素,节点间以某种谓词排序;多重集合(multiset)是允许存在两个次序相等的元素集合;映射(map)是由{键,值}对组成的集合,同样以某种谓词排序;多重映射(multimap)是允许键对...
基于264个网页-相关网页
集合中元素的数量称为基(cardinaliy),写作|S|。 除了标准的集合符号,我们也使用多集合(multiset),其内部允许存在相同元素。多集合的基是其中元素的总数量,包括相同的元素。
基于34个网页-相关网页
基于证书修改的数字权限动态描述 - 计算机应用研究 - 金月芽期刊网 免费论文下载 关键词:多集; 证书; 规则; 证书修改 [gap=681]Key words:multiset; license; rules; license rewriting
基于32个网页-相关网页
Almeza MultiSet 自动批量安装程序 ; 程序集成自动安装工具 ; 批量安装程序 ; 批量安装软件工具
Almeza MultiSet Pro 自动程序安装工具 ; 软体名称 ; 批量安装程序 ; 无人值守安装光盘工具
Almeza MultiSet Professional 自动程序安装工具 ; 软体名称
hash multiset 杂凑多重集 ; 杂凑算法 ; 散多重集
Multiset household 多台电视家庭
Multiset Processing 多组加工技术
MultiSet Rewriting 多重集重写
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模型及相关理论。
参考来源 - 基于多重集重写的密码协议形式化分析技术研究·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
应用推荐