完备性

At last, we will explore the completeness of the algebraic laws with respect to a subset of Verilog and the operational semantics, i. e., if such programs are bisimilar, then they are algebraically equivalent.

最后本文研究了代数语义的相对完备性，即参照前面的操作语义模型，相对于扩展Verilog语言的一个子集而言，我们的代数语义是完备的。

At last, the completeness of the algebraic laws with respect to a subset of Verilog and the operational semantics, i.e., are explored, if such programs are bisimilar, then they are algebraically equivalent.

研究了此代数语义的相对完备性，即参照前面的操作语义模型，相对于扩展Verilog语言的一个子集而言，此代数语义是完备的。

Deng Xiao-ping gave overall consideration to the solution to the problem of"Agriculture, Countryside and Peasantry"and farsightedly put forwards many ideas and developed them into a systemic theory.

邓小平为了解决中国现实的"三农"问题，他不管是从思考解决该问题的深度、广度、重要性、紧迫性，还是就解决对策的科学性、全面性、完备性、长远性，都作了全盘考虑，提出了许多很有远见的思想，形成了完备的理论。

Del incompleteness theorem is based on some interpretation of first order arithmetic.

本文首先从形式主义的角度介绍了哥德尔不完全性定理，提出"哥德尔不完备性定理"的说法是容易混淆的，说明一阶算术有非标准模型，哥德尔的证明是基于标准模型的，可以推出一阶算术在标准模型上的不完备。

In distinguishing between man and all other animals, Rousseau points to free will and man's faculty for self-perfection or "perfectibility." How does Rousseau's idea of individual will differ from Hobbes's?

在区别人与其他动物时，卢梭指出自由意志与人求取完备的能力或"求取完备性"乃是不同之处，卢梭对於个人意志的概念与霍布斯有何不同？

It is shown by the analysis of its time complexity and completeness as well as the numerical experiment that the proposed algorithm can achieve the goal of completeness and rapid convergence.

对算法进行的时间复杂度和完备性分析以及数值实验表明，基于遗传算法的粗糙集属性约简算法具有完备、快速收敛等特点。

First, in the aspect of influence of knowledge transaction cost factors on the choice of knowledge transfer mechanisms,"task uncertainty","information completeness","information asymmetry", and "knowledge tacitness" had direct influence on knowledge buyers when they chose knowledge transfer mechanisms. While "trust","task uncertainty","information completeness","knowledge tacitness","knowledge asset specificity" had indirect influence on the choice of knowledge transfer mechanisms.

在知识交易成本因子对知识移转机制选择之影响方面，「任务不确定性」、「资讯完备性」、「资讯不对称性」与「知识内隐性」对组织内知识需求者知识移转机制选择有直接影响，而「信任」、「任务不确定性」、「资讯完备性」、「知识内隐性」与「知识资产特殊性」则是对知识移转机制选择有间接影响；2。

The main work is done as following: 1.A model of dynamic fuzzy multi-dimensional data is proposed. The compose and the categoricalness theorem of the model of dynamic fuzzy multi-dimensional data is proposed. The provement of both is proposed.

主要工作有以下几方面： 1、给出了动态模糊多维数据模型，包括动态模糊多维数据模型合成定理和动态模糊多维数据模型完备性定理，对该模型的合成定理和完备性定理作了证明。

The second chapter investigates the distinction and valuation of conventional law. The chapter includes the main distinction of conventional law, that is "localism"、"stabilizationalism"、"expressional from diversity"、"the attachment of status and divinities"、"particularity of settling a dispute" and "imperfection of legal institutions", etc; The valuation of conventional law intentively expresses the short supply for making up of national law and perfection of improving national law.

第二章考察了习惯法的特征与价值，认为习惯法的主要特征有：&地方性&、稳定性、表现形式多样性、身份和神灵依附性、解纷方式特殊性、法制不完备性等；习惯法的价值则集中表现在对弥补国家法的供给不足和促进国家法的完备上。

This paper introduce development of integrity monitoringtechnology on WADGPS, specify ERAIM method which apply Kalman filter , some other methods of integrity monitoring technology is gave at the same time, such as auxiliary RAIM method, mid-value select method and pseudo-satellite method.

介绍了广域差分GPS系统完备性监测技术的一些进展，详细叙述了应用卡尔曼滤波和观测值历史记录的ERAIM算法，同时也给出了完备性监测技术的其他一些方法，如辅助RAIM算法和中值选择法、卫星方法等。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。