液氩探测器在稀有事例探测中的应用和发展

稀有事例探测是近几年热门的粒子物理前沿课题,如暗物质、无中微子双贝塔衰变、中微子-核子相干弹性散射等实验都在逐渐被规划和实施.进行稀有事例探测要求探测器有极佳的性能,同时对环境本底有很高的要求,因此探测器和相关材料的选择是稀有事例探测的一个重要课题.液氩因为成本低、闪烁性能好、体积限制较小等优势成为稀有事例探测器的一种重要介质.经过几十年的发展,单相液氩闪烁体探测器和两相氩时间投影室成为两种常见的液氩探测器类型,并开始被国内外各实验组应用于稀有事例探测实验中.本文首先对两种常见的液氩探测器的原理和特性进行介绍,然后详细介绍国内外相关稀有事例探测实验组对液氩探测器的研究和应用现状以及未来规划,最后讨论未来液氩探测器在稀有事例探测中的应用前景和优化方向.     

纸吸管中非挥发性迁移物的非靶向筛查及风险评估

根据欧盟法规推荐的两种食物模拟物对纸吸管样品进行模拟迁移试验,并基于超高效液相色谱－四极杆飞行时间质谱（UPLC－Q－TOF MS）对样品中的迁移物进行非靶向筛查,得到包括润滑剂、施胶剂、抗氧剂降解产物、消泡剂在内的31种有意添加物和非有意添加物。利用该课题组前期建立的风险矩阵,即风险 = 危害（毒性水平 + Cramer分级 + 4 × 致突变性） × 暴露（4 × 水溶性 + 4 × 渗透性）,对纸吸管中31种迁移物进行风险分级。结果表明,未发现Ⅰ级高风险物质,Ⅱ级风险物质中得分较高的来自润滑剂（十六酸酰胺等）、施胶剂（海松酸等）和消泡剂（聚乙二醇等）中的成分,对Ⅱ级风险物质进行半定量分析,通过对比暴露量和TTC阈值,发现酰胺类润滑剂（尤其是芥酸酰胺）存在健康风险,应在纸吸管生产加工过程中引起关注。     

化学镀钴和超级化学镀填充的研究进展

随着半导体集成度的不断提高,铜互连线的电阻率迅速提高。当互连线宽度接近7 nm时,铜互连线的电阻率与钴接近。IBM和美国半导体公司（ASE）已经使用金属钴取代铜作为下一代互连线材料。然而,钴种子层的形成和超级电镀钴填充7 nm微孔的技术工艺仍是一个很大的挑战。化学镀是在绝缘体表面形成金属种子层的一种非常简单的方法, 通过超级化学镀填充方式, 直径为几纳米的盲孔可以无空洞和无缝隙的方式完全填充。本文综述了化学镀钴的研究进展,并分析了还原剂种类对化学镀钴沉积速率和镀膜质量的影响。同时, 在长期从事超级化学填充研究的基础上, 作者提出了通过超级化学镀钴技术填充7 nm以及一下微盲孔的钴互连线工艺。     

色谱柱分类数据库用于指导天然药物化学对照品色谱纯度测定时色谱柱理性选择

由于中药化学对照品多数来源于动植物药材,很容易混有结构类似物,故有机杂质测定是可能影响其化学对照品赋值准确性的关键风险因素。中药化学对照品的有机杂质测定通常采用药典收载或文献报道的高效液相色谱法,这些方法通常仅规定“以十八烷基硅烷键合硅胶为填充剂”,无适宜色谱柱的品牌信息,或者实验室无文献所用的色谱柱品牌,而目前市场上已有800多种品牌的C₁₈柱,生产工艺的不同导致不同品牌C₁₈柱的选择性有差异,甚至差异显著。这很容易出现由于色谱柱选择不适宜而导致测定结果不准确的风险。该文采用国外色谱柱分类数据库指导对照品纯度考察时色谱柱的理性选择,尽可能减少色谱柱盲选可能导致的纯度结果不准确的风险。首先,用数据库挑选2根选择性差异显著的色谱柱（选择性因子F≥6）进行平行实验,以尽可能反映采用不同品牌色谱柱可能出现的分离效果差异。如果这2根色谱柱的分离效果及纯度测定结果无显著性差异,则可以交叉验证该对照品纯度测定的准确性。否则需要从数据库中选择另外1根与之前试验中分离效果更好、选择性相似的色谱柱进行纯度结果验证。在N-反式-p-对香豆酰基酪胺和表儿茶素没食子酸酯首批对照品的纯度考察中,使用了上述策略并验证了其有效性和科学性,计划推广应用至更多的中药化学对照品,特别当其可能含碱性或弱酸性化合物时,更应该尝试采用本文推荐的色谱柱选择策略交叉验证其纯度测定结果的准确性。     

高灵敏比色检测Cu~(2+)的反蛋白石结构光子晶体水凝胶膜

以丙烯酰胺(AM)和N-乙烯基咪唑(NVI)为双功能单体,借助"三明治"结构有效控制前驱液的填充,制备了可特异性识别Cu~(2+)的反蛋白石结构光子晶体水凝胶膜(PCHs).该PCHs具有相互贯通的三维有序大孔结构,可在Cu~(2+)缓冲溶液中快速响应,产生特征的布拉格(Bragg)衍射峰.随着Cu~(2+)浓度的增大(0~10-4mol/L),PCHs的Bragg衍射峰位移66 nm,并伴随着明显的颜色变化(由棕红色逐渐变为黄绿色).此外,PCHs在混合金属盐溶液中仍能实现对Cu~(2+)的特异性识别.PCHs对Cu~(2+)的特异识别性、快速响应及自表达的特点为Cu~(2+)现场快速检测提供了可能.     

3CzIPN分子热活化延迟荧光机制的理论研究

运用含时密度泛函理论(TD-DFT)方法,在以苯为溶剂的可极化连续模型(PCM)下,研究了2,4,6-三(9-咔唑基)-间苯二腈(3CzIPN)分子发生热活化延迟荧光(TADF)的反应机制.计算结果表明,3CzIPN分子的单-三态能量差非常小,仅为0.124 eV,这对反系间窜越(RISC)非常有利.此外,3CzIPN分子的RISC速率达到了104数量级,表明3CzIPN分子可能是一个潜在的TADF发射体.     

矩阵代数收敛至球面与非交换度量几何

介绍了Rieffel定义的紧致量子度量空间与量子Gromov-Hausdorff距离和近来Latrémolière定义的量子Gromov-Hausdorff邻距,分别讨论了矩阵代数如何在这两种量子距离下收敛至球面.     

椭圆PDE-约束优化问题的一个预条件子

针对由Galerkin有限元离散椭圆PDE-约束优化问题产生的具有特殊结构的3×3块线性鞍点系统,提出了一个预条件子并给出了预处理矩阵特征值及特征向量的具体表达形式.数值结果表明了该预条件子能够有效地加速Krylov子空间方法的收敛速率,同时也验证了理论结果.     

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

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

经方量化归经研究中的向量矩阵应用

在经方量化归经研究中发现,药物组成的归经量化问题,若以五维向量表示更能体现其药物的归经方向和归经比例.利用向量矩阵分析方法给出了方剂归经量化的一种全新的量化模型体系,并以此研究方剂归经的量化规律及其应用特点.