排序方式: 共有226条查询结果,搜索用时 0 毫秒
41.
对CTCS-4的无线通信系统的故障恢复模型进行了研究,使用Event-B对CTCS-4无线通信系统的故障恢复过程进行建模.通过证明义务对模型的逻辑正确性和完备性进行验证,证明其可以满足要求. 相似文献
42.
43.
不同级别的岩体具有不同的物理力学指标,根据物理力学参数的区间特性,引入区间分析方法,把各个参数当作区间变量,据此分析计算出隧道嗣岩位移大小的区间,为今后工程设计、施工中的同岩变形预留量提供一个定赶的参考范围。 相似文献
44.
盖梁是桥梁结构中重要的受力部件,起着连接上下部结构的重要作用.盖梁设计需要通过上下部受力计算拟定盖梁尺寸并建立计算模型,进行内部受力分析. 相似文献
45.
46.
利用多维多点激励的反应谱法对某大跨曲线刚构桥进行了水平双向多点地震反应分析,与相同结构尺寸的直线桥进行对比分析.结果表明:多点激励对于桥墩受力是有利的,减少了桥墩顺桥向响应,且对横桥向响应影响不大;直线桥和曲线桥在水平双向多点激励下桥墩受力相差不大.多点激励对主梁的地震响应是不利的,较大地放大了主梁的地震响应,尤其对主... 相似文献
47.
48.
介绍了出口乌兹别克斯坦客运电力机车转向架的技术特点和技术参数,对机车运行安全性、动荷特性和运行平稳性试验结果进行了分析.结果表明,由于采用了驱动装置弹性悬挂技术,该机车各项动力学性能指标满足设计要求,特别是其横向性能较为优良. 相似文献
49.
50.