Small Transitive Families of Subspaces

A family of subspaces of a complex separable Hilbert space is transitive if every bounded operator which leaves each of its members invariant is scalar. This article surveys some results concerning transitive families of small cardinality, and adds some new ones. The minimum cardinality of a transitive family in finite dimensions (greater than 2) is 4. In infinite dimensions a transitive pair of linear manifolds exists but the minimum cardinality of a transitive family of dense operator ranges or norm-closed subspaces is not known. However, a transitive family of dense operator ranges with 5 elements can be found, and so can a transitive family of norm-closed subspaces with 4 elements. In finite dimensions (> 1) three nest algebras (corresponding to maximal nests) can intersect in the scalar operators, but two cannot. It is not known if this is the case in infinite dimensions for maximal nests of type ω + 1. Four such nest algebras can intersect in the scalar operators. Received June 15, 2002, Accepted November 27, 2002     

Global Optimality Conditions in Maximizing a Convex Quadratic Function under Convex Quadratic Constraints

For the problem of maximizing a convex quadratic function under convex quadratic constraints, we derive conditions characterizing a globally optimal solution. The method consists in exploiting the global optimality conditions, expressed in terms of -subdifferentials of convex functions and -normal directions, to convex sets. By specializing the problem of maximizing a convex function over a convex set, we find explicit conditions for optimality.     

变质量单面完整约束系统Lie对称性的摄动与广义Hojman型绝热不变量

研究变质量单面完整约束系统Lie对称性的摄动与广义Hojman型绝热不变量.首先通过一般无限小变换下的Lie对称性得到广义Hojman型的守恒量；然后基于力学系统高阶绝热不变量的定义，研究小扰动作用下系统Lie对称性的摄动，得到系统广义Hojman型绝热不变量；最后举例说明结果的应用. 关键词： 变质量 单面完整约束 对称性 摄动 绝热不变量     

On the validity of the vakonomic model and the chetaev model for constraint dynamical systems

By analyzing the virtual work of reaction forces, we prove the failure of the vakonomic model in obtaining the correct equations of motion for nonholonomic mechanical systems. Only when the constraint is integrable can the actual equation of motion be obtained. We show that the null virtual work condition of reaction forces is a robust criterion on the validity of various models of analytical mechanics. For an illustration, classical examples are discussed.     

道路约束条件下的移动机器人跟踪

为提高移动机器人的位置估计精度和跟踪效果,提出一种基于道路约束条件下的移动机器人鲁棒约束H∞滤波(CHF)跟踪算法.首先,将机器人移动的道路网络作为跟踪的约束条件,并利用当前统计模型对机器人的运动进行建模.其次,将道路约束条件作为机器人跟踪的非线性状态约束,利用最小协方差估计推导了鲁棒CHF递推方程.通过拉格朗日乘子法对非线性约束优化估计问题进行求解,并利用约束信息对CHF算法的状态更新过程进行了改进.最后,通过对CHF算法和无约束的H∞滤波算法的跟踪性能进行了对比分析和验证.仿真结果表明,该算法可以实现机器人的跟踪,且跟踪精度优于HF算法.     

Integral points, divisibility between values of polynomials and entire curves on surfaces

We prove some new degeneracy results for integral points and entire curves on surfaces; in particular, we provide the first examples, to our knowledge, of a simply connected smooth variety whose sets of integral points are never Zariski-dense. Some of our results are connected with divisibility problems, i.e. the problem of describing the integral points in the plane where the values of some given polynomials in two variables divide the values of other given polynomials.     

Nonlinear programming without a penalty function or a filter

A new method is introduced for solving equality constrained nonlinear optimization problems. This method does not use a penalty function, nor a filter, and yet can be proved to be globally convergent to first-order stationary points. It uses different trust-regions to cope with the nonlinearities of the objective function and the constraints, and allows inexact SQP steps that do not lie exactly in the nullspace of the local Jacobian. Preliminary numerical experiments on CUTEr problems indicate that the method performs well.      

Hamel’s paradox and the foundations of analytical dynamics

This paper deals with an explanation of a paradox posed by Hamel in his 1949 book on Theoretical Mechanics. The explanation deals with the foundations of mechanics and points to new insights into analytical dynamics.     

Feasibility in reverse convex mixed-integer programming

In this paper we address the problem of the infeasibility of systems defined by reverse convex inequality constraints, where some or all of the variables are integer. In particular, we provide a polynomial algorithm that identifies a set of all constraints critical to feasibility (CF), that is constraints that may affect a feasibility status of the system after some perturbation of the right-hand sides. Furthermore, we will investigate properties of the irreducible infeasible sets and infeasibility sets, showing in particular that every irreducible infeasible set as well as infeasibility sets in the considered system, are subsets of the set CF of constraints critical to feasibility.     

Dynamics Aggregation in Stochastic Control Problems

For stochastic control problems with mixed state-control constraints, we develop a dynamics aggregation method which replaces the stochastic differential or difference equation with a simpler constraint. Solutions of such simplified problems are used to construct a sequence of approximations to the original problem. Convergence properties of the method for both discrete-time and continuous-time models are analyzed in detail.