CRISIS OF INDUSTRIAL PROGRAMMING TECHNOLOGY, UNDECLARED CAPABILITIES, AND DON’T CARE
Annotation
Verification of computational processes with graphical-analytical models driven by partially defined Boolean functions is considered. The problem under study consists in application of Boolean control box and cubic coatings to searching of undeclared capabilities and dead code as a result of don`t care. Examples of coatings for Boolean graph are presented, as well as verification of don`t care as a coating conjunction of relations-inequalities.
Keywords
Постоянный URL
Articles in current issue
- METHOD FOR REFINEMENT OF ATMOSPHERIC MODEL PARAMETERS IN AREA FORECAST OF CARRIER ROCKET SEPARATING PARTS FALL
- METEOROLOGICAL DATA DESCRIPTION AND DECODING TECHNOLOGY BASED ON ALGEBRAIC APPROACH
- HADAMARD — MERSENNE MATRICES AS A BASIS OF ORTHOGONAL TRANSFORMATION FOR VIDEO MASKING ENCODING
- CONTROL OVER OBJECTS UNDER UNCERTAINTY AND RESTRICTION TO INPUT SIGNAL AMPLITUDE
- SYSTEM OF TURBOCOMPRESSOR PROTECTION AGAINST SURGING
- SYNTHESIS AND OPTIMIZATION OF COMPUTATIONAL ALGORITHMS FOR SIGNAL PROCESSING BASED OF EXTREME CORRELATION METHOD IN HIGH-RESOLUTION ELECTROCARDIOGRAPHY
- CRISIS OF INDUSTRIAL PROGRAMMING TECHNOLOGY, UNDECLARED CAPABILITIES, AND DON’T CARE
- APPLICATION OF NEURAL NETWORK TECHNOLOGIES FOR EVALUATION OF GRANULAR SUSBSTANCE FLOW
- ALGORITHM FOR ADJUSTMENT OF COMPOUND MIRRORS OF LARGE-APERTURE TELESCOPES
- MODERNIZATION OF ABBE REFRACTOMETER AND THEORETICAL JUSTIFICATION OF INCREASE IN ITS ACCURACY
- OPTICAL-ELECTRONIC GAZ ANALYZER OF NITROGEN DIOXIDE CONTROL
- FORMATION OF SIO2/SI SYSTEM MORPHOLOGY UNDER THE ACTION OF EXCIMER LASER RADIATION
- ON POTENTIAL SENSITIVITY OF MAGNETIC SENSORS BASED ON GRANULAR SUPERCONDUCTORS