构造型几何定理及其机器证明系统

Hilbert 机械化定理表明,Pascal 几何中构造型交点定理可以机器证明。1982年,吴文俊教授给出了机械化定理的构造性证法。本文指出,通过添加若干新的构造类型,有更广泛的一类平面几何定理,其机器证明可以按照同样的构造性证法实现,我们称这类定理为构造型几何定理。作者适当调整吴文俊算法的步骤,在 HP1000小型计算机上建立了构造型几何定理的机器证明系统,效率大大提高,从而成功地证明了许多不平凡的几何定理,并且独立发现了相当深入的结果。     

对大学物理设计性研究性实验教学的一些思考

本文从认知的角度论述了在大学物理实验教学中开设综合性设计性研究性实验的必要性，并对在大学物理实验教学中开展综合性设计性研究性实验教学所应注意的一些问题进行了分析和探讨。     

大学物理实验教学中有关误差理论教学问题的研究

本文从教学现状出发，分析和总结了大学物理实验教学中有关误差理论教学中存在的一些主要问，题，从教育心理学的角度出发对这些问题进行了分析探讨，并提出了相关的解决方案。     

二维表面声源模拟GPS实验算法的讨论

对实验的数据处理的方法进行讨论,将多种非线性方程组的数值解法应用于最终定位点的求解,给出不同算法结果的比较。     

基于有限元法的新结构LiNbO3电光调制器的分析与优化

对传统结构的LiNbO3电光调制器进行了改进,并用有限元法对改进后的电光调制器进行了分析计算,采用T形电极、脊波导和空气背槽的新型LiNbO3电光调制器在进行了结构尺寸优化后,相速完全匹配,带宽可达98 GHz,特性阻抗为52 Ω,损耗系数为0.464 dB/(cm·GHz1/2),半波电压为7.13 V,其性能远优于传统结构的调制器.     

多晶体分析--德拜法的实验数据处理问题探讨

本文主要是探讨用均方差和最小二乘法的思想对多晶体分析——德拜法实验的数据进行有效的处理,其目的在于减少在实验数据处理过程中产生的误差。     

Realization of Fine Tip Tilting by 16-Step Line Tilting

Following Chen＇s method [Commun. Theor. Phys. 52 （2009） 549] to use ＆step line tilting to realize tip tilting, to achieve finer rotation, it is discovered that a 16-step line tilting method may realize a rotation two order smaller than that achieved by ＆step.     

关于中学和大学物理实验教学衔接问题的探讨

本文在分析了当前中学物理实验教学现状，以及中学和大学物理实验教学衔接问题的基础上，从建构主义的学习理论出发，分析探讨了解决相应衔接问题的办法。     

N -- 2 SCVA＇s FROM A GENERALIZED CALABI-YAU MANIFOLD AND MIRROR SYMMETRY

We construct an N = 2 superconformal vertex algebra（SCVA） from a generalized Calabi-Yau manifold and compute the BRST cohomology of its associated topological vertex algebras. We show that the BRST cohomology coincides with the generalized Dobeault cohomology. We show that the two topological vertex algebras constructed from the N = 2 SCVA by A and B twist respectively are mirror pairs.     

可实现偏振无关单向传输的二维硅基环形孔光子晶体

基于光子晶体来构筑偏振无关光二极管在光电集成领域具有重大的应用价值.首先提出了一种环形孔光子晶体,能带结构显示其对横电及横磁模式同时展现出显著的方向带隙.以此构建了三角形状的环形孔光子晶体,利用时域有限差分法计算其透过谱及场分布图,发现该结构能实现偏振无关单向传输特性,然而正向透过率太低(约20%).进一步引入尺寸较小的三角形状的环形孔光子晶体构成光子晶体异质结结构,有效地提高了偏振无关单向传输性能,正向透过率增大了一倍.通过界面结构的调整,正向透过率进一步增大,优化后的环形孔光子晶体异质结结构能同时对类横电及类横磁模式入射光实现单向传输,且正向透过率达到了44%.