用定义求解高等数学中的有关问题

应用导数的定义，为分段函数的分界点提供了一种行之有效的求导方法，利用微分的定义判断函数在分界点及其他特殊点的可微性，运用定和分的定义求一类特殊类型的极限．     

Symmetry of the Barochronous Motions of a Gas

We study the system of nonlinear differential equations which expresses the constancy of the algebraic invariants of the Jacobian matrix for smooth vector fields in three-dimensional space. This system is equivalent to the equations of gas dynamics which describe the barochronous motions of a gas (the pressure and density depend only on the time). We present the results of computation of the admissible local Lie group and construction of the general solution of the system. We mention a few new problems that arise here.     

Optimal inspection and perfect repair

Models are developed for decision making about monitoring andmaintenance of systems whose performance through time is describedby a general stochastic process. The system is monitored andpreventive and corrective maintenance actions are carried outin response to the observed system state. The decision processis simplified by using the maximum process as a decision variable.The models developed generalize age replacement models and othersimple maintenance strategies. The approach can deal with failuresthat prevent the system functioning further, and also failuresthat are defined by regulation or economic considerations. Attentionis restricted to perfect repair and inspection, but the structureprovides the framework for further developments.     

Propagation properties of vectorial elliptical Gaussian beams beyond the paraxial approximation

Starting from the vectorial Rayleigh diffraction integral formula and without using the far-field approximation, a solution of the wave equation beyond the paraxial approximation is found, which represents vectorial non-paraxial elliptical Gaussian beams in free space. The far-field expressions for non-paraxial Gaussian beams and elliptical Gaussian beams can be regarded as special cases treated in this paper. Some basic propagation properties of vectorial non-paraxial elliptical Gaussian beams, including the irradiance distribution, phase term, beam widths and divergence angles are studied. Numerical results are given and illustrated.     

Asymptotic expansions of integrals of two Bessel functions via the generalized hypergeometric and Meijer functions

Asymptotic expansions of certain finite and infinite integrals involving products of two Bessel functions of the first kind are obtained by using the generalized hypergeometric and Meijer functions. The Bessel functions involved are of arbitrary (generally different) orders, but of the same argument containing a parameter which tends to infinity. These types of integrals arise in various contexts, including wave scattering and crystallography, and are of general mathematical interest being related to the Riemann—Liouville and Hankel integrals. The results complete the asymptotic expansions derived previously by two different methods — a straightforward approach and the Mellin-transform technique. These asymptotic expansions supply practical algorithms for computing the integrals. The leading terms explicitly provide valuable analytical insight into the high-frequency behavior of the solutions to the wave-scattering problems.     

Motion Control by ZV Shaper Synthesis Extended for Fractional Systems and Its Application to CRONE Control

Shaping command input or preshaping is used for reducing system oscillation in motion control. Desired systems inputs are altered so that the system finishes the requested move without residual oscillation. This technique, developed by N.C. Singer and W.P. Seering, is used for example in the aerospace field, in particular in flexible structure control. This paper presents the study of ZV shaper for explicit fractional derivative systems (generalized derivative systems). A robustness study of ZV shaper is then presented and applied to improve second generation CRONE control response time. Results from simulation and from a DC motor bench are also given.     

Structure theorem for tournaments omitting N5

A finite tournament T is tight if the class of finite tournaments omitting T is well‐quasi‐ordered. We show here that a certain tournament N₅ on five vertices is tight. This is one of the main steps in an exact classification of the tight tournaments, as explained in [10]; the third and final step is carried out in [11]. The proof involves an encoding of the indecomposable tournaments omitting N₅ by a finite alphabet, followed by an application of Kruskal's Tree Theorem. This problem arises in model theory and in computational complexity in a more general form, which remains open: the problem is to give an effective criterion for a finite set {T₁,…,T_k} of finite tournaments to be tight in the sense that the class of all finite tournaments omitting each of T₁,…,T_k is well‐quasi‐ordered. © 2003 Wiley Periodicals, Inc. J Graph Theory 42: 165–192, 2003     

Propagation characteristics of linearly polarized Bessel-Gaussian beams through an annular apertured paraxial ABCD optical system

By means of Collins diffraction integral formula in the paraxial approximation and based on the fact that a hard aperture function can be expanded into a finite sum of complex Gaussian functions, an approximate analytical expression for linearly polarized Bessel-Gaussian beams passing through a paraxial ABCD optical system with an annular aperture has been derived. The results provide more convenient for studying their propagation and transformation than the usual way by using diffraction integral directly. By using the analytical expression and the diffraction integral formula some numerical simulations are done to illustrate for the propagation characteristics of a linearly polarized Bessel-Gaussian beam through an optical system with an annular aperture.     

Measure of Ordering in Statistical Systems

In this paper, we introduce a phenomenological measure of ordering in statistical systems. Using this characteristic, we construct a formal model of a system evolving according to the law of steepest ascent as the control parameter increases.