基于多项式组主项解耦消元法的几何定理机器证明

基于多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组 PS)化为主项只含主变元的三角型多项式组 DTS,可得到定理命题成立的不含变元的非退化条件 ,即充分必要或更接近充分必要的非退化条件 .由于多项式主系数不含变元 ,已不存在 DTS多项式之间的约化问题 ,故方法有普遍意义 .文中例为西姆松定理的机器证明 .     

组合同伦方法在无界域上的收敛性

组合同伦内点法由Feng等提出，是求解有界区域上的非凸数学规划的一种大范围收敛性方法，本文证明此算法适用于某些无界区域上的非凸数学规划问题。     

一般状态空间跳过程不变测度的存在性和唯一性

本文利用一般状态空间马氏链关于不变测度的有关结果和跳过程的性质，研究了一般状态空间跳过程不变测度的存在性和唯一性。     

某些平均压缩迭代函数系的不变测度的L2维数的估计

假设f={f1,……,fm}是定义在R^d上的m个Lipschitz函数，形如fi(x)=λi^-1x bi(λi∈Z),假定由f产生的迭代函数系(IFS)是平均压缩的，本文给出了这种迭代函数系的不变测度的L^2-维数的上、下界的估计。     

On the p-Ranks and Characteristic Polynomials of Cyclic Difference Sets

In this paper, the p-ranks and characteristic polynomials of cyclic difference sets are derived by expanding the trace expressions of their characteristic sequences. Using this method, it is shown that the 3-ranks and characteristic polynomials of the Helleseth–Kumar–Martinsen (HKM) difference set and the Lin difference set can be easily obtained. Also, the p-rank of a Singer difference set is reviewed and the characteristic polynomial is calculated using our approach.     

An Efficient Algorithm for Generating Univariate Cubic L 1 Splines

An active set based algorithm for calculating the coefficients of univariate cubic L ₁ splines is developed. It decomposes the original problem in a geometric-programming setting into independent optimization problems of smaller sizes. This algorithm requires only simple algebraic operations to obtain an exact optimal solution in a finite number of iterations. In stability and computational efficiency, the algorithm outperforms a currently widely used discretization-based primal affine algorithm.     

求解网络最大流问题的一个算法

为了便于建立与网络最大流问题有关的决策支持系统，本给出一个求解网络最大流问题的数值算法。证明了算法的理论依据，并举例说明了算法的应用。该算法能求出网络最大流和最小截，并具有易于编程实现、收敛性好等优点，大量数值实验表明该算法非常实用有效。     

Rank-<Emphasis Type="Italic">k</Emphasis> solutions of hydrodynamic-type systems

We present a variant of the conditional symmetry method for obtaining rank-k solutions in terms of Riemann invariants for first-order quasilinear hyperbolic systems of PDEs in many dimensions and discuss examples of applying the proposed approach to fluid dynamics equations in n+1 dimensions in detail. We obtain several new types of algebraic, rational, and soliton-like solutions (including kinks, bumps, and multiple-wave solutions). __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 152, No. 1, pp. 83–100, July, 2007.     

A note on integral-convexity in Banach spaces

In the present paper we focus on a generalization of the notion of integral convexity. This concept, introduced in [J.Y. Wang, Y.M. Ma, The integral convexity of sets and functionals in Banach spaces, J. Math. Anal. Appl. 295 (2004) 211-224] by replacing, in the definition of classical notion of convexity, the sum by the integral, has interesting applications in optimal control problems. By using, instead of Bochner integral, a more general vector integral, that of Pettis, we obtain some results on integral-extreme points of subsets of a Banach space stronger than those given in [J.Y. Wang, Y.M. Ma, The integral convexity of sets and functionals in Banach spaces, J. Math. Anal. Appl. 295 (2004) 211-224]. Finally, a natural example coming from measure theory is included, in order to reflect the relationships between different kinds of integral convexity.     

Existence and Uniqueness of Fixed Point in Partially Ordered Sets and Applications to Ordinary Differential Equations

We prove some fixed point theorems in partially ordered sets, providing an extension of the Banach contractive mapping theorem. Having studied previously the nondecreasing case, we consider in this paper nonincreasing mappings as well as non monotone mappings. We also present some applications to first–order ordinary differential equations with periodic boundary conditions, proving the existence of a unique solution admitting the existence of a lower solution. Research partially supported by Ministerio de Educación y Ciencia and FEDER, Project MTM2004-06652-C03-01, and by Xunta de Galicia and FEDER, Projects PGIDIT02PXIC20703PN and PGIDIT05PXIC20702PN