希尔伯特类多项式模p的Fp根的个数(英文)

设K是一个虚二次域,O为K中的一个order.由定义,O的希尔伯特类多项式H_O(x)是一个整系数的首一不可约多项式,它的复根恰为所有具有O—复乘的椭圆曲线的j—不变量.设p∈N为一个在K中惯性的素数,且p严格大于|disc(O).若Ho(x)(mod p)的F_p根的所组成的集合非空,我们证明群Pic(O[2]在该集合上有一个自由且传递的作用;因此Ho(x)(mod p)的F_p根的个数要么等于0,要么等于|Pic(O)[2]|.我们还给出了一个关于F_p根存在性的具体判别方法.类似的结果首先由Xiao等人在文献[25]中得到,后又经李等人在文献[13]广泛推广.本文结果已在李等人的工作中出现,但方法与之完全不同.     

双调和算子特征值问题的混合三角谱元方法

本文针对双调和算子特征值问题设计了基于混合变分形式的三角谱元逼近格式,其基函数采用指标为(-1,-1,-1)的广义Koornwinder多项式.在H~1-及H_0~1-正交谱元投影的逼近理论基础上,我们建立了双调和算子特征值与特征函数的收敛性估计;它关于网格尺寸h是最优的,关于多项式次数M是次优的.然而,在H_0~2-正交谱元投影的最优估计假设前提下,关于M的次优收敛阶估计则提升为最优.此外,Koornwinder分片多项式逼近的结果还表明,在带权Besov空间范数的度量下,对于存在着区域角点奇性的双调和算子特征值问题,谱元方法的收敛阶能达到h-型有限元方法的2倍.最后,本文的数值实验结果展示了谱元逼近格式的高效性,同时也验证了相关理论的正确性.     

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

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

一类非线性方程组的求解

对于一个给定的非线性方程组,通过一系列的变化,可以将其构造成一个函数,从而把非线性方程组的求解问题转换为求函数极小值问题.通过利用正交表的数据分析方法,给出了求函数极小值进而求解非线性方程组的方法,这种方法得到的解比已有的更精确,且大大缩减了复杂方程组的计算量,用时少,不需要初始值.最后,采用Matlab软件,验证了其可行性和有效性.     

正交约束优化问题的一阶算法

带有正交约束的矩阵优化问题在材料计算、统计及数据分析等领域中有着广泛的应用.由于正交约束的可行域是Stiefel流形,一直以来流形上的优化方法是求解这一问题的主要方法.近年来,随着实际应用问题所要求的变量规模的扩大,传统的流形优化方法在计算上的劣势显现出来,而一些迭代简单、收敛快的新算法逐渐被提出.通过收缩方法、非收缩可行方法、不可行方法三个类别分别来介绍求解带有正交约束的矩阵优化问题的最新算法.通过分析这些方法的主要特性,以及应用问题的要求,对这类问题算法设计的研究进行了展望.     

非李普希兹条件下马尔科夫调制随机延迟微分方程数值解的收敛性（英文）

在全局李普希兹条件下,已经建立了马尔科夫调制的随机微分方程的欧拉方法.然而对于实际系统,全局李普希兹条件通常不成立.在本文中,在弱于全局李普希兹条件的条件下,我们证明马尔科夫调制的随机微分方程的欧拉方法是收敛的,并且其收敛阶和全局李普希兹条件下相同.     

循环子空间的进一步应用

以向量的极小多项式作为出发点,深入分析了循环子空间的具体结构,得到了循环子空间进一步的应用.     

乙二醇基炭黑色浆的制备及其性能

通过超细分散法制备了乙二醇基炭黑色浆,采用单因素变量法阐明分散剂与炭黑质量比、研磨时间和研磨转速对炭黑粒径的影响规律,通过正交实验优化炭黑分散工艺来制备乙二醇基炭黑色浆,并对炭黑在乙二醇溶液中的形貌结构及其分散状态进行了观察。结果表明,分散剂与炭黑质量比为1∶10、研磨时间为180 min、研磨转速为3500 r/min时,炭黑的分散效果最好,平均粒径为170.89 nm,并且在乙二醇溶液中的离心稳定性在90%以上,耐热稳定性在90%以上,具有良好的储存稳定性。     

离线全二维逆流色谱-液相色谱分离莪术油成分

中药挥发油成分复杂,一维色谱分离由于有限的峰容量难以完全分离中药挥发油成分,全二维气相色谱为分离挥发油成分提供了有力的方法,然而气相色谱一般无法用于天然活性成分的筛选。为建立挥发油成分全二维色谱分析新方法,研究建立以液相色谱为基础的全二维色谱分离分析方法。本文主要研究全二维逆流色谱-液相色谱分离莪术油成分的方法,并探讨两种色谱技术之间的正交性,为活性成分筛选提供新的技术支持。通过优化离线全二维逆流色谱-液相色谱分离方法,对全二维色谱峰容量、正交性和空间覆盖率进行度量。优化液相色谱分析条件并筛选逆流色谱分离两相溶剂体系,通过比色法筛选了逆流色谱两相溶剂体系并采用下相为流动相进行梯度洗脱。在290～375 min采用推挤洗脱,莪术油在第一维逆流色谱分离中达到了良好的分离。第二维反相高效液相色谱的流动相组成为乙腈(A)和水(B)。梯度洗脱程序为0～10 min, 50%A～65%A; 10～14 min, 65%A; 14～21 min, 65%A～85%A; 21～25 min, 85%A～95%A; 25～30 min, 95%A～55%A; 30～40 min, 55%A。在上述条件下...     

卡罗琳·露丝·贝尔托西——诺贝尔化学奖史上第八位女性得主

卡罗琳·露丝·贝尔托西因开创了生物正交化学而获得2022年诺贝尔化学奖,该反应使科学家能够在不破坏细胞正常化学功能的情况下探索细胞、跟踪生物过程并实现了多种应用,提高了人类探索生命运动的能力和医学药物治疗的发展水平。通过回顾贝尔托西的研究背景以及相关的科研历程,提出了重视自主研究能力,在实践探索中收获无限可能;关注跨学科知识生产,在交叉领域开拓学科前沿;发挥科研“她”力量,更加多元与开放包容的思考与启示。