Collection
Year
Month
3 Matching Results
Results open in a new window/tab.
Results:
1 - 3 of
3
Deriving Properties of Systems from Properties of Parts and Lists of Connections
This paper presents an algorithm in PROLOG for compiling recursively computable descriptions of system behavior from computable descriptions of behavior for parts and lists of interconnections. We give a set of conditions that must be satisfied by various data structures in the computation. It seems possible to provide an informal verification (by hand) that these conditions are true also of the output.
Date:
December 1986
Creator:
Gabriel, John R. & Chapman, Richard O.
System:
The UNT Digital Library
Tube Vibration in Industrial Size Test Heat Exchanger (Pitch-to-Diameter Ratio 1.42)
Report on an ongoing experimental program to systematically test industrial shell-and-tube exchanger configurations for the occurrence of potentially-damaging tube vibration as a function of flow rate.
Date:
December 1986
Creator:
Halle, Henry; Chenoweth, James M. & Wambsganss, M. W.
System:
The UNT Digital Library
An ITP Workbook
This collection of exercises has been prepared to teach the use of the automated reasoning system ITP. Previous knowledge of automated reasoning is not presumed. The exercises are designed for use with the UNIX operating system.
Date:
December 1986
Creator:
Kalman, John A.
System:
The UNT Digital Library