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

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

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

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

一类无圈型Nakayama代数的量

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

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

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

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

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

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

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

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

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

超高效液相色谱法测定食品接触材料制品中1,1′-磺酰基二（4-氯苯）和4,4′-联苯二酚的迁移量

参考GB 5009.156-2016和GB 31604.1-2015,以水、4%(体积分数)乙酸溶液、10%(体积分数)乙醇溶液、20%(体积分数)乙醇溶液、50%(体积分数)乙醇溶液、95%(体积分数,下同)乙醇溶液、异辛烷等食品模拟物浸泡聚苯砜材质的水杯、奶瓶、螺纹口和涂层罐,前5种食品模拟物的浸泡液直接过0.22μm滤膜,滤液采用超高效液相色谱法(UHPLC)分析。分取95%乙醇溶液和异辛烷浸泡液各10mL,于50℃,5 000Pa条件下旋转蒸发至近干,用70%(体积分数)甲醇溶液溶解、定容至10mL,过0.22μm滤膜,滤液采用UHPLC分析。以ACQUITY UPLC BEH C18色谱柱作固定相,以不同体积比甲醇和水的混合溶液作流动相进行梯度洗脱,在检测波长247nm下进行检测。结果显示,7种食品模拟物中的两种目标物可在6.500min以内实现完全分离,其中1,1′-磺酰基二(4-氯苯)和4,4′-联苯二酚的质量浓度分别在0.03～0.40mg·L^-1和0.3～4.0mg·L^-1内与峰面积呈线性关系,测定下限(10S/N)分别为0...     

基于多特征算法选择的太赫兹时域光谱用于水稻种子掺假研究

该文提出了一种基于太赫兹时域光谱的水稻种子模式识别方法。实验以10种不同品牌混合掺假的水稻种子为样本,基于采集的样本太赫兹时域光谱数据,通过建立Relief、随机森林（RF）、支持向量机递归特征消除（SVM-RFE）和最大相关最小冗余（mRMR）模型分别对样本光谱波长进行特征选择,最后设计分类器对4种特征选择方法处理后的样本进行分类识别。结果表明,基于布谷鸟算法（CS）优化的极限学习机模型对经RF特征选择算法提取后的样本光谱数据具有最佳识别效果,其准确率可达100%,实验对于法庭科学领域内种子的掺假鉴定具有一定的借鉴意义。     

成都平原典型地区水果-土壤重金属污染特征研究

为摸清成都平原土壤-水果系统中重金属污染水平和富集特征,通过对成都平原典型地区333个水果作物及其根部表层土壤中Hg、As、Pb、Cd、Cu、Cr和土壤理化指标的测定,结果表明：（1）研究区土壤养分整体呈现出有效磷和碱解氮较丰富,有机质和速效钾较缺乏的特征,可通过增施有机肥、地面覆草、施用绿肥等方式提升土壤肥力水平。（2）研究区土壤重金属存在部分点位超标,以Cd的超标率最高。土壤重金属单因子评价污染等级为清洁,土壤综合污染指数评价污染等级为中度污染,其主要贡献为Cd。研究区重金属存在一定程度的富集,Cd和Hg的污染指数高,潜在生态风险强,应重点关注土壤Cd污染和Hg含量水平的增加趋势,将Cd污染作为下一步土壤风险管控和修复治理的重点目标。（3）研究区水果Pb、Cd的超标率分别为5.7%、7.8%,不同水果Pb、Cd的超标率差异显著,草莓Cd的超标率最高。研究区水果中重金属未对成人构成非致癌健康风险,而水果中的As和Cu对儿童构成了非致癌健康风险,As和Cu对水果重金属非致癌总指数的贡献超过70%,应特别关注水果中As和Cu的管控,以免造成较大的食源性危害。（4）重金属在水果与土壤中的含量水平关联性较低,水果中重金属的含量与水果富集重金属的能力关联度极高,应进一步查明水果重金属与土壤重金属形态的关系,并结合调整水果种植结构、筛选重金属低积累水果品种等方式降低水果重金属的健康风险。