查询词典 an element of

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.

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

A quadrilateral distortion metric was proposed, which considered both of element minimal angle and warpage. An mesh smoothing approach of combining Laplacian method and μGA for quadrilateral mesh was presented, which could improve the mesh quality significantly without effect the algorithm's performance.

提出一种综合考虑单元最小角和翘曲的四边形网格质量评价标准，以该标准为优化目标，提出了一种以面积为权值的Laplacian方法与小种群遗传算法相结合的网格光顺方法，在兼顾计算效率的同时，可有效地优化网格形态质量。

This invention relates to MIMO test method in a multi-user MIMO radio communication system including: estimating the channel matrixes of all users at the base station, computing an orthogonal projecting matrix M of the interference matrix of each user and transmitting M to each user periodically, receiving data sent by the base station at the user end and getting the orthogonal projecting matrix M from the received data, transforming the MIMO test of a desired user to the minimum value of a K-element secondary convex function, in which, K expresses the number of sending antennas and getting estimation of the test data by a ball test method.

一种多用户多输入多输出无线通信系统中的MIMO检测方法，包括步骤：在基站估计所有用户的信道矩阵；计算每个用户的干扰用户矩阵的正交投影矩阵M，并将每个用户的正交投影矩阵M定期发送给每个用户；在用户端接收基站发送的数据，并从接收的数据中得到正交投影矩阵M；利用正交投影矩阵M将期望用户的MIMO检测转化为K元二次凸函数的极小值，其中K表示对期望用户而言，发送天线的个数；利用球检测的方法，得到检测数据的估计。

The invention is directed to a dry shaving apparatus with an electric drive mechanism provided in a housing (1) and a housing part in which a removable frame equipped with at least one cutter element is held by at least one detent mechanism, wherein upon release of the removable frame by the detent mechanism the removable frame is movably held in a holding position by a retaining device, wherein in said holding position provision is made for at least one distance (W, W1) between a wall of the removable frame and a wall of the housing part, and the removable frame is adapted to be set in motion by the drive mechanism.

本发明涉及一种干式剃须装置具有：一个设在壳(1)中的电驱动机构和一个壳部，其中可拆卸的刀框由至少一个插销机构固定，可拆卸的刀框包含至少一个刃具，其特征在于，在插销机构将可拆卸的刀框释放时可拆卸的刀框由一个固定装置可动地固定在固定位置，在所述的固定位置中，在可拆卸的刀框的一个壁和壳部一个壁之间形成至少一个距离(W1、W2)，并且可拆卸的刀框能通过驱动机构置于运动中。

Based on an investigation on the conditions and mechanisms of superplastic forming,the numerical simulation of constant strain rate superplastic bulging under different temperature and strain rate of AZ31 magnesium alloy heart-shaped part was analyzed with the finite element analysis software MSC.

在超塑成形条件和超塑成形机理基础上，采用有限元分析软件MSC.MARC对AZ31镁合金薄板心形件，在不同成形温度和应变速率条件下的恒应变速率超塑气胀成形过程进行了数值模拟分析。

Finite element method of oil film capability is a basis of this papers research work, and it is also an important research method.

油膜性能的有限元算法是本文研究工作的一个基础，也是一个重要的研究方法。

In order to investigate the effect of contact resistance on nugget growth and heat source distribution, an axisymmetric two-dimensional finite element model was developed to simulate the spot welding of aluminum alloys.

为了研究铝合金点焊时接触电阻对点焊熔核形成和焊接热源分布的影响，本文采用二维轴对称模型，用有限元法对铝合金点焊过程进行了数值模拟。

The paper calculates and analyses an coupling oscillating mode trait of chute -flow-dam body and the dynamic stability of the chute of overfall concrete face rockfill dam by using ANSYS finite element software and the theory of fluid-solid coupling.

采用ANSYS有限元软件和流—固耦合理论[1，2]，计算、分析了溢流混凝土面板堆石坝的泄槽—水流—坝体的耦合振动模态特性和泄槽动力稳定性，同时应用随机振动理论对脉动压力作用下的泄槽及地基的动力响应作出了定量估算，与原来的双渐方法的结果进行了比较，验证了计算结果的合理性，进而分析了坝体动弹模和堆石厚度对系统动力特性的影响。

Basing on a real engineering project, in this thesis, the nonlinear effect of external wall of an overlong concrete structure with semi-basement is studied through theoretical analysis and finite element solving.

本文以实际工程为背景，通过理论分析和有限元计算，研究了超长混凝土半地下室外墙在环境温度作用和混凝土开裂下的结构非线性效应。

Through a large number of examples in this book describes the basic use of ANSYS 8.1 software methods, including modeling, meshing, applied loads, solving and post-processing, etc.; then introduced using ANSYS finite element analysis process commonly used in high-level analytical methods, such as the non-linear static analysis, modal analysis, transient dynamic analysis, thermodynamic analysis, optimization design, etc.; In addition, the book pairs of ANSYS parametric programming language APDL made an initial set to try to make the reader of this strong preliminary understanding of language.

本书通过大量的实例介绍了ANSYS 8.1软件的基本使用方法，包括建模、网格划分、施加荷载、求解及后处理等；进而介绍了用ANSYS进行有限元分析过程中常用的高级分析方法，如非线性静力分析、模态分析、瞬态动力分析、热力学分析、优化设计等；另外，本书还对ANSYS参数化编程语言APDL作了初步阐述，力图使读者对这种强大的语言有初步的认识。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