有限型的首次返回例外集的测度和维数北大核心CSCD

设M=(m_(ij))是一个b×b阶矩阵且m_(ij)∈{0,1},∑_(M)是矩阵M=(m_(ij))诱导产生的有限型,σ是其上左推移算子.本文主要研究的是有限型动力系统(∑_(M),σ)上的首次返回速度问题.令τ_(k)(x)是点x∈∑_(M)首次返回到包含x的k阶柱集时间,且E_(α,β)={x∈∑_(M):lim inf_(k→∞)(logτ_(k)(x))/k=α,lim sup_(k→∞)(logτ_(k)(x))/k=β}.我们证明了:当M是不可约矩阵时,对任意0≤α≤β≤+∞,集合E_(α,β)的Markov测度要么等于0要么等于1并且具有满的Hausdorff维数.     

计及位置不确定的喷雾机喷杆系统仿形姿态渐近跟踪控制北大核心CSCD

针对喷雾机喷杆仿形系统中同时存在负载变化、未建模不确定项、物理参数摄动以及外部干扰等问题,提出了一种基于小波网络逼近的具有自适应性和鲁棒性的反步控制方法.首先,将含有不确定、未知和非线性项的喷杆仿形系统建立为完整的数学模型,将其等价转化为具有严格反馈的状态空间形式;其次,采用设计的小波基元去构造神经网络,在满足最优误差有界条件下逼近反步法中虚拟等效控制部分,选取自适应更新律估计系统中存在的未知参数,引入鲁棒补偿项减小复合干扰对系统的不利影响,降低了输入指令信号的阶次要求;最后,通过构造合适的Lyapunov函数,应用稳定性理论证明了闭环系统位置跟踪误差渐近收敛到原点.仿真结果表明,所提控制方法可实现喷雾机喷杆位置姿态快速升降机动调整,有效地增强了喷杆系统的鲁棒稳定性和控制精度.     

On Schreier graphs of gyrogroup actions

The notion of a group action can be extended to the case of gyrogroups. In this article, we examine a digraph and graph associated with a gyrogroup action on a finite nonempty set, called a Schreier digraph and graph. We show that algebraic properties of gyrogroups and gyrogroup actions such as being gyrocommutative, being transitive, and being fixed-point-free are reflected in their Schreier digraphs and graphs. We also prove graph-theoretic versions of the three fundamental theorems involving actions: the Cauchy–Frobenius lemma (also known as the Burnside lemma), the orbit-stabilizer theorem, and the orbit decomposition theorem. Finally, we make a connection between gyrogroup actions and actions of symmetric groups by evaluation via Schreier digraphs and graphs.     

曲率流的参数化有限元逼近

许多物理现象可以在数学上描述为受曲率驱动的自由界面运动,例如薄膜和泡沫的演变、晶体生长,等等.这些薄膜和界面的运动常依赖于其表面曲率,从而可以用相应的曲率流来描述,其相关自由界面问题的数值计算和误差分析一直是计算数学领域中的难点.参数化有限元法是曲率流的一类有效计算方法,已经能够成功模拟一些曲面在几类基本的曲率流下的演化过程.本文重点讨论曲率流的参数化有限元逼近,它的产生、发展和当前的一些挑战.     

Elliptic Reconstruction and a Posteriori Error Estimates for Fully Discrete Semilinear Parabolic Optimal Control Problems

This article studies a posteriori error analysis of fully discrete finite element approximations for semilinear parabolic optimal control problems. Based on elliptic reconstruction approach introduced earlier by Makridakis and Nochetto [25], a residual based a posteriori error estimators for the state, co-state and control variables are derived. The space discretization of the state and co-state variables is done by using the piecewise linear and continuous finite elements, whereas the piecewise constant functions are employed for the control variable. The temporal discretization is based on the backward Euler method. We derive a posteriori error estimates for the state, co-state and control variables in the $L^\infty(0,T;L^2(\Omega))$-norm. Finally, a numerical experiment is performed to illustrate the performance of the derived estimators.     

An $L^{\infty}$ Second Order Cartesian Method for 3D Anisotropic Interface Problems

A second order accurate method in the infinity norm is proposed for general three dimensional anisotropic elliptic interface problems in which the solution and its derivatives, the coefficients, and source terms all can have finite jumps across one or several arbitrary smooth interfaces. The method is based on the 2D finite element-finite difference (FE-FD) method but with substantial differences in method derivation, implementation, and convergence analysis. One of challenges is to derive 3D interface relations since there is no invariance anymore under coordinate system transforms for the partial differential equations and the jump conditions. A finite element discretization whose coefficient matrix is a symmetric semi-positive definite is used away from the interface; and the maximum preserving finite difference discretization whose coefficient matrix part is an M-matrix is constructed at irregular elements where the interface cuts through. We aim to get a sharp interface method that can have second order accuracy in the point-wise norm. We show the convergence analysis by splitting errors into several parts. Nontrivial numerical examples are presented to confirm the convergence analysis.     

Schrödinger方程的连续时空有限元方法

本文讨论Schr?dinger方程的连续时空有限元方法,通过引入相应的时空投影算子,利用实部虚部分离技巧,得到了变量u在时间节点处的L²范数,以及u和u_t的全局L²(H¹)和L²(L²)范数意义下的最优误差估计结果.该文的结论对进一步探索和设计Schr?dinger方程的数值算法是有益的.     

A characterization ofL n (q) by the normalizers' orders of their sylow subgroups

LetG be a finite group. If for every primer, whereR ₁ Syl _r G andR ₂ Syl _r (L _n (q)), thenG L _n (q).     

治疗小儿厌食症中药强壮灵冲剂微量元素测定及其与疗效关系探讨

已证明小儿厌食症除与缺乏微量元素锌关系密切外,还与其他多种微量元素和宏量元素的缺乏或低下也有关。本院以自行研制的中药强壮灵冲剂治疗小儿厌食症疗效显著。其于浸膏粉经２０余种微量元素测定表明含有锌、铁、钴、铜、镍、锰、铬、锗、锶、铝、钡、硒、硅、钛等多种人体必需且品种齐全,含量适度的微量元素。上述元素又恰是患儿体内所缺乏和低下的品种,无疑对患儿全面适度的补充大有裨益．中药强壮灵与西药硫酸锌临床对比研究表明,无论比发锌回升数值以及从厌食等全面疗效统计,中药组均明显优于西药组,并且发现疗效与药物的补锌量不成正相关。说明中药的调理脾胃功能及综合整体治疗作用是其突出优点,值得推广．     

Some remarks on the modulus of continuity of a conformal mapping of the disk onto a Jordan domain

Letd(;z, t) be the smallest diameter of the arcs of a Jordan curve with endsz andt. Consider the rapidity of decreasing ofd(;)=sup{d(;z, t):z, t , ¦z–t¦} (as 0,0) as a measure of nicety of . Letg(x) (x0) be a continuous and nondecreasing function such thatg(x)x,g(0)=0. Put¯g(x)=g(x)+x, h(x)=(¯g(x))². LetH(x) be an arbitrary primitive of 1/h ^–1(x). Note that the functionH ^–1 x is positive and increasing on (–, +),H ^–1 0 asx– andH ^–1+ asx +. The following statement is proved in the paper.Translated fromMatematicheskie Zametki, Vol. 60, No. 2, pp. 176–184, August, 1996.This research was supported by the Russian Foundation for Basic Research under grant No. 93-01-00236 and by the International Science Foundation under grant No. NCF000.