查询词典 proved

In this article, the existence and uniqueness of the generalized solution of this boundary value problem are discussed, the existence and convergence of Galerkin's approximate solution is proved, and Linear dependence of the the error bound on M~2/(1-M~2) is also proved, where M is Ma...

本文证明了这类方程弱解的存在和Galerkin逼近解的存在和收敛，并且还给出了有限元解的误差估计，指出误差界线性地依赖于M~2/(1—M~2)。M为马赫数。也就是说，当流速接近音速时，有限元解的误差将无法控制。

The fault diagnosis of Fuzzy ANN is realized by the Neural Network Toolbox of MATLAB. The result is proved valid, but also proved easy to be trapped in the local extremum.

这里以BP网络为应用模型，把模糊化后的故障特征参数作为网络的输入样本，对样本数据训练、仿真，应用MATLAB提供的神经网络工具箱函数实现了模糊神经网络对设备故障的诊断，结果证明了该诊断模型的有效性，但也暴露出BP算法易陷入局部极值的弱点。

In this paper, the theory, algorithm, and experiment of automatic object detection and tracking are studied in depth. It is firstly pointed out that the essential of Mean Shift method is a special Newton-Gaussian method. A new method named Fast Mean Shift is established to stretch the conservative step of Mean Shift method. The convergence and validity of this new method are proved in theory. And it is also proved that the convergence speed of Fast Mean Shift is faster than that of Mean Shift. The contrast experiments of searching the maximum possibility density of random of data sets in plane and 3D space are done. The results show that this new method can reduce the iterations greatly. A new object tracking method based on Fast Mean Shift is built to improve the object tracking performance, which is shown in the face tracking experiment with the tennis sequence provided by the Ohio State University, and the car tracking experiment with the car sequence provided by Kalsruhe University. The face trcking experiment with highly noised images show that the object tracking method based on Fast Mean Shift has strong anti-jamming ability. A new fast color object detection technology based on characteristic color is established, which use characteristic color distribution to compute the characteristic color vector of any area in an image quickly. With the high performance search method, the fast object detection is achieved. At last, using object tracker based on Fast Mean Shift and color object detector based on characteristic color with the Kalman filter, PID controller, searial communication and other technologies, automatic object detection and tracking system with control system is built. The availability and anti-jamming ability of this system are verified by some object detection and tracking tests in different scenes.

本文对目标自动识别与跟踪进行了理论、计算、试验三方面的深入研究，主要包括：首次指出了目标跟踪技术中常用的均值迁移方法的本质为一种特殊的高斯-牛顿方法，改进了均值迁移方法步长取值保守的弱点，建立了快速均值迁移方法，证明了该方法的收敛性、有效性以及收敛速度优于均值迁移方法；进行了平面和3维随机分布数据集的最大概率密度搜索对比试验，试验结果表明，快速均值迁移方法大大减少了迭代次数；建立了基于快速均值迁移的目标跟踪方法，利用俄亥俄州立大学提供的乒乓球序列图像和卡斯鲁厄大学的汽车序列图像，对人脸和汽车目标跟踪性能分别进行了对比试验，并进行了高噪声人脸图像目标跟踪试验，结果表明，基于快速均值迁移的目标跟踪方法有效提高了目标跟踪性能，具有很强的抗干扰能力；建立了一种新型彩色目标自动识别方法，采用特征色彩分布函数实现了对任意图像区域特征色彩矢量的快速计算，建立了高效的搜索方法，实现了彩色目标的快速识别；将基于快速均值迁移方法的目标跟踪方法、基于特征色彩的目标识别方法与卡尔曼滤波、PID控制、串行通讯等技术结合，建立了带有控制系统的快速目标自动识别与跟踪系统，并在不同场景下进行了目标自动识别与跟踪试验，验证了快速目标自动识别与跟踪系统的有效性和抗干扰能力。

This paper study the character and application of the solution of BSDE, the main results include: for the second kind of BSDE, the existence and uniqueness of the solution under non-Lipschitz condition, comparison theorem and stability are established , under weaker condition , the existence of the minimal and maximal solution is proved and the application in stochastic control and utility function is given; for the first kind of BSDE, under weaker condition , the existence of minimal and maximal solution .stability, comparison theorem and application to utility function are proved.

