路径测试中基本路径集自动生成方法的研究

本文提出了一种有效、自动的基本路径集的生成方法,它能在一定程度上提高软件测试的效率.该方法首先设计搜索算法生成基本路径集;再根据基本块之间的依赖性分析来识别不可达路径并将其删除;然后向路径集中添加未覆盖边所在的可达独立路径;最后向路径集中添加未找到可达路径的未覆盖边所在的不可达独立路径,及线性运算所需的不可达独立路径.实验结果表明,该基本路径集生成方法能有效地生成包含尽可能多的可达路径的基本路径集.     

乳清蛋白-纳米碳酸钙复合膜制备研究

应用纳米碳酸钙和谷氨酰胺转移酶(TG)研究乳清蛋白-纳米碳酸钙复合膜的制备和性质。通过测定比较复合膜的水蒸气透过率、透光率、机械性能和溶解度,应用扫描电子显微镜、红外光谱,分析复合膜的结构性质,探究纳米碳酸钙和TG对复合膜性能的影响作用。结果发现:TG的加入提高了复合膜的机械性能和透光率,降低了溶解度;随着纳米碳酸钙的增加,复合膜表面微观结构粗糙度增加;红外光谱分析可知TG的加入使乳清蛋白自身发生交联,从而改善了复合膜的性能。     

大豆发芽过程中抗氧化活性研究

采用分光光度法测定了发芽过程中东农42、东农48、东农44、东农36号4种大豆的甲醇提取液对2,2一二苯代苦味肼基(DPPH)自由基的清除作用及其总酚和总酮类物质的含量,结果发现,4种大豆在发芽过程中显示出较为一致的总体趋势,在发芽的第ld和第4d,IC50出现两个极小值,平均为2.5mg/mL,抗氧化能力提高显著;总酚类物质含量出现两个极大值,其含量与抗氧化能力正相关;黄酮类物质含量增加显著,明显高于对照组.结果表明,食用发芽1d或4d的大豆制品对人体健康更有益处.     

面向有效错误定位的偶然正确性识别方法

错误定位是软件调试中耗时费力的活动之一。针对偶然正确性影响错误定位效率的问题,提出面向错误定位的偶然正确性识别方法。该方法首先识别偶然正确性元素;然后,挑选“偶然正确性特征元素”,使用该特征元素约简程序执行轨迹;在此基础上,建立基于模糊c均值聚类的偶然正确性识别模型,将其结果应用于错误定位。为验证该方法的有效性,基于3组测试程序开展偶然正确性识别,并将其结果应用于Tarantula等4种错误定位方法。实验结果表明,与基于k-means聚类的偶然正确性识别方法相比,该方法在偶然正确性识别方面具有较低的误报率和漏报率,并且更能提高错误定位的效率。     

一种包含异常传播的类间数据依赖分析方法

类间数据依赖分析是类间数据流测试的基础。本文通过分析类簇级测试中的异常传播对程序数据依赖的影响,提出一种包括异常结构在内的类间C++程序数据依赖分析方法,根据类间关系增量式地构造类间数据依赖图,并给出类间数据依赖图的构造算法。最后,在程序切片中应用了该数据依赖分析方法。结果证明,该方法通过分析异常传播对数据依赖的影响能够带来切片精度的提高。     

利用图像比色法进行激光熔池温度场实时检测的研究

本文将红外图像比色法应用于金属零件激光成形过程中的熔池温度场检测．阐述了测温原理和硬件图像采集系统的构成,完成了滤光片波长选择并进行了仿真,叙述了软件测温实现过程．试验结果证明了该测温系统瞬时求取温度分布的有效性,温度场实时检测的实现为激光加工过程的闭环控制打下了基础．     

“编译原理”研究性教学的探索与实践

研究性教学是当前教育教学研究的热点之一。本文在讨论研究性教学及其三种模式的基础上,结合我校"编译原理"课程的教学实践,重点探讨了"问题解决模式"下研究性教学的实施及其与研究性学习的关系,以利于充分发挥其在课程教学中的优势和作用,提高教学质量。     

Lactobacillus plantarum-12胞外多糖抑制志贺氏菌生物膜形成的研究

研究菌株Lactobacillus plantarum-12胞外多糖(Exopolysaccharides,EPS)对6种致病菌(Escherichia coli,Staphyloccocus aureus,Salmonella,Listeria monocytogenes,Vibrio Parahaemolyticus,Shigella flexneri)生物膜形成的抑制作用,结果显示L.plantarum-12 EPS对于6种致病菌生物膜形成均有不同程度的抑制效果,对S.flexneri生物膜形成的抑制效果最佳,在2 mg/mL多糖的影响下抑制率达到53.77%,且EPS对S.flexneri已形成的生物膜也具有清除作用,清除率最高可达61.2%:在多糖的影响下S.flexneri在玻片上的黏附及聚集受到了明显抑制。6种致病菌菌体疏水性在L.plantarum-12 EPS作用下都有不同程度的降低,其中S.flexneri菌体疏水性下降了90%,S.flexneri的疏水性随着EPS浓度升高而逐渐降低;在4 mg/mL EPS的作用下,S.flexneri菌体的自聚性降低了30%。L.plantarum-12 EPS处理S.flexneri生物膜,可使环丙沙星及左氧氟沙星S.flexneri的最小生物膜清除浓度从256μg/mL降至64μg/mL,显著提高了环丙沙星及左氧氟沙星的药效。而且,L.plantarum-12 EPS能够抑制S.flexneri胞外多聚物基质中多糖的分泌量。试验结果表明,Lactobacillus plantarum-12 EPS通过降低S.flexneri疏水性,自聚性及胞外多聚物中多糖的表达量的方式抑制了S.flexneri生物膜的形成。     

Maillard风味酸奶开发

以鲜牛乳,葡萄糖为主要原料,以乳酸菌为发酵剂在单因素试验条件下进行Maillard风味酸奶研制,进行酸奶色泽、滴定酸度测定和酸奶品尝评价选取适宜工艺方案,进行配方优选研究。结果表明,适宜褐变条件为添加8%葡萄糖,在98℃条件下加热120 min。选用果胶作为稳定剂,添加量0.1%,选用菠萝果酱作为风味物质,添加量15%,开发Maillard风味酸奶口味和品质较好。     

结合Doc2Vec和BERT嵌入技术的补丁验证方法

自动程序修复是近年来的研究热点并取得了一定的进展。现有的自动程序修复方法大多利用测试套件来验证补丁正确性。然而,使用测试套件验证自动程序修复方法生成的大量候选补丁不仅会造成巨大的开销,不完美的测试套件还会导致补丁的过拟合问题,因此如何提高补丁验证效率、有效验证补丁正确性成为亟待解决的问题。为了降低补丁验证开销并提高补丁正确率,提出了结合两种嵌入技术验证补丁正确性的方法。该方法首先利用Doc2Vec计算补丁与错误代码的相似性,然后使用一个基于BERT模型的分类器过滤通过相似性筛选出的补丁中的错误补丁。为了验证所提方法的有效性,基于5个开源的Java缺陷库进行实验,结果表明该方法能够有效地验证补丁的正确性并提高验证效率。