A brief remark on van der Waerden spaces

We demonstrate that Martin's axiom for -centered notions of forcing implies the existence of a van der Waerden space that is not a Hindman space. Our proof is an adaptation of the one given by M. Kojman and S. Shelah that such a space exists if one assumes the continuum hypothesis to be true.

     

非线性不等式组的光滑近似方法及其收敛性

将非线性不等式组的求解转化成非线性最小二乘问题,利用引入的光滑辅助函数,构造新的极小化问题来逐次逼近最小二乘问题.在一定的条件下,文中所提出的光滑高斯-牛顿算法的全局收敛性得到保证.适当条件下,算法的局部二阶收敛性得到了证明.文后的数值试验表明本文算法有效.     

一个高精度收敛的变系数微分方程精确解析法*

文[1]给出精确解析法,可用于求解任意变系数微分方程,所得到的解具有二阶收敛精度.在此基础上,本文以变截面梁弯曲为例,给出一个高精度的算法.不增加工作量的情况下可达到四阶收敛精度.具有计算快,简单等特点,文末给出算例,仅用很少的单元即可获得高的收敛精度,表明了本文理论的正确性.     

Two‐step Newton‐type methods for solving inverse eigenvalue problems

In this paper, we apply the two‐step Newton method to solve inverse eigenvalue problems, including exact Newton, Newton‐like, and inexact Newton‐like versions. Our results show that both two‐step Newton and two‐step Newton‐like methods converge cubically, and the two‐step inexact Newton‐like method is super quadratically convergent. Numerical implementations demonstrate the effectiveness of new algorithms.     

基于积分观测器实现一类受扰混沌系统的同步

在系统参数和系统输出同时受扰的情形下,基于积分观测器的方法,实现了一类不确定混沌系统的同步.首先利用Lyapunov 稳定性理论,给出了混沌系统同步所需的充分条件,此条件可以快速地实现驱动系统与响应系统的同步,然后结合Schur补定理,将此条件转化为求解线性矩阵不等式组.最后,借助Matlab软件包中的LMI工具箱,通过对受扰MLC电路系统的同步数值仿真,证实了该方法的有效性.     

Weak Uniform Normal Structure and Fixed Points of Asymptotically Regular Semigroups

Let X be a Banach space with a weak uniform normal structure and C a non–empty convexweakly compact subset of X. Under some suitable restriction, we prove that every asymptoticallyregular semigroup T = {T(t) : t ∈¸ S} of selfmappings on C satisfying

${\mathop {\lim \inf }\limits_{S \mathrel\backepsilon t \to \infty } }{\left| {{\left\| {T(t)} \right\|}} \right|} < {\text{WCS}}(X)$

has a common fixed point, where WCS(X) is the weakly convergent sequence coefficient of X, and\({\left| {{\left\| {T(t)} \right\|}} \right|}\) is the exact Lipschitz constant of T(t).     

基于观测器的液压系统健康状态评估方法研究

为了实时评估液压系统的健康状态,提出了基于观测器的健康状态评估原理,利用解析模型、仿真模型和数据模型及其配合等方法进行液压系统标准模型的建立,联合实际液压系统的监测数据,构建液压系统的状态观测器。将实际系统的相关参数作为输入,实际监测点的输出与标准模型的输出进行特征分析与对比,在数据处理的基础上形成残差及其向量,运用数据分析方法计算系统健康度,并解析各元素及其耦合所映射的故障类型与故障程度,实现液压系统的故障定位与评估。最后,利用某型装备的起竖液压系统进行了应用举例,介绍了模型构建、故障模式与参数选择、残差构成及健康度计算的方法。所研究的状态评估方法对实时评估液压系统,及开展液压系统视情维修具有参考价值。