查询词典 Stokes theorem

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分解定理

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不动点定理证明解而非限于正解的存在性。

At the aspect of refrainment of harmonic, the construction and theorem of power filter is introduced, which is used commonly.

在谐波抑制方面，对目前广泛应用的无源滤波器组成和原理进行深入分析。

You can buy sweetened beverages, if that suits you.

你若喜欢的话，可以买些含有糖精的混合饮料。

As many of you are probably aware, Nick and Vanessa were recently faced with an embarrasing sex scandal after naked pictures of the two getting jiggy with it in a hot tub surfaced the net.

正如很多你可能知道，尼克和 Vanessa 最近面临一个尴尬的绯闻事件后，赤裸裸的图片两个越来越jiggy与它在浴缸中的一个热点浮现净。