【摘 要】
：
In this paper an interval verification algorithm for the solutions of nonlinear systems is presented. The algorithm combines the high convergent speed of the floating-point iterative methods and the r
论文部分内容阅读
In this paper an interval verification algorithm for the solutions of nonlinear systems is presented. The algorithm combines the high convergent speed of the floating-point iterative methods and the rigorous inclusion property of the interval methods.
其他文献
故障模式影响及危害性分析（ＦＭＥＣＡ）是一种可靠性分析方法，其中ＦＭＥＡ矩阵法的结构性比较强，清晰地体现了系统中故障模式与故障影响之间的因果关系。从矩阵法可以总结出ＦＭＥＡ迭代，通过迭代，可以减轻分析人员的工作量，保持数据的一致性。本文详细说明了迭代的过程，并介绍了一个自动迭代和可视化的计算机辅助ＦＭＥＣＡ工具，说明了其软件结构和功能。
本文对自然彩色图像的变换进行了一些讨论，给出一种实用的变换方法，使其得到的色彩效果接近源自然图像的色彩。
本文论述了利用Ｄｅｌｐｈｉ提供的功能建立自定义控件类，在程序运行中动态生成与释放控件对象，控件实例数组的使用以及如何在Ｄｅｌｐｈｉ下编写面向数据字典的通用数据编辑和浏览界面。
本文简要介绍了Ｍｉｃｒｏｓｉｍ６．３Ａ的主要功能与特点，并结合实例介绍了使用该软件开发ＭＡＣＨ系列ＣＰＬＤ的一般步骤，对其中的难点如引脚的锁定等作了重点说明。
本文给出了Ｆｏｘｐｒｏ中自定义菜单的自动创建程序，并详细介绍了菜单库的结构。
In the exact nonparametric illference, we frequelltly need the enumeration of all contingency tables with the same marginal totals. A qualltum jump toward a more rapid method took place with the publi
In this paper, a new method is presented for fairing B-spline curves with fixed area constraints. Authors use Lagranges method of multipliers solved the variational problem with constraints.
In this paper a new algorithm of B-spline curves with given tangnt polygons is discribed. In the algorithm the all de Boor points of the B-spline curves can be cal culated simply by the vertices of th
Levenb erg-M arquardt method was first suggested by Levenberg and Marquardt in the context of nonlinear least sqares. This paper will develop a Levenberg-Marquardt method for semidefinite programming,
In this paper, the serial algorithm analysis and parallel implementation of generalized eigenproblem of synuntric matrices are considered. meanwhile, the complexity of algorithm is analyzed. The compu