Transportation Engineering Commons^™

Soapbox: The Academic Research Fleet: An Exciting Time For Renewal, Larry Atkinson

CCPO Publications

(First Paragraph) Academic research ships in the United States are the envy of many scientists around the world. A great strength of our system is the diversity of ships and operators: users have a choice, the system can change. A weakness of the system is that very diversity: sometimes it is hard for us to act together. Nevertheless, we now must act together. The vitality of the academic fleet in the coming decades is at stake. The reason is simply because many of our ships, especially in the intermediate size range, will soon reach the end of their useful life.

Specification And Verification Of Generic Cell Rate Algorithms In Pvs, Huseyin Ozgungor

Electrical & Computer Engineering Theses & Dissertations

Formal verification methods have been considered as a powerful complementary approach to define standards and to prove correctness of the systems. In this work, formal specification of Generic Cell Rate Algorithms are defined and proved. The specification process enables standardization for constructing Generic Cell Rate Algorithms. Standardization is an important process in the Asynchronous Transfer Mode (ATM) networks. By employing formal methods, the necessary standards could be constructed to allow different algorithms to be employed which still meet system requirements. Those system requirements are quantified in the Quality of Service (QOS).

Congestion management is a vital concept for networks in …

The Crash Simulation And Analysis Of The Friendly Mobile Barrier, Bryan Edward Marz

Mechanical & Aerospace Engineering Theses & Dissertations

Mass transportation is an ever increasing alternative being researched and evaluated in today's society. With the increase of demand for such transportation, an increase in safety is also needed. This research entails the analysis of a new idea, The Friendly Mobile Barrier, in railroad crossing barrier design. The design is meant to prevent any approaching vehicle from crossing a railroad track and be survivable for those impacting the barrier.

Research conducted involves the crash simulation and analysis of the Friendly Mobile Barrier. The Friendly Mobile Barrier was analyzed structurally using finite element analysis. An advanced lumped-mass mathematical model software, Crash …