查询词典 graphic method

One reason is that the model is an algebra method and it is based on the theory of minimal element. It can give more credible proof. Another reason is that the model tries to prove security of protocols, rather than check them. Thirdly, the model is simple and easy to use, and proof can be finished by manual. Moreover, graphic description makes its proof more comprehensible. Fourthly, there is much research work related to the model, which gives me a good springboard.

首先，该模型是一种代数方法，以极小元等理论为基础，可以给出可信度较高的证明；其次，该模型不是验证协议，而是试图证明协议的安全性；第三，该模型简单、易用，可以手工的方式完成证明，而且图形表示使其证明更加直观；第四，关于该模型有许多相关的研究工作，这为进一步工作打下了良好的基础。

With the consideration of the need of frequency spectrum analysis to geometry information, a new method to reconstruct graphic groups in CAGD is proposed with a new class of complete orthogonal functions in L\-2［0,1］(called V-system).

考虑到几何信息频谱分析的需要，采用L\-2［0，1］上一类新的完备正交函数系，针对CAGD中的几何图组，给出一类信息重构方法。

A method and apparatus in a data processing system for context management for a plurality of graphic processes.

一种在数据处理系统中用于多个图形处理过程的上下文管理的方法和装置。

It is found that the internal relation between the wavelet method and multi-scale representation will determine the law by which the graphic information varies following the change of the scale. That work mark a new step towards the successful application of wavelet theory in the automatic map generalization and provide a new basis and mechanism for the multi-scale representation in GIS.

发现了小波理论与GIS图形数据多比例表达之间的内在联系，挖掘出GIS图形数据中一些信息随尺度的变化规律，因而为利用小波理论来解决GIS图形数据多比例尺表达中的问题作出了一些基础性工作，为GIS图形数据多比例尺表达和自动制图综合找到了新的数学机制和依据，使这项工作的在自动化、模型化、数量化、客观化的方向上又迈出一步。

The standard method in Western music has in recent centuries been by means of staff notation, but different forms of letter notation have been used, with imaginative forms of graphic notation in some contemporary music and, in earlier times, tablature, a combination of letters, numbers and staff designed for particular instruments.

近几个世纪的西方音乐所用的标准方法是采用五线谱的形式，但是运用了不同形式的音名，在一些现代音乐中运用的新形式的图示记谱法，早期，指法谱，由专为特定乐器设计的字母，数字，五线谱组成。

Pf7-14 was chosen to study the spatial-temporal colonization patterns on both rice flag leaves and rice stems under greenhouse conditions by spraying 1×10〓 cfu/ml bacterial suspension of Pf7-14 at late booting stage, periodical sampling, and recovering the bacteria through diluting-plate method as well as graphic test and the Shapiro-Wilk test for normality of the data.

以菌株Pf7-14为代表，在温室条件下，在水稻孕穗后期喷雾浓度为1×10〓cfu/ml的菌悬浮液，然后定期取样，用稀释平板法在含抗生素Nal的培养基上回收细菌，并通过图形测试和Shapiro-Wijk正态测试，测定了该菌株在水稻剑叶和茎基部的时间、空间定殖型。

In this paper a graphic approach to the path planning problem based on the topological method is discussed.

本文提出一个解决基于拓扑的路径规划问题的新途径：图形法。

After a detailed introduction of the discrete dipoleapproximation method, we developed a graphic technique based on theresolution of the vector to analyze the dipole lattice in the result.

在详细介绍了离散偶极近似方法后，我们提出了一种基于矢量分解的图形分析方法来处理结果中的偶极(来源：ABCc623论文网www.abclunwen.com)阵列。

This paper discussed the example of the way in digital signal processing teaching, through the theoretical question simplification and abstract problem Visualization, Graphic representation, analogism and guide teaching-method was introduced to the teaching process.

本文以实例方式讨论了在数字信号处理教学中，把理论问题简单化、抽象问题形象化，将图示法，类比法及引导法等方引入教学过程中。

But in practice, for the use of graphic element that get converted to nonanatomical interpuntion zone has not found the method of subsequent interpuntion, after much practice, and finally found a solution to this problem.

但在本质操纵洋，对于诳骗图元变换不败的不法规排版地区却不断操纵找到不不后遣排版的办法，经过多次践诺，毕竟找到了处置这一题目的办法。

This paper discusses design and realizable methods of remote test output interface from logical design angle.

本文从逻辑设计的角度讨论遥测输出接口的设计及实现方法。

This also 星体投射plies to buildings, structures and geological features.

这也适用于建筑物和地质特征。