查询词典 verification

First, the definition, significance, research emphases and status of NC machining verification technology are introduced in this paper. Then the platform—ACIS for the development of verification system, including its development interface, data structure, main functions, features and the application in the system is introduced. And, we indicate in brief the correlative knowledge of NC machining and then discuss the definition of the machining environment of NC machining verification system as well as the way that the module has been developed. Finally, we describe how to make Help Files and the structure of the Help Files in the system.

本文首先对数控加工动态仿真技术的定义、意义、研究重点、研究状况进行了介绍；并介绍了可用于开发数控仿真系统的实体造型平台—— ACIS ，包括 ACIS 的开发接口、数据结构、主要功能与特色以及在数控仿真系统开发中的应用；然后通过简要介绍数控加工的一些相关知识，引出了数控仿真系统加工环境的定义与该模块的实现方法；最后讲述了帮助文件的制作以及该系统帮助文件的结构。

First, the definition, significance, research emphases and status of NC machining verification technology are introduced in this paper. Then the platform―ACIS for the development of verification system, including its development interface, data structure, main functions, features and the application in the system is introduced. And, we indicate in brief the correlative knowledge of NC machining and then discuss the definition of the machining environment of NC machining verification system as well as the way that the module has been developed. Finally, we describe how to make Help Files and the structure of the Help Files in the system.

摘要本文首先对数控加工动态仿真技术的定义、意义、研究重点、研究状况进行了介绍；并介绍了可用于开发数控仿真系统的实体造型平台――ACIS，包括ACIS的开发接口、数据结构、主要功能与特色以及在数控仿真系统开发中的应用；然后通过简要介绍数控加工的一些相关知识，引出了数控仿真系统加工环境的定义与该模块的实现方法；最后讲述了帮助文件的制作以及该系统帮助文件的结构。

In this case, legitimation is the process by which a'legislator'dealing with scientific discourse is authorized to prescribe the stated conditions （in general, conditions of internal consistency and experimental verification）determining whether a statement is to be included in that discourse for consideration by the scientific community.

换这之，内部一致性和经验实证是一个科学述句必备的两种性质，这也是"（in general， conditions of internal consistency and experimental verification）"的原义，但罗译译之「这些条件必须内在协调一致，并经实验证明」，（p.171），即将意思扭曲为：「述句必须符合才能成为科学述句的条件，必须有内在一致性和经实验证明。

Where the evaluation result or proof of asset verification or certificate verification, as provided by any institution that undertakes the evaluation or verification of assets or the verification of certificates, is proved to be untrue, which has caused any loss to the creditors of the company, it shall bear the compensation liabilities within the sum which is found to be untrue, unless it can prove that it has no fault in the incurrence of the loss.

承担资产评估、验资或者验证的机构因其出具的评估结果、验资或者验证证明不实，给公司债权人造成损失的，除能够证明自己没有过错的外，在其评估或者证明不实的金额范围内承担赔偿责任。

Firstly,the sampling design has great impact on the accuracy of remote sensing classification.There exists great randomicity on the result of points and cluster sample verification on the different Sampling design.On the same sampling design,the stability of point sample verification is higher than that of Cluster sample verification.Secondly,the average accuracy of different sampling designs of multi-point and multi-cluster sample verification can reflect the accuracy characteristic.During the course of point sample verification,stratified sampling's error is lower than others'.During the course of cluster sample verification,systematic sampling and stratified sampling's accuracy are prior to simple random sampling's.

研究结果表明：（1）抽样方式对遥感分类精度评价结果的影响是客观存在的，不同抽样方式下的点样本和群样本检验结果都存在一定的随机性，但同一种抽样方式下，点样本检验精度评估结果的波动幅度小于群样本检验，稳定性比群样本检验要好；（2）不同抽样方式下的多次点样本和群样本检验的平均精度检验结果基本上都能够反映分类图像的精度特征，其中，点样本检验中，分层随机抽样点样本检验效果较好；群样本检验中，系统抽样群样本检验和分层随机抽样群样本检验的效果优于简单随机抽样群样本检验。

