一个二次矩阵方程的解

本对XAY=A型矩阵方程提出一个解的方法，并得到解的一般表达式。     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

STM在微细加工中的应用

 已提出的各种可能机理有束流引起的化学反应,高电流密度使表面局部区域内原子加热导致的局部原子的蒸发、熔化、再结晶等,有些结构可能是由于污染物或针尖材料在表面上的沉淀而产生的.当样品表面有覆层或处于特定的气体或液体氛围下时,用STM仍可在其上产生各种细微结构,其主要方法可分为两类,其一是电子束光刻,其二是电子束辅助淀积和刻蚀,以下分别进行讨论。     

一堂物理课

 我是一位中学教师,我深爱《现代物理知识》,在讲授《卢瑟福核式结构》一课时,我向同学们言简意赅地介绍了那上面的一篇文章:《原子核壳模型发现前后》.当我讲述卢瑟福提出有效模型是怎样成功地解释盖革与马斯顿的实验结果时,同学们顿时活跃起来,纷纷想一展身手,体验一次科学发明的过程.然而,物理上的每一个发现,都是科学家凭借坚实的理论基础和实验事实而获得的.在教师的指导下,同学们通过阅读教材,得出了如下结论:“如果是枣糕式模型,α粒子穿过原子内部时,它受到原子内两侧的斥力相互抵消,使α粒子偏转不会很大”.     

Co@SiO2核壳式纳米磁性粒子的合成、性质表征及在细胞分离和细胞芯片上的应用

合成了Co@SiO2核壳式纳米粒子,并采用透射电镜(TEM)、X射线衍射(XRD)、扫描电镜(SEM)和振动样品磁强计(VSM)对其形状、尺寸、荧光及磁特性进行了表征,探讨了其在细胞分离和细胞芯片上的应用和原理.     

四阶方程两点边值问题Hermite有限元解的渐近展式与外推

1引言有限元解的渐近展式是提高微分方程数值解精度的重要工具,比如亏量校正和外推就是建立在有限元解的渐近展式的基础之上．许多作者对此进行了大量的研究(见[1]-[4]),特别是文[1],提出了在研究有限元解的渐近展式中十分有用的能量嵌入技巧．本文利用能量嵌入定理得到了四阶方程两点边值问题Hermite有限元解及其二阶平均导数的渐近展式,进一步我们还讨论了它们的Richardson外推公式．考虑四阶方程两点边值问题     

压差式矢量水听器方位估计中的干扰抵消

矢量水听器由于能获取声场中标量（声压）和矢量（振速）信息，因此单个的矢量水听器就可实现目标方位估计。单个矢量水听器是利用信号的声压和质点振速之间相关性进行信号方位估计，但是当存在干扰，并且干扰和信号之间相关时，如果对运用能量流进行方位估计的方法不加改进，则会出现很大的误差，甚至出现错误的估计。本文提出一种存在已知噪声干扰情况下的干扰抵消方法，并针对该方法进行了仿真试验，最后运用湖试数据进行了验证。结果表明，该方法能有效地减弱相千千柑对信号的影响，实现对信号的方位估计。     

Li2、LiH的激发态和Li2H的基态结构与势能函数

使用“对称性匹配簇-组态相互作用”方法,对Li2分子三重态的第一激发态、LiH分子的基态、单重态的第一和第二激发态的几何构型与谐振频率进行了优化计算.利用“群操作求和”方法分别对这4个态进行单点能扫描计算,并拟合出了相应各态的Murrell-Sorbie势能函数.使用多种方法对Li2H分子的基态结构进行优化,并用优选出的密度泛函(B3P86)方法对该分子进行了进一步的频率计算.结果发现Li2H分子的基态稳态结构为C2v构型,在此基础上用多体项展式理论导出了它的解析势能函数,其等值势能图准确再现了Li2H分子的结构特征和离解能.首次报导了该分子对称伸缩振动等值势能图中存在的两个对称鞍点,对应于反应LiH Li→Li2H,活化能大约为18.7×4.184 KJ/mol.     

大学物理问题式导入研究

通过对大学物理课堂导入重要性的讨论,探讨问题式导入法在大学物理课堂教学中的应用,并阐述了设计物理问题的基本理念.     

关于两类重要微分不等式

本文研究了两类重要微分不等式有界解的性质。引入了赋范线性空间(f,‖‖M),利用比较定理和黎卡提方程解的性质,给出了有界解的上界估计式,推广和改进了文[1,2]中的有关结果.