验证理论

This dissertation mainly discussed principal issues of the matrix converter such as realization and application. By the theoretical analysis, computer simulation and experimental investigation, some valuable experiences and significant conclusions were given, which found the technological basis for the matrix converters further practical studies.

本文的研究重点放在了矩阵变换器的应用方式的研究上，通过理论分析、计算机仿真和实验验证得出了一些有意义的经验和结论，为矩阵变换器进一步的实用化研究提供了一定的技术基础。

In this paper, a method of constructing basic probability assignment function is presented based on analyzing the theory of D-S evidence, and experimental results show that this method is feasible.

针对雷达目标识别具体问题，在系统分析证据理论的基础上，提出构建基本概率赋值的方法，并通过仿真实验验证了方法的可行性。

It is based on the theories of operational profile, software reliability model, probability and software testing.

该文结合软件可靠性、软件可靠性工程和软件测试的相关理论，设计了可靠性测试模型，并在市政交通一卡通工程系统中进行了实际验证。

In this paper, the probability desity funcfion to present ...

本文中介绍了新近的科研成果，有理论与实验的验证材料和评论。

In this paper, the probability desity funcfion to pr...

本文中介绍了新近的科研成果，有理论与实验的验证材料和评论。

Therefore,the theory and method of complex mechatronical product design driven by performance are validated.

验证了性能驱动复杂机电产品设计理论和方法的可行性与实用性。

This paper explores shareholder approach, material approach and investment approach to cash flow, and it is concluded as follows: Net present value calculated is equal for shareholder approach and material approach, but for fixed assets investment projects, shareholder approach is far more concise and workable than material approach and provides direct cash flow information with clear and useful economic significance. Investment approach analyzes forecast cash flow for investment projects from a different angle, not only offering additional managerial accounting information, but also testing the properness of and providing theoretical support for shareholder approach and material approach.

通过对股东现金流量法、实体现金流量法和全投资现金流量法模型的研讨，提出如下观点：股东现金流量法与实体现金流量法计算的净现值是相等的，但对寿命期有限的固定资产投资项目，股东现金流量法远比实体现金流量法简洁易懂，便于操作，其提供的现金流量信息直观，经济意义明晰，有用性强；全投资现金流量法从另一个角度进行投资项目的预期现金流量分析，不但能提供补充的管理用会计信息，而且能对股东现金流量法模型的正确性进行验证，互相提供理论上的支持。

To test their theory, Christman and Propper asked 62 subjects to watch a series of 55 words flashed on a computer screen.

为了验证他们的理论，Christman和Propper让62位受试者观看一系列闪现在计算机屏幕上的55个单词。

The study continued previous studies of image segmentation. It brought many kinds of interpretative knowledge of different land-use type and image processing tools together and found out why image segmentation can not be fully automated. During the process of study, repeated provability and enhancement of the original theoretic framework were also be done well.

本研究延续以往对区格化研究的成果，搜集各种不同地物类型的判释知识及与区格化相关之影像处理工具，以系统实作的方式，深入了解区格化未能达到完全自动化的瓶颈所在，并於实作过程中反覆对前人所提之理论架构进行验证及补强。

In this paper, we first give an introduction to the architecture of VeriJava project and its language extension of Java, then we discuss in detail on theory and design of theorem prover based static verifier, which is the core part of our project, with related examples.

首先介绍了VeriJava项目的整体架构，及其对Java进行的语言层面的扩展，进而重点讨论了方案的核心部分基于定理证明器的静态验证器的理论和设计，并给出了相关示例。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！