约束Hamilton系统的Poincaré-Cartan不变量

从正则形式作用量出发,导出了约束Hamilton系统(奇异拉氏量)的Poincaré-Cartan不变量,证明了该不变量与约束Hamilton系统的正则方程之间的等价性,纠正了某些作者工作中的错误。     

变系数计量经济学联立模型的局部线性工具向量估计及其性质

联立方程计量经济学模型在经济政策制定、经济结构分析和经济预测方面起着重要作用。本文首次提出了我国宏观经济的一类变系数联立模型,并建立了函数系数的局部线性工具向量估计,同时在时间点列固定设计、经济变量随机设计条件下,研究了估计量的大样本性质。与我国宏观经济经典线性联立模型相比,变系数联立模型拟合效果更优。另外它也有助于克服我国宏观经济数据不多而造成的非参数方法应用困难的现实情况。     

热传导型半导体瞬态问题特征变网格有限元法及其分析

热传导型半导体器件的瞬时状态由四个方程的非线性偏微分方程组的初边值问题所决定，其中电子位势方程是椭圆型的，电子和空穴浓度方程是对流扩散型的，温度方程为热传导型的。本文提出解这类问题的特征变网格有限元法，并进行了理论分析，在一定条件下，得到了某种意义下的最佳L^2误差估计结果。     

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

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

关于含非凸约束的变化问题

本文分别讨论泛函Ｉｐ（ｕ）＝∫Ω｛「α＾αβ（ｘ，ｕ）ｇｉｊ（ｘ，ｕ）Ｄαｕ＾ｉＤβｕ＾ｉＤβｕ＾ｊ」＾ｐ／２＋Ｐ（ｘ，ｕ）｝ｄｘ，在一般的非凸几何约束Ｆ１＝｛ｕ∈Ｈ＾１，ｐ（Ω，Ｒ＾Ｎ）；ｕ∈Ｍａ．ｅ．于Ω，ｕ│δΩ＝ｕ０｝和非凸图约束下的极小化问题，其中Ｍ为Ｒ＾Ｎ中的任一光滑开子集或Ｒ＾Ｎ的一个开子流形。     

真值维护系统的语义研究

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

Z=50—71核质量与核形状跃变

对Johansson质量公式的某些参数及β方程进行修改;在50≤Z≤71区域,计算了640个原子核的质量和双中子分离能.理论值与实验值相比,方均根误差分别为0.827MeV和0.406MeV.双中子分离能理论曲线很好地重现了N=82的中子满壳层效应和N>90时原子核发生大形变的特性.     

一堂物理课

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

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

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

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

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