解析证明

词组短语

analytic proof

与解析证明相关的网络例句 [注：此内容来源于网络，仅供参考]

We give several sufficient conditions of NA and NSD properties of random variables, compare the closeness of distribution functions of order statistics between NA and independent rv's, investigate properties of NSD defined by supermodular functions, study the dependence structure of stationary Markov process and order statistics and their spacings from two samples, establish stochastic comparisons of order statistics of heterogeneous rv's in the hazard rate and the reversed hazard rate orders, and give the first analytic proof of the closure property of the up shifted likelihood ratio order under convolution.

给出判定一组随机变量NA性质的几个充分条件，并给出NA和独立随机变量的次序统计量之间"贴近性"的比较，系统地研究基于特殊函数类所定义的NSD负相依概念，给出一些判别NSD性质的结构定理和一些有用概率不等式。系统研究平稳马氏过程的相依结构。研究两样本次序统计量及其问题隔的相依结构。在失效率、反向失效率序和似然序意义下给出非齐次随机变量次序统计量的比较。给出上漂移似然序卷积封闭性的第一个解析证明。

This results in analytical expressions for the sufficient condition of system stability, calculating time and circuit parameter.

系统地分析了〓模型的工作特性，从系统稳定理论证明了该电路的稳定性，同时也从电路的角度，用解析的方法分析了运放有限增益，输入电容对电路的动态性能、运算精度的影响，得出了系统稳定的充分条件和计算时间与电路参数的解析表达式。

For the Riemann boundary value problems for the first order elliptic systems , we translates them to equivalent singular integral equations and proves the existence of the solution to the discussed problems under some assumptions by means of generalized analytic function theory , singular integral equation theory , contract principle or generaliezed contract principle ; For the Riemann-Hilbert boundary value problems for the first order elliptic systems , we proves the problems solvable under some assumptions by means of generalized analytic function theory , Cauchy integral formula , function theoretic approaches and fixed point theorem ; the boundary element method for the Riemann-Hilbert boundary value problems for the generalized analytic function , we obtains the boundary integral equations by means of the generalized Cauchy integral formula of the generalized analytic function , introducing Cauchy principal value integration , dispersing the boundary of the area , and we obtains the solution to the problems using the boundary conditions .

对于一阶椭圆型方程组的Riemann边值问题，是通过把它们转化为与原问题等价的奇异积分方程，利用广义解析函数理论、奇异积分方程理论、压缩原理或广义压缩原理，证明在某些假设条件下所讨论问题的解的存在性；对于一阶椭圆型方程组的Riemann-Hilbert边值问题，利用广义解析函数理论、Cauchy积分公式、函数论方法和不动点原理，证明在某些假设条件下所讨论问题的可解性；广义解析函数的Riemann-Hilbert边值问题的边界元方法是利用广义解析函数的广义Cauchy积分公式，引入Cauchy主值积分，通过对区域边界的离散化，得到边界积分方程，再利用边界条件得到问题的解。

Inequality proof of various ways, they were: use derivative testify inequality nature, Includes using functional monotonicity and extreme value, the function and the concave and convex inequality, proving is concave and convex function in the original definition of equivalent definitions and a lemma is proposed on the basis of relevant concave and convex function of several theorems about inequality, and briefly discusses how to use the definitions and theorems in proof of inequality.

不等式的证明方法多种多样，它们分别是：用导数性质证明不等式；包括利用函数单调性，极值与最值，函数凹凸性证明不等式，其中在给出凹凸函数原始定义等价的解析定义和一个引理的基础上提出有关凹凸函数关于不等式的几个定理，并简要阐述了利用定义和定理在证明不等式中的运用。

In 3D scalar Helmholtz equation computation, for the first time, this dissertation proves that there is an analytical solution of infinite series convegence for the problems satisfying the MT expansion condition, derives the MT general solution formula and the using laws, proves or explains the using rules that are used in the GMT and but they can't be proven or explained by The GMT.

首次从理论上证明，在三维静电场分析中，存在一种无穷级数收敛，且有一定普遍性的解析解；推导出三维静电场分析的多极理论通解及其使用规则，证明或解释广义多极技术不能证明或解释的若干使用规则，用多极理论求解工程实际中的三维静电场边值问题。

First, this paper, in the field of intrinsic geometry, studies the geometric problems on garment design, as well as applies the frame and semi-geodesic coordinates to prove the fundamental theorem of being a developable surface.

