若 {Xi}是一组空间而 X 是这组空间的 不交并(disjoint union),则 X 上的余积拓扑(coproduct topology) (或 不交并托普(disjoint union topology) , Xi 的 拓扑和(topological sum) ) 就是在...
基于2466个网页-相关网页
我们认为我们需要这样的一种元模型,其不仅是在一个通用(元)语言中的子模型的不相交并集(disjoint union),而且在模型构成期间能保存操作并支持有意义分析及跨越异构模型边界的传输。这就导致了设计中的构造性议题。
基于130个网页-相关网页
disjoint union graph 无交并图
disjoint union topology 或 ; 不交并拓扑
Edge-disjoint Union 边不相接并集
vertex disjoint union 顶点不相交的并集
disjoint union of set 不相交并集族
edge disjoint circuit union 边不相接回路的并集
disjoint set union 不相交集合并
disjoint set union-find problem 搜索问题
edge disjoint cut-set union 边不相接割集的并集
The author formulates new elimination rules for the disjoint union and shows that these rules are equivalent to the old elimination. rules.
作者给出关于不交并类型的新的消去规则,并且证明新规则与原先的消去规则等价。
参考来源 - ITT系统的一些性质 in C·2,447,543篇论文数据,部分数据来源于NoteExpress
以上来源于: WordNet
应用推荐