基于子路径扩展的不可达路径检测方法

不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等式组的求解问题.使用约束求解器判断子路径的可达性,可以分为:可达子路径,不可达子路径和无法判定三个部分,并对后面两部分的子路径扩展出的路径做二次可达性检测,最终获得程序中所有路径的可达性信息.可达性检测工作主要在子路径集上进行,因此有效地解决了路径爆炸问题.实验结果表明本文方法可以准确有效地检测出程序中的不可达路径.     

乳糖酶水解生产低乳糖牛乳工艺的优化

研究低乳糖牛乳的生产条件.通过单因素分析和正交试验对牛乳的水解条件进行优化.结果表明,在加酶量2 500 U/L、水解温度40℃、水解2h时牛乳中乳糖水解效果最佳,水解率达到74.5％.     

基于系统漏洞的攻击场景构建

在分析基于攻击前提和后果关联方法的基础上,提出了一种基于系统漏洞和报警相关度的攻击场景构建方法。它不仅能够利用系统漏洞信息验证报警的可靠性,排除误报,而且能够通过报警之间的相关度关联多跳攻击过程。实验结果表明,此方法能够有效地减少误报和漏报,从而有助于构建更加真实完整的攻击场景。     

P2P文件污染及其检测方法研究

为了更好地理解对等网络中的文件污染,介绍了文件污染的背景和分类,分析了文件污染的传播途径及检测方法,描述了用户行为对污染的影响,结合节点信誉系统和对象信誉系统阐述了反污染机制,并对各种方案进行了比较。     

酪蛋白的转谷氨酰胺酶酶促糖基化交联条件及产物性质

在氨基葡萄糖存在的条件下,利用转谷氨酰胺酶(EC2.3.2.13)对酪蛋白进行糖基化交联修饰。以修饰酪蛋白产物中氨基葡萄糖的导入量为指标,采用单因素试验分别考察反应体系pH值、酶添加量、反应温度和时间对修饰反应的影响。优化后的适宜修饰条件为:酪蛋白底物质量浓度为30g/L,氨基葡萄糖添加量为3mol(每kg酪蛋白中)、pH值为7.5、酶添加量为10kU(每kg酪蛋白中)、反应温度为37℃、时间4h。与酪蛋白和转谷氨酰胺酶促交联的酪蛋白相比,修饰酪蛋白产物的乳化性质和胶凝性质得到显著改善,并且体外消化性能未受到影响,表明转谷氨酰胺酶催化的糖基化交联修饰可以用于改善酪蛋白的这些功能性质。     

基于变异测试的错误定位研究进展

随着软件规模和复杂度的不断提高，软件的质量问题成为了关注的焦点，如何高效地找出软件中的错误成为一个亟需解决的问题。错误定位是软件质量保证的重要途径之一，近年来已经成为软件工程中一个非常重要的研究课题。基于变异测试的错误定位通过比较原程序和对应变异体的差异来计算每条语句的怀疑度，再由怀疑度大小进行排序，程序员根据排序逐个检查找出错误语句。汇总近7年（2012-2018）国内外的基于变异测试的错误定位技术的研究成果，介绍了错误定位的基本方法，介绍基于变异测试的错误定位思想，从变异算子、变异体及等价变异体3个方面对已有的研究工作进行分类归纳和总结，探讨了基于变异测试的错误定位未来可能的研究方向、机遇和挑战。     

基于数据流准则的测试用例生成方法

针对基于控制流的测试充分性准则易错失面向对象程序中的状态依赖关系,提出一种基于数据流准则的测试用例自动生成方法。通过数据流分析获取待覆盖的目标定义使用对,利用遗传算法自动生成覆盖定义使用对的测试用例,根据适应度函数指导测试用例的进化。将该方法与基于分支覆盖和语句覆盖的方法相比较。实验结果表明, 与其他方法相比,该方法可以检测出更多的变异体,适应度函数的设计降低了进化代数。     

产胞外多糖乳杆菌的筛选及多糖功能的研究

本论文从大连地区海产品消化腺中筛选产胞外多糖(EPS)的乳杆菌属菌株,并研究其所产EPS的功能特性,选出一株目标菌,对其EPS分离纯化,测定纯化后各多糖组分的相对分子量。获得EPS产量相对较高的菌株经16S r RNA序列测定鉴定为Lactobacillus plantarum subsp.plantarum-4,Lactobacillus plantarum-12,Lactobacillus plantarumsubsp.plantarum-49;对3株植物乳杆菌及其EPS进行清除DPPH自由基的测定,Lactobacillus plantarum-12的EPS浓度为0.5 mg/mL时,清除率为48.82±3.88%,显著高于另外2株菌(p0.05);测定植物乳杆菌的EPS抑制E.coli ATCC25922在HT-29细胞上的粘附效果,Lactobacillus plantarum-12的EPS浓度为0.2mg/mL时,抑制率为78.23%±2.46%,显著高于另外两株菌(p0.05);Lactobacillus plantarum-12的EPS可显著抑制E·coli ATCC25922刺激HT-29细胞产生IL-8(p0.05)。Lactobacillus plantarum-12的EPS经DEAE-Sepharose Fast Flow离子交换柱、Sepharose CL-6B凝胶柱和Sephacryl HR S200凝胶柱层析分离得到两组分,测定两组分的相对分子质量分别为8.5×10~4 u和7.4×10~4 u。     

菊粉益生素的最新研究进展

肠道茵群在人的健康和疾病中起着重要作用,与宿主具有二歧关系.大量证据表明菊粉益生素在人的肠道茵群内可选择性地发酵,引起双歧茵数量增加.动物和人体试验的大量证据显示,膳食中补充益生素菊粉,通过调节肠道茵群,可预防结肠癌、心脏病的发生和增进骨健康.这些作用机理是益生素功能食品领域未来面临的挑战.近十年来,高分辨率的生物学技术,尤其是代谢组学的出现,为阐明益生茵群调节代谢作用机理提供了有效的工具.