表现为聚焦曲线在远焦区呈现非单调性。
Their focusing curves away from the focus show serious nonmonotonicity.
可应用在非单调、非线性、非叠加等模型。
Can be used on non-linearity, non-monotony, non-additivity models.
定理1表明了缺省推理的非单调性这一特点。
Theorem 1 indicates the feature of non-monotonicity for default reasoning.
单射占优模型在非单调逻辑中具有重要的地位。
In nonmonotonic logic, injective preferential models play an important role.
本文提出一种对安全协议进行分析的非单调逻辑。
This paper proposes a non-monotonic logic which can be used to analyze the properties of security protocols.
第二部分主要研究无约束最优化问题非单调信赖域法。
At the second part, nonmonotonic trust region method for unconstrained optimization is studied.
本文研究了一般归纳推理与非单调推理的合理性问题。
This paper studies the rational problem of general inductive reasoning and nonmonotonic reasoning.
给出无约束最优化的一类带线搜索的非单调信赖域算法。
A nonmonotonic trust region algorithm with line search for unconstrained optimization problems is presented in this paper.
该文提出一种论证安全协议之安全性质的非单调动态逻辑。
In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.
第三章，我们提出了一类基于锥模型的非单调信赖域算法。
In chapter 3, we present a nonmonotonic trust region algorithm based on the conic model.
不精确推理和非单调推理是人工智能中两个重要的研究方面。
This paper analyzes the characteristics and limitations of approximate reasoning (based on probability) and nonmonotonic reasoning (based on truth maintenance system).
结果表明，刻蚀速率与刻蚀气体的混合比率呈现非单调特性。
Results indicate that etching rates of BST thin films present non-monotonic dependence on mixing ratio of etching gases.
因此，经验逻辑给出了一类更一般而且直观的非单调推理形式。
The experiential logic therefore provides a class of more intuitive and general nonmonotonic formalisms.
回答集程序设计(asp)是一种主流的非单调知识表示工具。
Answer Set Programming (ASP) is now a mainstream tool for the representation of non-monotonic knowledge.
本文试图对专家系统使用的非单调推理及其形式化问题进行初步探讨。
In this paper we try to explore the problems of the nonmonotonic reasoning and formalization used by the expert systems.
运用Zorn引理得到了非紧，非单调算子不动点存在性的一些有趣结果。
This paper obtains some new and interest theorem on the existence of fixed points for noncompact and no monotone operators.
给出了一个解无约束最优化问题的非单调的新的BFGS校正的信赖域算法。
The paper proposes a nonmonotonic BFGS-trust-region algorithm for unconstrained optimization.
人的常识推理是一种充满经验性知识的累积过程，而经验推理具有非单调性。
Human commonsense reasoning is a kind of cumulative process of experiential knowledge, and the experiential reasoning is nonmonotonic.
分别使用不动点定理，序方法讨论了一类非单调算子方程组解的存在及其迭代。
By using the theory of fixed point and cone theory, we obtain some new results about the system of a monotone operator equations.
本文以耶鲁枪击问题为例，分析了典型的非单调理论在解决框架问题上的局限性；
In this paper we take the Yale Shooting Problem as an example and analyse the limits of typical Non-Monotonic theories in solving the frame problem.
给出了一类约束函数单调而目标函数非单调的非线性规划问题的一种新的求解方法。
A new method is applied to a kind of nonlinear programming problem with monotonic functions and non-monotonic objective functions.
该算法运用该文提出的非单调启发式模拟退火搜索法实现网络权值和参数的快速搜索。
Based on the search technique of non-monotone heuristic simulated annealing proposed, the algorithm realizes fast search of network weight and parameter.
单调性效应和非单调性效应既是归纳推理理论模型的具体阐释，也是其理论基础和源泉。
Monotonic effect and non-monotonic effect are both the explanations and theoretical sources of the models of inductive reasoning.
本文提出一类求解无约束优化问题的非单调曲线搜索方法，在较弱条件下证明了其收敛性。
This paper presents a non-monotone curve search method for unconstrained optimization problems and proves its convergence under some mild conditions.
然后从信赖域子问题的角度出发，对无约束优化问题提出了一个改进的非单调信赖域算法。
We discuss non-monotonic trust region algorithm for unconstrained nonlinear optimization problems in view of Trust Region Model mainly.
在连续小波变换和展开相位拐点识别的基础上，提出一种非单调条纹图的相位恢复新方法。
A novel method based on continuous wavelet transform (CWT) and guidance of inflexion points of unwrapped phase is developed to measure the phase of non-monotonous fringes.
本文讨论了一类非单调的具有分段压缩性质的含参数随机算子方程组的解的存在性和唯一性。
In this paper, the existence and uniqueness theorems of solution of a class Non-monotonic parametric stochastic operator equation with piecewise contraction property is discussed.
而诀窍就是找到一个弹性阵列，能够将非单调的数据集“变成单调数据集”，或者换言之，就是降维。
The trick is to find an arrangement of springs that "flattens" the data set, or in other words, reduces its dimensionality.
而诀窍就是找到一个弹性阵列，能够将非单调的数据集“变成单调数据集”，或者换言之，就是降维。
The trick is to find an arrangement of springs that "flattens" the data set, or in other words, reduces its dimensionality.
应用推荐