查询词典 reduction theorem

Compared with Plotkin's work, a reduction closed CPS language is defined in which all continuations are explicitly expressed as functional encodings and it is simpler to prove both the soundness and completeness directions of simulation theorem.

与Plotkin的工作比较，工作特点在于，给出了一个CPS归约闭语言，该语言中所有继续都可以用函数形式表达，且模拟定理的可靠性和完备性方向证明更为简单。

This paper, by conjugating with the new reliability-preserving reduction we present and applying pivotal decomposition theorem ...

本文通过结合新提出的几个可靠性不变简化（Reliability－PreservingReducation）和对某些结点应用Pivotal分解定理，提出一个计算一般RBN的K-终点可靠度的有效算法。

The chapter two, by using reduction to absurdity and estimating the differential inequality, we investigate the oscillation of a kind of even order half- linear differential equation, and we give an example to validate the theorem.

在第二章中，我们利用反证法及对微分不等式的估计研究了一种偶数阶半线性微分方程解的振动性，接着举了例子验证所得定理。

By using saddle point reduction and Morse theory,we obtain an existence theorem of three periodic solutions for this equation.By means of E~+-Morse theory established by A.

本章还首次应用临界点理论研究中立型泛函微分方程的次调和解，在变分泛函中允许含有时滞变量，从而给出了研究这类方程周期解的新途径。

This inherent fact is combined with the recently proposed quantum to classical reduction theorem.

为此，将这一事实与最近提出的量子到经典的约简定理相结合。

In this paper,we define the oriented relevance information among attributes of information and decision systems,which measures the relevance among attributes of information and decision systems. And based on these definitions, we present a new discriminant theorem of knowledge reduction of information systems.

本文定义了信息系统以及目标信息系统属性之间的有向关联信息，用来度量信息系统以及目标信息系统属性之间的关联程度，基于此给出信息系统以及目标信息系统的知识约简一种新的判定定理。

The general objective of the thesis is to develop a language-based foundational theory of security for mobile and distributed systems, and this thesis focus on the following four interrelated aspects. Firstly, aiming at the access control, a type system with security levels is proposed and the Subject Reduction Theorem under labelled transition system is proved.

针对安全模型面临的困难与挑战，本研究从分析移动系统安全的实质出发，对系统安全进行高度的抽象，使用π-演算及其类型系统为理论工具为分布式系统安全建模，提出对安全模型的定义、规范、分析与实现都借助程序语言的理论、技术与方法的一体化路线，研究基于程序设计语言的安全模型。

The contents of this paper are as follows:Firstly, we study the following semilinear elliptic equation with Dirichlet boundaryvalue problem:in the subcritical growth case we obtain at least two nontrival solutions by using the three-critical-point theorem and the reduction method.

我们首先研究下面半线性椭圆方程Dirichlet边值问题：在次临界增长情况下，利用变分方法中的归约方法和三临界点定理，得到了方程至少有两个非平凡解。

Radio-broadcast network ; Reliability ; Algorithm ; Reliability-preserving reduction ; Privotal decomposition theorem

无线广播网络；可靠性；算法；可靠性不变简化； Pivotal分解定理

This article investigates the two-point boundary value problem to a coupled system of nonlinear fractional differential equations. By applying growth conditions on the nonlinear terms, we obtain an existence result of solutions. Our analysis relies on the Schauder fixed-point theorem and the reduction of the considered problem to the equivalent coupled system of integral equations.

本文讨论非线性分数阶微分方程耦合系统的两点边值问题，应用Green函数，将其转化为等价的积分方程耦合系统，并设非线性项在无穷远处有增长条件，应用Schauder不动点定理证明解而非限于正解的存在性。

We stopped by the old fashion ice cream parlor Manhattan Beach Creamery for some refreshment. The "No Shoes, No Shirt, No Problem" sign on the wall epitomizes the beach lifestyle.

我们去商店区的一家老式冰淇淋店坐坐，墙上挂著「没鞋，没上衣，没问题」的牌子完全捕捉了海滩生活的随性及风格。

"If therefore", argues Bellarmine we can offer our prayers and our satisfactions in behalf of those detained in purgatory, because we are members of the great body of Christ, why may not the Vicar of Christ apply to the same souls the superabundant satisfaction of Christ and his saints--of which he is the dispenser?

" "因此，如果"，认为贝拉明（德indulgentiis ，十四）"我们可以提供我们的祈祷和我们满意的代表那些被拘留在炼狱，因为我们是成员的伟大基督的奥体，为什麼可能不是牧师基督适用於同样的灵魂满意的过剩是耶稣和他的圣人-他是在配药？