序列式MESO紧空间的闭Lindelof逆象(英文)

证明了正则空间中闭Lindelof映射逆保持序列式meso紧性,从而改进了Mancuso V J关于正则空间中完备映射逆保持meso紧性这一结果;进一步我们指出定理条件中原象空间的正则性不可被省略而象空间的正则性可以用原象空间的正规性来替代.     

高温高密度Z-pinch等离子体自适应式平面丝阵负载制备技术研究

 在Z-pinch实验中，加速器两电极间距会因抽真空而发生改变从而导致平面丝阵负载的丝分布发生变化，为了解决这个问题，采用弹簧预压缩的方法，制备出了平面丝阵负载，经实验室模拟检测和物理实验的实际应用证明，平面丝阵负载不但能适应电极方向呈任何方向放置的靶室，还能自动适应靶室电极间距因抽真空而发生的变化。在实验过程中丝阵可以保持绷紧的状态，满足了物理实验的要求。     

真值维护系统的语义研究

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

一堂物理课

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

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]中的有关结果.