1) path closure
路径闭包
1.
Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, an.
在此基础上,研究了XFD的逻辑蕴含问题,提出了求解路径闭包算法和成员籍算法。
2.
Based on the definition of XFD, the inference rules for XML and logical implication is studied and a set of inference rules is presented and in- ference rules s correctnessand completeness is proved, as well as a path closurealgorithm and membership algorithm are presented.
在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题,提出了一组推理规则集并证明了推理规则的正确性和完备性,给出了求解路径闭包算法和成员籍算法。
2) path implication closure
路径蕴涵闭包
1.
By using the path implication closure as a tool, the algorithm cannot only effectively eliminate redundant nodes or predicates, but also identify invalid path expressions.
该算法以路径蕴涵闭包为工具,不仅可以删除路径表达式的冗余,还可以识别无效路径表达式。
3) Path set strong closure
路径集强闭包
4) Latch-up path
闭锁路径
5) band path
包络路径
1.
This paper analyzes the band path for this kind of robot system and proposes the computation method for the band path considering the motion trajectories of robot and the distribution of obstacles.
本文针对带拖车的轮式移动机器人运动所生成的包络路径进行了分析 ,并结合系统的运动轨迹和障碍物的分布情况提出了计算包络路径宽度的方法 ,通过仿真实验验证了量化包络路径宽度的实际意
2.
This paper proposes the concept of band path and gives the computation method of the band path, which describes the characteristics of the path and the relationship between the path and restrictions.
本文通过分析这类系统运动时的路径特征 ,提出包络路径概念 ;并根据路径与车体约束的关系 ,给出包络路径的量化描述 ,从而把这类多车体系统的路径规划问题转化为单个车体的规划问题 ,本质地改变了带拖车移动机器人的运动规划 。
6) Routing Problem
普包径路
1.
Research on Transfer Routing Problem of Railway Regular Package Delivery;
时变网络下有能力限制的普包径路选择问题研究
补充资料：闭包关系
闭包关系
closure relation
闭包关系「d渭u比比lati阅;、，aM峨a““，oT“o山en，，el.闭包运算(elosure operation)，偏序集M中的 M到它自身的单值映射，使每个元素a任M，映为元素互〔M，称为a的闭包(dosure)，使得下列条件戍立:l)a‘a;2)若a(b，则丁毛b;以及3)贡=丁.如果元素a就是它自己的闭包，则称a是闭的(d“ed).在集M中，只要定出它所有的闭元，就唯一地确定了M的一个闭包运算.特别在M是由任意集合X的所有子集构成的集合，按集合的包含关系为序时，我们可在X上来谈论闭包运算.在任意集合X上，一个闭包运算可以这样来规定:任取一个由子集所成的族，其中包含X自身，而且关于任意多的交是封闭的，以这个族作为X的闭子集族.两个带有闭包运算的偏序集，如果存在一个偏序集的同构，使得闭集的象和闭集的原象都是闭的，则称它们是同构的.对于由X的所有子集所成的集合来说，一类在数学上有相当重要性的闭包运算要求满足下述附加条件:空集是闭集，X的二个子集的并的闭包等于它们的闭包的并.满足此条件的闭包运算称作集合x上的拓扑(topology on the set)·【补注】闭包运算又称作印粤纂于(dosure Operator)或攀篡于(joino沐ra‘or)(见[l])·集合X的一族子集，如果在任意交下是封闭的，则称之为闭包系(d洗uresystem).例如仿射空间A中所有子空间所成的族，如上所述，它给出A的子集上的一个闭包运算. 与有限并可交换的闭包运算，为表示崇敬【AI]的作者，常称作Kuratowski闭包运算(Kuratowskid谓ureo讲ration).具有闭包运算的压双e代数(Boolean al罗-bra)有时称作甲粤华攀(d，ure al罗bra)(见[A2])·
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条