![Scientific and technical journal «Priborostroenie»](/images/mag-pr.png)
A METHOD TO REVEAL UNDECLARED PERFORMANCE CAPABILITIES AND VALUES “DON’T CARE” OF A CALCULATION PROCEDURE
![Scientific and technical journal «Priborostroenie»](/images/mag-pr.png)
Annotation
Verification of calculation processes based on graph-analytic models governed by partially determined Boolean functions is considered. The problem is analyzed of retrieval of undeclared capabilities and open-circuits resulting from don`t care values with the use of Boolean control graph and cubical covering. Results are presented of cover construction for a Boolean graph and verification of don`t care values in the form of a cover for conjunction of identically zero relations-inequalities.
Keywords
Постоянный URL
Articles in current issue
- CLUSTER NUMBER ESTIMATION PROBLEM IN PARTITION METHO
- CREATION OF A COMMON INFORMATIONAL RESOURCE OF CORPORATE NETWORK IN SOCIAL ORGANIZATIONAL-TECHNICAL SYSTEM
- MEDICAL DATA-MEASURING SYSTEM FOR FUNCTIONAL DIAGNOSTICS
- ESTIMATION OF TOLERANCES ON COMPONENTS IN TECHNICAL REALIZATION OF CONTROL LAWS
- OPTIMIZATION OF FLYING VEHICLE DYNAMICS WITH DIFFERENT CRITERI
- AN INTELLECTUAL AGENT FOR SEMANTIC WEB
- A METHOD TO REVEAL UNDECLARED PERFORMANCE CAPABILITIES AND VALUES “DON’T CARE” OF A CALCULATION PROCEDURE
- ALGORITHMS OF PARAMETRICAL IDENTIFICATION OF ELECTROMECHANICAL SYSTEMS PROTECTED AGAINST HINDRANC
- TECHNIQUE FOR MEASURING THE TIME CONSTANT OF ELECTRIC DRIVE
- CIRCULAR GENERATOR ON PROGRAMMABLE LOGICAL INTEGRATED CHIP
- PARAMETERS OF SPHERICALLY SYMMETRIC DISTRIBUTION OF REFRACTIVE INDEX IN SPHERICAL AND CARTESIAN COORDINATE SYSTEMS
- APPLICATION OF INTEGRATED CRITERIA OF EFFICIENCY IN LASERS DEVELOPMENT AND EXPLOITATION
- ELECTRO-OPTICAL MODULATOR FOR FIBER OPTIC COMMUNICATION LINE