reduction theorem

reduction theorem的基本解释

-

约化定理

与reduction theorem相关的网络例句 [注：此内容来源于网络，仅供参考]

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.

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

First introduced the lattice-value information systems knowledge, and to partial order for the basis has been a new relationship: advantage, given the reduction and the core, the concept of simplifying the classification of features, it is also given on the approximation, and the approximate reduction of matrix determined theorem and the concept of identification, the final adoption of specific reduction of examples to illustrate this method is effective.

首先介绍了格值信息系统的相关知识，并以偏序关系为基础得到了一种新的关系：优势关系，给出了约简和核心，简化了概念的分类特征，也给出了上近似、下近似及约简的判定定理和辨识矩阵的概念，最后通过具体的例子说明这种约简方法是有效的。

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边值问题：在次临界增长情况下，利用变分方法中的归约方法和三临界点定理，得到了方程至少有两个非平凡解。

与reduction theorem相关的网络解释 [注：此内容来源于网络，仅供参考]

reduction theorem：化归定理

reduction of a fraction 约分 | reduction theorem 化归定理 | reduction to a common denominator 通分

tape reduction theorem：带缩减定理

"磁带缩减","tape reduction" | "带缩减定理","tape reduction theorem" | "磁带卷盘","tape reel"

tape reduction theorem：缩带定理

tape recorder of digital logging 数字测井磁带记录仪 | tape reduction theorem 缩带定理 | tape rerun 带反绕