一类压缩型映射的不动点定理

在完备的度量空间中,讨论了一类新型的非线性压缩映射ρ(Tx,Ty)≤a(ρ(x,y))ρ(x,Tx)+b(ρ(x,y))ρ(y,Ty)+c(ρ(x,y))ρ(x,y)通过构造迭代序列,指出该映射的不动点的存在性和唯一性,并给出相应的误差估计式,拓展和改进了有关文献的范围.     

一种压电驱动的三足爬行机器人

机器人领域涉及到力学、机械、材料、控制、电子和计算机等多个学科. 其中, 爬行机器人可在极端环境下工作, 进而可有效降低人工作业的危险性并提高工作效率. 因此, 爬行机器人一直是机器人领域的重点研究对象. 压电陶瓷是一种能够将机械能和电能互相转换的新型功能陶瓷材料. 逆压电效应是指当在电介质的极化方向施加电场, 这些电介质就在一定方向上产生机械变形或机械压力, 当外加电场撤去时, 这些变形或应力也随之消失. 本文基于压电陶瓷的逆压电效应设计了一种由3条弯曲变截面梁支撑的一体化三足爬行机器人. 利用理论力学方法对该三足爬行机器人建立整体受力分析方程, 再用哈密顿原理对变截面、变角度梁建立动力学方程, 最终得到了可求解该三足爬行机器人的压电驱动腿固有频率的方程. 设计并制作了三足爬行机器人实物, 通过实验测试了不同弯折角度、不同驱动频率、不同负载、不同电压波形对运动方向及运动速度的影响. 最后利用不对称的驱动电压使三足爬行机器人实现了左转、右转以及不加导轨的近似直线运动, 实现了设计的3个方向的运动, 最后分析了该机器人的能耗问题. 该研究可为微型爬行机器人设计和实验提供参考依据.      

紧黎曼流形上的椭圆边界值问题

讨论一类非齐次非线性椭圆边界值问题.利用极大值原理证明了该问题解的梯度估计.作为它的应用得到了解的效率比估计.     

共轭线性对称性及其对PT-对称量子理论的应用

传统量子系统的哈密顿是自伴算子,哈密顿的自伴性不仅保证系统遵循酉演化和保持概率守恒,而且也保证了它自身具有实的能量本征值,这类系统称为自伴量子系统.然而,确实存在一些物理系统(如PT-对称量子系统),其哈密顿不是自伴的,这类系统称为非自伴量子系统.为了深入研究PT-对称量子系统,并考虑到算子PT的共轭线性性,首先讨论了共轭线性算子的一些性质,包括它们的矩阵表示和谱结构等;其次,分别研究了具有共轭线性对称性和完整共轭线性对称性的线性算子,通过它们的矩阵表示,给出了共轭线性对称性和完整共轭线性对称性的等价刻画;作为应用,得到了关于PT-对称及完整PT-对称算子的一些有趣性质,并通过一些具体例子,说明了完整PT-对称性对张量积运算不具有封闭性,同时说明了完整PT-对称性既不是哈密顿算子在某个正定内积下自伴的充分条件,也不是必要条件.     

三维位势问题的梯度边界积分方程的新解法

三维位势问题的边界元分析中,关于坐标变量的边界位势梯度的计算是一个困难的问题. 已有一些方法着手解决这个问题,然而,这些方法需要复杂的理论推导和大量的数值计算. 本文提出求解一般边界位势梯度边界积分方程的辅助边值问题法. 该方法构造了与原边界值问题具有相同解域的辅助边值问题,该辅助边值问题具有已知解,因此通过求解此辅助边值问题,可获得梯度边界积分方程对应的系统矩阵,然后将此系统矩阵应用于求解原边值问题,求解过程非常简单,只需求解一个线性系统即可获得原边值问题的解. 值得注意的是,在求解原边值问题时,不再需要重新计算系统矩阵,因此辅助边值问题法的效率并不很差. 辅助边值问题法避免了强奇异积分的计算,具有数学理论简单、程序设计容易、计算精度高等优点,为坐标变量梯度边界积分方程的求解提供了一个新的途径. 3个标准的数值算例验证了方法的有效性.      

整体观视角下高中数学教学的建构与思考——兼谈“双曲线的标准方程”的教学北大核心

1引言《现代汉语词典》(第7版)中关于“整体”的解释为:“整个集体或整个事物的全部(对各个成员或各个部分而言)”[1].在哲学范畴,联系是唯物辩证法的起点,生活中所有事物都是紧密联系的.数学是研究数量关系和空间形式的一门科学,对现实世界的抽象是数学的来源.关于数学的整体性,有不少经典的表述,如著名数学家约瑟夫·傅里叶曾说:“Mathematics compares the most diverse phenomena,and discovers the most secret analogies which unite them.”(数学能从事物的个性之中寻求事物的共性特征.)普遍联系的原理走向具体化与深层次的体现之一就是系统观的形成,而系统论最本质的特征就是整体性.     

一类二阶Duffing方程反周期解的存在性和多重性北大核心CSCD

采用变分方法证明了一类带反周期边界条件的二阶Duffing方程解的存在性和多重性.     

p-Adic函数空间上Hardy型算子的多线性交换子估计

在p-adic域上研究分数次Hardy型算子与CMO(Q_p~n)函数生成的多线性交换子,建立了交换子在Lebesgue空间和Herz空间上的有界性.对Hardy算子的多线性交换子也得到了相应的结果.     

一种新的岩石非线性黏弹塑性蠕变模型研究

为了克服传统元件组合模型不能描述岩石蠕变过程中非线性特征的缺陷，首先根据加速蠕变阶段的应变和应变率随蠕变时间急剧增大的特点，建立黏塑性应变与蠕变时间的指数函数关系并提出非线性黏塑性体．将该非线性黏塑性体与广义Burgers蠕变模型串联，建立可以描述岩石全蠕变过程的非线性黏弹塑性蠕变模型，根据叠加原理得到一维应力状态下的轴向蠕变方程．然后基于塑性力学理论指出岩石三维蠕变本构方程建立过程中的不足之处，并给出非线性黏弹塑性蠕变模型合理的三维蠕变方程．最后采用不同应力水平下砂岩轴向蠕变试验对模型合理性进行验证，结果表明：拟合曲线与试验曲线吻合度较高，所建蠕变模型能够很好地描述砂岩在不同应力水平下的蠕变变形规律，尤其对加速蠕变阶段的非线性特征描述效果很好，验证了模型的合理性．