文中首先在内在几何学的层次上，研究了服装设计所涉及的几何学问题，应用标架与半测地坐标方法证明了曲面成为可展面的基本定理，研究了可展面的分类及其性质，考虑到服装三维几何造型的需要，证明了组合式可展面各组成片相切连接条件的命题，作为构造可展面的理论依据，证明了单参数平面族的包络面必为可展面的命题，在此基础上发展出服装几何造型的"刮大白"方法以及相关的三种构造可展面的解析方法。3D→2D的变换是三维服装CAD的重要内容之一，其几何学实质是曲面的定长映射，文中总结了定长映射即可展面在平面上展开的基本准则，在这一准则的指导下，结合服装设计与相关领域的要求，讨论了可展面在平面上展开的解析方法与数字方法，上述内容确立了服装设计几何学的基本框架。

In this paper, five equivalent conditions of the definition and five special nature of analytic function are given, and followed by their mutual equivalence of the proof , the relationship between the equivalent conditions and the nature of analytic functions is revealed, which can help us to learn the concept of complex variable function in deep depth and make analytic functions an important role in complex variable function.

本文依次给出了解析函数的五个等价条件及五个性质，并通过对它们相互等价性的证明，导出了解析函数等价条件与性质之间的关系，更加深入地揭示解析函数这一概念的内涵，展示出了解析函数在复变函数论学习中的重要性。

The main results are as follows: the relations between local fractional integrated semigroups and the corresponding Cauchy problem, global fractional integrated semigroups and regularized semigroups are given; introduction of the notion of regularized resolvent families, and the generation theorem and analyticity criterions for regularized resolvent families are obtained; the spectral inclusions between fractional resolvent family and its generator, and the approximation for fractional resolvent families in the cases of generators approximation and fractional orders approximation; elliptic operators with variable coefficients generating fractional resolvent family on L^2 by using numerical range techniques; and the L^p theory for elliptic operators with real coefficients highest order are obtained by Sobolev''s inequalities and the a priori estimates for elliptic operators; and a kind of coercive differential operators generates fractional regularized resolvent family by applying the Fourier multiplier method, functional calculus and some basic properties of Mittag-Leffler functions.

主要结论是：给出了局部分数次积分半群和相应的Cauchy问题的关系以及分数次积分半群和正则半群的关系；引入了正则预解族的概念，并给出了其生成定理和解析生成法则；给出了分数次预解族与其生成元的谱包含关系，并研究了在生成元逼近和分数阶逼近两种情况下相应的预解族的逼近问题；利用数值域方法证明了具变系数的椭圆算子在L^2上生成分数次预解族；利用Sobolev不等式和椭圆算子的先验估计证明了具变系数的椭圆算子在其最高项系数为实数时在L^p上生成分数次预解族；运用Fourier乘子理论、泛函演算和Mittag-Leffler函数证明了一类强制微分算子可以生成分数次正则预解族，并给出了该预解族的范数估计。

Chapter 1 analyzes the concept of evidentiary adjudication principle, and points out the disadvantages and advantages of evidentiary adjudication principle. Chapter 1 also expounds the inner character of evidence namely both probative power and evidential ability and reveals the important sense of how to use evidences based on the relation of probative power and evidential ability to prove the fact of the cases.

第一章对证据裁判主义的概念进行解析，指出证据裁判主义的优势和缺陷，同时对证据的内在品格证明力与证据能力进行阐述，揭示证明力与证据能力之间的关系对于正确运用证据来证明案件事实的重要意义。

The riddled basins of the chaotic synchronized attractor in these two-type coupled systems are analytically proved and the stability of the chaotic synchronized attractor is also studied. In succession, the local-global riddling bifurcation is discussed.

本文首先研究了两种常见形式的一维斜帐篷映射的耦合混沌同步系统，讨论了其混沌同步状态的稳定性，解析证明其同步混沌吸引子的吸引域是筛形域。

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

analytic prime number theory：解析素数论

analytic method 解析法 | analytic prime number theory 解析素数论 | analytic proof 解析证明

analytic proof：解析证明

analytic prime number theory 解析素数论 | analytic proof 解析证明 | analytic proposition 解析命题

analytic proposition：解析命题

analytic proof 解析证明 | analytic proposition 解析命题 | analytic set 解析集

analytical plotter：解析绘图仪

analytical plate number 分析塔板数 | analytical plotter 解析绘图仪 | analytical proof 分析证明

spherical harmonics：球面谐波

巴斯里(Basri)和雅各布(Jacobs)则利用球面谐波(Spherical Harmonics)表示光照、用卷积过程描述朗博反射的方法解析地证明了一个重要的结论:由任意远点光源获得的所有朗博反射函数的集合形成一个线性子空间.

Viviani：维维安尼

维维安尼(Viviani)是意大利物理学家、数学家,是著名物理学家伽利略的弟子. 生于1622年,卒于1703年,以他的名字命名的这一定理在几何学上有一定的位置. 该定理证法很多,唯独坐标法证明新颖别致. 为此,本文先介绍解析证法,