模型验证论文

论文摘要为在方钢管混凝土轴压承载力计算时考虑约束效应,在核心区混凝土中虚设压力拱,与钢管壁组成拉杆-拱受力模型,以此来考虑钢管对拱内混凝土的约束效应.所推导的轴压承载力计算模型...

论文摘要在土石坝工程中越来越重视岸坡与坝料之间的接触特性,将土体本构模型中使用较多的双曲线型硬化规律运用至接触面模型,提出了一个简洁的接触面本构模型,推导了接触面模型刚度矩阵表...

论文摘要铁路平交道口作为铁路安全的瓶颈,其作业流程的缺陷是导致安全事故发生的重要原因之一。而现有道口管理规范大部分只针对单线接车,对于双线双向接车没有给出详细的规范。为了丰富实...

论文摘要为了增强铁路道口控制系统设计的可靠性,使用一种形式化方法对该系统进行建模与验证.基于道口管理规范,在分析系统各类属性与事件流程的基础上,使用UML图方法并结合精化策略建...

论文摘要在对草莓的病源微生物污染调查中发现蜡样芽孢杆菌具有高的检出率。为比较不同温度和不同包装方式的草莓表面蜡样芽孢杆菌数量的变化情况,测定了7℃、15℃、25℃、30℃的温度...