实际的证明

In 1981, Cockayne proved that the calculation of the domination number on arbitrary graph was a NP-hard problem.

图的支配问题是近年来图论中一个比较活跃的研究领域，有很多实际的应用。1981年Cockayne等人证明计算任意图的支配数是一个NP困难问题。

From the mixed pixels distribution map calculated, mixed pixels mainly appear at the western coast of Bohai sea and the edges of the drift ice. Furthermore, these two areas are the areas where sea ice is fairly sparse and the mixed pixels, and therefore, easily appears at those areas. Consequently, it turns out that the method for mixed pixels detecting is effective.

从提取的结果来看，混合象元主要分布在渤海西岸和流冰外缘区域，而这两个海区是海冰分布稀疏的区域，容易出现冰水混合象元，这证明本文的混合象元的确定方法是符合实际的。

Then both static and dynamic neural networks are applied to predict the multivariate nonlinear time series. At last, the evaluation functions of root...

通过对实际的多维时间序列仿真，结果证明本文提出的神经网络结合主成分分析的方法预测多变量非线性时间序列是快速有效的。

It is a efficient method to build facilely comprehensive industry automation control system and implement networked measurement and control system.

该方案已成功运用于"面向高分子及其复合材料开发的测试关键技术平台"中，实际应用证明了该方案可省去复杂的语言编程，简化开发过程，是一种建立全面的工业自动化控制系统和实现测控系统的网络化的有效方法。

Just recently, a team of researchers from Cornell University have demonstrated a way on how to fool the GPS units by sending out false signal that imitate actual satellite signal patterns.

就在最近，一个研究小组由美国康乃尔大学已经证明的方式就如何愚弄的GPS单位发出了错误的信号，即模仿实际的卫星信号模式。

In the fifth part, the fugacity model was applied to the real environment and a FORTRAN program was set up.

结果证明：多介质逸度模型能够成功地用于微宇宙中，对于在表面微层中富集倍数较高的物质，应考虑表面微层的作用，在第五部分，将多介质逸度模型应用于实际的河口环境中，并编制了相应的FORTRAN程序。

In this chapter, we give the proof of the global convergence with standard conditions.

最后给出算法全局收敛性的证明，以及与[3]中的算法进行理论上的分析比较，并给出实际计算的数值例子。

It is validated that the model adopted in this article is applicable and PTCNN is reliable. The optima can be found.

经实际验算证明，对于桁架结构布局优化而言，本文所采用的布局优化模型是有效的，优化算法是有效和可靠的，可以找到令人满意的布局优化解。

There is no distinct difference between the two shrinkages and this is the proper demonstration for the binder path model. The FVF's calculating method is revised using macro-unit model and the newly computed results are compared with the practical ones.

对巨元体法计算纤维体积含量的公式进行了修正，重新计算了所织织物的纤维体积含量，并与实测值进行对比，证明计算值能够代表实际的纤维体积含量。

It has been proved by theoretical and practical studies that the results are better than those employing ordinary 68-milimeter stabilizers.

本文介绍的加重管钻进法是一个新的尝试，且通过理论与实际的研究都证明较采用φ68毫米钻铤为优。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。