Some efficient tools such as topological degree theory, fixed point theory and lower and upper method have been applied.
使用的主要方法有锥上的不动点理论、拓扑度理论和上下解方法等。
By using the fixed point theory and a new three-solution theorems, the existence of multiple solutions of the boundary value problem was obtained.
通过利用不动点指数理论及一个新的三解定理，得到了边值问题多个正解的存在性。
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.
最后，根据可分层术语集合的特性，证明了循环不动点理论在本体知识库下可用于计算可分层术语集合的语义模型。
应用推荐