Client／Server数据库模型下的并发控制与恢复技术

并发控制与恢复技术在client／server结构DBMS中有着极其重要的地位，直接关系到运行的正确性以及数据库的健壮性。在Client／Server结构中，进行日常事务处理时的首要任务就是保持缓存的一致性，这是进行并发控制的基础。本文详细地分析和研究了Client／SerVer中用到的缓存算法和恢复技术，指出了现有技术存在的不足，并对其发展趋势进行了展望。     

基于不变式生成的循环停机性验证

循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性关系,循环不变式能够有效刻画循环中的变量关系。本文基于线性不变式和多项式循环不变式的生成,将循环的停机性验证转化为求解一个最优化问题,给出了一个实用的程序停机性验证框架。基于该框架可以自动地验证程序的停机性,并给出循环的复杂度上界。实验结果说明了该方法的实用性。     

芳纶纤维布拉伸强度标准值的确定

完成了芳纶纤维材料8种规格的120个试件的拉伸试验,通过测试芳纶纤维布拉伸强度、弹性模量、伸长率,统计分析了芳纶纤维材料的拉伸应力一应变情况,并根据试验结果确定了芳纶纤维布的拉伸强度的标准值,为规范标准的编制制定提供了有益的参考.     

一个基于Mathematica平台的程序安全性自动验证工具

程序安全性验证是程序验证的重要部分。基于不变式生成,将程序的安全性验证转化为验证不变式集合是否蕴含表示安全性的逻辑公式。针对简化的C程序,结合验证工具Theorema,在Mathematica平台上实现一个对程序安全性进行自动验证的工具。实验结果表明,该验证工具能够自动验证只含数值变量的C程序。     

E级高性能计算机系统中监控分系统的挑战与设计

随着E级高性能计算机系统组装密度成倍增加,结点规模不断扩大,监控分系统在可扩展性、可靠性、可服务性和高效运维上面临巨大挑战。针对这些挑战,从架构、网络、功能和运维4个方面介绍了监控分系统的设计思路,并通过原型系统验证了部分设计的可行性与优势,对未来E级系统的构建具有较大的支撑作用。     

玄武岩纤维布加固钢筋混凝土梁抗弯试验研究

为对BFRP加固梁提供试验数据和理论依据,进行了8根玄武岩纤维增强复合材料(BFRP)加固梁和3根对比梁的抗弯性能试验研究,分析了BFRP粘贴层数、混凝土强度等级、剪跨等时加固梁的抗弯性能的影响.试验结果表明.梁的抗弯承载力和抗弯刚度随BFRP粘贴层数、混凝土强度等级增加和剪跨的减小而提高,但不成线性比例;随粘贴层数增加,U型箍加宽或增加可有效防止端部的早期破坏.根据试验分析,提出了梁抗弯承载力计算公式,计算结果和试验数据吻合较好,且优于<规程>(CECS146:2003)公式计算值.     

基于差分方程计算循环复杂度符号化上界

计算程序中循环的程序复杂度符号化上界可以验证程序的停机性.基于差分方程和最优化问题求解技术,给出了一种计算P*-solvable循环程序复杂度符号化上界的有效方法.分别针对含有赋值语句的循环和带条件分支的循环,提出了其程序复杂度符号化上界计算方法.与其他工作相比,该方法能够计算得到更精确的循环复杂度符号化上界,实验结果...     

层数对玄武岩纤维布与木材有效粘结长度影响的试验研究

进行了33个木材与玄武岩纤维布(BFRP)粘结试件的单剪试验,主要考察粘贴层数对BFRP与木材粘结性能的影响,测量了不同粘贴层数下BFRP与木材界面的应变分布规律。比较了在不同粘贴层数下BFRP与木材之间的极限荷载和粘结应力分布情况,结果表明,随着BFRP粘贴层数的增加,有效粘结长度呈增加趋势,在木材含水率为10%条件下,1,2,3层玄武岩纤维布与木材(福杉)的有效粘结长度分别在100,120,150mm左右;粘贴层数对木材与玄武岩纤维布的极限粘结荷载也有一定影响,随BFRP粘贴层数的增加,极限粘结荷载逐渐增加。     

玄武岩纤维布与木材粘结-滑移本构关系的试验研究

FRP-木材界面的粘结滑移关系是外贴纤维增强聚合物加固木结构受力分析的基础.对18块贴玄武岩纤维布试件的粘结性能进行试验研究,考察了贴布层数和BFRP粘结长度对粘结性能的影响,分析了BFRP应变和局部粘结剪应力发展及分布规律,计算得到局部粘结应力.滑移关系曲线.通过对试验结果的统计回归分析,基于Popovics模型提出了福杉顺纹方向的局部粘结应力-滑移本构关系模型,该模型与试验结果吻合较好,对于实际加固工程应用和相应规范的完善具有参考价值.     

怎样储藏高水分粮食

分析了引起粮食水分增高的原因，以及提出了如何稳定粮食水分的一些措施。