Engineering Commons^™

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 …

Development Of A Critical Path Method Specification And A Training Program For Use Of Cpm For Kytc, Donn E. Hancher, Raymond F. Werkmeister, Sion L. Tesone

Kentucky Transportation Center Research Report

The Critical Path Method scheduling technique is outlined as it applies to KYTC projects. Special Provision 82 (94) and its requirements are outlined.

The Study Of Wave-Blocking And Current Effects On Nonlinear Interactions Of Shallow-Water Waves Using Advanced Boussinesq Models, Qin Chen

Civil & Environmental Engineering Theses & Dissertations

The first part of this work focuses on the derivation of enhanced Boussinesq-type equations for the combined motion of waves and currents in shallow water areas.

The strategy proposed in this work is to couple two known methods which are the sponge layer concept suitable for short waves and Sommerfeld radiation condition for currents. This coupling method provides satisfactory non-reflective boundaries for the simulation of fully coupled wave/current motion as demonstrated by the numerical experiments. We verify the model against the well known solutions based on the existing theories and good agreement has been observed. The numerical results confirm the …

Analysis Of Design Wind Speed Distribution Of Taiwan Area, Jing-Jong Jang, Jeng-Ru Lee

Journal of Marine Science and Technology–Taiwan

This paper thoroughly examines the basic design wind speed according to wind loading of building codes in Taiwan. The first part of this study contains Chi-Square test and K-S (Kolmogorov Smirnov) test on four common wind speed probability distribution models. The data to be tested are sampled from the annual maximum 10-minute average wind speed recorded by 25 weather stations of Taiwan Central Weather Bureau during the period from 1951 to 1990. The Type I Extreme Value model is determined and recommended as the best wind speed probability distribution model for Taiwan area. This paper then explores the probability of …

On The Rigid-Ideally Plastic Deformation Of Cantilever Bean Subjected To Tip Impact, Ming-Te Liang, Bon-Jofei Lee, Sen-Shyang Yang

Journal of Marine Science and Technology–Taiwan

This paper presents to study the resemblance and discrepancy between the rigid-plastic and elastic-plastic deformation of cantilever beams subjected to tip impact. For this, the theory of Ting's analysis [3] and calculation parameter obtained from Parkes [1] and Symonds and Fleming [4] are used for numerical computation. These results obtained from rigid-plastic deformation are compared with those results calculated by Reid and Gui [8] who used the non-linear finite-clement code ABAQUS for presenting the numerical solution of the elastic-plastic deformation of cantilever beams. No matter what rigid-plastic or elastic-plastic deformation, the kink phenomena of the plastic hinge arrest mechanism is …

Visual Inspection Of Keystone Block Wall And Embankment Slide At Mist Lake Plaza In Lexington, Kentucky, L. John Fleckenstein, David L. Allen

Kentucky Transportation Center Research Report

The Kentucky Transportation Center was requested by Bhate Engineering Corporation and A.B. Shopping Center Properties, Inc. to evaluate and monitor apparent movement in the Keystone Block retaining structure and the earth embankment located next to the Walmart Department Store at Mist Lake Plaza in Lexington, Kentucky. This report summarizes work that has been conducted to date. This work includes inspection of surface drainage, inspection of subsurface storm water drainage, inspection of the embankment, and inspection and photologging of current wall distress. At present, control monitoring points are being established (to be completed by the first of June).

The River Association Approach To Privatization Of Federal Hydro Projects, Michael K. Block

Dams: Water and Power in the New West (Summer Conference, June 2-4)

15 pages.

Greener And More Equitable: A Vision For Dams And Other Western Water Issues, Bruce C. Driver

Dams: Water and Power in the New West (Summer Conference, June 2-4)

10 pages.

Contains 1 page of references.

The Future Of Western Water Developments, John Keys

Dams: Water and Power in the New West (Summer Conference, June 2-4)

9 pages.

Divestment Of Federal Water Projects, A. Jack Garner

Dams: Water and Power in the New West (Summer Conference, June 2-4)

21 pages.

Contains references.

River Management In The Twenty-First Century: The Vision Thing, A. Dan Tarlock

Dams: Water and Power in the New West (Summer Conference, June 2-4)

12 pages.

Contains references.

Of Dams And Salmon In The Columbia/Snake Basin: Did You Ever Have To Make Up Your Mind?, Don B. Miller

Dams: Water and Power in the New West (Summer Conference, June 2-4)

106 pages (includes illustrations and maps).

Contains 4 pages of references.

