Collection
2 Matching Results
Results open in a new window/tab.
Results:
1 - 2 of
2
A Formal Notation for Hardware and Software Verification
Some years ago a theory was published describing compilation of digital logic system build descriptions (list of behaviors for elementary components and connections between them) into recursively computable system behavior descriptions. The current work describes an analogous theory for computer programs.
Date:
October 1986
Creator:
Chapman, Richard O. & Gabriel, John R.
System:
The UNT Digital Library
Motion-Dependent Fluid Forces Acting on a Tube Row in Crossflow
Motion-dependent fluid forces acting on a tube row with a pitch-to-diameter ratio of 1.35 are measured for several flow velocities and a series of oscillation frequencies. Fluid-damping and fluid-stiffness coefficients are obtained from motion-dependent fluid forces as a function of reduced flow velocity. Fluid-force coefficients agree reasonably with published data. Based on the fluid-force coefficients, the critical flow velocity and instability characteristics of tube arrays in crossflow can be predicted.
Date:
October 1986
Creator:
Jendrzejczyk, J. A. & Chen, Shoei-Sheng
System:
The UNT Digital Library