两类区间数判断矩阵的一致性研究

研究了区间数互反判断矩阵和区间数互补判断矩阵一致性的关系，并讨论了一致性区间数互补判断矩阵的性质，给出了一种区间数互补判断矩阵一致性的判定方法。     

Global Optimization on an Interval

This paper provides expressions for solutions of a one-dimensional global optimization problem using an adjoint variable which represents the available one-sided improvements up to the interval “horizon.” Interpreting the problem in terms of optimal stopping or optimal starting, the solution characterization yields two-point boundary problems as in dynamic optimization. Results also include a procedure for computing the adjoint variable, as well as necessary and sufficient global optimality conditions.     

Coalescing Particles on an Interval

At time 0, we begin with a particle at each integer in [0, n]. At each positive integer time, one of the particles remaining in [1, n] is chosen at random and moved one to the left, coalescing with any particle that might already be there. How long does it take until all particles coalesce (at 0)?     

Sequential Fixed-Width Confidence Interval for the Product of Two Means

For the product of two population means, the problem of constructing a fixed-width confidence interval with preassigned coverage probability is considered. It is shown that the optimal sample sizes which minimize the total sample size and at the same time guarantee a fixed-width confidence interval of desired coverage depend on the unknown parameters. In order to overcome this, a fully sequential procedure consisting of a sampling scheme and a stopping rule are proposed. It is then shown that the sequential confidence interval is asymptotically consistent and the stopping rule is asymptotically efficient, as the width goes to zero. Furthermore, a second order result for the difference between the expected stopping time and the (total) optimal fixed sample size is established. The theoretical results are supported by appropriate simulations.     

On Spline Approximation for Singular Integral Equations on an Interval

This paper analyses the convergence of spline approximation methods for strongly elliptic singular integral equations on a finite interval. We consider collocation by smooth polynomial splines of odd degree multiplied by a weight function and a Galerkin-Petrov method with spline trial functions of even degree and piecewise constant test functions. We prove the stability of the methods in weighted Sobolev spaces and obtain the optimal orders of convergence in the case of graded meshes.     

Fourier Series with Linear Splines on an Interval

We construct orthonormal bases of linear splines on a finite interval [a, b] and then we study the Fourier series associated to these orthonormal bases. For continuous functions defined on [a, b], we prove that the associated Fourier series converges pointwisely on (a, b) and also uniformly on [a, b], if it convergences pointwisely at a and b.     

区间合作对策在增广系统上的区间Shapley值

给出了区间合作对策在增广系统上的定义,并利用相应的公理体系及区间数运算的性质,构造出区间合作对策在增广系统上的区间Shapley值,论证了当对策为区间凸对策时的区间Shapley值的唯一性,且探讨了该区间Shapley值的一些性质.最后通过算例来说明在此类区间合作对策上所提方法的实用性与有效性.     

两个均匀分布总体标准差比的区间估计

考虑取两个均匀分布总体样本数不等时,两个均匀分布总体标准差比的估计,给出了两个均匀分布总体标准差比的区间估计.     

Approximation Numbers of Sobolev Embedding Operators on an Interval

Consider the Sobolev embedding operator from the space of functionsin W^1,p(I) with average zero into L^p, where I is a finite intervaland p>1. This operator plays an important role in recentwork. The operator norm and its approximation numbers in closedform are calculated. The closed form of the norm and approximationnumbers of several similar Sobolev embedding operators on afinite interval have recently been found. It is proved in thepaper that most of these operator norms and approximation numberson a finite interval are the same.     

Approximation and Complexity: Liouvillean-Type Theorems for Linear Differential Equations on an Interval

Let u,v be solutions on an interval I of linear differential equations (LDEs) P=0 , Q=0 , respectively. We obtain a lower bound on the approximation of v by u in terms of bounds on the coefficients of LDE S _i =0 (for several i ), satisfied by the i th derivative of v and by the i th derivative of a basis of the LDE P=0 . One could view this result as a differential analog of the Liouville theorem which states that two different algebraic numbers are well separated if they satisfy algebraic equations with small enough integer coefficients. Unlike the algebraic situation, in the differential setting, in order to bound from below the difference |u-v| , we need to involve not only the coefficients of P,Q themselves, but also those of S _i . September 22, 2000. Final version received: March 11, 2001.     

Object visibility for an observer with inaccurately given coordinates

We study the solvability of an initial-boundary value problem for second-order parabolic equations with variable order of nonlinearity. In the model case, the equation contains the p-Laplacian with a variable exponent p(x, t). We prove that if the measurable exponent p is separated from unity and infinity, then the problem has W-and H-solutions.     

Towards an Axiomatization of Interval Arithmetic

In this paper intervals are viewed as approximate real numbers. A revised formula for interval multiplication of generalized intervals is given. This formula will be useful for further axiomatization of interval arithmetic and relevant implementations within computer algebra systems. Relations between multiplication of numbers and multiplication of errors are discussed. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Kernel Characterization of an Interval Function

This paper proposes a set-membership approach to characterize the kernel of an interval-valued function. In the context of a bounded-error estimation, this formulation makes it possible to embed all uncertainties of the problem inside the interval function and thus to avoid bisections with respect to all these uncertainties. To illustrate the principle of the approach, two testcases taken from robotics will be presented. The first testcase deals with the characterization of all loops of a mobile robot from proprioceptive measurements only. The second testcase is the localization of a robot from range-only measurements.     

发射物体到指定位置的稳健性参数设计

发射物体到指定位置的稳健性参数设计是稳健性设计中的经典例子之一,也是导弹控制理论中的一个常用模型.但就是对这个经典例子,许多教科书给出的并非最优解.用创立的求解稳定中心的方法(称为全局-局部分析方法或者GL算法Global-Local Algorithm),得出了比历史上更好的稳定中心,并由此引出了许多哲学层面的问题.