查询词典 imbedding theorem

The equivalent solid sphere have same radius of the original coating shell, using reciprocity theorem, the effective conductivity of composite were obtained, it compare agree with effective medium approximation.

利用倒易定理，其结果与有效介质近似进行比较发现两者基本一

P.G.泰特","Fourier's Theorem is not only one of the most beautiful results of modern analysis, but it may be said to furnish an indispensable instrument in the treatment of nearly every recondite question in modern physics.

"，"傅里叶的定理不仅是现代分析学最美妙的结果之一，也可以说它为解决现代物理学中几乎每一个难解的问题提供了一个不可缺少的工具。

Using Extended Virial theorem , three recurrence relation of the average value of coordinate operator for linear harmonic oscillator, spherical harmonic oscillator and like-hydrogen ion were obtained respectively.

针对一维谐振子、类氢离子和三维各向同性谐振子三个量子体系，应用超维里定理，推导了幂坐标算符平均值的递推关系，方法较通常简洁明了。

In the last chapter, by introducing the isochronous center of real systems into complex planar and defining complex center and complex isochronous center, a concise linear recursion formula for period constants is given, necessary and sufficient conditions of complex isochronous center (the Time-Angle Difference Theorem) proved, conditions of real systems with linearizable center and saddle treated unitedly and the isochronous center conditions discussed fully for a class of real planar cubic systems.

在第七章，通过把实系统等时中心引入复平面研究，定义了复中心和复等时中心，给出了等时中心周期常数计算的简明的线性递推公式，证明了等时中心判定的充分必要条件，统一地处理了实系统具有可线性化的中心和鞍点条件，并对一类实平面三次系统的等时中心条件进行了完整研究。

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

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

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

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。