讨论LST定理对非标准分析的应用。
The applications of LST theorem to the non-standard analysis are discussed.
目的用非标准分析的方法给出拓扑的定义。
本文采用非标准分析方法研究拓扑动力系统。
The method of nonstandard analysis is applied to the studies of the topological dynamical systems.
一个定义是在非标准分析的框架中，另一个则是标准分析的。
One of our definitions is in the framework of nonstandard analysis, and another is in standard analysis.
作为一种自动微分技术，它结合了非标准分析、简正级数理论等的思想。
As a kind of automatic differentiation techniques, it is based on the nonstandard analysis and normal power series theory.
方法运用历史分析的方法，采用非标准分析的观点对原始文献进行研究。
MethodsThe method of historical analysis and the viewpoint of non-standard analysis are used to study the original works of Cauchy.
在非标准分析框架下，用离散函数定义新广义函数，用差商定义其导数。
By using nonstandard analysis, we define new generalized functions as discrete functions, and their derivatives are defined as difference quotients.
自动微分(AD)技术以非标准分析为理论基础，是计算机数值计算领域中的一种很有前途的方法。
Automatic differentiation (AD), based on the nonstandard analysis theory, is a new technique in computer numerical analysis.
本文采用非标准分析方法，首先对广义函数的赋值问题进行了完善；接着界定了广义函数的积分；最后讨论了广义函数的广义连续性．。
We discuss the problem of valuation assignment and integration of generalized functions by nonstandard analysis method. The generalized continuity of generalized functions is also discussed.
本文采用非标准分析方法，首先对广义函数的赋值问题进行了完善；接着界定了广义函数的积分；最后讨论了广义函数的广义连续性．。
We discuss the problem of valuation assignment and integration of generalized functions by nonstandard analysis method. The generalized continuity of generalized functions is also discussed.
应用推荐