查询词典 radon nikodym theorem

From the above theorem,（1） compositional invariant security properties and constructive security properties are proved to exist, and （2） security properties are degraded under operators of process algebra, which is known as "bucket principle", i.e, a composed system cannot be securer than the weakest link of the system.

根据这一结果证明了复合不变性质和可构造安全性质在安全性质集上的存在性，并且在安全性质集合上证明了安全性质的"木桶原理"，即复合系统的整体安全性不强于系统中最弱的部分。

Electromagnetics course mainly including basic phenomena and laws of electro- magnetics, electrostatic field in vacuum, in conductor and in electric medium, electric energy, stabilized current, stabilized magnetic field and its basic laws, electric and magnetic fields caused by a moving chager in lower speed, the transform of electric and magnetic fields between different systems of coordinates, inductive laws, eddy field, self inductance, mutual inductance and transient, molecule current and magnetic substance, ferromagnet, boundary conditions, magnetic circuit theorem, energy of magnetic field and density of magnetic energy, displacement current, Maxwell's equation, electromagnetic wave, Poynting vector.

电磁学课程的主要内容包括：静电的基本现象和基本定律，真空中的静电场，导体和电介质中的静电场，电场的能量与电场能量密度，稳恒电流，稳恒电流磁场的基本定律，运动电荷的电磁场，不同参照系之间电磁场的变换，电磁感应定律，涡旋电场，互感，自感，暂态过程，分子电流与磁介质，铁磁体，边界条件，磁路定理，磁场的能量和磁能密度，位移电流， Maxwell 方程组，电磁波和玻印廷矢量等。

Of mathematical theorems to study the self-questioning approach: This theorem is presented in the context of how come?

对数学定理学习的自我提问方式：这个定理是在怎样的背景下提出来的？

We have done following work in the paper: By the method of adiabatic theorem, this paper studies the semiclassical quantization of a chaotic state for a coupled system.

本论文就已有的Henon-Heils系统构造了一个新的近可积系统，发现这个近可积系统适合于做量子能级与经典能级的直接对照。

Under the suitable hypotheses of compactness,convexity,and semicontinuity,an existence theorem of the weak efficient solution for the convex-like vector equilibrium problems is established.

向量变分不等式与向量均衡问题的重要课题之一是研究其解集的连通性，因为它保证了解可连续的移动。

Then we give a structure theorem of weak LR-good quasi-adequate semigroups by using the tool of dual semidirect product.

并运用双重半直积给出弱LR 好拟适当半群的结构定理。

Motivated by the newψfunctional stability,we can establish some new kinds of stabilities which are different from the exponential stability.With the help of semimartingale convergence theorem,stochastic calculous,moment inequality,Burkholder-Davis-Gundy inequality,Gronwall inequality etc.,we find that the product ofψfunction and the solutions of neutral equations will approach a nonempty set if some specific conditions are satisfied.

我们应用半鞅收敛定理、随机微积分的相关知识以及矩不等式、Burkholder-Davis-Gundy不等式和Gronwall不等式等技巧，得到中立型随机泛函微分方程的解与特定的"ψ函数"的乘积在一定的条件下将趋向某非空集合这一结论，并建立了该中立型方程的随机LaSalle型定理。

Neutral equation; stochastic functional differential equation; stochastic differential equation with delay; infinite delay; asymptotic propertie; semimartingale convergence theorem; Markovian switching; moment stability; moment boundedness

基础科学，数学，概率论、数理统计中立型方程；随机泛函微分方程；随机延迟微分方程；无限时滞；渐近性质；半鞅收敛定理； Markov调制；矩稳定性；矩有界性

In this paper, we first give the Maschke's theorem of smash product A#H * about semisimple algebra , after studing smash product # definited by Y.

Doi 所定义的Smash 积＃，给出了Smash 积A＃ H＊关于半单代数的Maschke 定理；给出了可分代数与余可分余代数之间的对偶关系。

This is called the separation theorem.

这就是所谓的分离定理。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。