It will expose the design problem of maintainability of civil airplane to the early stage of design. This paper discusses the composing of the virtual maintenance environment, builds non-immersion virtual maintenance environment of undercarriage, and establishes a part library management system. The characteristic of maintainability models and maintainability analysis based on virtual technique is researched to give the maintainability frame model of civil airplane virtual maintainability analysis. All levels of maintenance time model and maintenance man-hour model are established. Analog-Huffman code is proposed to optimize space partition method in traditional collision detection arithmetic."Maintenance therblig"is brought into the broken down of maintenance tasks, and the new maintenance tasks broken down method is proposed. The demands of human measure, position, and equipment layout in human engineering are discussed, and the verification methods of human measure, position and equipment layout in virtual maintenance are given. Basic principle and verification procedure of maintainability virtual verification is developed primarily, and the reachablity, the visibility, and posture-comfortability are verified.

本文论述了虚拟维修环境的组成，构建了某型飞机主起落架非沉浸式虚拟维修环境，建立了维修对象的零件库管理系统；研究了基于虚拟技术的维修性模型特点及维修性分析流程，给出了基于虚拟技术的民机维修性分析框架模型，并结合传统维修性模型，建立了各级维修时间模型和维修工时模型；提出类HUFFMAN编码，结合人因工程的要求，优化了传统碰撞检测算法中的空间分割法，使之适用于柔体；在维修性分解中引入"维修动素"，给出了与CATIA、DELMIA等应用软件结合紧密的维修任务分解方法；论述了人因工程中对人体尺寸、姿势、设备布局的要求，给出了虚拟维修中人体尺寸、姿势分析、民机内设备布局的验证方法；初步制订了维修性虚拟验证的基本原则和验证程序，并结合具体实例对可达性、可视性、干涉性以及人体姿态舒适性进行了验证，较清晰、真实地反映了维修人员的维修状态。

Firstly, based on the analyzing the problems of the existing C~4ISR system architecture verification methods, the C~4ISR system architecture verification methods based on CADM is present, and the conception of this methods is given. Secondly, the basic connotation of this methods is studied form the views of the theory base and main superiority. Thirdly, the architecture information model is established, and based on this model the content framework of the C~4ISR system architecture verification methods is present. Lastly, the key techniques needed to solve in the framework is discussed.2. The verification methods of data categoricalness based on CADM are studied.

首先在分析现有体系结构验证方法所存在问题的基础上，提出了基于CADM的C~4ISR系统体系结构验证方法，并对该方法的概念进行定义；其次从理论基础和主要优势两个角度研究了基于CADM的C~4ISR系统体系结构验证方法的基本内涵；再次建立了体系结构信息模型，并以此为基础提出了基于CADM体系结构验证的内容框架；最后提出并解释了基于CADM体系结构验证方法所要解决的关键技术，包括基于CADM的数据完备性验证方法、可达性验证方法、数据一致性验证方法、系统结构合理性验证方法和作战规则合理性验证方法等。

The second part of the thesis consists of three chapters, which focus on arguing for the rationality of "the unverifiable value judgment" from three points, the verification on the value judgment and emotion, the verification on value judgment and the language logic and the verification on the value judgment and rationality. The fourth chapter mainly discuss the verification on value judgment and emotion.

本文第二部分，即第四、五、六这三章，集中反驳&价值判断是不可证实的&这一论断的合理性，主要是从逻辑实证主义和情感主义对价值判断可证实性的三方面攻击入手，分别对情感与价值判断的可证实性、语言逻辑与价值判断的可证实性和理性与价值判断的可证实性三者进行再考察，第四章主要探讨情感与价值判断可证实性。

Mainstreet Credit Verification Engine - Mainstreet Credit Verification Engine is a scalable Credit Card Processing Engine for Linux and UNIX.

Mainstreet Credit Verification Engine是Linux和UNIX的一个可升级的信用卡处理引挚。

SoC. Verification IP. Design for Verification. APB bus. Verification Platform. Verification Methodology.

片上系统，验证IP，设计验证，APB总线，验证平台，验证方法学

In the United States, chronic alcoholism and hepatitis C are the most common ones.

在美国，慢性酒精中毒，肝炎是最常见的。

If you have any questions, you can contact me anytime.

如果有任何问题，你可以随时联系我。