证明方法

现代司法鉴定是司法证明方法进步的结果和体现。

Modern forensic authentication is the result of the development of proof methods .

S&Y证明方法的几点改进

Some Improvement in Proof Methods of S & Y

解析函数链式法则的两种证明方法。

Two proving method for chain rule of analytic function .

本文给出了函数f（x）在某集上不一致连续的一种规范证明方法

A certain normal proof of non-uniform continuity of f ( x ) is given

Lagrange定理证明方法探讨

Study on the Way of Proving Lagrange Theorem

经过方法验证及实验对比，该法平均回收率为1002%，RSD为030%，证明方法准确可靠

The recovery was 100 2 % and the RSD was 0 30 % In comparing with conventional HPLC using methanol water as mobile phase and GC methods , the results were more dependable

Luo等工作进行了总结，同时从深度的定义和基本性质出发对其主要结果给出了不同的证明方法，也对深度及深度分布的应用前景进行了探讨。

Luo , et al are summarized , and different proof of their main results from the definition of depth of codeword and its elementary property is given . Meanwhile , some discussions about the application foreground of depth distribution are given .

研究了Banach空间中渐近非扩展映象和渐近伪压缩映象不动点的带误差的Ishikawa迭代逼近问题，结果不但推广和改进了文献〔1,2,3,4〕中相应的结果，而且也改进了定理的证明方法。

Studying the ishikawa iterative approximation problem with errors for fixed points of asymptotically nonexpansive and asymptotically pseudo-contraction mapping in Banach spaces . The results in this paper improve and extend the corresponding results in the literatures of ( 1,2,3,4 ) .

浅谈二项式系数恒等式的几种证明方法

On the Some Proof Method of Binomial Coefficient Indentity

平差结果的方差最小性的一个证明方法

A proof on minimum variance of adjustment result

就一般情况给出了三次埃尔米特插值函数的误差公式，并介绍了误差公式的证明方法。

An error formula for cubic-Hermite 's interpolation function was derived and proven for general cases .

验证子系统所采用的主要技术是以成批证明方法和证据测试集为特色的重写归纳方法。

The main technique employed in the verification subsystem is rewriting induction featuring batch proof method and witnessed test sets .

然后用本文建立的评价系统分别评价开放式基金和封闭式基金，证明方法是切实可行的；

It is also proved that the evaluation method is feasible by evaluating the closed-end funds and open-end funds in China respectively .

利用航迹推算法和地图匹配法对组合定位的结果进行了仿真，证明方法是可行的。

Dead reckoning ( DR ) and map matching are used in the simulation of fusion positioning result . This method is proved feasible .

数学归纳法是数学中常常用到的一种证明方法，最常见而最为人们所熟知的归纳途径是简单的有向路。

The mathematical induction is a method of proof often applied in mathematics . The most common and the most famous inductive way is the simple directed path .

目前，安全协议的形式化分析方法大致可分为三类：形式逻辑方法、模型检测方法和定理证明方法，它们既有各自的优势，又有各自的劣势。

At present , the formal analysis methods of security protocols can be broadly classified into three categories : formal logic , model checking and theorem proving methods . They have both strength and weakness at the moment .

实验证明该方法有效。

Tests have proved that the method works .

1989年，美国国家航空航天局进行了著名的清洁空气研究，以观察普通室内植物除了吸收二氧化碳和释放氧气之外，是否还能通过排除毒素来净化室内空气。当时的研究证明这种方法起到了作用。

In 1989 , NASA conducted its famous Clean Air Study to see whether common houseplants might purify indoor air by removing toxins1 in addition to absorbing carbon dioxide and releasing oxygen .

实验证明该方法可以快速、准确计算N级微波四端网络的噪声参数。

This method is proved quickly and accurately in calculating noise parameters by experiments .

定义了一些参数来证明该方法适用于大型工业CT的硬化校正，并对参数进行了优化。

Some parameters were defined to verify the validity of hardening correction in large ICT and optimized .

并通过实例证明了方法的可行性，最后与一般的BP神经网络方法进行了对比，体现了该方法的先进性。

The advantage is shown by contrast with the method of generic BP neural network .

在用RT-PCR方法进行检测的同时，与ELISA检测方法作比较，证明RT-PCR方法具有更高的灵敏度。

Compared RT-PCR method with ELISA , it indicated that RT-PCR technique was more sensitive than ELISA .

仿真实验证明该方法的分类性能优于传统k近邻方法的分类性能。

It is shown that the classification performance is better than the traditional k nearest neighbor algorithm from the simulation experiment . 3 .

质粒标准品的检测结果证明该方法可对HPV准确分型。

The test results of plasmid standard substance showed that this method can be accurate HPV genotyping .

在此方法的基础上，以计算n平方的细胞型膜系统的设计来说明其设计的一般过程，通过实验证明此方法的有效性和可行性。

On the basis of this method , taking the automatic design of a cell-like membrane system for calculating the square of N for example to illustrate the general process of the design .

文中结合数值计算和有限元方法（FEM）计算，对系统的波前校正进行了仿真，证明这种方法具有更好的波前重构精度。

Through numerical method and finite element method ( FEM ), wave-front reconstruction is emulated , and it is demonstrated that the method has a better precision for wave-front reconstruction .

根据固相萃取法应用SPEC（18）柱，回收率为93.7%，证明该方法符合药动学中血样处理要求。

According to extracting the law by using SPE C_ ( 18 ) column , the recovery is 93 . 7 % . The method was identified to extract the plasma .

实验结果证明该方法可以很好的抑制WVD交叉项。

Experiments demonstrate the efficiency of the method in cross - term suppression in the WVD .

再次，对于评价方法缺乏仿真性的问题，提出结合系统动力学（SD）建立动态平衡计分卡（SD–BSC）模型来解决，并证明该方法的有效性。

Thirdly , a SD-BSC model based on SD is given to solve the problem that existing evaluation method is short of simulation , and the validity of this method is proved .

根据Tong等人的观点，本文给出了另外一种证明的方法，并由此得到了一种新的基于二阶统计量的盲信道辨识与均衡方法。

According to Tong 's point , this text gave another kind of proving method and got a kind of approaches to blind channel estimation and equalization based on Second Order Statistics .