排序方式: 共有164条查询结果,搜索用时 156 毫秒
31.
对CTCS-4的无线通信系统的故障恢复模型进行了研究,使用Event-B对CTCS-4无线通信系统的故障恢复过程进行建模.通过证明义务对模型的逻辑正确性和完备性进行验证,证明其可以满足要求. 相似文献
32.
33.
不同级别的岩体具有不同的物理力学指标,根据物理力学参数的区间特性,引入区间分析方法,把各个参数当作区间变量,据此分析计算出隧道嗣岩位移大小的区间,为今后工程设计、施工中的同岩变形预留量提供一个定赶的参考范围。 相似文献
34.
利用差热分析(DTA)和在不同温度下加热-急冷,并结合金相组织观察的方法研究了AZ31镁合金的凝固相变温度及凝固组织变化特征.通过对AZ31镁合金DTA曲线的分析和不同温度下金相组织的比较、分析,确定了该合金的相变起始温度为430.1℃,共晶温度为438.5℃,固相线温度为614.4℃,液相线温度为636.4℃.同时,通过对不同温度下急冷试样的组织观察,分析了AZ31镁合金在凝固过程中的相变及组织演变特征,并确定了差热分析所得相变温度的准确性. 相似文献
35.
To improve the signal detection performance of binary-sequence frequency hopping communication when the complementary channel is jammed,a binary-sequence freque... 相似文献
36.
高速公路服务区功能定位的探讨 总被引:1,自引:0,他引:1
我国高速公路事业的快速发展,促进了高速公路服务区功能的转变,这种功能的转变与我国经济社会的发展是分不开的。对服务区的停车、休息、如厕等基本服务功能的开发已不能满足高速公路经营企业追求经济效益的要求。因此,对高速公路服务区做出科学合理的功能定位十分必要。 相似文献
37.
38.
39.
40.