查询词典 calculus of finite difference

On the background of mobile computing, distributed system, agent system and ontology, the author explores the mobile computing in limited environment at three levels, i.e., mobile computing formal model, mobile ontology and application model. Some targets of the research works include the dynamic ambients calculus, robust ambients calculus and mobile ontology. Some innovative contributions of the dissertation are enumerated as: 1、Proposing a mobile computing dynamic ambients calculus.

论文研究工作基于陕西省十五科技攻关课题&移动嵌入式电子商务平台及关键技术研究&，以移动计算、分布式系统、Agent系统、本体论等相关领域技术为背景，从移动计算形式模型、移动本体论、应用模型三个层次研究了面向受限设备的移动计算技术，内容主要涉及移动计算形式模型中的动态环境演算、抗干扰鲁棒环境演算以及面向移动领域的移动本体论等，研究工作取得了如下创新性成果： 1、提出了跨平台、跨网络的动态环境演算。

The coordinate transformation and numerical integration was executed on the discretized tetrahedral elements based on which the 3-D MT vector-finite element method was implemented. A whole computation framework for 3-D vector-finite element method with unstructured mesh was given. Based on this some typical models were tested which has demonstrated that our algorithm could distinctively avoid problems caused by the fake solution and both the accuracy and efficiency were enhanced which made our algorithm has a bright future for further application.3. According to theory of Sobolev vector space and the discretization of Helmholtz space, the error estimate which was suitable for 3-D MT vector-finite element modeling was deduced by which the procedure of adaptive technique was guaranteed.4. Based on the fully unstructured tetrahedralization and optical strategy, the 3-D magnetotelluric h-adaptive vector-finite element method was presented through combining the error estimate. With this work, the accuracy and creditableness for 3-D MT complicatedly modeling was guaranteed.5. The 3-D magnetotelluric h-adaptive vector-finite element algorithm with unstructured mesh was implemented.

针对非结构化的四面体单元，采用坐标变换和数值积分方法，实现了MT三维矢量有限单元分析，建立起基于非结构化网格的三维MT矢量有限元计算流程，并对典型模型和国际标准电磁模型进行了数值模拟，结果对比和分析表明，基于非结构化网格的三维MT矢量有限元不仅消除了节点型有限元的伪解，而且具有很高的计算精度和速度，有广阔的应用前景。3、根据Sobolev函数的向量空间和Hemlholtz空间的分解，推导出基于残差的三维大地电磁矢量有限元后验误差估计公式，为三维大地电磁自适应矢量有限元数值模拟的实现奠定了基础。4、在完全非结构化四面体单元剖分及优化基础上，结合三维大地电磁矢量有限元后验误差估计公式，提出了基于非结构化网格的三维大地电磁h-型自适应矢量有限元计算策略，保证了对复杂大地电磁模型数值计算的精度和可靠性。5、实现了基于非结构化网格的三维大地电磁h-型自适应矢量有限元计算流程，对典型模型和国际标准电磁模型进行了数值模拟。

In this paper, the space-time finite element theory and its application technologies are studied and discussed. Furthermore the space-time finite element method is used to analyze the transient characteristics of electromagnetism equipments. The work is important to develop the numerical method for the transient electromagnetic field. The detailed work is as follow.In the basis theory of finite element method used in the transient engineering problem, the functional theory and the finite element theory are applied to studied the existence condition of a generalized variation principle, which is the basis of the space-time finite element method.

本文在完善时空有限元法的基础理论和应用技术并将该方法应用于解决电磁装置的瞬态过程分析等相关方面进行了深入的研究与探讨，该工作对于发展瞬变电磁场问题的数值计算方法具有重要的意义，为此进行了如下几方面的工作：在工程瞬变问题的有限元方法的基础理论方面，本文应用泛函理论和有限元理论，系统讨论了一般工程瞬变问题的变分定理的存在条件及对应的变分定理。

In order to solve parabolic equation of heat conduction with interval parameters, the regions of space are discretized by finite elements and the regions of time are discretized by finite difference. The interval finite element method based on the element is established via the combination of interval analysis and the traditional finite element method.

对具有区间参数的热传导抛物型方程的求解，在空间域上利用有限单元离散，在时间域上利用差分离散，将区间分析和常规的有限元法相结合，建立了求解不确定温度场的基于单元的区间有限元方法。

The plane adopts the joint method of both the finite element and the finite difference to divide plane domain by means of irregular triangular net in order to fit topography and coastal line complicated sea zone; Vertical application σcoordinate conversion and the finite difference method.

平面采用有限元法和有限差分法相结合的方法，用不规则三角形网格剖分计算域，以适应地形和岸线复杂的海区；垂向应用σ-坐标变换及有限差分法。

Symbolic transition graph is proposed as a compact semantic model for the π-calculus processes. The rules which generate such STGs from finite-control π-calculus processes are presented.

提出以符号迁移图为π-演算进程的有穷表示模型，并给出了将有穷控制π-演算进程转换成有穷符号迁移图的全部产生规则。

Equidistance point and difference theory in theory of function approximation are studied. Meanwhile, the relation among difference, difference quotient and derivate is revealed. By drawing Lagrange's and Cauchy's theorem of mean on difference and Taylor's formula into difference function, four theorems, such as Lagrange's theorem of mean on difference, are concluded in simple way. On the basis of these conclusions, the asymptotic property of middle point is studied, a series of new conclusions are drawn and the discussions on the asymptotic property of middle point in differential mid-value are summarized.

