一类广义Liénard系统解的有界性

研究了一类广义 Liénard系统dxdt=p(y) -F(x) ,　 dydt=-g(x) (E)解的有界性 .首先获得了系统 (E)存在无界解的两个新的充分条件 ,然后获得系统 (E)所有解正向有界的若干充分条件和充要条件 ,所获结果改进和扩展了文 [1 -2 ]中的相应结果 .     

Regularization of singular systems of linear algebraic equations by shifts

Regularization of singular systems of linear algebraic equations by shifts is examined. New equivalent conditions for the shift regularizability of such systems are derived.     

BOUNDEDNESS OF FRACTIONAL INTEGRALS IN HARDY SPACES WITH NON-DOUBLING MEASURE - In Memory of Professor Sun Yongsheng

Let μ be a Borel measure on Rd which may be non doubling. The only condition that μ must satisfy is μ(Q) ≤ col(Q)n for any cube Q () Rd with sides parallel to the coordinate axes and for some fixed n with 0 ＜ n ≤ d. The purpose of this paper is to obtain a boundedness property of fractional integrals in Hardy spaces H1 (μ).     

Boundedness and Dissipativity of Truncated Rotations on Uniform Planar Lattices

The finiteness of computer arithmetic can lead to some dramatic differences between the behaviour of a continuous dynamical system and a computer simulation. A thorough rigorous theoretical analysis of what may or what does happen is usually extremely difficult and to date little has been done even in relatively simple contexts. The comparative behaviour of a rotation mapping in the plane and on a uniform lattice in the plane is one such example. Simulations show that the rounding operator applied to a planar rotation mapping more or less preserves the qualitative behaviour of the original mapping, whereas the application of the truncation operator to a planar rotation can lead to quite different dynamical features. In this paper a theoretical justification of the properties of the planar rotation mappings under truncation to a, uniform integer lattice is provided, in particular properties of boundedness and dissipativity are investigated.     

一类泛函微分方程周期解的存在性与应用

本文给出了一类滞后型泛函微分方程有一个周期解的四个充分性定理，其结果明显地优于著名的Ｙｏｓｈｉｚａｗａ周期解定理，最后给出了应用实例。     

Exponential boundedness of solutions for impulsive delay differential equations

For an impulsive delay differential equation

exponent estimates of solutions have been obtained.     

On guaranteed stability of uncertain linear systems via linear control

This paper addresses the problem of stabilizing an uncertain linear system. The uncertaintyq(·) which enters the dynamics is nonstistical in nature. That is, noa priori statistics forq(·) are assumed; only boundsQ on the admissible variations ofq(·) are taken as given. The results given here applied to so-called matched systems differ from previous results in two ways. Firstly, the stabilizing control in this paper is linear; for this same class of problems, many of the existing results would require a nonlinear control. Furthermore, those results which do in fact yield linear controls are only valid when a certain matrix (q) (formed using the given data) is negative definite for allq Q. In contrast, the theory given here only requires compactness of the bounding setQ. Secondly, we show that the so-called matching conditions (used in earlier work) can be generalized so as to encompass a larger class of dynamical systems.This research was supported by the US Department of Energy under Contract No. ET-78-S-01-3390.     

A VERIFICATION METHOD FOR COMMUNICATION PROTOCOLS MODELED AS COMMUNICATING EXTENDED FINITE─STATE MAC

本文建立了用于表述含有无限值状态成分的通讯协议机的抽象模型，给出了基于该模型的形式检证法，试制了检证系统．该检证法不需要假定信道的有界性．对于给定的通信协议，检证系统将判定其对指定状态的可到达性．做为检证例，从ＯＳＩ参照模型中抽出了大同步点设置功能单位，就“无死锁”、“无传输错误”等性质进行了实际检证     

差分方程xn+1=(α+βxn+γxn-1)/(A+Bxn+Cxn-1)两个猜想的证明

证明差分方程xn 1=α βxn γxn-1A B xn Cxn-1,n=0,1,…当C∈(0, ∞)时每个非负解是有界的.     

Bloch类空间之间的加权复合算子的有界性(英文)

设H为复Hilbert空间,B(H)为H上算子范数不大于1的有界线性算子集,E=E*为B(H)中的两两可换子集.作者用E和E上的解析算子函数分别取代了复单位圆盘和复单位圆盘上的解析函数,在算子Bloch型空间上定义并讨论了加权复合算子的有界性,得到了Bα到Bβ的加权复合算子有界的充分必要条件