自适应环境的机器人视觉伺服控制方法

机器人和机器视觉的迅速发展,使得基于视觉的智能机器人得到更加广泛的应用。机器视觉提高了机器人控制系统对环境的适应程度,但其适应程度也受到周围环境对机器视觉算法的影响。针对这一情况,本文对机器人视觉伺服控制系统中的机器视觉算法进行了改进,提出了一种基于帧间差分法的自适应环境的机器人视觉伺服控制方法,从而提高了控制系统对环境的自适应程度,提高了对机器人控制的精确度,实验和理论分析证明,该方法具有较大的应用前景和实用价值。     

变质量非完整系统相对于非惯性系的第一积分与积分不变量

本文给出了变质量非完整系统相对于非惯性系的第一积分存在的条件，建立了这类系统的正则方程和变分方程，证明了由第一积分可直接构造系统的积分不变量，并给出一系列推论和一个例子．     

A generalization of Gram–Schmidt orthogonalization generating all Parseval frames

Given an arbitrary finite sequence of vectors in a finite-dimensional Hilbert space, we describe an algorithm, which computes a Parseval frame for the subspace generated by the input vectors while preserving redundancy exactly. We further investigate several of its properties. Finally, we apply the algorithm to several numerical examples.      

平台框架部件刚度的简化计算

利用卡氏定理,对惯性平台框架部件的刚度进行简化计算。通过微机编程获得数据,为结构设计初期合理选取结构参数提供参考。     

Banach空间上的框架与Riesz基

本文讨论Banach空间上框架、无冗框架与Riesz基之间的关系及它们的稳定性．     

Modelling of pressure-strain correlations for Taylor-Proudman turbulence

The theoretical foundation for the modelling of the turbulent pressure-strain correlations in rotating reference frame is presented. Based on the recently developed materially-frame indifference principle it is observed that most of the existing second-moment closures violate the Taylor-Proudman theorem in the limit of rapid rotation. It is shown that the application of the materially-frame indifference principle gives rise to the formation of a new pressure-strain correlation model which satisfies the Taylor-Proudman theorem. Project supported by thr National Natural Science Foundation of China (Grant No. 19421003), the State Education Commission and Tsinghua University.     

Entropy for frame bundle systems and Grassmann bundle systems induced by a diffeomorphism

A Liao hyperbolic diffeomorphism has equal measure entropy and topological entropy to that of its induced systems on frame bundles and Grassmann bundles. This solves a problem Liao posed in 1996 for Liao hyperbolic diffeomorphisms.     

Existence of frame SOLS of type ab

An SOLS (self-orthogonal latin square) of order v with n_i missing sub-SOLS (holes) of order h_i (1ik), which are disjoint and spanning (i.e. ∑_i=1^k n_ih_i=v), is called a frame SOLS and denoted by FSOLS(h₁^n₁h₂^n₂ h_k^n_k). It has been proved that for b2 and n odd, an FSOLS(aⁿb¹) exists if and only if n4 and n1+2b/a. In this paper, we show the existence of FSOLS(aⁿb¹) for n even and FSOLS(aⁿ1¹) for n odd.     

高能核－核作用中不同带电强子快度分布

在反应体质心系中，依据热化模型并考虑碰撞参量的涨落及核阻止性，对工作在ＢＮＬ／ＡＧＳ上Ｅ－８０２合作组给出的中心和周边Ｓｉ与Ａｕ、Ｃｕ和Ａｌ相互作用的强子快度分布进行了分析和讨论．     

Modal Aggregation and the Theory of Paraconsistent Filters

This paper articulates the structure of a two species of weakly aggregative necessity in a common idiom, neighbourhood semantics, using the notion of a k-filter of propositions. A k-filter on a non-empty set I is a collection of subsets of I which (i) contains I, (ii) is closed under supersets on I, and (iii) contains ∪{X_i ≤ X_j : 0 ≤ i < j ≤ k} whenever it contains the subsets X₀,…, X_k. The mathematical content of the proof that weakly aggregative modal logic is complete relative to k-ary frame theory, the standard semantic idiom for weakly aggregative modal logic (see [1]) is presented in language-independent terms as a representation theorem for k-filters: every non-trivial k-filter is included in the union of ≤ k non-trivial filters. The elementary theory of k-filters is developed and then applied in the form of an ultrafilter extension result for k-ary frame theory. Mathematics Subject Classification: 03B45.