切伦科夫辐射的强流电子束均匀性光学诊断

透明介质中带电粒子的运动速度大于介质中的光速时就会产生切伦科夫辐射光。搭建了基于切伦科夫辐射光的强流电子束均匀性诊断系统,实现了时间和空间分辨的纳秒级电子束均匀性光学诊断。利用程序对诊断系统进行设计。在此基础上对两种天鹅绒阴极发射均匀性进行光学诊断测量。结果表明:在相同电参数下,碳纤维天鹅绒较化纤天鹅绒具有更好的发射性能,与之对应的切伦科夫辐射光斑面积更大,其亮度扫描曲线不但中心增强区域较化纤天鹅绒宽,在其边缘附近也有较强的亮度分布;通过分析切伦科夫辐射光斑的分布和强弱的时间分辨图像,可以得到阴极在电脉冲过程中的运行状态,具有10ns~100ns级时间分辨特性。     

基于SAT的电路错误定位方法研究进展

随着VLSI芯片复杂度不断增加,功能验证与调试已占到整个芯片设计周期的60%以上。而错误的定位往往消耗大量的时间与精力,因此迫切需要一种高效的方法诊断与定位电路中的错误。针对近年来出现的许多电路错误定位方法,介绍了电路错误诊断方法的分类与工作流程,深入分析了基于SAT的错误定位方法的基本原理;对各种算法进行了概述评论,并简要介绍了在不可满足子式求解方面所做的一些研究工作,而不可满足子式能够显著提高错误定位效率与精度;讨论了电路错误定位技术所面临的主要挑战,并对今后的研究方向进行了展望。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

分布共享存储系统中程序访存行为对性能的影响

本文首先提取了分布共享存储系统（ＤＳＭ）中程序访存行为的几个重要参数,并以此建立了一个处理机效率模型。在此模型基础上分析了访存行为的各种因素对处理机效率的影响情况,文章最后给出了提高处理机效率的几种技术途径。     

聚碳硅烷——沥青共混体流变性与纺丝研究

聚碳硅烷和沥青分别是转化ＳｉＣ纤维和碳纤维的先驱体,两者共混或共聚就可以得到一种新功能纤维──ＳｉＣ－Ｃ纤维的先驱体。该先驱体的可纺丝性直接与聚碳硅烷和沥青的性质相关,只有两组份的可纺丝温度区间交叉才可能得到可纺性好的聚碳硅烷──沥青共混先驱体。该研究结果对于制备ＳｉＣ－Ｃ纤维时选择组份材料和共混工艺有指导意义。     

零扰动下一类RN 上临界增长的椭圆方程正解的存在性

本文讨论了N维欧氏空间R~N上一类临界增长的拟线性椭圆型方程—div(|Du|~(p-2)Du)+k(x)u~)p-1)=K(x)U~(p-1),u∈W~(1,p)(R~N)∩L~p(R~N)的正解的存在性。其中4≤p~2≤N,p=Np/(N—p)。在微分几何与物理学等领域起重要作用的Yamabe问题就是其特例(p=2)。本文运用集中紧引理,证明了问题的正解的存在性。     

低功率霍尔推力器阳极供气环工程设计关键参数仿真

为了提高低功率霍尔推力器放电通道内中性原子分布均匀性,采用有限元方法对阳极供气环关键结构参数进行优化研究。针对双腔式阳极供气环结构,重点分析了缓冲腔容积比以及缓冲腔隔板导流小孔数量等关键参数对阳极供气均匀性的影响。研究结果表明:随着缓冲腔容积比的增大,阳极供气环出气孔差异率先快速减小后趋于稳定,其中当容积率k=1.0时,平均差异率和最大差异率分别为1.77%和3.79%;隔板间导流小孔数量从8增加到14时,出气孔差异率呈现浴盆曲线特性,其中导流孔数量为10时,平均差异率和最大差异率分别为1.8%和3.8%。研究结果可为霍尔推力器阳极供气环工程设计提供理论支撑。     

基于分布对象的高性能异步回调模型

分布对象技术是分布异构环境下软件开发和系统集成的良好解决方案 ,然而在高性能分布计算领域 (如分布事务处理、分布交互仿真和分布并行计算 ) ,传统调用模型在异步特性方面的不足限制了分布对象技术在该领域的应用。因此 ,文章介绍一个新的基于分布对象的异步回调模型 ,着重探讨了该模型的定义、关键实现技术、优化策略和性能测试。     

微波加热与远红外加热均匀性实验研究

本文用实验方法对微波加热陶瓷材料与远红外加热陶瓷材料进行了研究，结果表明前者的均匀性远远优于后者，用微波和远红外同时进行消毒杀菌实验，进一步证明了微波加热的均匀性更能使腔体内各部位达到消毒灭菌目的。     

惯性平台自标定中惯性仪表安装误差可观测性分析

针对惯性平台自标定中惯性仪表安装误差可观测性问题,深入研究了系统模型与平台坐标系对惯性仪表安装误差可观测性的影响。根据不同系统动力学模型和观测量构建四种系统模型。从可观测性定义出发,分析与判断惯性仪表安装误差在不同系统模型和不同平台坐标系下的可观测性。理论分析和仿真结果均表明惯性仪表安装误差在以下两种情况完全可观:观测量为平台框架角和加速度计输出,系统动力学模型为框架角模型,平台坐标系以平台六面体为基准定义;观测量为加速度输出,系统动力学模型为姿态角或失准角模型,平台坐标系以加速度计敏感轴为基准定义。