查询词典 finite

The limitations of finite-memory programs, closure properties for simplifying the job of writing finite-memory programs, and decidable properties of such programs are also studied.

有限记忆程序的局限、简化编写有限记忆程序的闭包性质和有限记忆程序的可判定性在本章也被探讨。

To achieve the program of finite element, which apply to the two-dimensional temperature distribution of high power laserAccording to the diathermanous principles and the thoughts of finite element, the temperature distribution of the chip and the submount of high-power laser were simulated in the work.

2实现了适用于大功率半导体激光器二维温度场的有限元程序根据传热学的基本原理和有限单元的思想对大功率半导体激光器的芯片和载体的温度场进行计算机模拟了，最终求解出了总体温度刚度矩阵K_总和总体边界条件矩阵P_总，进而求解出各个节点的温度值T。

In this paper, the research object is the XM18 spherical generator, in order to improve the dynamic behavior of the machine tool, the following aspects have been studied in this thesis: Firstly, based on the elasticity theory and finite element analysis theory, the finite element models of the lathe bed, dovetail, dovetail shelf, headstock, fanlike plank and millhead shelf, which were the main parts of the spherical generator, were built up using ANSYS9.0. And based on the modal analysis theory and FEM technology, the free modal and the constrained modal analysis of the main parts were studied. Accordance to the analytical results, put forword methods to optimize the key parts.

本课题以XM18球面铣磨机为研究对象，为了提高其动态特性，本文主要从以下几个方面进行研究：首先，根据弹性力学理论和有限元分析的基本理论，利用ANSYS9.0软件建立了铣磨机的主要零部件床身、燕尾、燕尾座、主轴箱、扇形板和磨头座的有限元模型，利用有限元法对主要零部件进行了自由模态和约束模态分析，并根据分析结果对关键部件提出了改进方案。

The joint inversion of some geodynamical parameters and numerical simulating the crustal stress field is presented in this paper. The four nodes quadratic finite element in Chinese area is constructed and the "split node" technique is employed for introducing the fault parameters into the finite element computation.

讨论了利用地应力主方向和GPS资料联合反演与之相关的地球动力学参数及数值模拟地壳应力场的方法，建立了中国及其邻区的四节点有限元模型，解决了有限元数值解算中节点位移不连续的问题。

The results of numerical analysis show that the elastic modular and the poisson ratio have no effect on two-dimensional bearing capacity, but can affect the ultimate bearing capacity of three-dimensional foundations and control the convergence and precision of finite element calculation; the earth pressure coefficient controls the geostatic stress of foundation, sequentially affects the ultimate bearing capacity of foundations and the convergence of numerical calculation. When calculating the ultimate bearing capacity of undrained saturated foundation, the complete formulation exists shear locking, and reduce formulation exists hourglassing, so the hybrid formulation is suitable to imitate the geomaterial. When the soil obeys nonrelevent flow rule, the yielding function is different from potential function, and the elastic-plastic matrix of soil is asymmetric, so the unsymmetry numerical solver and appropriate finite element mesh is required.

研究结果表明，土体弹性模量和泊松比对二维基础极限承载力没有影响，但是影响着三维矩形基础的极限承载力，控制着ABAQUS数值算法的计算精度与收敛速度；地基土压力系数控制着地基土体中的地应力平衡，从而影响着二维条形基础和三维矩形基础的极限承载力和地基破坏包络面；对于不排水饱和软黏土地基，常规的完全积分单元会造成剪力自锁现象，而减缩积分单元则存在过于柔化的现象，故采用杂交单元来模拟较合适；当土体服从非关联流动法则时，屈服函数与塑性势函数之间存在差异，从而导致土体弹塑性矩阵呈现非对称性，在有限元计算中必须采用非对称数值解法，并且合理地划分单元才能对极限承载力进行准确求解。

Directly reading the 210-layer of 0.65-mm-thick consecutive CT Dicom format images of human body thoracolumbar making use of 0.625-mm isotropous resolution thin layer scanning technique into the Mimics. Defining bone organization threshold, withdrawing each outline, partitioning each edge of layer picture, edited selectively and repaired by hole processing. After a redundancy data was cleaned, the thoracolumbar 3-D finite element geometry model was acquired. Then area mesh could be kept as the document Ansys named .lis as the suffix and be introduced into Ansys software directly to mesh body, and then transferred the body mesh to mimics to assignment son the basis of CT values, once again import Ansys to establish 3-D finite element model.

将以各向同性分辨率0.625 mm薄层扫描所得的层厚0.65 mm人体胸腰段连续断层210层Dicom格式CT图像，直接读入Mimics后界定骨组织阈值、提取各层面轮廓线、图像边缘分割、选择性编辑及补洞处理，去除冗余数据，三维化处理后获得胸腰段三维几何面网格模型，将其保存为后缀名。lis的Ansys文件，直接导入Ansys有限元分析软件进行体网格划分，再将体网格转入Mimics根据CT值给予赋值，再次导入Ansys生成有限元模型。

Analysis shows that the proposed modeling method has the following advantages,(1) the aircraft or component geometry is approximated by finite element patches, which may well reflect the reality,(2) the liquid model is considered,(3) critical and noncritical component are modeled separately, so as to reduce the human errors, and (4) it has good interface with the commonly used finite element modeling software, which may reduce the repetitive work.

应用中表明，所提出的方法具有以下特点：(1)飞机及部件外形的几何形状均采用有限元逼近，可以真实的反映实际情况；(2)模型考虑了液体模型的建立方法；(3)致命部件及非致命性部件单独建模，可以减少人为因素影响；(4)与有限元建模软件结合紧密，可以减少重复性的工作。

A finite clause is one with a finite verb phrase as its predicate verb or predicator a nonfinite clause is a clause with a nonfinite verb phrase as its predicator .

以限定动词词组作谓语动词的分句叫做限定分句。

A finite clause is one with a finite verb phrase as its predicate verb or predicator; a nonfinite clause is a clause with a nonfinite verb phrase as its predicator.

以非限定动词（即动词不定式、-ing 分词、-ed 分词）作谓语动词的分句叫做非限定分分句。

Computational fluid mechanics ; finite-volume method ; perturbational finite volume method

计算流体力学；有限体积方法；摄动有限体积方法

The production moved off-Broadway to New York City, where she won the Joseph E. Calloway award for her performance, and was profiled in American Theater Magazine as one of ten young theater artists to watch.

生产提出过百老汇的新的纽约市，在那里她赢得了约瑟夫calloway奖，她的表现，并于异型在美国的战区杂志之一， 10战区的青年艺术家观赏。

It's a risk tradeoff, and I believe that adding test support code usually wins.

这是一个风险的权衡，我相信添加测试代码通常会占上风。