基于吴方法的几何定理证明的恒等式方法

多年来通常认为以吴方法为代表的几何定理机器证明的坐标法给出的证明不可读,或不是图灵意义下的类人解答.其实,只要对吴氏的算法做不多的改进,即将命题的结论多项式表示为其条件多项式的线性组合,就能获得不依赖于理论、算法和大量计算过程的恒等式明证.这样的恒等式可以转化为其他更简明且更有直观几何意义的点几何形式或向量及其他形式,从而获得多种证明方法.这也证明了点几何恒等式明证方法对等式型几何命题的普遍有效性.     

Fock-Sobolev空间上有界、紧与S_p-类算子

本文研究Fock-Sobolev空间上稠密定义算子,将这些算子统一表示成积分算子,利用积分算子的方法得到了它们的一个充分条件,并构造反例说此充分条件是非必要的,还得到这些算子为紧算子的两个充分条件.最后构造符号函数在复平面上每一点处本性无界的紧和Sp-类(0p∞)Toeplitz算子.     

攀援集与Furstenberg族

本文用Furstenberg族研究了弱混合系统的攀援集.证明了:对于每一个有不动点的离散弱混合系统(X,f)而言,存在一个不变的稠密的(τF_(inf),F_(inf))-攀援集;对于每一个弱混合的有任意周期的周期点的周期吸附系统(X,f)而言,存在一个不变的稠密的(τF_(inf),τF_(inf))-攀援集,其中τF_(inf)为非负整数集的全体thick集组成的集族,F_(inf)为非负整数集的全体无限子集组成的集族。     

非局域暗孤子及其稳定性分析

由于其在通信领域潜在的应用前景, 非局域空间孤子一直是研究热点. 但空间非局域暗孤子由于其边界的特殊性, 对其特别是稳定性方面研究甚少. 提出了非局域暗孤子稳定性分析理论, 并对热非线性体介质中1+1维基态和二阶暗孤子的稳定性进行了数值分析和研究, 得到了稳定性图. 从稳定性分析图可知: 在热非线性体介质中, 1+1维基态暗孤子在其存在区域总是稳定的, 而1+1维二阶暗孤子是震荡不稳定的, 其不稳定区域的宽度与传播常数以及介质的非局域程度有关. 为了验证非局域暗孤子稳定性分析理论的正确性, 对加噪声初始输入的传输进行数值模拟得到了传输图, 传输图表明稳定性分析理论的正确性. 关键词： 非局域 稳定性 暗孤子     

冲击作用下的摩擦力效应实验研究

针对摩擦力效应产生的机理, 本文设计了三种不同尺寸的试件进行SHPB实验, 得到了摩擦力效应对实验的定量影响, 在此基础上对混凝土的DIF进行了修正研究, 为混凝土抗冲击工程设计提供了参考依据. 关键词： 冲击 混凝土 SHPB 摩擦力     

扰动非线性Schroedinger方程组的动力性态

研究具周期边界条件的扰动非线性Schroedinger方程组的动力性态，首先，在常值平面上用线性算子的谱对扰动和未扰动系统进行动力性态分析，然后利用奇异扰动理论和不动点原理证明局部不变流形的存在性．     

乙烯基四配位硅与HEMA共聚物的制备及性能

Laine研究小组直接用二氧化硅和乙二醇在无机碱的作用下，合成了五配位硅化合物：Laine研究的意义在于他开创了低温合成配位有机硅化合物的先河，这种方法有四个优点，（1）能耗小；（2）原料来源丰富，价格低廉，二氧化硅占地壳的1／4，乙二醇也很便宜；（3）污染小；（4）制得的五配位硅化合物反应活性非常高。但Laine在聚合物方面做的工作较少，过去只是把这个方法应用于高性能陶瓷玻璃的制备以及离子导电聚合物的研究中J，主要是解决不了五配位硅钾化合物的水解可逆性问题。     

柱形量子点中的三阶极化率

利用量子力学的密度矩阵理论,在有效质量近似下，采用有限深势阱模型，导出了柱形量子点的三阶非线性极化率的解析表达式.通过数值计算，分析了GaAs/AlβGa1－βAs柱形量子点的三阶非线性极化率与量子点尺寸、掺杂浓度、入射光的频率和偏振方向等参量的关系.结果表明，三阶极化率峰值位置与这些参量密切相关，并且对于确定频率和偏振方向的入射光以及材料的掺杂浓度，存在与之相匹配的量子点尺寸，使三阶极化率达到极大，比体材料的相应值高出2个数量级以上.     

我国台湾地区大学入学综合能力测试的分析与评价以及对高考综合能力测试研究的思考

本文从“综合卷编制模式“、“试卷综合程度“、“试卷结构“、“试题设计“、“题型功能“及“阅卷方式“等方面分析与评价台湾地区大学入学综合能力测试卷.提出了高考综合能力测试研究需要思考的几个问题.     

广义对称正则长波方程的勒让德和切贝雪夫拟谱方法

本文考虑了具齐次边界条件的广义对称正则长波方程的Legendre和Chebyshev拟谱方法，构造了半离散和全离散的Legendre和Chebyshev拟谱格式，从理论上得到了这些格式对应的最优误差估计。