障碍物无规则运动下启发式Gauss配点参数化连续避障规划

针对障碍物无规则运动下自动驾驶车辆(SDV)的避障轨迹规划,本文提出一种结合模型约束简化和启发式非均匀Gauss配点参数化的轨迹规划算法.首先,结合SDV运动学方程和约束条件建立了SDV连续避障轨迹规划的问题;然后,在高斯伪谱法离散化算法框架下,采用Gauss配点对状态变量进行离散化;进一步,提出了启发式Gauss配点初始化策略,以此提升SDV求解速度进而实现避障实时规划;同时,对经过约束处理后的轨迹进行验证,以此保证规划轨迹的安全性;最后,在车辆模型上针对不同障碍物运动场景进行仿真测试,验证提出方法的有效性和实时性.结果显示,本文方法可以有效进行避障轨迹规划,并确保轨迹的安全性,轨迹规划平均求解耗时维持在25ms左右,显示出本文方法在实时避障规划的效能和实际应用价值.

Mathai-Quillen's Thom Form and the Gauss-Bonnet-Chern Theorem

在这篇介绍性文章中，我们介绍Mathai-Quillen关于Thom形式的构造以及由此导致的关于Gauss-Bonnet-陈省身定理的证明。

From the second gradient operator and second class of integral theorems to Gaussian or spherical mapping invariants

By combining of the second gradient operator, the second class of integral theorems, the Gaussian-curvature-based integral theorems and the Gaussian （or spherical） mapping, a series of invariants or geometric conservation quantities under Gaussian （or spherical） mapping are revealed. From these mapping invariants important transformations between original curved surface and the spherical surface are derived. The potential applications of these invariants and transformations to geometry are discussed

基于两步正则化Gauss-Newton迭代算法的ECT图像重建

电容层析成像(ECT)技术求解图像重建问题属于非线性问题,并且存在严重的不适定性。为提高图像重建精度,提出了一种基于两步正则化Gauss-Newton迭代算法的ECT图像重建方法。针对标准正则化Gauss-Newton迭代算法在图像重建中存在的不收敛问题,引入了两步迭代方法;改进了正则化矩阵,提高了解估计的精确度;考虑到Gauss-Newton算法对迭代初值的依赖性,加入了同伦算法。最后,进行仿真和静态实验,并与线性反投影(LBP)算法、Landweber算法、Tikhonov正则化算法进行对比。结果表明,该方法可有效提高图像重建精度。

THE GAUSS–GREEN THEOREM IN CLIFFORD ANALYSIS AND ITS APPLICATIONS

In this article, we establish the Gauss Green type theorems for Clifford-valued functions in Clifford analysis. The boundary conditions in theorems obtained are very general by using the geometric measure theoretic method. The Cauchy-Pompeiu formula for Clifford-valued functions under the weak condition will be derived as their simple application. Furthermore, Cauchy formula for monogenic functions under the weak condition is derived directly from the Cauchy-Pompeiu formula.

A GENERALIZATION OF GAUSS-KUZMIN-LE′VY THEOREM

We prove a generalized Gauss-Kuzmin-L′evy theorem for the generalized Gauss transformation Tp（x） = {p/x}.In addition, we give an estimate for the constant that appears in the theorem.

Topological Structure and Topological Tensor Current of Gauss-Bonnet-Chern Theorem

We offer an intrinsic theoretical framework to reveal the inner relationships among three theories for Euler characteristic number, including Gauss Bonnet-Chern theorem, Hop-Poincaré theorem and Morse theory. Moreover, we consider the Gauss Bonnet-Chern （GBC） form imbedded in arbitrary higher-dimensional manifold, which suggests a Hodge dual tensor current. We show the brane structure inherent in the GBC tensor current and obtain the generalized Nambu action for the multi branes with quantized topological charge.

A Note on the Almost Sure Central Limit Theorem in the Joint Version for the Maxima and Partial Sums of Certain Stationary Gaussian Sequences

Considering a sequence of standardized stationary Gaussian random variables, a universal result in the almost sure central limit theorem for maxima and partial sum is established. Our result generalizes and improves that on the almost sure central limit theory previously obtained by Marcin Dudzinski [1]. Our result reaches the optimal form.

考虑Gauss移动热源瞬态效应的传热结构拓扑优化

针对热源位置随时间发生变化的结构热传导问题,考虑Gauss移动热源进行瞬态热传导拓扑优化设计.分别以整个时间历程内传热结构散热弱度最小化与区域温度最大值最小化为设计目标,体积分数为约束条件,采用伴随变量法推导目标函数与约束条件的敏度信息,借助移动渐进线法更新设计变量,研究了不同Gauss热源移动路径与移动速度对拓扑优化结果的影响.结果表明,瞬态拓扑结构相较于稳态结果具有明显时变性,同时最佳传热构型受到热源加热时间和移动速度及路径的多重影响.

修正的Gauss-Weierstrass积分算子在Orlicz空间内的指数加权逼近

