科学假说的实践检验的补充形式是逻辑检验，它凭借自身的优点能够克服实践检验的局限性。
The complement form of the practicing examination is the logic examination, it with lend the characteristics and advantages of itself and can overcome the limitation of the practicing examination.
ER首先读取逻辑日志，检验日志记录是否需要复制，最后将这些信息发送给相应的参与节点。
ER works by reading the logical logs, testing if a log record needs to be replicated, and finally sending that information to the appropriate participants.
评价和论证意味着检验文章逻辑的可靠性和感情的作用。
Evaluating an argument means testing the logic of a text as well as its credibility and emotional impact.
问题在于，遗留系统并不进行数据输入编辑和检验，因此不能确保应用程序中捕捉的数据与逻辑数据模型保持一致。
The problem was that the legacy systems did not have the data entry edits and validations to ensure that the data captured in the application was consistent with the logical data models.
它有助于将逻辑模型对象名称转换为物理名称，并允许检验数据对象，确保它们符合命名标准。
It facilitates the transformation of logical model object names into physical, and allows the users to validate their data objects to ensure their compliance with naming standards.
该类只实现X平方分布检验逻辑。
这个“先检验虚假设”逻辑在民意测验数据分析中的多个阶段都适用。
This test-the-null-hypothesis-first logic applies at multiple stages in the analysis of poll data.
转换和验证使您可以侧重于业务逻辑，而不是侧重于对输入数据进行繁琐的资格认定，比如null检验、长度限定、范围边界，等等。
Conversion and validation allow you to focus on business logic rather than the tedious qualifications of input data such as null checks, length qualifiers, range boundaries, etc.
有些志愿者被告知她们将完成检验她们数学、逻辑和理性的推理能力的任务。
Some volunteers were told that they would be completing tasks to measure their mathematical, logical, and rational reasoning abilities.
但其中有一个微妙的逻辑“跃进”，在我看来，经不起较仔细的检验。
But there is a subtle logical leap that, I believe, does not bear up under closer scrutiny.
本文紧密结合临床诊断的实际，从逻辑的角度对诊断假说的形成、检验和评价进行了探讨。
By closely combining with the data of the clinical diagnosis, I discuss how to form, test and evaluate the diagnosis hypotheses with logical methodology.
状态检验(Static verification)可以查找多种通常的程序逻辑错误，如不恰当的使用一个在编译时而不是运行时的方法。
Static verification offers the promise of finding many common errors in program logic such as possibly improper use of a method at compile time as opposed to at runtime.
文章将农村产业结构分为三个层次，通过逻辑分析和实证检验探讨了人口流动对各层次产业结构的影响。
Using logical analysis and empirical test, this paper divides the rural industrial structure into three levels and analyses the impact of population migration on the rural industrial structure.
对判决性实验的研究能够进一步挖掘逻辑策略在科学检验中的作用，使人们在的科学活动中注重逻辑策略的运用。
Studying the Crucial test can further explore the role of the logical method in the scientific test, make people focus on the use of logical methods.
通过两轮现场测试获取原始数据，用逻辑分析和数理统计方法检验数据的有效性和可靠性。
Obtain initial data through two on-the-spot test, examine the validity and dependability of the data with logic analysis and mathematics and physics statistical method.
本文同意逻辑证明是检验现代数学真理的唯一标准，同时也讨论了逻辑证明是一种实践活动的问题。
The paper agrees that only logical proof can be criterion of modern mathematical truth, and also discusses that logical proof is an action of practice.
针对直觉模糊粗糙逻辑（IFRL）推理的规则库检验问题，提出了IFRL规则库的互作用性检验方法。
To the rule-bases checking issue with intuitionistic fuzzy rough logical(IFRL) reasoning, an interactivities checking approach to IFRL rule-bases is proposed.
逻辑框架法是通过垂直逻辑关系检验项目的效果和作用，通过水平逻辑关系对资源和成果进行说明和评价。
Logical frame method is to test project effect and function through vertically logical relations and to appraise the resources and the achievement through horizontally logical relations.
尼柯德标准并不是一个逻辑标准，而是科学家在检验经验假说时采用的实践原则。
However, Nicod criterion is not logical, but a practical procedure or guidance used in testing hypothesis.
在逻辑验证和综合中，布尔匹配利用有序二叉判定图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.
可以认为，第一类错误由检验中的实际推断原理引起，第二类错误由检验中的逻辑谬误引起。
It is to be proposed that the first type of mistake is caused in testing by certain principles of inference and the second type is caused in testing by logical errors.
在检验u ML模型一致性时，把一致性检验问题转化为逻辑定理证明问题。
To check consistency of UML model, the consistency checking is converted to a problem of theorem proving.
这些研究结果对6 P - 1b模型的理论逻辑提供了一定的统计检验的支持，同时也给管理者提供了一些关于如何提高组织学习能力的方法和启示。
The statistics results support the theoretical logic of 6p_1b model, and provide managers with some valuable hints on how to improve organizational learning capabilities.
这种整体的实践作为检验真理的标准并不构成逻辑上的悖论。
That the whole practice is regarded as a criterion for testing truth will not form a logical paradox.
为了检验该假说，我们进行了逻辑回归分析估计概率新股上市的公司将提供激励股票期权及股票购买计划的所有员工都能参加。
To test this hypothesis, we performed logistic regression analyses to estimate the probability the IPO firm would offer incentive stock options and stock purchase plans to all employees.
检验了上下级默契与契合、上下级关系、信任、对主管的满意度的逻辑关系。
Some logical relations among this new construct and other variables such as Fit, LMX, Trust, and Satisfaction to Supervisor have been verified.
他运用“错位”理论研究文学中的情感逻辑进而拓展到幽默中的“二重逻辑错位”，并且在对幽默文本的研究和自己的创作中得到了检验。
As mismatch theory is used to research emotional logic in literature, it is developed to "dual logic mismatch" and the theory of "dual logic mismatch" is testified by humor text investigation.
本文重读休谟的问题，回击一种对休谟问题的曲解，并借用可能世界的逻辑分析方法，重新对人类知识的确定性进行探讨，展现出奎因采取整体论的意义检验理论的深层原因。
Restating Hume's problem, correcting an misunderstandable opinion to Hume's problem, taking advantage of the method of possible worlds to discuss what human's knowledge means and why Quin…
本文重读休谟的问题，回击一种对休谟问题的曲解，并借用可能世界的逻辑分析方法，重新对人类知识的确定性进行探讨，展现出奎因采取整体论的意义检验理论的深层原因。
Restating Hume's problem, correcting an misunderstandable opinion to Hume's problem, taking advantage of the method of possible worlds to discuss what human's knowledge means and why Quin…
应用推荐