道路桥梁工程理论及施工方法研究目录

第1章 道路工程概论

1．1 道路运输及道路的发展概况

1．2 道路的分类、分级与技术标准

1．3 道路的基本组成

第2章 道路路线设计

2．1 道路平面设计

2．2 道路横断面设计

2．3 道路纵断面设计

第3章 道路交叉设计

3．1 概述

3．2 平面交叉设计

3．3 立体交叉设计

第4章 路基工程与施工

4．1 路基工程概述

4．2 路基的基本构造

4．3 路基设计

4．4 路基的防护与加固

4．5 挡土墙

4．6 路基工程施工

第5章 路面工程与施工

5．1 路面工程概述

5．2 路面基层和垫层

5．3 沥青路面

5．4 水泥混凝土路面

5．5 路面工程施工

第6章 桥梁工程概论

6．1 桥梁的组成与分类

6．2 桥梁的总体规划与设计

6．3 桥梁上的作用

6．4 桥面布置与构造

第7章 混凝土简支梁桥的构造、设计及计算

7．1 简支板桥的构造与设计

7．2 装配式钢筋混凝土简支梁桥的构造与设计

7．3 装配式预应力混凝土简支梁桥的构造与设计

7．4 简支梁桥的计算

第8章 其他体系桥梁及桥梁支座

8．1 连续体系梁桥

8．2 悬臂体系梁桥

8．3 斜拉桥

8．4 悬索桥

8．5 梁式桥的支座

第9章 拱桥的构造、设计及计算

9．1 拱桥概述

9．2 拱桥的构造

9．3 拱桥的设计

9．4 拱桥的计算

第10章 桥梁墩台的构造、设计及计算

10．1 桥梁墩台的构造与设计

10．2 桥墩的计算

10．3 桥台的计算

第11章 桥梁工程施工

11．1 梁桥的施工

11．2 拱桥的施工

参考文献 2100433B

本书阐述了道路工程概论，道路路线设计，道路交叉设计，路基工程与施工，路面工程与施工，桥梁工程概论，混凝土简支梁桥的构造、设计及计算，其他体系桥梁及桥梁支座，拱桥的构造、设计及计算，桥梁墩台的构造、设计及计算，桥梁工程施工等知识内容。不仅对不同道路的设计以及施工方法进行了介绍，还对不同体系桥梁的构造和设计进行了介绍。

因为伯姆及贾可皮尼建构的方式过于复杂，因此此证明没有回答结构化编程是否适用于软件开发的问题，而是引发了后续相关的讨论及争议。在两年之后的1968年，艾兹赫尔·戴克斯特拉就提出著名的“GOTO有害论”。

有些学者试图使伯姆及贾可皮尼的研究结果更加纯粹，因为其论文中没有用到从循环中间跳出循环的break及return指令，因此学者认为这是不好的实现方式，学者们鼓励每一个循环都只能有唯一的结束点，这种设计观点集成到1968至1969年开发的Pascal中。从1969年到1990年代中期，学校常用Pascal来讲授编程语言入门课程。

爱德华·尤登注意到1970年代时在有关是否用自动化方式改写非结构化程序一事，有二元对立的观点，反对者认为需要以结构化程序的方式去思考，而非一味改写，而赞成者的论点是这类的修改实际上可以改善大部分已有的程序。最早提出自动化改写程序概念的有1971年Edward Ashcroft及Zohar Manna的论文。

直接应用伯姆及贾可皮尼定理可能要引入额外的局部变量，也可能产生代码重复的问题，后者也称为loop and a half problem。Pascal受到这些问题的影响，依照埃里克·S·罗伯茨的实验研究，学习程序设计的学生难以用Pascal设计正确代码来解决简单的问题，其中甚至包括从数组中找寻一个元素的问题。一篇1980年由Henry Shapiro进行，而后被被罗伯茨引用的研究指出，若只用Pascal提出的流程控制指令，只有20%的人的解答是正确的，但若允许在循环中直接加入return的话，所有人都写出了正确的答案。

S. Rao Kosaraju在1973年证明只要允许可以从任意深度循环中多层次跳出，就可以将程序转换成结构化编程，而不用引入额外的变量。而且Kosaraju证明了存在一个严格的程序层次结构（现在称为Kosaraju层次结构），针对任一整数n，存在一个程序，其中包括深度n的多层次跳出，而且在不引入额外变量的条件下，无法用深度小于n的跳出来实现。Kosaraju称这种多层次跳出结构源于BLISS语言。BLISS语言中的多层次跳出形式为leave label，实际上在BLISS-11版本中才引入到BLISS中，原始的BLISS只有单一层次的跳出。BLISS语言家族不提供无限制的跳转指令，Java语言后来也引入类似BLISS语言中的多层次跳出指令。

Kosaraju的论文中有另一个较简单的结论：若程序可以在不用额外变量（及多层次的跳出）下化约为结构化程序，其充份必要条件是程序中没有一个循环有二个或二个以上的结束点。简单来说，此处Kosaraju定义的化约是指用相同的“基本动作”及判断，计算相同的函数，但是可能用不同的控制流程（此处的化约比伯姆及贾可皮尼定理中提及的范围要窄）。受到这个结论的启发，Thomas J. McCabe在他引入循环复杂度的论文中的第四部分，描述了对应非结构化程序控制流图（CFG）的Kuratowski定理。使控制流图变得无法结构化的最小子图是：

• 从循环测试以外的地方跳出循环

• 直接跳跃到循环中

• 直接跳跃到一个判断分支之中

• 直接跳出一个判断分支

McCabe发现上述这些子图不是彼此独立的，程序无法结构化的充份必要条件是控制流图中有子图有上述四种条件中的三种（或三种以上）。McCabe也发现若非结构化的程序中包括其中四个条件中的一个，它一定还会包含另一个。这也是非结构化的程序流程会纠结到类似意大利面的原因。McCabe也提供一个量化方式，说明一个程序和理想结构化程序之间的距离，并称其为本质复杂度。

到1990年为止，学者们提出许多消除既有程序中跳转指令，但又维持大部分控制架构的方式，也提出许多标示程序等价的方式，这些方式比简单的图灵等价要严格，以免造成类似上述大众定理般的转换结果。这些等价标示的严格程度指定了所需控制流结构的最小集合。1998年Lyle Ramshaw在ACM期刊的论文进行了相关的调查，也提出了自己的方法 。Ramshaw的算法也用在Java反编译器中，因为Java虚拟机有分支指令，以位移来表示分支跳转的目标，但高级的Java语言只有多层次的break及continue指令。Ammarguellat在1992年提出一种转换方式，回到强制单一结束点的作法。