基于测试分析视角透析数学高考改革方向——以2022年新高考全国1卷为例北大核心

高考是国家选材最直接的方式,也是检验教学教研质量的基本手段.2022年新高考全国1卷(下称新1卷)坚持素养导向、能力为重原则[1],紧扣高中数学主体内容,突出学科特点,重视理性思维,强调关键能力.试题比例恰当,基础题源于课本、中档题追求内涵、高档题灵活创新,呈现出“低起点、多层次、高落差”的特点.试卷注重对概念理解的考查,引导教学回归本源,大部分试题以经典问题为载体,通过适度改编,考查学生对问题本质的理解程度.同时,试卷充分发挥数学的应用价值,多处设置问题情境,真正让知识学以致用.在一些关键的能力题上,试卷通过多题引导、层层递进的方式进行提示,力求有效区分学生层次.试题的解答追求通法通解,摒弃各类“秒杀”技巧,体现公平性原则.     

基于DIC的爆炸加载下脆性材料裂纹扩展规律的试验研究

通过数字图像相关法（DIC），应用PMMA对爆炸加载条件下脆性材料的裂纹扩展规律进行了试验研究。基于对称性试验模型，实现了裂纹尖端位置和应变场信息的同步记录。以此为基础，通过对比分析获知，主应变场应变值最大点不能作为裂纹尖端的判断依据。并以动态裂纹扩展速度为参量，应用断裂动力学和最小二乘牛顿迭代法，计算出了考虑惯性效应的Ⅰ-Ⅱ混合型裂纹的应力强度因子:K_Ⅰ和K_Ⅱ值会随着裂纹扩展方向改变而发生突变；K_Ⅰ最大值为2.63 MPa·m1/2，最小值为0.89 MPa·m1/2；其整体变化趋势表明，爆炸加载条件下脆性材料裂纹扩展随能量积聚和释放呈循环阶梯式递减发展。     

房间空调器加湿技术的研究现状

空调在制冷和制热时,都会使房间内的湿度降低,较低的相对湿度对室内空气质量、室内人员健康及空调能耗等有着直接或间接的影响。综述了低湿度的相关影响,并对有关加湿技术在空调中的应用现状进行分析,指出现有空调加湿中存在的一些问题,为有关加湿空调的研究提供一些依据。并提出了一种应用于家用柜式空调器中的超声波雾化加湿装置。     

非线性玻尔兹曼方程的傅里叶谱方法

玻尔兹曼方程作为空气动理学中最基本的方程之一,是连接微观牛顿力学和宏观连续介质力学的重要桥梁.该方程描述了一个由大量粒子组成的复杂系统的非平衡态时间演化:除了基本的输运项,其最重要的特性是粒子间的相互碰撞由一个高维,非局部且非线性的积分算子来描述,从而给玻尔兹曼方程的数值求解带来非常大的挑战.在过去的二十年间,基于傅里叶级数的谱方法成为了数值求解玻尔兹曼方程的一种很受欢迎且有效的确定性算法.这主要归功于谱方法的高精度及它可以被快速傅里叶变换加速的特质.本文将回顾玻尔兹曼方程的傅里叶谱方法,具体包括方法的导出,稳定性和收敛性分析,快速算法,以及在一大类基于碰撞的空气动理学方程中的推广.     

温度对低共熔溶剂影响的二维拉曼光谱研究

低共熔溶剂（DES）作为一种新式的绿色溶剂，在多种化学过程中表现出色，因此在诸多热门范畴都展现出良好的发展潜力。对DES的光谱分析通常局限在一维光谱技术上，但其分辨率低、谱峰重叠严重等缺点，导致光谱数据存在误差。运用二维拉曼光谱（2D Raman），能够明显提高光谱分辨率，并发现重叠峰位置，获得在外扰条件下不同谱峰的变化顺序及其相互作用等重要信息，以实现对复杂体系的精确分析。以氯化胆碱（ChCl）和ZnCl₂合成的DES为例，利用显微共焦激光拉曼光谱仪分别对ChCl和DES进行拉曼实验，发现与ChCl相比，DES中各处峰的整体强度显著下降，原有的谱峰未消失，说明Zn2+的加入没有破坏ChCl的骨架结构。287 cm-1处出现一个新的特征峰，推测有Zn-Cl配位键的伸缩振动。对DES进行升温拉曼实验，发现随着温度的升高，NC₄的不对称伸缩振动峰强度逐渐减小，峰宽变大，峰形变缓，Zn-Cl配位键伸缩振动峰强度逐渐降低，峰位置基本不变，峰形有明显重叠。运用2D Raman技术对溶液内NC₄和Zn-Cl特征峰的变化进行研究，结果表明，随着温度的升高，溶液中发生ChCl向Ch+的解离过程，Zn2+与Cl-形成了多种配合物，ZnCl-₃，Zn₂Cl-₅，Zn₃Cl-₇之间存在相互转化。不同位置的特征峰随温度的变化顺序不同，将特征峰与团簇进行一一归属，得出了各个团簇对温度的敏感程度。基于量子化学中的密度泛函理论，对推测的物质结构进行构型优化和参数计算，证实了其存在的可能性，同时也验证了2D Raman的分析结果准确可行。这些结果将为DES的后续研究提供理论参考，拓展了二维光谱技术的应用范围。     

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

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

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

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

介电聚酰亚胺薄膜研究进展

聚酰亚胺电介质是电气工程、电子信息技术、航空航天等领域的一类重要的绝缘材料,然而在实际应用中依然存在材料设计制备、结构-性能关系与性能调控等方面的问题尚未解决。多重应用场景下介电性能的不匹配限制了聚酰亚胺的创新式发展,成为制约电工、电子信息航空航天领域发展的重要问题。本文基于影响电介质薄膜电-热特性的基本原理,从分子结构改性和复合结构优化等方面详细综述了调控聚酰亚胺高/低介电特性、热稳定性和绝缘强度等综合性能的研究方法和内部机理,总结了当前聚酰亚胺薄膜在能源系统和电子器件中残存的问题及面临的挑战,并为聚酰亚胺薄膜未来的发展及应用提供有意义的指导。     

疏水性低共熔溶剂液液微萃取/高效液相色谱法测定豆奶中三嗪类和苯脲类除草剂

该文建立了一种简单、高效的新型疏水性低共熔溶剂液液微萃取法,用于提取和富集市售包装豆奶中的三嗪类（阿特拉津、去草净）和苯脲类（灭草隆、绿麦隆）除草剂,并结合高效液相色谱对目标分析物进行分离和测定。以六氟异丙醇为氢键供体,四丁基氯化铵为氢键受体,按照不同摩尔比制备了一系列疏水性低共熔溶剂,并对影响萃取效果的实验条件进行了优化,包括低共熔溶剂的种类及用量、氯化钠用量、涡旋时间、pH值和温度。结果表明,在最佳实验条件下,4种目标物在1.00～500.00 μg/L范围内具有良好的线性关系（r ≥ 0.998 4）,检出限和定量下限分别为0.56～0.95 μg/L和1.87～3.16 μg/L,日内和日间相对标准偏差（RSD）分别为0.28%～2.0%和2.1%～7.5%,加标回收率为86.4%～117%。该方法具有操作简单快速、萃取时间短、试剂用量少和实验成本低等优点,可用于市售包装豆奶中三嗪类和苯脲类除草剂的分析检测。