在南美哥伦比亚地区正在建设一项十分重大的地下基础设施工程,本文描述该工程出现的一些技术特征..这些工程,其中包括了:“Centro Parrilla”,对麦德林市中心的污水和饮用水管线网络进行修复和更新:“Parques del Rio”,以另一...在南美哥伦比亚地区正在建设一项十分重大的地下基础设施工程,本文描述该工程出现的一些技术特征..这些工程,其中包括了:“Centro Parrilla”,对麦德林市中心的污水和饮用水管线网络进行修复和更新:“Parques del Rio”,以另一条地下公路取代地表主要干线公路,与“Boston BigDig”同类工程相比较,这项工程涉及的规模较小;麦德林市的“North Interceptor”工程,一项极具挑战性的采用非开挖中微型隧道技术的工程。为了应对这类重大地下基础设施的建设挑战,以上的工程可以为哥伦比亚其他地区和南美其它城市展示一条技术路径。所以,对以上工程的描述将会涉及到有关设计和施工方面的问题.同时,也包括了社会和环境的影响问题:与社会影响相关的重要因素,在这类城区施工阶段之前。本文会进行一些相关考虑。总之,这些工程为我们提供了一些非常有价值的关于地下基础设施建设的经验,同时,施工中所暴露的问题也具有重要意义。展开更多
This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of p...This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of protocolsbased on RSL,and also provides an algorithm about this. Finally,taking the protocol AB as an example,a formal de-scription based on RSL is given.展开更多
文摘This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of protocolsbased on RSL,and also provides an algorithm about this. Finally,taking the protocol AB as an example,a formal de-scription based on RSL is given.