本文研究修正的Gauss-Weierstrass积分算子在指数加权Orlicz空间内的逼近问题.通过在指数加权Orlicz空间内建立逼近问题的相关引理,并结合Orlicz空间内的光滑模,Korovkin定理及相关分析技巧得出了该算子在指数加权Orlicz空间内的逼近正定理以及相关逼近性质.

Dilation,discrimination and Uhlmann's theorem of link products of quantum channels

We establish the Stinespring dilation theorem of the link product of quantum channels in two different ways,discuss the discrimination of quantum channels,and show that the distinguishability can be improved by self-linking each quantum channel n times as n grows.We also find that the maximum value of Uhlmann's theorem can be achieved for diagonal channels.

New Asymptotic Results on Fermat-Wiles Theorem

We analyse the Diophantine equation of Fermat xp yp = zp with p > 2 a prime, x, y, z positive nonzero integers. We consider the hypothetical solution (a, b, c) of previous equation. We use Fermat main divisors, Diophantine remainders of (a, b, c), an asymptotic approach based on Balzano Weierstrass Analysis Theorem as tools. We construct convergent infinite sequences and establish asymptotic results including the following surprising one. If z y = 1 then there exists a tight bound N such that, for all prime exponents p > N , we have xp yp zp.

Gauss求积公式的直接构造研究

研究从数值积分公式的代数精度概念出发,通过直接对涉及的非线性代数方程组进行分析,即无需用到正交多项式的单根特性,获得了求积系数ai的计算公式和Gauss求积公式存在性及其构造,并以推论的方式获得了正交多项式的单根特性。

Diophantine equations and Fermat's last theorem for multivariate(skew-)polynomials

Fermat’s Last Theorem is a famous theorem in number theory which is difficult to prove.However,it is known that the version of polynomials with one variable of Fermat’s Last Theorem over C can be proved very concisely.The aim of this paper is to study the similar problems about Fermat’s Last Theorem for multivariate(skew)-polynomials with any characteristic.

AAK Theorem and a Design of Multidimensional BIBO Stable Filters

Rational approximation theory occupies a significant place in signal processing and systems theory. This research paper proposes an optimal design of BIBO stable multidimensional Infinite Impulse Response filters with a realizable (rational) transfer function thanks to the Adamjan, Arov and Krein (AAK) theorem. It is well known that the one dimensional AAK results give the best approximation of a polynomial as a rational function in the Hankel semi norm. We suppose that the Hankel matrix associated to the transfer function has a finite rank.

Some convergence theorems of fuzzy concave integral on fuzzyσ-algebra

In this paper,we consider the extension of the concave integral from classical crispσ-algebra to fuzzyσ-algebra of fuzzy sets.Firstly,the concept of fuzzy concave integral on a fuzzy set is introduced.Secondly,some important properties of such integral are discussed.Finally,various kinds of convergence theorems of a sequence of fuzzy concave integrals are proved.

Small Modular Solutions to Fermat’s Last Theorem

The proof by Andrew Wiles of Fermat’s Last Theorem in 1995 resolved the existence question for non-trivial solutions in integers x,y,zto the equation xn+yn=znfor n>2. There are none. Surprisingly, there are infinitely many solutions if the problem is recast in terms of modular arithmetic. Over a hundred years ago Issai Schur was able to show that for any n there is always a sufficiently large prime p0such that for all primes p≥p0the congruence xn+yn≡zn(modp)has a non-trivial solution. Schur’s argument wasnon-constructive, and there is no systematic method available at present to construct specific examples for small primes. We offer a simple method for constructing all possible solutions to a large class of congruences of this type.

Whole Perfect Vectors and Fermat’s Last Theorem

A naïve discussion of Fermat’s last theorem conundrum is described. The present theorem’s proof is grounded on the well-known properties of sums of powers of the sine and cosine functions, the Minkowski norm definition, and some vector-specific structures.

Vanishing Theorems for p-Harmonic Forms on Submanifolds in Spheres

In this paper,we present some vanishing theorems for p-harmonic forms on-super stable complete submanifold M immersed in sphere Sn+m.When 2≤1≤n-2,M has a flat normal bundle.Assuming that M is a minimal submanifold andδ>1(n-1)p2/4n[p-1+(p-1)2kp],we prove a vanishing theorem for p-harmonicℓ-forms.

A Study on High School Mathematics Teaching Design Based on Teaching for Robust Understanding: Taking the Cosine Theorem as an Example

Teachers’teaching behavior plays a crucial role in students’development,and there are problems in the current teaching behavior of mathematics teachers such as ignoring students’cognitive needs,lack of equal opportunities for students’classroom performance as well as lack of formative evaluation of students.In order to solve the phenomenon,this paper analyzes and explains how to promote teaching based on the Teaching for Robust Understanding(TRU)evaluation framework with the goal of focusing on the development of all students,taking the teaching design of The Cosine Theorem as an example,and provides ideas and methods for first-line high school mathematics teachers.