概率积分法预计下沉量的改进

根据实践经验,概率积分法预计存在如下缺陷:无法确定岩土体中的实际下沉边界;非充分采动时预计误差较大。通过对推导单元下沉盆地表达式的过程的分析,认为没有考虑岩土体的层状结构、没有考虑不同岩土体的破碎和断裂尺寸是导致概率积分法下沉预计缺陷的根源。通过实验研究,每一层的岩土体的破碎和断裂尺寸可以用悬臂梁的断距来确定。改进的预计模型,是将整个上覆岩体根据岩土材料性质的不同将其划分为若干部分,每一部分都采用不同的r值(由岩土体的破碎和断裂尺寸确定),采用逐步传递计算的方法。由实例计算可知,采用改进后的模型能够弥补原模型的主要缺陷。

基于Logistic测试覆盖率函数的软件可靠性建模研究

软件测试覆盖率是测试充分性和测试效率的有效度量指标,其与软件可靠性以及缺陷覆盖情况之间有着一定的相关关系,并且结合测试覆盖率信息的软件可靠性模型的评估和预计效果将会得到有效改进.在实际测试过程中,由于软件结构特征及学习因素的综合影响,测试覆盖率可能会呈现出一种先增后减的趋势,Logistic函数恰好非常适合描述这类S形变化趋势,且结构简单,具有较好的灵活性与适应性.因此,针对基于Logistic函数的测试覆盖率函数以及软件可靠性建模等问题展开研究.首先提出基于Logistic函数的测试覆盖率函数;在该函数的基础上,提出基于Logistic测试覆盖函数的缺陷预计模型;然后,将NHPP可靠性模型的建模过程与Logistic测试覆盖函数相结合,提出一种新的考虑测试覆盖率的软件可靠性增长模型.实例验证结果表明:与若干已有的同类研究成果相比,提出的基于Logistic函数的测试覆盖率函数、缺陷预计模型以及软件可靠性增长模型有效地提高了函数或模型对数据的拟和精度,且具有较好的适用性.