Klamath Basin: Balancing Instream Flows With Irrigation And Power, Carl Ullman

Dams: Water and Power in the New West (Summer Conference, June 2-4)

15 pages (includes illustrations and maps).

Initiatives And Conflicts In Changing Federal Facility Operation, Lawrence J. Macdonnell

Dams: Water and Power in the New West (Summer Conference, June 2-4)

18 pages.

Contains references.

Glen Canyon Dam: Flood Flows And Adaptive Management In The Lower Colorado River Basin: Response, Joe Hunter

Dams: Water and Power in the New West (Summer Conference, June 2-4)

9 pages.

Contains references.

Life Begins At 50: Ferc Relicensing Under The Federal Power Act, Thomas N. Russo

Dams: Water and Power in the New West (Summer Conference, June 2-4)

5 pages.

Environmental Benefits Of Reoperation, Relicensing, Decommissioning And Recapture, Richard Roos-Collins

Dams: Water and Power in the New West (Summer Conference, June 2-4)

35 pages.

Contains footnotes.

Glen Canyon Dam: Flood Flows And Adaptive Management In The Lower Colorado River Basin, Edmund D. Andrews

Dams: Water and Power in the New West (Summer Conference, June 2-4)

11 pages.

Contains 2 pages of references.

Missouri River Basin: Balancing Upstream And Downstream Uses, John E. Thorson

Dams: Water and Power in the New West (Summer Conference, June 2-4)

20 pages (includes illustrations and maps).

Contains 1 page of references.

Integrating New Values With Old Uses In The Relicensing Of Kingsley Dam And Related Facilities (Making Part Of The Problem A Part Of The Solution), Margot Zallen

Dams: Water and Power in the New West (Summer Conference, June 2-4)

21 pages (includes illustrations and map).

Agenda: Dams: Water And Power In The New West, University Of Colorado Boulder. Natural Resources Law Center

Dams: Water and Power in the New West (Summer Conference, June 2-4)

Conference organizers and/or speakers included University of Colorado School of Law professors David H. Getches, Douglas S. Kenney, Kathryn M. Mutz, Elizabeth Ann (Betsy) Rieke, Charles F. Wilkinson and Lawrence J. MacDonnell.

The keynote address by Charles F. Wilkinson is titled Coming to Grips with Growth in the West: Traditional Communities, Free Rivers and the New Megalopoli, and it will be held on Monday, June 2, at 12:30 p.m. in the Lindsley Memorial Courtroom of the law school. Wilkinson is a noted law professor, writer and authority on Western issues.

The conference will begin by providing historical context for the …

New Demands For Tribal Rights To Federal Water And Power, Jeanne S. Whiteing

Dams: Water and Power in the New West (Summer Conference, June 2-4)

12 pages.

Coming To Grips With Growth In The West: Traditional Communities, Free Rivers, And The New Megalopolises, Charles Wilkinson

Dams: Water and Power in the New West (Summer Conference, June 2-4)

25 pages.

Contains 2 pages of references.

Restructuring Of The Electric Utility Industry: Free Markets And Environmental Protection, Rick Gilliam

Dams: Water and Power in the New West (Summer Conference, June 2-4)

12 pages.

Contains 1 page of references.

Restructuring Of The Electric Utility Industry: Free Markets And Environmental Protection: A Response, Bill Mcewan

Dams: Water and Power in the New West (Summer Conference, June 2-4)

12 pages.

Contains footnotes.

The Pacific Northwest Governors’ Comprehensive Energy Review: How Comprehensive?, Angus Duncan

Dams: Water and Power in the New West (Summer Conference, June 2-4)

43 pages (includes illustrations).

Contains footnotes and 1 page of references.

Dams: Their Costs And Benefits, Daniel F. Luecke

Dams: Water and Power in the New West (Summer Conference, June 2-4)

13 pages (includes illustrations).

Contains 3 pages of references.

Damming The West: Development Of Western Water Resources, Gilbert F. White

Dams: Water and Power in the New West (Summer Conference, June 2-4)

8 pages.

Environmental Engineering Design, Harold M. Cota, Samuel A. Vigil

Civil and Environmental Engineering

This paper outlines the capstone environmental engineering design course that has been used effectively at California Polytechnic State University. Senior level students work in teams on a multi-media industrial problem. The experience involves literature review, problem formulation, proposal writing, time management, technical and economic analysis and an oral and written presentation of the results. Feedback from alumni and employers has been positive.

Bs News

Building Services Engineering

No abstract provided.