最常见的基本逻辑形式和编程中的判定就是do-while和if-then-else。
The most common forms of basic logic and decision making within programming are the do-while and if-then-else approaches.
介绍了“新装备故障分析与判定方法”，提出了用逻辑分析的方法分析产生故障的可能原因。
This paper introduces "the fault analysis and determination method for new weaponry", and develops the theory to analyze the possible causes of faults with logic analysis method.
文章以城市定位的逻辑判定和科学分析为基础，通过对可选方案的优劣对比分析，最终遴选出太原城市定位的综合性方案。
On the basis of logical judgement and scientific analysis, paper compares the schemes selected, and certain rational scheme on Taiyuan's urban orientation.
当逻辑规则把输入数据和判定与目标或子目标联系起来时，它可用于专家系统，但此时数据常常是用似然语言而不是用确定语言表示。
It is used in expert systems when logical rules relate the input data and assertions to goals and subgoals but the data is often expressed in terms of likelihood rather than certainty.
当到达每个定时器间隔时，架构事件功率优化逻辑(AEPOL)就检测计数并判定是应该启动一提高功率还是降低功率序列210。
When each timer interval is reached, architectural event power optimization logic (AEPOL) examines the counts and decides whether a power up or power down sequence should be initiated 210.
以粗糙逻辑为基础，首先给出了在新实例加入论域后判断约简变化与否以及判断原极小决策算法中决策规则变化与否的判定依据。
Based on rough logic, theorems is presented, whether attribute reduction and minimal decision algorithm change or not when a new instance is added to the universe.
对于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.
对区间和车站的冲突采用逻辑表达式判定，对到发线冲突则引入堆栈方法来判定。
Logical expressions are put forward to judge the conflicts of sections and stations, and the stack method is used to judge the conflicts of station tracks.
描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。
Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
在逻辑验证和综合中，布尔匹配利用有序二叉判定图obdd来检验两个给定的逻辑函数是否相等。
In logic verification and logic synthesis, Boolean matching is widely used to testify whether two given functions are logically equal by means of OBDD.
利用二项分布计算最佳冗余逻辑，引入成品率边界因子判定冗余逻辑的经济性。
By means of binomial distribution the optimum redundancy logic is calculated and the boundary factor of yield is introduced to determine whether the redundancy logic is worthy.
编码后的DTD能在线性时间内对XML函数依赖的逻辑蕴涵问题进行判定。
Coding DTD can test the logical implication problem of XML function dependency in linear time.
不管怎样，数学操作符是不仅仅是你给出的操作符。有一些布尔型的操作符还能够帮助你用合理的思路或合理的逻辑判定。
However, mathematical operators are not the only operators you are given. There are Boolean operators to help you with logical circuits or logical decisions.
本论文将描述逻辑应用到空间推理中，充分利用描述逻辑较强的表达和推理能力，提高空间推理的准确性和可判定性。
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.
上下文：在一个证明过程中每一个陈述句都要被符合逻辑地用定义，定理或公理或前边已证明的命题加以判定。
Context: Each statement in a proof is logically justified by a definition, postulate, or an earlier proposition that has already been proven.
描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。
Description Logics (DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.
证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.
逻辑自己不寻找证据，但是判定是否证据已经找到。
It does not undertake to find evidence, but to determine whether it has been found.
逻辑自己不寻找证据，但是判定是否证据已经找到。
It does not undertake to find evidence, but to determine whether it has been found.
应用推荐