说明方法

为了说明方法和对本节所表示的概念的具体化，将研究一个特殊的边界值问题。

To illustrate the procedure and to lend concreteness to the ideas expressed in this section , a specific boundary-value problem is studied .

在Fairley的书中，“软件需求定义”一章的大部分是关于不同的说明方法。

A large portion of the chapter entitled " Software Requirements Definition " in Fairley 's book is about different specification methods .

本文最后给出了一个实测，以说明方法的应用和有效性。

An application example demonstrates the usefulness and effectiveness of this technique .

一个总的原则是“只要可方便完成所需的工作，就说明方法是正确的。”

A general principle should be " Doing the easy thing is doing the right thing . "

分别就间接控制系统和直接控制系统，给出了算例以说明方法的有效性。

Numerical examples for both direct and indirect systems are given to demonstrate the feasibility and effectiveness of the proposed method .

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。

Research and progress on user interface models and formal specification techniques are described , based on the discussion of interactive models , control and communication within user interfaces .

以多个质点和梁碰撞为例给出了结构多点弹性正撞问题的求解方法.并用算例说明方法的可行性。

The method of solving the multi point elastic impacting problems of structures is investigated by taking the impact problem of several particles on a beam as an example . The validity of the given method is verified by illustrative examples .

对幂律-威布尔模型，利用一组序进应力加速寿命试验数据和另一组恒定应力加速寿命试验数据给出了参数的点估计和区间估计，并用一个实例说明方法的应用。

The point and interval estimation of the parameters in the power Weibull model is presented together with an illustration example using two data sets , one from progressive stress accelerated life test ( PSALT ) and the other from constant stress accelerated life test ( CSALT ) .

按照这一图式，自由基rc是由某些未详细说明的方法产生的。

According to this scheme , radicals RC are generated by some unspecified means .

这是由某些未加说明的方法产生的。

It is generated by some specified means .

AIX论坛上的一些帖子说明这种方法可能有效。

Some evidence on the AIX forums suggested that this method may work .

最后通过子集和问题、数的全排列和n皇后问题来说明上述方法的应用。

At last , the application of this method is explained by the problem of subset-sum , the problem of all sequence permutation and the problem of N-queen .

该方法有利于实现从三维CAD系统到装配序列的自动规划，最后以实例通过MATLAB编程说明该方法的可行性。

This method was favorable to realize the automatic planning from the three-dimensional CAD system to assembly sequence . The feasibility of the method was explained by MATLAB program .

根据文献[1]，本介绍利用矩阵奇异值分解（SVD）的多变量系统稳定性判定的程序算法，并以实例说明这种方法的特点和应用。

According to reference [ 1 ] , this paper presents the algorithm and programme of the multi -

用探照灯模型对这些现象作了初步解释，说明该方法是研究注意ERP的一种有潜力的新方法。

The searchlight model is adopted here to make preliminary explanation for the results , it shows that the synergetic analysis is a promising method for investigating attention ERP .

通过线性矩阵不等式，给出了该系统的鲁棒H∞滤波器存在的一个充分条件，最后给出一个实例说明此方法的可行性。

A sufficient condition for the existence of H_ ∞ filtering of the nonlinear stochastic systems is given via linear matrix inequalities , and an example is also presented to illustrate the effectiveness of the result .

对眼底OCT图像去抖动的实验说明该方法能很好的去除OCT图像中的抖动，从而很好地辅助诊断。

With OCT images of retina as examples , it is shown the above method can effectively remove dithering in these images and be clinical helpful .

本文定义如何将带OCL约束条件的类图转换到Object-Z规格说明的方法。

In this paper , we define a translation from UML class diagram with OCL constraints into Object-Z.

给出VC6.0与DDEServer进行DDE通信的编程方法，通过实例说明该方法的灵活性。

The programming method of DDE communication through VC 6.0 and DDE server is presented . The facility of this method is proved by examples .

将此测量方法用于1级和3级SiC防晕涂层，实际测量所得防晕涂层各点的电场强度值与理论计算值符合较好，误差均能控制在0.05以内，说明该方法准确度较高。

When the method is applied to one and three orders SiC stress-grading coating , the measured values agree well with the calculated ones on the various spots , indicating the accuracy and reliability of this method .

通过对室内热舒适指标的实例分析，说明该方法可用于不同地区的热舒适预测，能解决PMV等指标预测出现的较大偏差等问题。

Experiments demonstrate that the proposed method can forecast indoor thermal comfort in different area and can effectively solve deviation problem for the forecast of the PMV index .

在Object-Z中，继承一般不保持行为子类型，本文提出了一种基于Object-Z行为子类型继承来描述面向对象形式规格说明的方法。

Object-Z does not maintain behavioral subtyping usually . This paper presents a method to describe Object-Oriented formal specification with behavioral subtyping inheritance .

本文探讨判别奇异观测值及其影响力的SAS计量分析方法，并通过案例分析说明该方法的优点及其在计量经济分析中的应用价值。

This paper researches on the discriminating of the outlier observations and analyzing its influences by using SAS metric analytical methodology ; and explains the merits and the practicable value of this method in econometric study through a case analysis .

以Duffing系统周期解的计算为例，通过与标准谐波平衡方法和四阶Runge-Kutta数值积分结果比较，说明此方法的有效性。

As illustration example , the analytical results of Duffing equation was compared with those obtained via a Runge-Kutta integration algorithm and the standard Harmonic Balance Method . The results indicate that the suggested approach is extremely accurate and effective .

对目标运动在深海和浅海2种情况的仿真数据与实验数据进行了分析和比较，说明STFT-Hough方法在目标通过时利用单水听器可以对目标进行运动分析。

The target motion estimation is discussed both in the deep sea and shallow water situation , and the simulation and experiment result show that when the target travels through the target , the motion analysis can be done by single hydrophone using the STFT-Hough transform .

下面通过一个示例说明组合方法的好处。

Here 's an example of the benefits of composed method .

通过实例说明这种方法确有很高的实用价值。

It is verified that this method has higher practical value .

一组模拟数据被用来说明这些方法。

A set of synthetic data is used to illustrate these methods .

这说明该方法简单、准确。

It shows that the method is simple and correct .

并以实际例子说明该方法的可行性和灵活性。

The concrete example is illustrated to explain its feasibility and flexibility .