My invention relates to turbines used in linear flowing current such as rivers, canals, any ocean current including tidal flow ebb and flood, wind and concentrated solar. The receptacle and thus the pressure transducer is slideable in the axial direction into and out of the open-ended collar. The first portion defines a passage for the flow of drilling fluid through the drill collar. The diaphragm is crimped to connect to the actuator housing, which is coated with an elastomeric bead. In a preferred embodiment, prior to performing the min-cut set analysis, implication based conflict-free and float-free analyses are performed on the bus.