对函数逼近论中等距节点和差分理论进行了研究，揭示了差分、差商与导数之间的联系；将Lagrange中值定理、Cauchy中值定理、Taylor公式引入到差分函数中，简明地推导出Lagrange差分中值定理等4个定理，并在此基础上对"中间点"的渐近性进行了研究，得出了一系列"中间点"的渐近性的结果，概括了有关文献对微分中值公式的"中间点"的渐近性的讨论；给出的引理改进了函数逼近论的证明方法，精简了函数逼近论中的一些内容。

The results showed:among the 7 isolates, five isolates of HY3、GY1－3、ZJ1－1、HP1、FC3 had same colony shape, irregular shape, liquidlike, slimy, opacity with smooth surface;the other two isolates had same shape, irregular shape, dry, opacity with coarse surface. By inoculating eucalyptus with the 7 isolates, the plants were infected apparently, and the young plants of eucalyptus in control experiment with tap water were not infected. By cultivating eucalyptus cuttings with the bacterial suspensions without EPS, the incidence of disease was very distinct,but compared with the former bacteria suspension,the incidence of disease has decreased at different degrees. By screening out two isolates of strong pathogenicity and two isolates of weak pathogenicity from the 7 isolates,making the bacterial suspensions with them to inoculate the young plants of eucalyptus, two treatments of cutlings and ramets with rats were set with 5 repetitions in every treatment, the results of data analysis showed: for the cutlings, the bacterial contents in upper and middle parts、upper and lower had significant difference;for ramets with roots, the bacterial contents in upper, middle parts, lower had significant difference between each other; For both the cutlings and ramets with roof, the bacterial contents in xylem and phloem had significant difference. The interaction between vertical and horizontal parts for the bacterial content had significant difference. For the two isolates of HY3 and 93B which were screened out at last,their activities of the cellulase were: 1.955ug/ and 1.288ug/ respectively, and had significant difference; the activities of pectase were: 1.325 ug/and 1.24ug/ respectively, and had no significant difference. The content of EPS extracted from the two isolates of HY3 and 93B was very different: 7.08x10-8ug/cell and 5.17x10-8ug/cell.

结果显示：7个菌株中，其中5个菌株HY3、GY1－3、ZJ1－1、HP1、FC3的菌落形态相同：不规则形状、流体、粘性、不透明、表面光滑；另外2个菌株93B、GN1菌落形态相同：不规则形状、干燥、不透明、表面粗糙；用7个菌株接种剪根桉树苗，发病情况非常明显，而自来水对照实验中桉树苗却不发病；无EPS菌悬液培养桉树剪根苗，发病率也很明显，但是相比原菌液，则发病率有不同程度的下降；从7个菌株中间筛选出来2个强致病性菌株和2个弱致病性菌株，用它们配制菌悬液培养桉树苗，设置剪根和不剪根两个处理，每个处理设置五个重复，数据分析结果显示：对于剪根苗，上部和中部、上部和下部的含菌量有显著的差异，中部和下部含菌量差异不显著；带根苗，上部、中部、下部含菌量彼此之间差异显著；不管是剪根苗还是带根苗，木质部和韧皮部含菌量之间的差异都非常显著；上中下与木韧交互作用中，含菌量差异非常显著；最后筛选出来的强弱2个菌株HY3和93B，它们的纤维素酶活性分别为：1.955ug/和1.288ug/，具有显著的差别；果胶酶的活性分别为：1.325 ug/和1.24ug/，没有显著的差别，而且HY3和93B两个菌株细胞分泌的胞外多糖的含量差异很显著，分别为：7.08×10-8ug/cell和5.17×10-8ug/cell。

Equidistance point and difference theory in theory of function approximation are studied. Meanwhile, the relation among difference, difference quotient and derivate is revealed. By drawing Lagrange's and Cauchy's theorem of mean on difference and Taylor's formula into difference function, four theorems, such as Lagrange's theorem of mean on difference, are concluded in simple way. On the basis of these conclusions, the asymptotic property of middle point is studied, a series of new conclusions are drawn and the discussions on the asymptotic property of middle point in differential mid-value are summarized.

对函数逼近论中等距节点和差分理论进行了研究，揭示了差分、差商与导数之间的联系；将Lagrange中值定理、Cauchy中值定理、Taylor公式引入到差分函数中，简明地推导出Lagrange差分中值定理等4个定理，并在此基础上对&中间点&的渐近性进行了研究，得出了一系列&中间点&的渐近性的结果，概括了有关文献对微分中值公式的&中间点&的渐近性的讨论；给出的引理改进了函数逼近论的证明方法，精简了函数逼近论中的一些内容。

In this paper, a high order accuracy difference method is presented for solving unsteady convection diffusion equation by using Implicit Perturbation Finite Difference scheme. Firstly, we use the steady convection diffusion equation, the constant coefficients of this equation are expanded to power series of grid-spacings, then the high-order Perturbation Finite Difference scheme is obtained by determining the coefficients of the power series. Put this scheme on unsteady convection diffusion equations and modified it, the IPFD scheme is constructed.

本文利用摄动差分思想，对定常对流扩散方程中的空间微商系数进行摄动展开，展开幂级数系数通过消去摄动格式修正微分方程的截断误差项求出，由此获得方程的隐式摄动差分格式，将此方法应用于非定常对流扩散方程，并加以修正，得到该方程的修正隐式摄动差分格式。

There are two types of gold deposits in this area, namely altered rock type and quartz vein type.

本区金矿床包括两种类型：柴胡栏子金矿床为蚀变岩型金矿；莲花山和红花沟金矿床属石英脉型。

You were home and it was two weeks ago.

你回到了家里。当时是两周前。