欧拉计算程序实现非均质炸药冲击起爆的数值模拟

爆轰的数值模拟研究多采用Lagrangian方法，这是因为Lagrangian网格随质点运动，介质之间的界面用滑移面来描述，故能精确地计算介质的界面。但在遇到网格扭曲和网格变形时，计算往往无法继续进行，这时就要用到网格重分等技术，这无疑增加了人为干预和计算误差。Eulerian方法能计算大变形问题，但不能精确地描述物质的界面，对于模拟平面撞击实验，爆轰波在单种介质中传播，对物质界面几乎没有要求。所以，Eulerian方法在模拟此类问题较Lagrangian方法具有明显的优势。     

线性逻辑和态极逻辑引论(Ⅰ)

《线性逻辑和态极逻辑引论》一文概述了由Girard分别于1986和2001所创建的线性逻辑和态极逻辑.线性逻辑和态极逻辑汲取于计算机科学并反之应用于其中,从根本上对数理逻辑进行了彻底的审视.全文分为两部分.本文是文章的第一部分,致力于线性逻辑的联结词、证明规则、可判定性性质和模型.文章的第二部分将研究证明网并简要介绍态极逻辑.证明网是证明的图式表示,是线性逻辑的主要创新之一.     

分析超纯材料成分新工艺

 美国国家标准和技术研究所(NIST)专家研制成一种专门的程序保障系统,它能查明超纯材料和合金中存在的极少量杂质。该所提出的程序包分析了利用光栅扫描电子显微镜收集的资料,这种显微镜的工作原理可归结为:对被研究样品辐射一电子束,随后记录反射的电子和二次电子,并且进行X光分析.     

向内发射同轴虚阴极振荡器波束互作用的数值模拟研究

对向内发射同轴虚阴极振荡器微波主频进行了解析求解, 利用稳态相对论流体Maxwell方程组得到了微波主频所满足的方程; 同时使用MAFIA程序的TS3模块对向内发射同轴虚阴极振荡器中波束互作用进行了全三维PIC数值模拟研究, 通过对微波输出圆波导中5个传输模式的监测,得到了各模式的频谱分布及输出功率. 结果表明, 在有阳极反射板存在时, 构成的准腔结构能够有效地改善频谱, 从而提高能量转换效率.     

关于Simmons模型的几点讨论

本文介绍了Simmons模型的参数选择方法 ,并对几种Simmons模型的精度、合作程度进行了比较 ,最后推荐一种新的随机化装置 ,不仅在精度上有所提高 ,而且操作简便 ,提高了被访者的合作程度     

S波段长脉冲相对论速调管放大器的初步研究

根据脉冲缩短机理分析结果和本工作提出的抑制措施，S波段RKA的高频系统采用了高阶工作模式，输入腔采用5λ／4的工作模式，采用了以3λ／4为工作模式的中间腔，采用了3λ／4为工作模式的输出腔。采用Superfish程序计算了高频系统内部的电磁场分布，并且采用了Mafia程序对三维结构的输入腔和输出腔内部的电磁场分布及多种模式特性进行了分析。实验中，调试出了有载Q值可调的输入腔，频率范围为2．83-2．93GHz、有载Q值范围为25～110；设计加工了频率可调的中间腔；设计、加工和调试了有载Q值为11的输出腔。     

渐近非扩张映象的修正的Ishikawa迭代程序

本文研究一致凸Banach空间中关于渐近非扩张映象不动点的修正的Ishikawa迭代程序的强收敛性，本文结果统一，推广与改进了目前文献中的一些最新结果。     

科学出版中的道德行为国际准则（提交国际纯粹与应用物理联合会备用）

为了给科学出版道德行为提供一个共同的国际准绳并建议在不端行为发生时的适当应对方式，特向科学出版业所涉及各方提出以下准则．     

铜对r-Al2O3负载铁基费-托合成催化剂还原性能的影响

采用X-射线衍射、氢气程序升温还原、氢气程序升温脱附和氧滴定等技术对浸渍法制备的r-Al2O3负载铜／铁费-托合成催化剂进行了表征．结果表明铁以无定型状态处于催化剂载体表面；铁和r-Al2O3载体之间的相互作用使铁氧化物的还原变得困难，还原度较低．少量铜促进了Fe2O3向Fe3O4的还原，降低了该还原过程的起始温度，增大了铁的还原度，增加了催化剂对氢气的化学吸附．但随着铜含量增大，铜铁之间的相互作用逐渐增强，反而抑制了铁氧化物的还原和催化剂对氢气的化学吸附．     

铜对γ-Al2O3负载铁基费-托合成催化剂还原性能的影响

采用X-射线衍射、氢气程序升温还原、氢气程序升温脱附和氧滴定等技术对浸渍法制备的γ-Al2O3负载铜/铁费-托合成催化剂进行了表征.结果表明铁以无定型状态处于催化剂载体表面;铁和γ-Al2O3载体之间的相互作用使铁氧化物的还原变得困难,还原度较低.少量铜促进了Fe2O3向Fe3O4的还原,降低了该还原过程的起始温度,增大了铁的还原度,增加了催化剂对氢气的化学吸附.但随着铜含量增大,铜铁之间的相互作用逐渐增强,反而抑制了铁氧化物的还原和催化剂对氢气的化学吸附.