查询词典 consistency

A formal semantics is given. We prove 79's soundness, consistency, completeness, and decidability with respect to the semantics.

本文和给出严格形式语义的基础上，证明了该系统具有可靠性、协调性、完全性和可判定性。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

Moreover, analytic hierarchy process are used to determine a priority vector in the evaluation of customer satisfaction indices, and the scales, the computation of a priority vector, group decision, the consistency test and adjustment of a judgment matrix in AHP are studied and improved.

顾客满意度指数测评时，用层次分析法确定权重，对层次分析法的标度、权重计算、群决策、判断矩阵的一致性检验与修正5方面进行了研究与改进。

Only one for the output file: a file only after a delete cells proceesing can be used for proofing and business card printing, it will only be meaningful, Business card printing colors of the reliability and consistency to be guaranteed

只天生一个用于输不入的文件：只有当一个文件只经过一次删格冻办理不离能用于打样和制卡的工夫，它才会变得有事理，制卡色彩的可靠性和一致性才能获得包管

But the reality is, we have maintained our yields and we have improved the consistency of deliverable product.

但现实是，我们已经保持了产量，我们已经改进了可交付产品的一致性。

the total self-consistency of the students are moderate, but there are variant differences in demology variables.

高师学生整体自我和谐状况适中，但在人口学变量上存在不同程度的差异。

Compared to other alternatives, the approach is in favor of the consistency with Dempster's rule in form as well as flexible process of combination.

这种预处理一方面解决了合成过程中可能导致悖论的标准化问题，符合人类的日常思维习惯，并且在形式上和Dempster合成规则保持一致，同时在证据合成方面也更为灵活。

It begins by articulating four criteria for evaluating a rationale of the charitable exemption: deservedness, incorporating the elements of worth and need; proportionality; universality; and historical consistency.

它从4大标准开始，阐述了慈善性税收豁免的理由：理所当然性，加上值得和必要；成比例性；普遍性；以及历史沿袭性。

Real disruptions in world events begin with the destabilization of the West as a result of degrading US foreign policy and consistency.

真正的结束在世界事件从西方的不稳定开始由於贬低美国对外政策和一贯性。

This kind is mixed desultorily optional encode, lack pair of shoes kind maintain of the product truly definitely, those who lack a times is successional the consistency with the industry, to the shoe kind product and development evolution.

这种杂乱无章和随意的编码，缺乏对鞋类产品的准确认定，缺乏时代的连续性和行业的一致性，对鞋类产品及发展沿革。。。

The teacher likes the honeymouthed little girl very much.

老师很喜欢这个嘴甜的小姑娘。

Mr. Notker Bien's interests are traveling, spending quality time with the family and long-distance-running.

诺特卡·柏恩先生热爱旅游，长跑，以及和家人一起共度美好时光。