简介:为了更好地设计和分析混凝土结构,对冲击荷载作用下混凝土材料的力学特性进行了研究.将混凝土材料看成实体和微裂纹组成的复合材料,其中实体由粗骨料和水泥砂浆基体组成.假设水泥砂浆基体为弹性的、均匀的和各向同性的.基于Mori-Tanaka理论和Eshelby等效夹杂理论建立了冲击荷载作用下混凝土材料的动态本构模型.同时,进行了混凝土和水泥砂浆的冲击压缩试验.实验表明:混凝土和水泥砂浆都是率相关材料.在相同的冲击速度下,混凝土比水泥砂浆具有更高的承载能力,但混凝土的最大应变低于水泥砂浆材料.不论混凝土材料还是水泥砂浆材料,随着冲击速度的提高,破坏实验后试件的尺寸都逐渐减小.更多还原
简介:生产者与消费者系统(PCS)是一个经典的进程同步问题,Hocine等学者运用抽象状态机(ASMs)对该问题进行了时序规约。文中主要使用TLA语言对PCS给出了一个时序规约模型,并且利用模型检测工具TLC对PCS进行检测。同时对系统的活性和互斥性也进行了检测,检测结果都满足系统规约。ASMs主要采用转移规则来规约PCS模型,中间的转移过程是无法知道的,TLA能同时规约出PCS的执行过程和系统属性。