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

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

一类无圈型Nakayama代数的量

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

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

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

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

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

超高效液相色谱法测定食品接触材料制品中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...     

三种测定蛋白质热稳定性方法的比较

蛋白质的热稳定性一般使用热变性中点温度(melting temperature,T_m)来表示,即蛋白质解折叠50%时的温度. 测定蛋白质T_m值的常用方法有差示扫描量热法(differential scanning calorimetry,DSC)、圆二色光谱法(circular dichroism,CD)和差示扫描荧光法(differential scanning fluorimetry,DSF)等. 为了比较不同方法的检测特点和效果,选择了5种具有不同结构特点的蛋白,分别使用上述方法对其T_m值进行测定. 结果发现,三种方法测得的T_m值整体上较为一致,但也存在一定的差异. 研究还发现,结构更复杂的蛋白,并不一定具有更多T_m值.     

基于快速热释放功能的相变偶氮苯/织物复合材料

针对偶氮基光敏分子存在放热速率慢和温度难以控制的难点,在分子结构设计基础上,采用氧化偶合法制备了具有固-液相变功能的4,4′-对-二正己基偶氮苯(AZO-L6).由于分子间作用力较低,偶氮苯分子呈现低熔、快异构化的特点,在发生反-顺异构化转变时大幅降低分子的熔点.固-液相变过程实现了光热能和相变焓的存储,在结构回复时同时放出储存的能量(231.8 kJ/kg),并将相变偶氮苯应用于可穿戴聚合物复合织物中.结果显示储能后的相变偶氮苯分子在蓝光(440 nm)刺激下在60 s内可将材料温度提升0.8℃,获得了具有自加热功能的可穿戴复合织物,为探索多功能自保温可穿戴装置提供了研究思路.     

脑胶质瘤磁共振弥散张量成像定量参数与VEGF、MMP-9表达的相关性

本研究旨在分析脑胶质瘤患者的磁共振弥散张量成像(DTI)参数与病变组织血管内皮生长因子(VEGF)和基质金属蛋白酶-9(MMP-9)表达的相关性,以及DTI参数对脑胶质瘤进行分级诊断的价值。根据病理分级将102例脑胶质瘤患者分为低级别组(47例)和高级别组(55例),均行MRI和DTI检查,定量测定表观弥散系数(ADC)、各向异性分数(FA)、相对ADC(rADC)、相对FA(rFA)值及相对轴向扩散系数(rAD)值;用免疫组化法检测VEGF和MMP-9表达情况。结果显示,高级别组患者的rADC、ADC、rAD、FA、rFA均低于低级别组(P<0.05);高级别组患者的VEGF和MMP-9阳性表达均高于低级别组(P<0.05)。rADC、ADC、rAD、FA、rFA与VEGF和MMP-9表达均呈负相关(P<0.05);rADC、ADC、rAD、FA、rFA对脑胶质瘤分级诊断的AUC均具有一定诊断价值(P<0.05)。本研究结果提示DTI定量参数与脑胶质瘤VEGF和MMP-9表达具有相关性,且有助于脑胶质瘤的分级诊断。     

全自动红外吸收光谱法测定硫化矿矿石中全硫量

近年来,随着全自动红外测硫仪的快速发展,仪器性能的升级优化,加之对固体矿物质种类和高硫含量检测技术有了新的技术突破。因此将全自动红外测硫仪应用于硫化矿矿石中全硫量的测定,采用国家硫矿石标准样品中不同段的硫含量(标准值),建立标准工作曲线,再结合实际样品校正该曲线,建立了一种用全自动红外吸收光谱法测定硫化矿矿石中全硫量的检测方法。方法的主要特点是包括样品称量在内的整个测试过程由计算机控制自动完成,自动化程度极高,分析时间短,结果准确、可靠。选取当地不同矿物特性的8个样品,测定的相对标准偏差RSD(n=11)均小于2.5%,样品加标回收率为86.2%~117%,与化学法(空气或氧气燃烧-碘量法)测定结果对照,测定结果都在允许误差范围内,完全能够满足日常硫化矿矿石中全硫含量的检测要求。     

自交联共轭亚油酸囊泡的温敏膨胀行为

采用紫外辐照引发共轭亚油酸(CLA)囊泡内聚合反应,获得自交联CLA囊泡.用动态激光光散射(DLS)和冷冻透射电子显微镜(cryo-TEM)等观察自交联CLA囊泡的粒径和形貌变化,结果表明,自交联CLA囊泡的囊泡结构不仅不随温度变化解体,而且表现出明显的温敏膨胀性.自交联CLA囊泡体外释放5-氟尿嘧啶的实验表明其具有温度响应的缓释和控释特性.