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

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

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

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

Cr^4＋：YAG可饱和吸收特性测量

测量了Cr4+:YAG材料的可饱和吸收特性,用多种数据分析方法处理了实验结果,Cr4+:YAG的基态吸收截面σgs=11×10-19cm2,激发态吸收截面σes=1.2×10-19cm2。     

托卡马克能量约束及自举电流效应的初步考虑

基于Lee等人的离子温度梯度模导致的反常热能输运系数,本文研究了辅助加热托卡马克等离子体的能量约束行为,并对自举电流的效应作了初步考虑。结果表明,计算得到的能量约束时间随等离子体电流I_p和托卡马克大半径R增大而增长,随注入功率P_t、环向场B_t以及等离子体小半径α的增大而缩短。这些结果与Kaye-Goldston的经验约束定标具有相同的趋势。自举电流的存在总是导致能量约束时间的增加,当自举电流与总电流的比值γ较小时,能量约束时间的增加率约为γ/2。此外,自举电流将造成锯齿反转半径的减小。     

真值维护系统的语义研究

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

STM在微细加工中的应用

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

稳态锁模产生4ps激光脉冲

首次利用ＧａＡｓ光电导开关，控制Ｎｄ：ＹＬＦ激光器腔内Ｑ值，实现稳态锁模，获得脉宽和能量稳定性极高的４ｐｓ激光脉冲。     

对称半导体光放大器马赫—曾德尔干涉仪解复用器的开关特性分析

分析以以半导体光放大器（SOA）为基础的对称马赫－曾德尔干涉仪（MZI）解复用器在控制脉冲和信号脉冲反向传播（CPMZ）与同向传播（TPMZ）两种工作模式下的开关特性。研究表明：控制脉冲宽度、半导体光放大器的长度和非线性增益压缩影响着控制脉冲和信号脉冲反向传播开关窗口的大小，是限制控制脉冲和信号脉冲反向传播高速工作的主要因素。当控制脉冲宽度小于半导体光放大器的渡越时间时，如时延量小于于两位的半导体光放大器渡越时间，控制脉冲和信号脉冲以向传播的峰值开关比开始恶化；当控制脉冲宽度超过半导体光放大器的渡越时间时，即使时延量大于两倍的半导体光放大器滤越时间，峰值开关比也出现恶化。因此当控制脉冲和信号脉冲反向传播高速工作时，控制脉冲应尽可能窄，且时延量必须大于两倍的半导体光放大器渡越时间以确保有较高的峰值开关比，而半导体光放大器长度效应对控制脉冲和信号脉冲同向传播的影响甚微。     

一堂物理课

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