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

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

甲基胺溴化铅晶体粉末的温度依赖光致发光

采用稳态光致发光(PL)光谱技术,结合光谱学分析方法,对CH₃NH₃PbBr₃(MAPbBr₃)晶体粉末的功率密度和温度相关的光物理特性进行了研究。在405 nm连续激光激发下,PL发射峰位在560 nm,半高全宽为123 meV。光谱实验结果表明,通过对功率密度与PL强度进行拟合,其斜率为1.10,这很好地证明了单光子吸收的存在。在80～310 K温度范围内,MAPbBr₃晶体粉末的荧光峰位表现出不同的温度依赖行为。随着温度的升高,激子-声子相互作用的增强,峰宽均匀展宽,积分强度逐渐减小。PL发射峰位在80～145 K出现蓝移。在150 K附近PL发射峰出现跳跃,而当温度超过150 K时,光谱的峰位几乎保持不变。这些温度相关的PL行为主要是由于在150 K左右发生了从正交相到四方相的结构相变。此外,从温度相关的PL实验数据拟合得到激子结合能约为49.8 meV和纵向光学声子能量约为60.4 meV。     

A REGULAR VALUE OF COMPACT DEFORMATION

Sufficient conditions were given to assert that between any two Banach spaces over K, Fredholm mappings share at least one value in a specific open ball. The proof of the result is constructive and based upon continuation methods.     

电流变液体黏性变化趋势的试验研究

以微观试验和流变性能试验为手段，分别研究零电场下和在电场作用下的电流变液体黏性变化规律．研究结果表明：零电场下电流变液体的黏性与Krieger-Dougherty公式具有很好的拟合效果，其中逾渗临界值强依赖于悬浮液体中固体颗粒的性质并随工作温度变化．在电场作用下，电流变悬浮液体的黏度随剪切速率的变化规律分为3个阶段：即呈线性的启动段、非线性的幂定律模型流动段和宾汉模型流动段．研究结果为电流变效应工程应用提供依据．     

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

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

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

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

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

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

一类带有毒素生产的比率型Chemostat模型的定性分析北大核心CSCD

研究了一类带有毒素生产的比率型Chemostat模型.分析了系统平衡点的存在性及局部渐近稳定性.运用Lyapunov-LaSalle不变性原理和极限系统理论,得到了平衡点全局渐近稳定的充分条件.结论表明在满足不同条件时,不仅竞争排斥原理成立,竞争共存也是成立的.     

具有N策略和负顾客的反馈抢占型M/G/1重试可修排队模型解的渐近行为

研究具有N策略和负顾客的反馈抢占型M/G/1重试可修排队模型的时间依赖解的渐近行为.当初步服务的失效率函数η(x),主要服务的失效率函数μ(x)和修理时间的失效率函数ψ(x)满足0η≤η(x)≤η∞,0μ≤μ(x)≤μ∞,0ψ≤ψ(x)≤ψ∞并且η(x)是Lipschitz连续函数时,证明模型的时间依赖解指数稳定.     

散斑与数字技术

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