A Note on Easily Testable Realizations for Logic Functions

It is shown that at most, n + 3 tests are required to detect any single stuck-at fault in an AND gate or a single faulty EXCLUSIVE OR (EOR) gate in a Reed-Muller canonical form realization of a switching function.

Rank-Augmented LU-Algorithm for Computing Generalized Matrix Inverses

A rank-augmnented LU-algorithm is suggested for computing a generalized inverse of a matrix. Initially suitable diagonal corrections are introduced in (the symmetrized form of) the given matrix to facilitate decomposition; a backward-correction scheme then yields a desired generalized inverse.

State Minimization of Incompletely Specified Sequential Machines

A simple procedure for the state minimization of an incompletely specified sequential machine whose number of internal states is not very large is presented. It introduces the concept of a compatibility graph from which the set of maximal compatibles of the machine can be very conveniently derived. Primary and secondary implication trees associated with each maximal compatible are then constructed. The minimal state machine covering the incompletely specified machine is then obtained from these implication trees.

Elastic constants of triclinic copper sulphate pentahydrate crystals

Using an iterative technique to obtain the exact solutions of the cubic Christoffel equation, the 21 elastic constants of copper sulphate pentahydrate have been determined at 25°C by the ultrasonic pulse echo method. The elastic constants, referred to the IRE recommended system of axes, are c11=5·65, c12=2·65, c13=3·21, c14=−0·33, c15=−0·08, c16=−0·39, c22=4·33, c23=3·47, c24=−0·07, c25=−0·21, c26=0·02, c33=5·69, c34=−0·44, c35=−0·21, c36=−0·16, c44=1·73, c45=0·09, c46=0·03, c55=1·22, c56=−0·26 and c66=1·00 in units of 1010 N m−2.