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.

Mathematical Modelling Of Road Bumps, E. S. Massawe

Tanzania Journal of Engineering and Technology (TJET)

In this paper, a general mathematical model that may be used for construction of a road bump on an inclined road is developed. It is shown that if the parameters for the inclination are set to zero, the resulting model reflects the special case of a flat road. Existing experiences are briefly highlighted and a case study was done on different locations along the University Road to demonstrate the developed model.

Application Of Vibrational Techniques In Determination Of Dynamic Properties Of Agricultural Products-State Of The Arton Of Vibrational Techniques In Determination Of Dynamic Properties Of Agricultural Products-State Of The Art, Silas Kajuna

Tanzania Journal of Engineering and Technology (TJET)

Vibration is one of the techniques employed in the determination of dynamic properties of fruits and vegetables. It entails generation of a mechanical or acoustic vibrational signal which is propagated through the flesh of the agricultural material. A transducer is either attached or held close to the specimen to monitor the propagation of the signal through the specimen. The manner in which the signal is transmitted through the material is analyzed, and the dynamic properties of the specimen which relate to its firmness or its internal being are derived. The technique has been around for the past 30 years or …

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 …

Waterways: Comprehensive Regional Plan Series Report Four, East Central Florida Regional Planning Council

City and Regional Planning -- Florida

A plan to make use of the lakes, rivers, canals, and oceans for commerce and other development