Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK004.4'242
Issue:1 (77)
Download PDF0 Kbyte
SCENARIO-BASED FINITE STATE MACHINE INDUCTION USING SAT-SOLVERS
Annotation
The article deals with the method of finite state machine induction by test scenarios using SAT-solvers. Successful application of the method to the induction of alarm clock finite state machine is shown. Induction of appropriate finite state machine is consistent and algorithm operation time is less than one second of CPU time on average personal computer.
Keywords
Постоянный URL
Articles in current issue
- STRUCTURE FORMATION PRINCIPLES OF INTERFERENCE BEAM SPLITTERS
- CHOIСE OF MULTIWAVE AEROSOL LIDAR PARAMETERS FOR REMOTE ATMOSPHERE SOUNDING
- INVARIANT MODEL FOR ESTIMATION OF THE ATMOSPHERE TRANSMITTING EFFICIENCY AT OBJECTS MONITORING IN THE OPTICAL SPECTRAL RANGE
- SPECTRUM RESEARCH OF DNA MOLECULE IN THE TERAHERTZ FREQUENCY DOMAIN
- COMBINED METHOD OF RED BLOOD CELLS COUNTING ON BLOOD SMEAR IMAGES
- QUANTUM CRYPTOGRAPHY SYSTEM WITH A SINGLE PHOTON SOURCE BASED ON THE SPONTANEOUS PARAMETRIC SCATTERING EFFECT
- IDENTIFICATION OF THE LINEARLY VARYING FREQUENCY FOR THE SINUSOIDAL SIGNAL
- IMPROVED TIME-FREQUENCY ANALYSIS ALGORITHM OF BARELY VISIBLE RADAR STATIONS SIGNALS, BASED ON WINDOWED FOURIER TRANSFORM
- APPLICATION OF QUALITATIVE EXPONENTIAL INSTABILITY CONDITIONS FOR DYNAMIC PROCESSES ESTIMATION
- SERVO ACTUATOR CONTROL SYSTEM WITH NON-RIGID EXECUTIVE AXLE
- ANALYSIS OF ENERGY PERFORMANCE OF MULTILEVEL SEMICONDUCTOR CONVERTERS OF ELECTRIC DRIVE SYSTEMS
- SIMULATION ENVIRONMENT OF REAL-TIME AGENT-BASED SYSTEMS
- EFFECTIVE INFERENCE IN PRODUCTION RULES MODEL WITH COLUMN-ORIENTED DATABASES
- ONTOLOGY EXTRACTION FROM WIKI-SYSTEMS
- KEY PHRASES EXTRACTION
- IMPLEMENTATION ASPECTS OF SPEECH RECOGNITION APPLICATIONS IN CUSTOMER-SERVICE CALL CENTERS
- FITNESS FUNCTION CHOOSING FOR GENETIC ALGORITHMS WITH REINFORCEMENT LEARNING
- AUTOMATIC SOLUTION MODIFICATIONS FOR TESTING SOLUTION CHECKERS
- TREES APPLICATION FOR MULTI-DIMENSIONAL ARRAY MASS UPDATES
- GENETIC ALGORITHM APPROACH TO OBSERVER'S OPTIMAL TRAJECTORY DESIGN
- GENETIC PROGRAMMING APPLICATION FOR CELL AUTOMATA GENERATION
- AIRFOIL FORMATION SETTING FOR GAS BEARINGS
- MICROFLUID CHIPS FOR BIOLOGICAL OBJECTS RESEARCH BY METHODS OF HIGH-RESOLUTION MICROSCOPY
- STEGANOALGORITHM CREATION BASED ON FORMAT AND SPATIAL PRINCIPLES OF THE DATA HIDING
- ESTIMATION METHOD OF UNAUTHORIZED INTRUSION PROBABILITY DETECTION BY PASSIVE INFRARED DETECTOR
- AUTOMATED DESIGN AND RESEARCH SYSTEM OF WOODEN STRUCTURES WITH METAL GEAR PLATES
- DESIGN DECISION SUPPORT SYSTEM FOR SCIENTIFIC AND TECHNICAL INFORMATION DOCUMENTATION
- METHODOLOGY OF GRADUATE COMPETENCES EVALUATION
- ELECTRONIC DEVICE DESIGN AND MANUFACTURING IN A UNIFIED INFORMATION ENVIRONMENT FOR THE STUDENTS’ EDUCATIONAL PROCESS
- SETS OF THE VISUAL AND COMPUTATIONAL LABORATORY MODELS ON THE BASIS OF DIGITAL ELECTRONIC INFORMATION PROCESSING
- REFLECTION COEFFICIENT DECREASING METHOD OF FIBER BRAGG GRATINGS BY THE EFFECT OF PHOTOCHROMISM
- PARAMETRIC IDENTIFICATION OF BODIES’ INERTIA TENSORS ON SPHERICAL MOTIONS WITH SLOW SPIN
- INERTIA TENSOR IDENTIFICATION ON REVERSE-SYMMETRIC MOTIONS IN A FINITE ANGULAR RANGE