本文研究倒向随机微分方程解的性质及其应用，主要结果有：针对第二类方程，讨论了在非Lipschitz条件下倒向随机微分方程解的存在唯一性，比较定理及稳定性等，在更弱条件下，得到了倒向随机微分方程的最大解和最小解的存在性，在此基础之上，给出了在随机控制及效用函数方面的应用；针对第一类方程，同样在较弱条件下，证明了方程最大、最小解的存在性、稳定性、比较定理及其在效用函数的应用。

This paper study the character and application of the solution of BSDE, the main results include: for the second kind of BSDE, the existence and uniqueness of the solution under non-Lipschitz condition, comparison theorem and stability are established , under weaker condition , the existence of the minimal and maximal solution is proved and the application in stochastic control and utility function is given; for the first kind of BSDE, under weaker condition , the existence of minimal and maximal solution .stability, comparison theorem and application to utilityfunction are proved.

本文研究倒向随机微分方程解的性质及其应用，主要结果有：针对第二类方程，讨论了在非Lipschitz条件下倒向随机微分方程解的存在唯一性，比较定理及稳定性等，在更弱条件下，得到了倒向随机微分方程的最大解和最小解的存在性，在此基础之上，给出了在随机控制及效用函数方面的应用；针对第一类方程，同样在较弱条件下，证明了方程最大、最小解的存在性、稳定性、比较定理及其在效用函数的应用。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

The finite-gain stability of the controller was proved under the assumption that the kernel function was local Lipschitz in this open-loop inverse control system. The sufficient condition for that Gaussian kernel function to the local Lipschitz of either variable was given. The stability of the whole system was also proved under some proper assumptions.

针对此开环逆控制系统，在核函数为局部Lipschitz的前提下，证明了控制器是有限增益稳定的，并给出Gaussian核函数对任一变量的局部Lipschitz性的充分条件，在一定合理的假设下给出了控制系统的稳定性结论。

The payoff function v thus defined is proved to have supperadditivity,and the Shapley value so defined proved to satisfy axioms such as efficiency,symmetry,dummy and additivity.The fuzzy Shapley value method for profit allocation in enterprise coalitions was thus given by examples.

并证明了支付函数v具有超可加性，以及Shapley值满足有效性、对称性、哑元性与可加性的公理体系，实例证明了企业联盟收益分配的模糊Shapley值方法。

RESULT: The activity and drinking of mice who had proceeded bone marrow transplantation after 60Co total body homogeneous radiation was no significantly different with normal mice, but their pelage became grey, blood samples detection were also same with normal mice after five weeks of bone marrow transplantation, the proportion of GFP positive cells in bone marrow cells achieved 59.62±13.21% proved by laser confocal microscopy, all these evidence proved the bone marrow reconstitution had been finished in the recipients.

结果： 60Co全身均匀照射后进行骨髓细胞移植的骨髓移植组小鼠的活动与饮食与正常小鼠无明显差别，只是毛发渐变灰白，五周后其血常规与正常鼠相较无明显差异，流式细胞仪检测显示其骨髓细胞中GFP阳性细胞的比例也达到59.62±13.21%，提示骨髓重建成功。

The research results show as follows. As plastic deformation increases, the Young's modulus of material continuously changes. This variation law is able to be described using a piecewise linear function .Hardening model and whether the variation is considered or not make great effet on springback prediction. It is proved that the springback prediction result which adopts the elastic-plastic constitutive model based on INLK hardening model and the variation of Young's modulus is considered, is more close to experimental result. After the sheet metal undergoes multiple bending, the corner radius and bending height also affect springback greatly.But the effect trend is different. At the same time, the reliability of springback research using numerical simulation is proved.

研究结果表明：材料弹性模量随塑性变形的变化是不断变化的，该变化规律可用分段线性函数进行描述；强化模型及考虑弹性模量变化与否对回弹预测有很大的影响，基于INLK强化模型和考虑弹性模量变化的弹塑性本构模型对回弹的预测结果与试验最接近；多次弯曲中圆角半径与弯曲高度对板料变形后的回弹有较大影响，但影响趋势不同；证明了数值模拟方法对回弹研究的可靠性。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失