化学学科核心素养在高中教材习题中的表现—以人教版教材为例

教材习题是落实新课标倡导的基于化学学科核心素养进行评价的重要载体。以化学学科核心素养的水平划分和学业质量水平为依据,分析人教版高中必修化学教材课后习题考查的核心素养及其水平。结果表明,2007年版和2019年版教材均注重全面考查核心素养和对基础性的考查,突出考查宏观辨识与微观探析素养,突出化学本质;但2019年版教材习题在数量上有所减少,加强了科学思维和科学实践的考查,合理拓展了核心素养考查的广度和深度。最后,依据习题特征获得相应的教学启示,以促进学生核心素养的发展。     

全自动在线固相萃取-液相色谱-高分辨质谱法测定麦卢卡蜂蜜中的特征标志物

建立了全自动在线固相萃取-液相色谱-高分辨质谱(SPE-LC-HRMS)测定麦卢卡蜂蜜中特征标志物3,5-二甲氧基苯甲酸甲酯-4-双葡萄糖糖苷(leptosperin)的方法。以Dikma Diamonsil Plus C_(18)色谱柱(150 mm×4.6 mm,5μm)为分析柱,0.1%(v/v)甲酸水溶液-乙腈为流动相进行梯度洗脱,在电喷雾负离子、目标二级离子扫描模式下进行检测,外标法定量。结果表明,在0.5~100.0 mg/L范围内该分析物的线性关系良好,相关系数为0.999 3,方法的检出限(LOD,S/N≥3)和定量限(LOQ,S/N≥10)分别为3 mg/kg和10 mg/kg。在不同蜂蜜样品中分别添加50.0、100.0、200.0 mg/kg(洋槐蜜中添加10.0、20.0、50.0 mg/kg)特征化合物标准品进行加标回收率试验,平均回收率为82.0%~95.2%,相对标准偏差为2.7%~9.7%(n=6)。利用该方法对来自新西兰12种不同品种的95个蜂巢成熟原蜜和来自4个国家50个商品化蜂蜜进行了验证。该法快速、灵敏、准确,可为解决进口新西兰麦卢卡蜂蜜的判别难题提供技术支持。     

大族长度为pq的伪随机k元序列

Mauduit与Sárkzy在一系列论文中研究了κ元序列的伪随机性.本文通过对模pq剩余类环Z_(pq)进行分割,进而结合离散对数的方法,构造了一大族长度为pq的伪随机κ元序列,并证明其具有很好的伪随机性.     

具有势函数的弱f-稳态映射的若干结果

本文研究了与拉回度量有关广义泛函Φ_f,H.利用应力能量张量的方法,得到具有势函数的弱f-稳态映射的一些刘维尔型定理.     

考虑损伤的修正梯度弹性理论

梯度弹性理论在描述材料微结构起主导作用的力学行为时具有显著优势,将其与损伤理论相结合,可在材料破坏研究中考虑微结构的影响.基于修正梯度弹性理论,将应变张量、应变梯度张量和损伤变量作为Helmholtz自由能函数的状态变量,并在自然状态附近对自由能函数作Taylor展开,进而由热力学基本定律,推导出修正梯度弹性损伤理论本构方程的一般形式.编制有限元程序,模拟土样损伤局部化带的发展演化过程.结果表明,修正梯度弹性损伤理论消除了网格依赖性;损伤局部化带不是与损伤同时发生,而是在损伤发展到一定程度后再逐渐显现出来.     

形变张量的特征值与Boussinesq方程组的正则性估计

讨论了二维及三维满足周期边界条件的Boussinesq方程初边值问题的局部正则解在有限时间内爆破的可能性.在二维情况下,用形变张量的特征值给出温度梯度的L2估计,从中看出若流体微团变形的速率大,则解爆破的可能性就大.在三维情况下,用形变张量的特征值和温度的偏导给出涡量的L2估计,从中发现若流体微团在大部分时间内一般是平面拉伸,且温度的偏导较小时,解爆破的可能性就大;若一般是线性拉伸,温度的偏导又不任意增大时,解爆破的可能性就小.     

Volterra核函数法在轴承滚珠磨损中的特征提取及应用

针对滚动轴承滚珠磨损故障特征难以提取的问题,提出一种基于多脉冲激励法下的Volterra级数核的求解算法.该方法是一种非线性系统模型的“交叉”诊断法,利用轴承系统输入输出的采样信号,建立Volterra非线性辨识系统模型,并运用多脉冲激励Volterra低阶核求解算法,将得到的低阶核通过时域和频域进行对比来判断轴承当前所处的运行状态.该文以无心车床主轴轴承为例进行实验验证,并与传统的小波分析法对比得出:多脉冲激励法能够方便准确地提取轴承的故障特征,该方法对此类故障的诊断具有一定的借鉴意义.     

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

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

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

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

一类无圈型Nakayama代数的量

用同调方法求出一类Nakayama代数A的量,并且求得其代数A的量|IP(A)|=■n-1/r■+1,其中■·■表示向下取整函数.