Bridge engineering; Prestressed concrete box girder; Rhombus cradle system; Checking computation; Probabilistic limit state;
机译:模型检查中计算系统的科学理论
机译:用于Mizar证明检查的Groebner基计算的外部CA系统接口
机译:芳族π桥对电子供体-桥-受体系统中电子输运性质的作用:前沿分子轨道的计算研究。
机译:金青岗大桥菱形支架系统检测计算
机译:分析工业生态,从摇篮到摇篮的原则以及替代包装交付系统。
机译:多尺度时空元模型检查验证生物系统多级计算模型的新方法
机译:鹤河大桥吊篮施工中挡块的检修与加固
机译:桥梁,浮动铝灯战术,ponton船摇篮的工程测试