从这个数字我们就可判定你说的话是真是假。
By their number we shall judge whether what you say is true or false.
使用漏油检测装置即可判定轴承磨损是否均匀。
Use of the bearing oil leak detector will determine whether or not bearing wear has been uneven.
人们应该于何时方可判定说:隐匿起来与贮存食货是个不错的主意?
When should humans decide that hiding and hoarding is the right idea?
受限制的条款规定,成为可判定,并而且能非常有效地实施。
The restricted set of terms, becomes decidable , and moreover can be implemented very efficiently.
该定理揭示了在一个相容形式系统中存在着不可判定的命题。
This theorem reveals that there exist undecidable propositions in a consistent formal system.
如果在痰中检测出有某种细菌生长,那么可判定为阳性肺结核。
Active TB is identified if certain bacterium grows in the test material.
一般价格低于企业的平均可避免成本,即可判定构成掠夺性定价。
Generally, price below the average avoidable cost would constitute predatory pricing.
描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
那就是对不可判定性的一个消极的反应,当然,我们可以容纳这个观点。
That's the negative response to undecidability, and it's of course, a view that many of us may entertain.
本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
This paper is devoted to a proof of decidability on consistent structure and gives a rapid decision method.
我们提出的寻找外延的算法要比现有的重构过程更有效,且它是可判定的。
Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable .
描述逻辑是一阶谓词逻辑的可判定子集,具备强大的知识表示和推理功能。
Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.
证明了该模型的可判定性,并给出了判定任意一个事件是否需要审计的算法。
The decidability of the model is proven and a decidability algorithm is presented.
根据这些规则即可判定工作流模型中存在的结构冲突 ,从而迅速对其进行修正。
With this method, structural conflicts in the workflow model can be discerned by reducing its workflow graph.
而OWLDL的推理机处理的尽管是一个可判定的子语言,会有更高的最坏情况复杂度。
Reasoners for OWL DL, while dealing with a decidable sublanguage, will be subject to higher worst-case complexity.
使用了功能合一语法对描述系统,对系统中采用的匹配算法、语法分析及可判定性分析进行了讨论。
It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法,证明了验证算法的可判定性。
A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.
证明了该算法是可判定的,而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.
在其终止性可判定理论的基础上,对于给定非终止循环构造出其非终止输入作为反例,使该结果更加完整。
Under his termination-deciding method, a nonterminating input can be further constructed as an counterexample for the given nonterminating loop, which makes the result more complete.
由于计算机病毒检测的不可判定性,提出了一种基于改进的K最近邻检测方法来实现对计算机病毒的近似判别。
Because precise determination of a computer virus is undecidable, a method based on improved K-nearest neighbor to detect computer virus approximately is presented in this paper.
个别小块奇石可能砂浆基本清掉,但留下的石根仍清晰可见,有之,再看以下两条,如没有就可判定可能是冒充的。
Individual small pieces of stone may mortar basic clear, but left Shi Gen is still clearly visible, have it, look at the following two, if not can judge may be pretending to be.
本论文将描述逻辑应用到空间推理中,充分利用描述逻辑较强的表达和推理能力,提高空间推理的准确性和可判定性。
This thesis fully USES the expressing and reasoning ability of description logic and applies it in the spatial reasoning to increase the accuracy and decidability of the reasoning.
通过选择足够的样本对神经网络进行训练,将代表故障的信息输入训练好的神经网络,由输出结果就可判定故障类型。
With sufficient samples training, the type of fault mode can be obtained when signal representing fault is inputted to the trained neural networks.
大脑图谱是科研人员和医生必备的参考工具,通过图谱,他们可判定在工作、思维过程中,或是在图像导航的外科手术过程中,大脑哪个区域在变化。
Brain atlases are essential reference tools for researchers and physicians, to determine which areas are "lighting up" during a task or thought process, or during image-guided surgery.
大脑图谱是科研人员和医生必备的参考工具,通过图谱,他们可判定在工作、思维过程中,或是在图像导航的外科手术过程中,大脑哪个区域在变化。
Brain atlases are essential reference tools for researchers and physicians, to determine which areas are "lighting up" during a task or thought process, or during image-guided surgery.
应用推荐