数学证明

提出了印制电路板（PCB）设计时内电层分割的一般性方法，并就其使用集合论的方法给予了较严格的数学证明。

A general approach to internal power plane spliting with strict mathematical proof by set theory , is presented in this paper .

一个Hermitian码权分布的数学证明

Mathematical Proof of one Hermitian Code 's Weight Distribution

在介绍B样条定义的基础上，从小波分析的定义出发，用严格的数学证明推导了任意控制顶点曲线的小波分解与重构具体算法。

Based on the definition of B-spline and the definition of wavelets analysis , a wavelet decomposition and reconstruction algorithm is introduced which is deduced by strict mathematics .

根据Fp上素数p的不同性质，提出2种基点G的Y坐标的计算方法，并给出了其数学证明。

According to the different properties of the prime p , two methods of calculating Y coordinate of base point G are proven mathematically .

对最优化匹配方法给出了严格的数学证明，同时也给出了Yale大学和ORL人脸库上的测试结果。

Here the optimization matching method is proved strictly .

论文指出算法Glide是完全一致的，并给出了严格的数学证明。

In addition , proofness is given that the level of consistency in algorithm Glide is complete .

论文对控制算法的稳定性和鲁棒性进行了数学证明，并通过Matlab仿真和建立综合控制实验系统验证了系统的实际控制能力。

The stability and robustness of control algorithms are proved mathematically and the simulation are carried by Matlab software , and the final force is testified in general controlling experimental system .

本文从周期慢波结构定理出发，给出本征矢激励下H面g重对称波导结中场分量表达式的严格数学证明；

Under the condition of eigenvector excitation , an exact mathematical verification on the field component expressions of the g-port symmetrical H-plane waveguide junction is presented by means of a periodic slow-wave structure theorem .

二阶Volterra系统对平稳正态激励的统计响应的表示定理的数学证明

Math . Proof of Representation Theorem of Statistical Response of A Second Order Volterra System Due to A Stationary Gaussian Excitation

为精确估计噪声环境中的信号频率和幅值，数学证明了全相位DFT优良的抑制频谱泄漏的性质。

To estimate signal frequency and amplitude exactly under noisy circumstances , the excellent property of all-phase DFT restraining spectral leakage is mathematically proved .

关于Hardy-Weinberg遗传平衡性定理的数学证明

Mathematic proof of Hardy-Weinberg Genetics Stability Theory

从现今国内外对移动agent研究和应用来看，目前应用性研究成果还少有成功的范例，对Agent技术的研究多处于理论和数学证明的研究阶段，并没有成熟的移动应用系统。

There are few successful applications with mobile agent in the mobile agent research and application fields . The study to agent technology is mostly at the theoretical and mathematical phase and few mature system based mobile agent existed .

数学证明了加入核带宽后的自适应检测窗口大小的Mean-shift算法的收敛性。

The convergence of the self-adaptive kernel scale of Mean-shift algorithm which is added with scale dimension is mathematically proved .

然后从支撑系统实现的角度，分别针对基于HLA时间管理的的实时仿真控制和乐观时间同步给出了设计算法，并进行了严格的数学证明。

In order to construct a HLA system , we solve the problems of real time control and optimistic time synchronization based on HLA time management mechanism by providing the appropriate algorithms and the mathematical proofs .

对YG算法进行了两种改进：ST改进和ST输入输出联合改进，数学证明了这两种改进的有效性，并完成了衍射光学光束整形器件的设计。

Two kinds of improvement , ST improvement and ST-input-output improvement , on Yang-Gu algorithm have been proposed to design diffractive optical elements ( DOE ) used for beam shaping in this paper .

利用椭圆曲线知识给出了Hermitian码C（22）4，即[8,4,4]完全权分布的数学证明。

In the paper , Mathematical proof was given by elliptic curve knowledge , about the weight distribution of Hermitian code C ~ (( 2 ~ 2 )) _ ( 4 ), that is [ 8,4,4 ] .

数学证明了该核函数在满足Mercer定理的前提下，能有效扩大两类样本在特征空间中的欧氏距离。

It is proved that it enlarges the distance of two kinds of samples using feature kernel , and the kernel also satisfies the Mercer theorem .

运用数学证明，本文得出最佳的防御点应为网络拓扑中具有最大betweenness值的节点。

Through mathematical analysis , this thesis concludes the prior positions for defense should be at the nodes with maximal values of betweenness .

Liebowitz公式的另一数学证明

Another mathematical proof of Liebowitz formula

通过整合局部和整体信息，建立了Pareto解的灰色模糊优选模型，并对其正确性进行了数学证明，给出了相应的遗传算法。

The grey fuzzy optimal selection model of the Pareto solution is formed by integrating the information in local and holistic , and its correctness is proved by mathematical illation , the corresponding GA is given .

通过数学证明，算法具有以下性能：时间复杂度为O（logN），消息复杂度为O（N），创建散射网的网络直径为D（logN），其中N为网络节点个数。

It can communicate with each other until the piconet is created . The thesis proves theoretically that the algorithm has the following performances : 0 ( log N ) time complexity , 0 ( N ) message complexity and 0 ( log N ) diameter of the constructed scatternet .

本文利用非光滑分析理论，采用公理化方法研究了非光滑情形下的动态协商对策问题，给出其Nash协商解的必要条件，并给予了严格的数学证明。

In this paper , dynamic nonsmooth bargaining problem is considered through an axiomatic approach in detail . Necessary condition for its Nash bargaining solution is established by the theory of nonsmooth analysis , and the strict mathematical proof is given .

根据所得方程构造相应的差分方程，给出了在与KIVA相结合时计算的稳定性条件及其数学证明。

For the wave equation , corresponding difference equation is constituted and the stability conditions while it is coupled with KIVA calculation and mathematics justifications are provided .

通过Matlab实现仿真实验，少量采样点的数学证明以及实际利用MAX197为模拟数字转换器的数据采集系统的检验，证明该方法可以在不提高采样速率的情况下，大幅度提高测量的精度。

The proposed method improves the system precision without increasing sampling speed , which has been verified by simulation with Matlab , mathematical proving and test in a data acquisition system with MAX 197 as its A / D converter .

在ABR业务下，本文提出UMM公平性的另外两个等价定义，考虑了用户的最小需求和最大需求。为了求解UMM公平分配，文中给出集中式的UMM公平分配算法及其数学证明。

For ABR service the other two equivalent definitions of utility max min ( UMM ) fairness are proposed taking into account the minimal and maximal demands of users , and a centralized algorithm is devised to calculate the UMM fair share .

单断湖盆可容空间转化枢纽及数学证明

Accommodation Transform Hinge of Half-Graben Lacustrine Basin and Verified by Mathematics

灰元均值化公式的两种数学证明

Two Kinds of Mathematical Demonstration of the Formula of Averaging Grey Number

五行体系唯一性的数学证明

The Mathematical Demonstration of the Sole Property of Wuxing Theory

直线度误差的评定方法及其数学证明

An Error Evaluating Method for Straightness and its Mathematical Proof

数学证明教学观念的现代发展

Current Development of the Idea of Proof in Mathematics Teaching