In this paper, a non monotonic dynamic logic that verifies properties of security protocols is introduced.
该文提出一种论证安全协议之安全性质的非单调动态逻辑。
There is a very important phenomenon in the researches on inductive reasoning: the number of premises has a great influence on inductive strength, called monotonic effect or non-monotonic effect.
归纳推理研究中存在着一个非常重要的现象:前提数目的增加对归纳推理强度的影响,即单调性效应和非单调性效应。
Monotonic effect and non-monotonic effect are both the explanations and theoretical sources of the models of inductive reasoning.
单调性效应和非单调性效应既是归纳推理理论模型的具体阐释,也是其理论基础和源泉。
A new method is applied to a kind of nonlinear programming problem with monotonic functions and non-monotonic objective functions.
给出了一类约束函数单调而目标函数非单调的非线性规划问题的一种新的求解方法。
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.
本文讨论了一类非单调的具有分段压缩性质的含参数随机算子方程组的解的存在性和唯一性。
Results indicate that etching rates of BST thin films present non-monotonic dependence on mixing ratio of etching gases.
结果表明,刻蚀速率与刻蚀气体的混合比率呈现非单调特性。
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.
本文以耶鲁枪击问题为例,分析了典型的非单调理论在解决框架问题上的局限性;
This paper proposes a non-monotonic logic which can be used to analyze the properties of security protocols.
本文提出一种对安全协议进行分析的非单调逻辑。
The algorithm adopts hybrid coding, does non-monotonic transformation to the fitness function and improves the crossover operation, expanding the searching scope.
该算法采用了混合编码,改进了适应度函数和交叉操作,扩大了搜索范围。
We discuss non-monotonic trust region algorithm for unconstrained nonlinear optimization problems in view of Trust Region Model mainly.
然后从信赖域子问题的角度出发,对无约束优化问题提出了一个改进的非单调信赖域算法。
It is shown that the OAG of the USC (or the LSC) is a non-monotonic function of the strength and correlation time of the noise as well as the frequency of the USC (or the LSC).
研究表明,上(或下)边频分量输出幅度增益是噪声的强度和相关时间以及上(或下)边频分量频率的非单调函数。
Stochastic resonance in a broad sense means the output signal of the system is a non-monotonic function of some parameter of the noise, of the system or parameter of the input signal.
广义随机共振指系统的输出信号(信噪比、输出平均幅度等)是噪声、系统或信号的某个参数的非单调函数。
Answer Set Programming (ASP) is now a mainstream tool for the representation of non-monotonic knowledge.
回答集程序设计(asp)是一种主流的非单调知识表示工具。
Plausible reasoning, belonging to the category of non-monotonic logic, is a sort of frequently-used reasoning on the basis of common knowledge.
合情推理是非单调逻辑中一种常用的以常识为基础的推理形式,在多种可能之因当中选定一个最为“合情”的作为结论。
Its effect on corporate value is negative, but non-monotonic.
这就是说,国家持股对企业的绩效具有两面性的影响。
Its effect on corporate value is negative, but non-monotonic.
这就是说,国家持股对企业的绩效具有两面性的影响。
应用推荐