简介:为研究7d二次水养护(20℃)对蒸压混凝土长期强度和耐久性能的影响,制作了混凝土试件并分别进行了标准养护、蒸压养护或蒸压+二次水养护.在试件28,90,180和360d龄期,进行了抗压强度、加速碳化和库仑电通量实验.此外,对180d龄期试件进行了压汞实验.结果表明:与标准养护相比,蒸压养护能提高混凝土的早期强度,但不利于混凝土的后期强度,且会降低混凝土的抗碳化与抗氯盐能力.通过向混凝土内补水,二次水养护可以细化混凝土内部微孔尺寸,减少混凝土中有害孔和多害孔所占的比例.因此,二次水养护可以有效地改善蒸压混凝土的长期强度和耐久性能,使其接近标准养护的水平.对应360d龄期,其对抗压强度、抗氯盐与抗碳化性能的改善幅度分别达到20.3%,48.6%和80.9%.
简介:生产者与消费者系统(PCS)是一个经典的进程同步问题,Hocine等学者运用抽象状态机(ASMs)对该问题进行了时序规约。文中主要使用TLA语言对PCS给出了一个时序规约模型,并且利用模型检测工具TLC对PCS进行检测。同时对系统的活性和互斥性也进行了检测,检测结果都满足系统规约。ASMs主要采用转移规则来规约PCS模型,中间的转移过程是无法知道的,TLA能同时规约出PCS的执行过程和系统属性。
简介:为解决马铃薯图片的分类检测问题,提出了基于卷积神经网络的图像分类方法.利用卷积神经网络自动学习图像特征的优势解决马铃薯图像的分类问题,分别研究了基于ResNet、DenseNet和CaffeNet的神经网络模型图像分类方法,比较了不同分类方法的准确率,同时利用可视化工具提取网络中的特征图,结合测试结果对网络模型进行调整,降低图像分类的错误率,并且针对样本容量较小时易造成网络模型过拟合的缺点,采用留一法和其他方法来处理样本图片,以提高训练的网络精度.该次研究中训练的三种神经网络模型正确地对马铃薯图像特征进行了提取,网络的识别准确率较高,达到了生产检测的标准.