查询词典 calculus of finite difference

By using non-linear finite element theory, a non-linear finite element model for hydroforming for rear axle housing is established.

利用非线性有限元理论方法，建立了后桥壳液压胀形有限元模型。

In the fourth section, we stress on the study of the finite type rotation hypersurfaces, and obtain the classification of two and three dimensional spherical and hyperbolic rotation surfaces of finite type. It is proved that the parabolic rotation hypersurfaces are minimal or maximal.

第四节着重对有限型旋转超曲面进行了研究，得到二维和三维球型、双曲型有限型旋转曲面的分类结果，证明了有限型抛物型旋转超曲面是极小或极大超曲面。

With an additional terminal cost in the standard finite horizon objective functional and a terminal inequality constraint,the prediction is expanding quasi to infinity but the control profile to be determined by on-line optimization is only of finite horizon.

开环优化问题含有附加的终端代价项和终端约束条件，这样预测时域延伸至准无限，而需在线优化获得的控制函数仅为有限时域。

By extending the concepts of supremum and infimum in real space to the casein any finite-dimensional Euclidean space a weak supremum set and infimumset theory with respect to cones for the set in finite-dimensional Euclideanspace is developed,and several similar properties to the set in real space are ob-tained,with the concepts of this weak supremumset,w-D-conjugate maps and w-D-subdifferentials theory for the point-to-setmap are developed,and its several properties and its relationships with weakefficient solutions of the multiobjective programming are studied.

推广实空间中上、下确界的概念至任意有限维欧氏空间，建立了有限维欧氏空间中集合的锥弱上、下确界集理论，得到了与实空间中十分相似的性质。借助于这一理论，应用上、下确界的概念，给出了点集映象的w-D-共轭映象及w-D-次微分理论，并研究了它们的若干特性及其与弱有效解之间的关系，此外还讨论了弱鞍点问题。

For the condensed dynamic stiffness matrix in finite models which have finite number of freedom and any dynamic stifmess matrix of infinite system, the element of them is a transcendental function of eigenfrequency. And therefore transcendental eigenvalue problem is needed to be solved in order to get the natural frequency and modes of vibration.

对于有限自由度系统的缩聚动刚度矩阵和无限自由度系统的任何动刚度矩阵，其元素是频率的超越函数，因此求解结构固有频率及其振型归结为求解超越特征值问题。

During the design process, we employ the elastoplastic theory and ANSYS 10.0 (a large-scale finite element analysis software) to analyze the stress status and bearing capacity of the joint under load. Also, we get the stress status and bearing capacity of the inner components based on the nonlinear finite element contact analysis.

在对节点构造进行设计的过程中，以弹塑性理论为基础，运用大型有限元分析软件ANSYS10.0对节点在荷载作用下的应力分布和承载力进行了非线性有限元分析；同时对轴承装配部分进行了接触分析，得到了接触状态下节点内部各零件的受力状态和极限承载力，并根据分析结果不断优化节点构造。

Firstly, the study of the mechanical model. The three-dimensional finite element model is established, and it is condensed into M-dof interlamination structural model. The structural dynamic analysis is implemented by use of three-dimensional finite element model and M-dof interlamination structural model.

本文通过严谨的数学推导，得出"力学不耦合"的超高层结构顺风向和尾流旋涡干扰引起的横风向振动随机响应公式，并编制了相关计算程序，深入研究了应用随机振动理论进行结构风振反应分析的方法。

In this thesis, the results of extremal work path theory are adopted, and the FEM based on deformation theory is formulated. The Inverse Finite Element Approach in sheet metal forming is studied in detail, and an Object-Oriented Finite Element Analysis program is developed, which provides rapid and effective means for stamping process planning and die design.

本文运用极值路径理论推导出基于形变理论的有限元公式，研究了钣料成形有限元逆算法，开发了面向对象的有限元分析程序，为冲压工艺和模具设计提供了快速有效的分析手段。

In chapter three, we first give the definition of quadratic automata (3. 6 definition), then study their invertibility. 3. 10 theorem gives a sufficient and necessary conditions for weak inverse quadratic form finite automata, and a way to find the one whose weak inverse is quadratic form finite automata.

第三章首先构造了二次型有限自动机类（3.6定义），研究其上的可逆性理论。3.10定理给出了弱逆二次型有限自动机的充要条件及弱原逆的求法、3.12定理则给出了弱可逆二次型有限自动机的充要条件及弱逆的求法。

Establish integrated invertibility theory over it: By R〓R〓 transformation method, we solve the problem of deciding weakly invertibility and finding weak inverse, By founding the bijections between all quadratic form automata and input memory linear finite automata, we find a algorithm to produce all weak inverse quadratic form finite automata.

本文着眼于这些最基本问题，将有限域上的二次型和置换多项式理论引入有限自动机可逆性的研究，构造了一类由二次型构成的非线性有限自动机（3.6定义），称之为二次型有限自动机，我们在其上面建立了与线性有限自动机可逆性理论相对应的完整的可逆性理论：采用线性R〓R〓变换方法，解决了此类有限自动机的弱可逆性判定、求弱逆问题（3.10、3.12定理）、通过建立全体二次型有限自动机与全体输入存储线性有限自动机之间的保持弱逆性的一一对应，给出了产生全部可逆二次型有限自动机的方法。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。