"Outline of a theory of truth" is about the logical paradox, in which Kripke put forward a theory of truth of "fixed point", and gave concrete formal construction.
《真理论纲要》就是克里普克关于语义悖论的研究成果。他在其中提出了“定点”真理理论，并给出了具体的形式建构。
Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.
在此基础上引入不动点原理深入刻划循环不变式的含义，循环不变式可以表示为谓词泛函的最小不动点，并从范畴论的角度解释该过程。
Using the fixed point principle and the theory of differential inequality, we prove the existence of the solution and an uniformly valid asymptotic expansions of the solution is given as well.
利用不动点原理及微分不等式理论，我们证明了边值问题解的存在性，并给出了解的一致有效渐近展开式。
By means of lower-upper solutions methods, theory of fixed point indices and local bifurcation theory, the conditions for multiplicity and uniqueness positive solutions of this system was obtained.
运用上下解方法，不动点指数理论，局部分歧理论，得出了该系统存在多个正解或惟一正解的条件，即参数对解的个数有一定影响。
The control system applies TMS320F2812 which is a powerful 32-bit fixed point DSP chip as its control core, and can apply AC step-motion control theory.
该控制系统采用功能强大的32位定点DSP芯片TM S320F 2812为控制核心，能够实现永磁同步电机的交流步进控制。
By using the fixed point theory and a new three-solution theorems, the existence of multiple solutions of the boundary value problem was obtained.
通过利用不动点指数理论及一个新的三解定理，得到了边值问题多个正解的存在性。
We show existence results for multiple sign-changing solution for third-order two- point boundary value problems by using the fixed point index and the topologic degree theory.
主要研究一类三阶两点边值问题变号解的存在性和多重性，利用不动点指数和拓扑度理论等得到了新的结论。
By using the theory of fixed point and cone theory, we obtain some new results about the system of a monotone operator equations.
分别使用不动点定理，序方法讨论了一类非单调算子方程组解的存在及其迭代。
Using the theory of fixed point, we give a theorem about the existence of asymptotically almost periodic solution for a class of delay integral equations.
利用不动点理论，给出了一类时滞积分方程渐近概周期解的存在性定理。
The main tool used was the theory of the fixed-point index.
所用的工具为不动点指数理论。
Some existence and uniqueness theorems for above problem are established by using certain fixed point theorem based on the degree theory.
用基于度理论的不动点定理，建立了一系列存在唯一性定理。
By using fixed point theory, in this paper we study the existence of triple positive solutions for a class of second-order differential equations with integral boundary conditions.
运用不动点定理，研究了一类带积分边界条件的二阶微分方程三个正解的存在性。
This paper elaborates the concept and theory of Fixed Point, and establishes several 0-1 programming models based on the Fixed Point method.
本文阐述“固定点号”的相关概念和基本方法，建立了基于“固定点号”方法的多个0 - 1规划模型。
Finally, this thesis proves that the recursion fixed point theory can also be used for the semantic model computation of a stratified TBox in ontology knowledge base.
最后，根据可分层术语集合的特性，证明了循环不动点理论在本体知识库下可用于计算可分层术语集合的语义模型。
In this paper, we consider the existence of multiple positive solutions of discrete boundary value problem. The theory of fixed point index is used here to derive the existence theorem.
本文利用不动点指数理论得到离散边值问题多重正解的存在性。
By using fixed point index theory in a cone, we study the existence of positive solutions of boundary value problems for systems of nonlinear second order singular differential equations.
使用锥上拓扑度理论，研究二阶非线性奇异微分方程组两点边值问题正解的存在性。
By using fixed point index theory in a cone, we study the existence of positive solutions of boundary value problems for systems of nonlinear second order singular differential equations.
使用锥上拓扑度理论，研究二阶非线性奇异微分方程组两点边值问题正解的存在性。
应用推荐