对每一条目皆作了努力以保证本书的准确性和完备性。
Every effort has been made to ensure the accuracy and completeness of this book.
在人类的一切文化中，无矛盾性和完备性是不能同时达到的。
In virtually all cultures, to be free of contradictions to be of excellent soundness cannot be achieved simultaneously.
基于此，提出了DCWA的过程语义，并证明了它的可靠性和完备性。
This paper presents a top down procedure for DCWA and proves its soundness and completeness.
如何保证芯片验证的高效性和完备性是芯片成功开发的关键，也是目前验证的主要研究方向。
How to guarantee high efficiency and sufficiency is the key factor to the successful development, which is also the main study direction for now.
模型和算法的有效性和完备性在大型网络性能监测与分析系统NIPMAS中得到了实际验证。
And then the model is applied to a distributed network performance monitoring and on-line analysis system, NIPMAS.
根据网结构的不同，基于SCN提出一组子网级化简规则，证明了这组化简规则的活性保持性、有效性和完备性。
According to different network structure, a subnet level reduction rules has been put forward based on SCN and the liveness, effectiveness and completeness of these rules have been demonstrated.
这种基于证书图的搜索算法具有很好的可靠性和完备性，更加灵活、高效，能够适应海量证书分布式存储的国际互联网。
It is shown that the algorithm has good soundness and completeness, it is more flexible and efficient and has better performance in Internet where millions of certificates are distributed stored.
火焰面数据库的建立是改进火焰面模型的重要一环，具体来说包括提高火焰燃烧状态数据的精确性和完备性，以及熄火极限的准确把握。
The building of flamelet database is very important a step in improving flamelet model. It includes improving the exactness and completeness of combustion states as well as extinction limit capturing.
利用数据挖掘技术对审计数据加以分析，总结出一些正常模式，用来进行异常检测，将有助于提高入侵检测系统的检测准确性和完备性。
Use data mining methods to analyze the audit data and provide anomaly detection based on the generated normal patterns, this method can improve the performance of intrusion detection system.
在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题，提出了一组推理规则集并证明了推理规则的正确性和完备性，给出了求解路径闭包算法和成员籍算法。
Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, an.
两个关键的方面，抽象的水平和给开发人员提供的生产力，以及语言的计算上的完备性和鲁棒性。
Two key aspects, the level of abstraction and productivity offered to the developer, as well as the computational completeness and robustness of the language.
天才总是考虑观点的完备性和可行性。
Multiple perspectives and possibilitiesare considered by a genius.
核对表中应说明以下内容：即，应考者所编程序在实践上的完备性，和技术上的完备性，以及(适用时)，对试验结果进行解释和评估的完备性。
The check list shall address the practical and technical adequacy of the procedures prepared by the candidate, and when applicable, the adequacy of the interpretation and evaluation of indications.
研究了MV代数的区间拓扑和序拓扑及MV代数下的拓扑紧性、连结性、完备性和全序性。
This paper researched the interval topology and order topology of MV algebra as well as the tightness, connectedness, completeness and the total-orderness of MV algebra.
完备和形式化的空间关系语义描述方法一直是GIS理论研究的重点，空间关系的动态性和模糊性决定了描述方法的复杂性。
Complete and formal description method of spatial relation semantics is emphasized in GIS research field. Dynamic and fuzzy spatial relations make the method very complicated.
通过解这一线性算符的本征值问题，构造一组完备基，并给出完备性和正交性的证明；
We build a set of complete bases through resolving the eigenvalue problem of this linear operator and prove its completeness and orthogonality.
UCOND补充了UCONABC基本框架，解决了使用控制中的委托授权问题，使其更具有完备性和可操作性。
UCOND supplements UCONABC, and resolves the delegation of Usage Control having more mature and applied features.
通过实验研究与编程实现，得出了一种在掌上电脑上具有较好的完备性和适应性的矢量数据组织模型。
After some experiments and programming done, an adaptable and completable vector data structure model based on PDA is reached.
达到了数据的一致性和安全性，且应用程序功能完备，符合了信息管理系统作为典型的信息管理系统（MIS）的要求。
Then data coordinating and safety is achieved, and the application procedure owns full function, achieves the requirements of typical MIS.
开发主要包括建立数据完整性强、安全性好的数据库和功能完备、美观易使用的前台应用程序。
The development mainly includes the establishment of strong data integrity, security, good database and fully functional, beautiful and easy to use foreground applications.
对获取后的情绪知识存在的一致性、完备性和冗余性问题进行了分析。
Finally, it analyzes the consistency, completeness and redundancy of emotion knowledge acquired.
为了保证这些契约的公正性和严肃性，就要有完备的法律规范和信用保障。
The mature system of legal and credit are the guarantee for the justice and solemnity of the contract.
澄清了对牛顿第一定律的一些模糊认识，对认识牛顿三定律之间的关系和理论的完备性和逻辑性提出了不同的看法。
The obscure understanding on Newton's First law was cleared up. Some different idea about the relation of Newtion's three law and the theory's completeness and logic was put forward.
对于前者要求建立起数据一致性和完整性强、数据安全性好的库。而对于后者则要求应用程序功能完备，易使用等特点。
The former should make the function of application integrated and the usage is easy, the latter required a data-base with powerful consistency and integrality, and nice security.
教育研究中的“真”问题的标准，只有当体现出客观性和辩证性时才具有完备性。
The standard of "being true" in the educational research can reach perfectness only when it is objective and dialectical.
承包商应对所有现场作业、所有施工方法和全部工程的完备性、稳定性和安全性承担责任。
The Contractor shall be responsible for the adequacy, stability and safety of all Site operations, of all methods of construction and of all the Works.
对于前者要求建立数据的一致性和完整性，对于后者则要求应用程序功能的完备，易用等的特点。
The former is required to establish consistent and integrality of data. The latter require maturity and easy use of function about application program.
该系统有7 个公理，具有函数完备性和系统完备性。
This system is functionally complete, has7axioms, and its completeness theorem has been proved.
该系统有7 个公理，具有函数完备性和系统完备性。
This system is functionally complete, has7axioms, and its completeness theorem has been proved.
应用推荐