The problem of crystal structure of the martensitic B1 phase of the eutectic alloy in the Cu-Al system still requires a more accurate clarification (Hun ger and Dienst 1960, Tarora 1949). Martensitic phases in general are formed through small thrust (shear) deformations of the original lattice. On this basis the results of Hunger and Dienst (1960) are doubtful, since the lattice constants found by them have required a considerable reclassification. From the known lattice constants of the B1 phase (Tarora, 1949) and the orientation relationships of the B1 phase (Wassermann, 1934) one has expected a hexagonal lattice for the martensitic phase with [formula].

The problem of the reduction of an arbitrary truth function to the minimal union of basic cells is discussed. The solution to this problem has applications to pattern recognition and logical circuit design. An algorithm is presented that solves the problem and generates the class of minimal unions. It partitions an arbitrary truth function into a well-defined set of subfunctions (components) in such a way that the partition is invariant under all transformations that preserve the topology of the original truth function.

A variable-length vacuum-insulated liquid hydrogen transfer line is described. The vacuum system is semi-permanent, and segments of the line are assembled with only threaded vacuum fittings. Thermal stress calculations are presented for a statically indeterminate union coupling.