复合组分材料的X射线定量相衬成像研究

对复合组分材料的应用和需求日益广泛,但如何精确地测量其定量结构信息仍是一个亟待解决的难题.建立了复合组分结构模型,利用X射线同轴相衬成像和相位恢复方法,分别进行了计算机模拟和实验研究,系统地分析了复合组分材料不同的密度差异对X射线相衬成像和相位恢复精度的影响以及噪声对定量相位恢复的影响.实验结果表明,利用X射线定量相衬...     

中子半影成像的计算机断层重建技术

实际用于中子半影成像重建的方法都是线性方法,而计算机断层重建是一种能够用于中子半影成像重建的新方法.介绍了中子半影成像的断层重建原理,将半影成像的诊断图像沿径向等角度提取、微分后就可以使用断层重建方法重建.给出了使用卷积反投影方法重建不同噪声诊断图像的结果,并分析了断层重建的优缺点.重建结果表明,断层重建方法能够重建出...     

废旧测力计起死回生二则

测力计是中学物理实验教学中的常用仪器和基本仪器.由于在制造工艺和使用方法上存在这样那样的问题,因此测力计在使用过程中的失准率和损坏率都很高.     

CsI(Tl)晶体的辐照损伤研究

本文报道CsI(Tl)晶体辐照损伤的实验研究,结果表明,CsI(Tl)晶体具有辐照损伤效应.对被辐照损伤过的CsI(Tl)晶体作恢复研究.表明在200℃下加热4小时,可使辐照操作的CsI(Tl)晶体得到恢复.     

Correlative Collapses and Revivals in Two Trapped Ions

An analytic solution is presented for two trapped ions resonantly interacting with laser beams to the first red side-band of the centre-of-mass mode,in the Lamb-Dicke regime and under the rotating wave approximation.This shows the existence of correlative quantum collapses and revivals for the occupation of two atoms.     

低分辨率医学图像的多图谱分割方法

基于多图谱的图像分割方法因其分割精度高和鲁棒性强,在医学图像分割领域被广泛研究,主要包含图像配准和标签融合两个步骤.目前对多图谱分割方法的研究通常都是在图谱图像和待分割目标图像具有相同分辨率的情况下展开的.然而,由于受图像采集时间,采集设备等影响,临床实践中采集的影像大多是低分辨率数据,使得目前在影像研究中广泛使用的方法无法有效应用于临床实践.因此,针对这一问题,我们结合图像超分辨率恢复方法,提出了精确鲁棒的低分辨率医学图像的多图谱分割方法,实验结果显示提出的方法显著地提高了多图谱分割方法的分割精度.     

基于旋转变换和鲁棒主成分分析的车牌校正方法

本文研究了受到非高斯噪声污染及边框信息不完整的车牌图像校正的问题.利用鲁棒主成分分析与旋转变换结合的方法,获得了更具普适性的车牌矫正方法.并通过与主成分分析法、旋转投影法的矫正结果相比较,推广了本文方法具有更好的鲁棒性和普适性的结果.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

散斑与数字技术

本文总结了过去十年中散斑数字技术在力学、医学、无线电电子学和天文学中的应用和进展,以及在这些领域中所发展的各种新的理论、实验技术和实验方法。     

利用分裂Bregman方法的图像恢复组合模型

ROF模型是图像恢复中的经典模型,具有保留图像边缘的优点,但同时也存在梯子现象.而利用二次范数fΩ｜▽u｜2 dxdy的模型可以避免梯子现象,但容易使图像变得模糊.针对两种方法的优缺点,提出了一种新的通过设置边缘检测开关函数的组合模型,在图像平坦区利用二次范数模型处理,而在强边缘处利用ROF模型处理,而且应用分裂的Br...