排序方式: 共有15条查询结果,搜索用时 0 毫秒
1.
2.
李夏 《铁路通信信号工程技术》2013,(Z1):189-191
首先叙述了形式化方法的概念和铁路信号系统软件安全技术规范,同时介绍了几种较为流行的形式化设计语言,同时也基于Z语言对列控ATP软件的移动授权分配功能规格进行了实例说明。 相似文献
3.
4.
5.
6.
李夏 《交通世界(建养机械)》2010,(12):145-146
随着科技不断进步,非现金收费作为交通管理部门为道路使用者提供的一种新的缴费方式和服务手段。其对于推进交通智能化建设.提升高速公路通行能力和通行效率,减缓收费站拥堵压力,进一步提高便民、利民服务能力.实现高速公路从管理型向服务型转变具有重要的意义。 相似文献
7.
8.
9.
10.
针对城市地铁穿越砂层时注浆预加固的材料问题,研究磷酸-水玻璃注浆材料的凝胶时间、凝胶形态和砂土固结体强度的影响因素以及工程应用材料配比,设计磷酸-水玻璃注浆材料室内凝胶性能试验和砂土固结体强度试验,并与传统的硫酸-水玻璃注浆材料进行系统性对比,最后根据室内试验选择合适的材料配比进行现场注浆试验。试验结果表明:1)磷酸-水玻璃混合液中,当磷酸的掺量增大时,磷酸与水玻璃的体积比增大,混合液的pH值减小,凝胶时间增大,存在一一对应的关系;2)磷酸-水玻璃混合液的pH值是磷酸-水玻璃浆液凝胶时间和凝胶形态的决定性因素;3)磷酸-水玻璃浆液中磷酸质量分数、水玻璃波美度和混合液体积比分别变化时,加固体抗压强度稍有变化,影响较小。 相似文献