历史查询   



 为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法，我们为您准备了出自英文原文的大量英语例句，供您参考。 
In this work we generalise some previously obtained results concerning the quantisation of classical finite models according to the symmetric (Fermilike) scheme of quantisation.


On the formulability of predicates on finite models


We study a class of finite models for the Lambek Calculus with additive conjunction and with and without empty antecedents.


We prove the finite axiomatizability for the classes of finite models, as well as for the class of infinite linear models based on the set of rational numbers in the interval [0, 1].


A faithful embedding of parallel computations in starfinite models

 更多 


 A generalized Hamilton's principle for analysis of Pfluger's rod and its relative plate is provided in engineering form by a quite simple approach,so that the problem of a aonconservative system is transformed into that of a generalized conservative system.According to this variational principle,an attempt to undertake the discrete tests of finite elements has been made and the features of the finite models are discussed in brief.A set of symmetric matrices for an element model are given in explicit... A generalized Hamilton's principle for analysis of Pfluger's rod and its relative plate is provided in engineering form by a quite simple approach,so that the problem of a aonconservative system is transformed into that of a generalized conservative system.According to this variational principle,an attempt to undertake the discrete tests of finite elements has been made and the features of the finite models are discussed in brief.A set of symmetric matrices for an element model are given in explicit form.After it is confirmed that unstability of pfluger's rod is caused by divergence,not by flutter.it is pointed out that the critical load can be determined by applying the conventional iterative technique for Rayleigh quotient.Some numerical examples have verified this model.At last,as an interesting extension,a finite stripe model for analysis of simply supported rectangular plate subjected to follower forces has been derived by using the matrices mentioned above and tested preliminarily.  本文首先对Pfluger柱以简单的方式与工程上习惯的形式列出它的广义哈密尔顿变分泛函,遂使这一非保守问题广义保守化。据此变分原理进行了有限元离散尝试性试验、讨论了这种有限元离散的特点、以显式提供了一种单元模型全部对称的矩阵。在证实Pfluger柱以发散型失稳之后,指出采用通常的瑞利商迭代技术便可简单地获得临界载荷。算例印证了理论也显示了数值上的效力。对于类似的简支矩形板,文中指出可利用Pfluger柱的单元矩阵简单地获得板有限条模型的有关矩阵。  The theoretical analysis on the differences between finite model and infinite one in the infinite domain wave problems is studied in this paper. Some analytical results given here illustrate the conclusions as follows: (1) In the case of elastic media, the complex frequency response functions or displacements of the complex forms can be obtained by using infinite models. These have good coincidances with theoretical solutions. But the complex frequency response functions of the complex forms can... The theoretical analysis on the differences between finite model and infinite one in the infinite domain wave problems is studied in this paper. Some analytical results given here illustrate the conclusions as follows: (1) In the case of elastic media, the complex frequency response functions or displacements of the complex forms can be obtained by using infinite models. These have good coincidances with theoretical solutions. But the complex frequency response functions of the complex forms can not be got by using finite models. These facts show that the finite models can not represent the wave propagation characteristics in the infinite domain foundations. (2)In the case of viscoelastic media, althongh the large range modelled by finite elements is taken, great errors still exist between the finite model results and the analytical ones. These facts show that we should use infinite models instead of finite ones for modelling infinite domain wave problems.  本文从理论上研究了用有限模型和无限模型模拟无限域中的波动问题时所存在的差异。文中给出的有关分析结果表明:(1)在弹性介质情况下,无限摸型可对系统给出复数形式的复频响应函数或位移分布,这与无限域中波动问题的解析解相吻合;而有限模型只能对系统给出实数形式的复频响应函数,这与无限域中波动问题的解析解不相符合。说明在弹性介质情况下,有限模型不能反映无限域中的波动特性。(2)在粘弹性介质情况下,即使有限地基范围取得较大,有限模型所给出的数值结果与解析解的误差仍然很大,说明在用有限元法对无限域问题进行动力计算时,一般不宜采用有限模型,而应采用无限地基模型。  In this paper, with cannon 85 as an example, according to the actually measured result, the physi cal parameter of the soil is estimated and therefore the boundary condition of the gun is determined. And also, the function of the recoil mechanism and the counterrecoil mechanism have been simulated by using plastic rod element and linear damper. On this basis, the finite model of the whole gun has been established. The obtained calculated result is in good accordance with the actually mesured result.  本文以85加农炮为实例,根据实测结果,估计了土壤的物理参数,从而确定了火炮的边界条件;用塑性杆元及线性阻尼器模拟了驻退机、复进机的作用;在此基础上,建立了火炮整体的有限元模型。所得计算结果与实测结果符合较好。   << 更多相关文摘 
相关查询  



