A contribution to the global formulation of the higher-order Poincaré-Cartan form

The global formulation of the higher-order Poincaré-Cartan form for Lagrangian field theories in the calculus of variations is re-examined in terms of the theory of lifts of tensor fields on a manifold to its higher-order prolongated jet bundles.Partially supported by CNPq, Brazil, Proc. MA 30.1115/79.     

利用非线性提升的信号去噪

本文提出了一种基于非线性滤波和提升格式进行信号去噪的算法。利用提升格式设计的灵活性取非线性滤波为预测算子 ,数值算例表明该方法的去噪效果优于仅使用非线性滤波去噪。     

Commutant lifting and factorization of reproducing kernels

A general version of the commutant lifting theorem for operators between different spaces is proved. It includes as special cases the lifting theorems of Ball-Trent-Vinnikov and Volberg-Treil. A multivariable variant of the Volberg-Treil theorem is obtained as a corollary. A certain factorization property of reproducing kernels is shown to be a sufficient condition for the lifting. Another factorization property is shown to be a necessary condition.     

Simple-direct-modules

A right R-module M is called simple-direct-injective if, whenever, A and B are simple submodules of M with A?B, and B?^⊕M, then A?^⊕M. Dually, M is called simple-direct-projective if, whenever, A and B are submodules of M with M∕A?B?^⊕M and B simple, then A?^⊕M. In this paper, we continue our investigation of these classes of modules strengthening many of the established results on the subject. For example, we show that a ring R is uniserial (artinian serial) with J²(R) = 0 iff every simple-direct-projective right R-module is an SSP-module (SIP-module) iff every simple-direct-injective right R-module is an SIP-module (SSP-module).     

钢筋混凝土长桩(柱)双机三点吊吊点位置优化

根据钢筋混凝土长桩（柱）吊装的实际工程需要，进行了双机三点吊吊装方案的研究分析，建立了双机三点吊吊装方案的数学模型，编制了微机软件，解决了双机三点吊中的难题。     

船舶碰撞的研究方法和进展

本文简要评述船舶碰撞的研究进展和发展趋势．介绍了船舶碰撞研究的内容和方法（包括理论的和实验的）．本文重点阐述实船试验方法，包括实尺试验的基本步骤，实尺试验的输入参数选择和试验地点选择．最后提出了综合性意见，并介绍了国内在碰撞研究方面已做的工作和将要做的工作．     

利用提升小波的蛋白质相互作用特征提取

利用提升小波从蛋白质序列中提取出它们相互作用的频谱特征,经支持向量机训练学习后,用于预测蛋白质间的相互作用.模拟计算结果表明,在阳性数据和阴性数据平衡的前提下,利用提升小波获取的低维蛋白质相互作用特征向量可以得到较高预测精度.进一步阐述了不同物种的蛋白质相互作用网络有着不同特征,为了得到更准确的预测结果,需要利用不同的方法提取蛋白质相互作用的特征.     

一种构造CDF型双正交小波的方法

利用提升格式，构造了CDF型的双正交小波，并探讨了提升算子S的选择规律，最后给出构造实例，结果表明：这种构造方法比传统的构造方法简单、易行，而且选择不同的提升算子S，可以得到不同性质的双正交小波，充分显示出这种构造方法的实用性和广泛性。     

Dilation of generalized Toeplitz kernels on ordered groups

We introduce the concept of Toeplitz-Kre?n-Cotlar triplet on ordered groups and we prove a general dilation result and a general representation result for the positive definite case.This general result includes and extends previous generalizations of the Kre?n extension theorem, the Sz.-Nagy and Foias commutant lifting theorem and the generalized Herglotz-Bochner-Weil theorem.     

Petersen图的点传递正则覆盖图

运用基图自同构能被提升的线性准则 ,对满足 :1覆叠变换群 K =Znp,2覆盖图的保簇变换群是点传递的 Petersen图的连通正则覆盖图进行了完全分类 .这种图共有 1 2种类型 .