查询词典 proves

This paper is expanded into three main parts to study and analyze the stock time series.1 Through the normality tests, All the sample stock-data curves show different phenomenon of Aiguille and Fat-tail, as well as Left-Deviation, which proves that none of the sample series belong to normal distribution, in other words, the linear method can't be applied into the analysis process, so we adopted the R/S method instead.2 The application of R/S method has verified the long-term memory characteristics of the sample series, and Support Vector Regression is combined to enhance the precision of Average circle period.

文中对股票时间序列从以下三个方面进行了研究和分析：1通过正态性检验，发现各样本股票数据均表现出不同程度的尖峰和胖尾以及左偏现象，证明了所有的样本序列全都不属于正态分布，也就是说明它们不能够适用线性方法进行分析，必须采用重标极差分析方法的非线性方法。2应用R/S分析方法验证他们具有长期记忆的特性，并且结合支持向量回归机提高了测定平均循环周期时的精确性。

Based on the temperature and humidity control air-conditioning system, this paper proposes the concrete scheme which recyclies the heat dissipation of the condenser part of air cooled heat pump unit to regenerate solution and proves the energy-saving effect.

基于温湿度独立控制溶液除湿空调系统，作者提出回收利用风冷热泵机组的冷凝器部分散热用来进行溶液再生的具体方案，并进行了节能效果的论证，发现再生器中消耗的热量可以节省15%左右，节能效果显著。

Chapter 4 presents five design criteria of S-boxes of block ciphers, develops a method of constructing large S-box by use of algebraic group operation, proves the balance property of these large S-box, tests the strict avalanche and independence of avalanche variables properties of S-boxes in NEA cipher, analyses the nonlinearity and best linear approximation of the S-box, and finally defines the differential of input/output of S-boxes of this cipher and analyses the distribution of them.

第二部分即第三章，提出了一种新的分组密码类NEA(NEA-4A，NEA-8A，NEA-4B，NEA-8B)，完整地描述了该密码类的加解密过程和密钥协议；证明了NEA-4B和NEA-8B的完全对合性和没有不动点的性质；分析了该密码类的安全特征；具体地介绍了实现该类密码的途径；给出了NEA-4A的计算机C语言程序和样本数据。

It proves the singular transport operator generates a strongly continuous C_0 semigroup V(t0)and the weak compactness properties of the second-order remained term of the Dyson-Phillips expansion for the C_0 semigroup V(t0)in L1 space,and to obtain the spectrum of the singular transport operator only consist of,at most,finitely many isolate eigenvalues which have a finite algebraic multiplicity in trip Γ.

证明了这类方程相应的奇异迁移算子产生C0半群和该半群的Dyson-Phillips展开式的二阶余项是弱紧的，从而得到了该迁移算子的谱在区域Γ中仅由至多有限个具有限代数重数的离散本征值组成等结果。上饶师院数学与计算机系江西上饶334001；南昌大学数学系江西南昌330047袁邓彬

This paper proves that the rolling sphere surface determined by two algebraic surfaces is also an algebraic surface.

摘要证明由两代数曲面所确定的滚球曲面仍是代数曲面。

Simulation result proves that it can effectively eliminate aliasing and provide a vigorous mean for power system harmonic analysis.

针对我国电力系统实际状况，设计了基于DSP和单片机双CPU的间谐波检测装置。

At the same time, from the angle of complexity of public information resources management it comprehensively proves insufficiency of the government public information service such as discriminatory service, mandatory service, asymmetrical service and rough service, which not only increase the government management cost but also lead to the structural form rupture of public information resources management at various levels, such as the government and the public, super and subordinate governments, central and local governments, and consequently break the almightiness mythology of government monopoly in public information resources management.

同时，从公共信息资源管理的复杂性角度全面论证了政府公共信息服务的不足，如差别服务、强制服务、不对称服务以及粗糙服务等不仅造成了政府管理成本的攀升，而且也导致政府与公众之间、上下级政府部门之间以及中央与地方之间等不同层面公共信息资源管理的结构型断裂，并在事实上打破了政府垄断公共信息资源管理的全能神话。

It further proves that on line analysis of sodium aluminate can be completely realized through detecting its conductivity rate.

结合氧化铝生产过程中铝酸钠溶液的特点，介绍了一种在线分析仪的设计思路及主要构成，并对其精度及可靠性试验作了详尽阐述，进一步证明通过对铝酸钠溶液电导率的检测完全可以实现其溶液成分的在线分

It thus proves the conflict and discrepancy as well as the harmony and amalgamation in his works.

从而证明了他作品中所蕴含的文明的冲突与差异、和谐与共融。

The experimental result proves that the rate of net increase is just between 90 % and 196 % after ammoniation.

试验结果表明氨化完成后，NH_3-N净增加率在90%—196%之间。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。