辅助定理

Moreover, existence of analytic solutions for a linear iterative equation with variable coefficients is given by reducing to an auxiliary equation and using Schauder's fixed point theorem.

此外，本章还使用Schauder不动点定理，通过建立辅助方程，研究了变系数的线性型迭代方程解析解的存在性。

Moreover, existence of analytic solutions for a linear iterative equation with variable coefficients is given by reducing to an auxiliary equation and using Schauders fixed point theorem.

此外，、本章还使用Sehauder不动点定理，通过建立辅助方程，研究了变系数的线性型迭代方程解析解的存在性。

In this paper, using different geometric means, the introduction of the corresponding auxiliary function of the Lagrange theorem proof explored.

本文首先采用不同的几何手段，引进相应的辅助函数，对拉格朗日定理的证明进行了探索。

WIMP-Based electronic teaching systems can not meet teachers' requirements of natural and efficient interaction, especially continuous drawing and writing in geometry teaching. In this paper, an intelligent pen-based whiteboard system for dynamic geometry visualization is designed and implemented.

计算机辅助教学系统目前已在教学中大量应用，然而，基于WIMP界面范式的电子课件系统，无法满足教师在课堂教学互动中需要与用户界面自然、高效、连续性交互的需求，尤其是几何教学中连续书写板书、自由勾画图形、动态几何定理演示等。

On the basis of Muskhelishvili's complex function theory, an auxiliary field of mixedmode crack was accomplished, and then using Betti's reciprocal work theorem, a path independent contour integral method for stress intensity factors of mixed-mode crack was obtained.

本文用复变函数理论推导出裂纹的辅助场，并用Betti功互等定理给出求解混合型裂纹应力强度因子的远场围绕积分法。

A good example of this was the machine-aided proof of the four color theorem, which was very controversial as the first claimed mathematical proof which was essentially impossible to verify by humans due to the enormous size of the program's calculation (such proofs are called non-surveyable proofs).

一个很好的例子，这是机器辅助证明了四色定理，这是非常具有争议的第一人数学证明基本上是无法核实由于人类的巨大规模，该项目的计算（如证明是所谓非surveyable证明）。

Based on the unstructured model of Nosiheptide fermentation process, the secondary variables were selected according to the implicit function existence theorem, which made the selection theoretically strict.

在诺西肽发酵过程非结构模型的基础上，根据隐函数存在定理确定出辅助变量，从而使其选择有严格的理论依据。

Based on the segmented unstructured model of Nosiheptide fermentation process, the secondary variables are selected according to the implicit function existence theorem. The on-line identification of fermentation phases is accomplished by using an indicator variable which is gained by mathematical inference, and for each phase, a local soft sensor model is developed.

首先以分阶段的诺西肽发酵过程非结构模型为基础，根据隐函数存在定理进行辅助变量的合理选择；然后利用经数学推导得到的指示变量"伪比生长率"完成发酵阶段的在线辨识，并采用神经网络构建出对应于各阶段的局部软测量模型。

According to the estimation of biomass in Nosiheptide fermentation process, the secondary variables are selected according to the implicit function existence theorem, and then a soft sensor model of biomass is developed by using the IBPNN. The testing result shows the effectiveness of the presented approach.

最后针对诺西肽发酵过程中菌体浓度的估计问题，根据隐函数定理选取辅助变量，应用IBPNN建立菌体浓度软测量模型，实验结果验证了所提方法的有效性。

There isn't maximum principle for polyharmonic equation,so this paper first established a super-sub-sulution theorem via low semi-continuity and changed assistant function.

因为多重调和方程没有极值原理，所以首先利用泛函弱半连续性和适当变换辅助函数的方法建立起多重调和方程的上下解定理。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。