Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK004.056.53
Issue:4 (68)
IMPLICATION AND EQUIVALENCE AS A BASIS FOR VERIFICATION
Annotation
The article deals with implication and equivalence functions used for verification of logical circuits and software products in the course of their design and implementation.
Keywords
Постоянный URL
Articles in current issue
- OPTICAL SYSTEM OF VARIABLE MAGNIFICATION IN THE MICROSCOPE LIGHTING APPLIANCE
- COMPUTATION OF OPTICAL CHANNEL WAVEGUIDE WITH ARBITRARY REFRACTIVE INDEX ALLOCATION USING B-SPLINE METHOD
- THIRD HARMONIC GENERATION AT REFLECTION FROM CRYSTAL OF HIGH-INTENSITY FEMTOSECOND RADIATION
- AUTOMATED CONTROL SYSTEM DEVELOPMENT OF THE AIRCRAFT AVIONICS
- MEASUREMENT ERRORS MODELING OF ONBOARD NAVIGATION DEVICES
- CRATE CREATION STRATEGY OF THE ONBOARD MULTIPROCESSING COMPUTING SYSTEM FOR THE FIFTH GENERATION AVIONICS
- RESTORATION OF NOISY IMAGES BLURRED ANGULARLY WITHOUT BOUNDARY CONDITIONS
- THE PARAMETRIC IDENTIFICATION OF THE TELESCOPE AZIMUTH AXIS BLDC ELECTRIC DRIVE
- DYNAMIC OBSERVATION OF NON-LINEAR BINARY DYNAMIC SYSTEM
- DEFINITION OF THE STEADY STATE VIBRATION ISOLATION SYSTEMS WITH TWO DEGREES OF FREEDOM
- CONTACT INTERACTION ANALYSIS IN THE MICROMECHANICAL GYROSCOPES
- THERMAL ANALYSIS OF ELECTRONIC COMPONENTS ON PRINTED CIRCUIT BOARD
- INVESTIGATION OF LANTHANUM GALLATES BY X-RAY DIFFRACTION ANALYSIS
- ION LITHOGRAPHY APPLICATION FOR NANOSCALE CHANNEL FORMATION IN GLASS MICROFLUID CHIPS
- PROBE FOR SCANNING ION-CONDUCTANCE MICROSCOPY
- MICRO- AND NANOMODIFICATION OF A METAL LAYER ON A POLYMERIC SUBSTRATE IN DYNAMIC AND STATIC FORCE LITHOGRAPHY MODE
- MATROIDAL REPRESENTATION FOR THE ADJACENCY GRAPHS FAMILY BUILT ON A SET OF KNOWLEDGE PATTERNS
- PACKAGE OF SEMIFORMALIZED MODELS OF IMITATING MODELING SYSTEM
- CODE SCALES ON THE BASIS OF NONLINEAR SEQUENCES FOR CONVERTERS OF ANGULAR MOVEMENTS
- SPECIAL VLSI FOR VIDEO DATA CONVERSION
- AUTOMATIC SUMMARY NEWS ABSTRACTING
- NUMERICAL MODELING OF VENA CAVA FILTER PLACEMENT AND ITS EFFECT ON HAEMODYNAMICS
- COMPUTATIONAL ASPECTS OF TUBERCULOSIS SPREAD SIMULATION
- CONCEPTUAL MODEL FOR THE EXTRACTION OF LEARNING OUTCOMES FROM THE EXCESSIVE EDUCATION CONTENT
- THE ORIGIN OF OPTICAL PRODUCTION IN PRE-REVOLUTIONARY RUSSIA (I. Ya. URLAUB FACTORY OF OPTICAL INSTRUMENTS)
- ABOUT SKILLED PERSONNEL TRAINING FOR THE RUSSIAN INDUSTRY AT THE TURN OF XIX-XX CENTURIES (MEETINGS OF RUSSIAN PERSONALITIES ON PROFESSIONAL AND TECHNICAL EDUCATION)
- SELECTION AND ANALYSIS METHODS FOR KEY PARAMETERS OF LOW-LEVEL MULTISPECTRAL SYSTEMS FOR VISIBLE AND SHORT-WAVE INFRARED RANGES
- IMAGE LINEAR SHIFTS AND ROTATION ANGLE ESTIMATION FOR ELECTRONIC OPTICAL SYSTEM MOVEMENT RELATIVELY TO OBSERVABLE SCENE
- OPTICAL-ELECTRONIC SYSTEMS FOR INDUSTRIAL BUILDINGS MONITORING ACCORDING TO THEIR ELEMENTS POSITION
- MULTIPLEX HOLOGRAMS ON PHOTO-THERMO-REFRACTIVE GLASS
- THERMAL TREATMENT INFLUENCE ON REFRACTIVE INDEX OF PHASE VOLUME HOLOGRAMS BASED ON SILICATE PHOTO-THERMO-REFRACTIVE GLASS
- EVALUATION OF SPORTSMAN COMPETITION PREPAREDNESS BASED ON GAS DISCHARGE VISUALIZATION METHOD