阻尼谐振子的波函数

计算了受到与速度平方成比例的力的谐振子 (HOFQV)的波函数 .     

Global and exploding solutions in a model of self-gravitating systems

We study asymptotic properties of solutions to an extension to arbitrary dimensions of the astrophysical model proposed by Chavanis et al. to explain phenomena of gravitational collapse in clouds of self-gravitating particles. In particular, we show that in the two-dimensional case the solutions can be continued to global ones, while in three space dimensions large data of negative energy blow up in a finite time. Relations between isothermal, Streater's energy-transport and the present models are also studied.     

Some properties of multi-degree-of-freedom potential systems and application to statistical equivalent non-linearization

This paper presents some properties of two restricted classes of multi-degree-of-freedom potential systems subjected to Gaussian white-noise excitations. Specifically, potential systems which exhibit damping terms with energy-dependent polynomial form are referred to. In this context, first systems with coupled stiffness terms and damping terms depending on the total energy are investigated. Then, systems with uncoupled stiffness terms and damping terms depending on the total energy in each degree-of-freedom are considered. For these two classes, it is found that algebraic relations among the stationary statistical moments of the energy functions can be derived by applying standard tools of Itô calculus. Further, it is noted that these relations are very useful within the framework of an equivalent statistical non-linearization technique to build approximate solutions for arbitrary non-linear systems.     

A system-theoretic framework for a wide class of systems I: Applications to numerical analysis

A system-theoretic framework is proposed, which allows the study of hybrid uncertain systems, which do not satisfy the so-called “semigroup property.” Characterizations of the notion of robust global asymptotic output stability (RGAOS) are given. Based on the provided characterizations, the qualitative behavior of hybrid systems obtained by time-discretization of systems of ordinary differential equations with a globally asymptotically stable equilibrium point, is studied.     

A Liouville type theorem for polyharmonic elliptic systems

In this paper, we consider the polyharmonic system m(−Δ)U=Vq,m(−Δ)V=Up in RN, for m>1, N>2m, with p?1, q?1, but not both equal to 1, where m(−Δ) is the polyharmonic operator. Set α=2m(q+1)/(pq−1), β=2m(p+1)/(pq−1), for α,β∈[(N−2)/2,N−2m), we prove the nonexistence of positive solutions.     

Scale-free behavior of the Internet global performance

Measurements and data analysis have proved very effective in the study of the Internet's physical fabric and have shown heterogeneities and statistical fluctuations extending over several orders of magnitude. Here we focus on the relationship between the Round-Trip-Time (RTT) and the geographical distance. We define dimensionless variables that contain information on the quality of Internet connections finding that their probability distributions are characterized by a slow power-law decay signalling the presence of scale-free features. These results point out the extreme heterogeneity of Internet delay since the transmission speed between different points of the network exhibits very large fluctuations. The associated scaling exponents appear to have fairly stable values in different data sets and thus define an invariant characteristic of the Internet that might be used in the future as a benchmark of the overall state of “health” of the Internet. Received 25 January 2003 Published online 7 May 2003     

在状态空间中纯滞后系统稳定性的研究

研究了在状态空间中纯滞后系统．提出了一种与纯滞后时间不相关的稳定的充分条件、最后用具体例子说明了这一稳定充分条件的应用．     

解释学习在机器人过程控制中的应用

机器人过程控制是智能机器人系统的一个特别重要而又十分复杂的研究课题。本文将解释学习应用于机器人过程控制，为之开发了一种新的方法。仿真结果表明，该方法可行、有效。同时，还尝试了将Ｐｒｏｌｏｇ语言作为机器人过程控制的运行机制的形式化表达工具的可能性。     

变速齿轮传动系统最佳轴向结构布局智能设计的推理机制

本文通过对变速齿轮传动系统轴向结构布局设计规律的研究,提出了一种适合于该类问题的知识表达方式,将改进后的带有启发函数的最佳优先搜索方法引入到该问题的求解中,使得含有多重搜索空间以及带有一定约束的设计问题统一在同一搜索策略下。根据本文提出的方法,用PROLOG语言建造的推理机,通过对实际问题的考证,证明该方法在解决传动结构自动设计上是行之有效的,并且在推理机制上成功地体现了设计过程中反复设计与优化设计的功能特征.     

面向对象的系统活动描述方法

通过实例介绍了系统活动作为一个对象／类的概念，给出了对系统活动进行分析和建模的一般步骤，提出了系统活动描述的形式化方法。