Due to complicacy of DTD, it is difficult to study the logical implication of XFD.
由于DTD的复杂性,使得XFD的逻辑蕴涵问题研究比较困难。
The upgrading and technological innovation of the lab-used single flotation cell of XFD-63 has important meanings for the laboratory test work of mineral processing.
实验室X FD-63单槽浮选机更新换代、技术创新对实验室选矿试验工作发挥着重要作用。
Lab. -used XFD Series Single flotation Cell is provided for flotation of minor ore samples in LABS of geological, metallurgical, building material, chemical and other industries.
实验室用xfd型系列单槽式浮选机供地质、冶金、建筑材料、化学等工业实验室浮选少量矿样用。
Test results show that in the same experimental conditions, the new ring-like type flotation column has superiority in recovery and concentrate grade compare to the XFD flotation machine.
试验证明,在相同的试验条件下,新型环形浮选柱无论是回收率还是精矿品位都比x FD浮选机有优势。
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定义的基础上研究了XML的推理规则和逻辑蕴涵问题,提出了一组推理规则集并证明了推理规则的正确性和完备性,给出了求解路径闭包算法和成员籍算法。
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定义的基础上研究了XML的推理规则和逻辑蕴涵问题,提出了一组推理规则集并证明了推理规则的正确性和完备性,给出了求解路径闭包算法和成员籍算法。
应用推荐