排序方式: 共有13条查询结果,搜索用时 15 毫秒
1.
循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性关系,循环不变式能够有效刻画循环中的变量关系。本文基于线性不变式和多项式循环不变式的生成,将循环的停机性验证转化为求解一个最优化问题,给出了一个实用的程序停机性验证框架。基于该框架可以自动地验证程序的停机性,并给出循环的复杂度上界。实验结果说明了该方法的实用性。 相似文献
2.
3.
程序安全性验证是程序验证的重要部分。基于不变式生成,将程序的安全性验证转化为验证不变式集合是否蕴含表示安全性的逻辑公式。针对简化的C程序,结合验证工具Theorema,在Mathematica平台上实现一个对程序安全性进行自动验证的工具。实验结果表明,该验证工具能够自动验证只含数值变量的C程序。 相似文献
4.
芳纶纤维布拉伸强度标准值的确定 总被引:1,自引:0,他引:1
完成了芳纶纤维材料8种规格的120个试件的拉伸试验,通过测试芳纶纤维布拉伸强度、弹性模量、伸长率,统计分析了芳纶纤维材料的拉伸应力一应变情况,并根据试验结果确定了芳纶纤维布的拉伸强度的标准值,为规范标准的编制制定提供了有益的参考. 相似文献
5.
随着E级高性能计算机系统组装密度成倍增加,结点规模不断扩大,监控分系统在可扩展性、可靠性、可服务性和高效运维上面临巨大挑战.针对这些挑战,从架构、网络、功能和运维4个方面介绍了监控分系统的设计思路,并通过原型系统验证了部分设计的可行性与优势,对未来E级系统的构建具有较大的支撑作用. 相似文献
6.
玄武岩纤维布加固钢筋混凝土梁抗弯试验研究 总被引:3,自引:0,他引:3
为对BFRP加固梁提供试验数据和理论依据,进行了8根玄武岩纤维增强复合材料(BFRP)加固梁和3根对比梁的抗弯性能试验研究,分析了BFRP粘贴层数、混凝土强度等级、剪跨等时加固梁的抗弯性能的影响.试验结果表明.梁的抗弯承载力和抗弯刚度随BFRP粘贴层数、混凝土强度等级增加和剪跨的减小而提高,但不成线性比例;随粘贴层数增加,U型箍加宽或增加可有效防止端部的早期破坏.根据试验分析,提出了梁抗弯承载力计算公式,计算结果和试验数据吻合较好,且优于<规程>(CECS146:2003)公式计算值. 相似文献
7.
层数对玄武岩纤维布与木材有效粘结长度影响的试验研究 总被引:1,自引:0,他引:1
进行了33个木材与玄武岩纤维布(BFRP)粘结试件的单剪试验,主要考察粘贴层数对BFRP与木材粘结性能的影响,测量了不同粘贴层数下BFRP与木材界面的应变分布规律。比较了在不同粘贴层数下BFRP与木材之间的极限荷载和粘结应力分布情况,结果表明,随着BFRP粘贴层数的增加,有效粘结长度呈增加趋势,在木材含水率为10%条件下,1,2,3层玄武岩纤维布与木材(福杉)的有效粘结长度分别在100,120,150mm左右;粘贴层数对木材与玄武岩纤维布的极限粘结荷载也有一定影响,随BFRP粘贴层数的增加,极限粘结荷载逐渐增加。 相似文献
8.
FRP-木材界面的粘结滑移关系是外贴纤维增强聚合物加固木结构受力分析的基础.对18块贴玄武岩纤维布试件的粘结性能进行试验研究,考察了贴布层数和BFRP粘结长度对粘结性能的影响,分析了BFRP应变和局部粘结剪应力发展及分布规律,计算得到局部粘结应力.滑移关系曲线.通过对试验结果的统计回归分析,基于Popovics模型提出了福杉顺纹方向的局部粘结应力-滑移本构关系模型,该模型与试验结果吻合较好,对于实际加固工程应用和相应规范的完善具有参考价值. 相似文献
9.
10.
用FRP材料修复或加固结构,荷载是通过粘结层在FRP与被加固构件之间传递的,所以粘结层的强度及耐久性对修复结构的整体性及安全性至关重要,研究FRP与被加固构件界面的应力分布和剥离机理对保证加固的有效性具有重要意义。近年来,许多试验及理论研究方法已经发展起来。 相似文献