具有时滞的非线性n维Duffing方程的周期解

利用Ｓｃｈａｕｄｅｒ不运点定理讨论了上有时滞的ｎ维Ｄｕｆｆｉｎ方程的周期解，所得结果推广了已有的有关工作。     

圆形基础极限分析下限解探讨

下限分析中常用的应力柱是一种二维应力柱，本文提出三维应力柱概念以及圆形基础上限解的计算方法。根据应力叠加原理构造静力容许的应力场，求出不同应力柱数目下圆形基础的下限解。通过比较看出，本文计算结果与前人研究成果很接近，说明本文提出方法的有效性和正确性。     

公路加筋土挡土墙设计方法

根据库仑临界土坡定理及传统重力式挡土墙设计理论，提出了加筋土挡土墙设计新方法。如果推广，预料可能有效地遏制墙面鼓肚，突破《公路加筋土工程设计规范》（JTJ015～91)对单面墙高度不大于12m的限制，有利于加快加筋土挡土墙技术的发展。     

牵连运动为平面运动时的加速度合成定理

用矢量解析法证明了牵连运动为平面运动、相对运动为空间任意曲线时点的加速度合成定理及其退化结果。     

Finite axiomatization for symbolic probabilistic π-calculus

This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu, Palamidessi and Lin. We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness. This is the first work, to our knowledge, that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.