仿射括号代数理论与算法及其在几何定理机器证明中的应用

主要讨论仿射括号代数的理论与算法及其在定理机器证明中的应用。文中首次提出了边界扩张算法等几个有效的仿射括号代数算法, 同时分析了边界算子的性质, 为系统实现奠定了基础. 文中也提及了单括号因子整除判定、单项式因子整除判定、仿射几何的构造和对应表示表示等工作. 在符号计算软件 Maple 10中, 应用上述理论与算法实现了仿射几何的定理机器 证明, 并用大约100多个例子进行了测试, 之后将结果进行了比较.     

Landau定理中的一个新上界

设f(z)=a₀+a₁z+…是单位圆内不取0与1的全纯函数.著名的Landau定理断言:存在一个与f无关的常数C使得|a₁|≤2|a₀|{|log|a₀||+C}.曾有许多数学家致力于估计此常数C.最后在1980年前后,由赖万才、Hempel及Jenkins独立地给出C的精确值:C=Γ⁴(1/4)/4π².本文的主要目的是要建立一种新形式的上界估计式以表明上述结果仍可改进.本文证明了: |a₁|≤2|a₀|{|log|a₀||+C-M|a₀ⁿ+1|²},其中M是一个与f无关的正的常数,而n取值为-1或1,依照|a₀|>1或≤1而定.     

基于几何相移模型的双线列阵左右舷分辨技术研究

针对双线列阵克服左右舷模糊问题，将双线列阵认为是由两两阵元为一组的偶极子构成的单线列阵，利用几何相移模型对目标进行左右舷分辨，经过理论分析、仿真实验和湖试实验，指出丁几何相移模型不仅能解决单频情况下的左右舷模糊问题，而且还能解决信号带宽不太宽情况下究竟能到多大相对带宽，取决于所设定的左右舷分辨增益门限)的左右舷模糊问题。该方法经湖试实验得到了很好的验证：在信噪比为5dB时，采用该方法处理时，左右舷分辨差超过7dB。在本文设定的高信噪比条件下，证明了几何相移模型的双线列阵左右舷分辨技术是有效的、可行的。     

循环量子系统中状态演化的Bloch定理和同步几何相位的统一

对于Hamiltonian随时间作周期变化的量子系统中状态的演化，Bloch定理亦成立，并可据此定义一种新的几何相位———Bloch相位．证明用这种新的几何相位可以把迄今发现的所有同步（即量子态演化一周后获得的）几何相位统一起来，即Bloch相位等于Pancharatnam相位、Aharonov-Anandan相位和Lewis-Riesenfeld相位，并且在绝热条件下化为Bery相位．为此，先对Pancharatnam相位、Aharonov-Anandan相位和Lewis-Riesenfeld相位的定义作等价的改变，使它们变得有物理意义，并把Lewis-Riesenfeld相位和Berry相位推广到简并情形．还讨论了Bloch相位的求解问题 关键词：     

高维单形Bartos体积公式的推广

本文给出单形Ｋ维顶点角的概念，建立单形新的一类体积公式，导出单形Ｋ维顶点角的正弦定理，并获得关于单形Ｋ维顶点角的一个几何不等式．     

相对论的几何表述

通俗地简介了微分几何的入门知识，对狭义相对论几何表述的基本概念作了介绍，较详尽用四维几何语言剖析了“尺缩”“钟慢”和双子效应，地其中的某些误解作了澄清，还简介了广义相对论的入门知识，重点说明为什么引力是时空弯曲的表现，在澄清对等效原理的误解上也略费了笔墨，简介了狭义相对论和广州相对论的划界标准，明确指出了双子佯谬纯属狭义相对论范畴。