DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click HERE
to register or log in.
A Unified Approach to Composite MVL (Multiple-Valued Logic) with Monotonic Subfunction,
CHIBA UNIV (JAPAN) DEPT OF ELECTRONIC ENGINEERING
Pagination or Media Count:
The concept of composite multiple-valued logic CMVL is introduced. The CMVL has subfunctions in the subsets of logical values. The subfunctions, especially monotonic ones play role to make the system testable fault detectable and diagonosable. The CMVL contains C-type fail safe logic and A-type which have one monotonically increasing subfunction, and also contains some new logics, D-type with two monotonic ones, J-type with three monotonic ones etc. Classification and properties of these functions and systems are discussed using the concept of CMVL, and the properties give suggestions for design strategies of two valued or binary and multiple valued or higher radix testable logical systems.
APPROVED FOR PUBLIC RELEASE