时延混成系统的切换控制器合成

如何设计安全、可靠的信息物理融合系统是计算机科学和控制理论面临的一个重大挑战.时延现象在信息物理融合系统中普遍存在,时延对系统的稳定性、安全性和控制性能具有实质性影响.但是在已有时延系统验证和控制器合成的工作中往往忽略时延因素,这会导致在不考虑时延情况下能保证稳定和安全的系统在实际运行时因为时延原因而不再稳定和安全.因为时延使得系统的行为演化不仅与当前状态有关,还依赖于系统的历史状态,所以时延混成系统的验证和控制合成更加困难.本文研究信息物理融合系统在考虑时延情形下切换控制器合成问题,提出基于不变式生成技术的控制器合成方法.首先,利用谱分析和线性化技术将时延系统的微分不变式生成问题归结为有界时间的可达集计算问题;然后,提出基于抽象精化的算法计算时延系统有界时间可达集的上近似;最后,实现本文算法并使用实例验证该方法的有效性.     

Conformal invariance and integration of first-order differential equations

This paper studies a conformal invariance and an integration of first-order differential equations. It obtains the corresponding infinitesimal generators of conformal invariance by using the symmetry of the differential equations, and expresses the differential equations by the equations of a Birkhoff system or a generalized Birkhoff system. If the infinitesimal generators are those of a Noether symmetry, the conserved quantity can be obtained by using the Noether theory of the Birkhoff system or the generalized Birkhoff system.     

Analytical solution for functionally graded anisotropic cantilever beam subjected to linearly distributed load

The bending problem of a functionally graded anisotropic cantilever beam subjected to a linearly distributed load is investigated.The analysis is based on the exact elasticity equations for the plane stress problem.The stress function is introduced and assumed in the form of a polynomial of the longitudinal coordinate.The expressions for stress components are then educed from the stress function by simple differentiation. The stress function is determined from the compatibility equation as well as the bound- ary conditions by a skilful deduction.The analytical solution is compared with FEM calculation,indicating a good agreement.     

Perturbation to Lie Symmetry and Lutzky Adiabatic Invariants for Lagrange Systems

Based on the concept of adiabatic invariant, perturbation to Lie symmetry and Lutzky adiabatic invariants for Lagrange systems are studied by using different methods from those of previous works. Exact invariants induced from Lie symmetry of the system without perturbation are given. Perturbation to Lie symmetry is discussed and Lutzky adiabatic invariants of the system subject to perturbation are obtained.     

High-Dimensional Integrable Models with Conformal Invariance

Using the (2 1)-dimensional Schwartz dcrivative, the usual (2 1)-dimensional Schwartz Kadomtsev-Petviashvili (KP) equation is extended to (n 1)-dimensional conformal invariance equation. The extension possesses Painlcvc property. Some (3 1)-dimensional examples are given and some single three-dimensional camber soliton and two spatial-plane solitons solutions of a (3 1)-dimensional equation are obtained.     

First Integrals and Integral Invariants of Relativistic Birkhoffian Systems

For a relativistic Birkhoflan system, the first integrals and the construction of integral invariants are studied. Firstly, the cyclic integrals and the generalized energy integral of the system are found by using the perfect differential method. Secondly, the equations of nonsimultaneous variation of the system are established by using the relation between the simultaneous variation and the nonsimultaneous variation. Thirdly, the relation between the first integral and the integral invariant of the system is studied, and it is proved that, using a t~rst integral, we can construct an integral invarlant of the system. Finally, the relation between the relativistic Birkhoflan dynamics and the relativistic Hamilton;an dynamics is discussed, and the first integrals and the integral invariants of the relativistic Hamiltonian system are obtained. Two examples are given to illustrate the application of the results.     

价键理论的对不变式方法——Ⅱ. 无自旋价键计算程序Xiamen

发展完善了价键理论的对不变式方法,给出了对不变式的正则展开方法,并证明了对不变式可以展开成任意阶的子对不变式和相应余子式乘积的形式.利用对不变式方法,完成一个新的无自旋价键理论方法从头计算程序──Xiamen. 测试计算表明,Xiamen程序比基于传统价键方法的程序计算效率高,为量子化学计算研究提供了一个新工具.     

常微分方程的不变式在量子力学中的应用

利用常微分方程的不变式，非常方便地求解了一些量子力学问题。     

坡上矩阵可逆的条件

坡S是一个元素满足条件s 1=1的交换半环．证明了坡S上n×n矩阵A可逆当且仅当∑k=1 n aik=1(i=1,2,…,n)且aikajk=0(i≠j,k=1,2,…,n)．在坡S中可定义补元,得到S上每一个可逆矩阵是一个置换矩阵当且仅当S不包含不同于0和1的有补元．     

Note on a Conjecture of Gopakumar-Vafa

We rephrase the Gopakumar-Vafa conjecture on genus zero Gromov-Witten invariants of Calabi-Yau threefolds in terms of the virtual degree of the moduli of pure dimension one stable sheaves and investigate the conjecture for K3 fibred local Calabi-Yau threefolds.