查询词典 correctness

Dialectic contains much points against science: dialectic , with simple opinion, its one dividing into two of opposite and consolidation broke nature's ordered and organic character; combing two into one being simply patched at least goes against thing's selectivity; law of the unity of opposite wrongly treats contradiction as principle, and does not deeply explore the objective principle of contradiction trending to utility; contradiction generalization dissevers the thing's utility, which denies the relativity of existence, truth, non-contradiction of rule being in relative condition and unique correctness.

辩证法就存在着诸多反科学之处：辩证法观念简单，其对立统一之一分为二打破了自然的有序有机性，而合二为一又简单拼凑，至少违反了事物的选择性原则；对立统一规律化，错误的把矛盾这一事物的状态当成了规律，而没能深入探索矛盾由对立趋向统一的客观规律；矛盾普遍化，割裂了事物的统一性，否定了存在的相对性，也否定了真理、规律在相对条件内的非矛盾性，唯一正确性；辩证矛盾核心论，乱用核心，否定了事物由低级趋向高级发展的客观规律；认识论如矛盾论，使认识等矛盾，使一切关系变成矛盾等等。

The remainder of this paper is organized as follows. Section 2 compares and formalizes several approaches to establishing trust in the results of compilation. Section 3 describes the structure of the CompCert compiler, its performance, and how the Coq proof assistant was used not only to prove its correctness but also to program most of it.

本文后续部分组织如下：第二节比较几种&建立可信编译结果&的方法并给出形式化定义；第三节介绍CompCert编译器的结构、性能、以及在使用Coq工具编写编译器代码的同时进行正确性证明的方法。

This paper introduced and discussed TSs main principles and some correlative basic concepts, did many simulative experiments, verified the feasibility and correctness of the above job, and obtained some corresponding results:(1) Taking TSP as an example, proposed some constructive advices for the initialing solutions algorithms based on the problem size and application acquirements. Proposed a novel adaptive intensification and diversification strategy for solving the conflict between intensification searching and diversification searching.

论文论述了TS的基本思想，并通过大量仿真实验证实了上述工作的正确性，取得了如下几方面的研究成果：＊）以 TSP为例，根据问题规模和应用要求，对初始解生成算法的选择提出了建设性的意见；提出了一种自适应的集中性与多样性搜索策略，较好地解决了集中性搜索和多样性搜索之间的矛盾。

The correctness and validity of the theory and method presented in this paper are inspected by several examples.

通过算例验证了理论和方法的正确性和有效性，为随机结构的动力响应分析提供了必要的基础。

The analysis with finite element method is accord to the experimental results basically, and invalidates the correctness of the model.

分析结果与试验结果基本符合。

The correlation between pilling grade assessed by Bp network and that by skilled person is 0.97, and the evaluation correctness is 92%.

Bp网络评定结果与主观评定结果的相关系数是0.97，等级评定的正确率是92％；自组织神经网络的评定结果与主观评定结果的相关系数是0.95，等级评定的正确率是84％。

The primary experimental tests of the VCO proofed the correctness of our theoretical and simulation studies.

初步实验结果验证了理论研究和粒子模拟的结果。

By reclassifying the related lexicalized metaphors selected from Metalude and analyzing these lexicalized metaphors respectively according to the classification, this thesis demonstrates the correctness of the interrelated theories, and probes into the pertinent features and conceptualization of the metaphor ANGER IS HEAT.

通过对从Metalude中收集的大量的相关语料进行再分类，并根据分类逐一进行分析，论证了所用理论的正确性，探讨了&愤怒是热&这个隐喻的相关特性及其建构。

Thanks to Political Correctness, the popular culture ridicules those who worship God as the sovereign creator.

由于政治正确，流行文化的调侃那些崇拜上帝作为造物主的主权。

Thanks to Political Correctness, the popular culture ridicules those who worship God as the sovereign creator.

由于政治正确性，流行文化的嘲弄那些崇拜上帝作为主权造物主。

There are different types of personal loans available.

有许多不同类型的个人贷款优惠。

The above mentioned teaching model of spiral rising can be used to avoid rigidness in teaching.

上述螺旋式上升的教学模式，可以避免教学形成模式後的僵化现象。