Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK
Issue:4 (86)
Download PDF0 Kbyte
QUANTIFIED BOOLEAN FUNCTION SATISFIABILITY SOLVING METHODS APPLICATION TO EXTENDED FINITE-STATE MACHINE CREATION BASED ON SCENARIOS AND TEMPORAL PROPERTIES
Annotation
The question of automatic control systems application for design of systems with complex behavior is considered. A method of control state machine design for a given set of scenarios and temporal properties that must be met in the resulting automaton is proposed. The method is based on the reduction to the problem of quantified Boolean function satisfiability. The algorithm of function construction and the basic components of the resulting Boolean formula are described.
Keywords
Постоянный URL
Articles in current issue
- MICROLENS ARRAYS WITH “FLOATING” IMAGE EFFECT
- FABRICATION AND EXPERIMENTAL STUDY OF METAL NANOANTENNAS FOR PHOTOABSORPTION INCREASING IN ACTIVE LAYER OF THIN- FILM SOLAR BATTERY
- TORQUE RIPPLING OF UNIPOLAR MULTI-POLE ELECTRIC MOTOR WITH PERMANENT MAGNETS
- SOFTWARE APPLICATION FOR QUADROCOPTER FLIGHT ALONG PREDETERMINED TRAJECTORY
- RESEARCH OF PROCESSES IN CONTINUOUS SYSTEMS WITH MULTIPLE COMPLEX CONJUGATED EIGENVALUES OF THEIR STATE MATRIX
- AN OPTIMAL STRATEGY CREATION IN THE ITERATED PRISONER'S DILEMMA AGAINST THE FIXED SET OF ENEMIES
- FLOW ROUTING MODEL WITH LOAD BALANCING BY QUEUE LENGTH IN SOFTWAREDEFINED NETWORKS
- SELECTION SCREENING OF TRANSDUCERS CONNECTION IN A DUPLICATED COMPUTING COMPLEX
- SYNCHRONIZING OF PHYSIOLOGICAL SIGNALS FOR HUMAN INTELLECTUAL ACTIVITY BY MULTIFUNCTIONAL MEASURING COMPLEX
- RADIATION INFLUENCE IN THE RANGE OF 0.05 ÷ 2 THZ ON MITOCHONDRIAL MEMBRANE POTENTIAL
- STUDY OF ENTROPY PROCESSES IN THE HUMAN BODY BY ITS PHYSIOLOGICAL RHYTHMS
- NONLINEAR DYNAMICAL MODELING FOR INTERACTION PROCESSES OF HUMAN BREATHING AND TACHYCARDIA ON THE BASIS OF GIVEN MEASUREMENTS
- INFLUENCE ANALYSIS OF LOW INTENSITY TERAHERTZ RADIATION ON LYMPHOCYTES EARLY ACTIVATION MARKERS
- PHOTO STIMULATED MODIFICATION OF STRUCTURE FOR NANOMETER LAYERS OF POLYMETHINE DYE MOLECULES
- EXPERIMENTAL STUDY OF MOLYBDENUM CARBIDE FORMATION IN THE IMPULSE ELECTRIC EROSION DISCHARGE
- COMPACT NUCLEAR-MAGNETIC SPECTROMETER FOR EXPRESS-CONTROL OF LIQUID MEDIUM
- POLYMER NANOCOMPOSITES BASED ON POLYAMIDE 12 FILLED WITH NICKEL NANOPARTICLES
- KINETICS OF OXIDIZING ANILINE POLYMERIZATION. STATISTICAL ANALYSIS OF POLYANILINE NANOSTRUCTURE GROWTH
- TOTAL PHOSPHORUS ESTIMATING IN RIVER LUGA, GULF OF FINLAND, BY LANDSAT 5 (TM) SATELLITE IMAGERY
- LASER - ULTRASONIC GENERATOR APPLICATION FOR INTENSE - DEFORMED CONDITION DEFINITION OF PRODUCTS SPECIAL MATERIALS
- GENETIC ALGORITHM APPLICATION FOR PARAMETRIC SYNTHESIS OF EXTRUDER DESIGN
- TECHNOLOGY DEVELOPMENT FOR CREATION OF FUNCTIONAL ELEMENTS ON GYRO UNITS SURFACES
- IMPROVING ACCURACY OF PART-OF-SPEECH TAGGING IN DLP MORPHOLOGICAL ANALYZER
- MULTI-AGENT SYSTEM FOR INFORMATION MANAGEMENT AND ANALYTICAL SUPPORT OF REGIONAL SECURITY "SECURE VIRTUAL REGION"
- INFORMATION THREATS REPRESENTATION ON THE BASIS OF OPEN ENVIRONMENT MODEL
- CONCEPT OF PROTECTION SYSTEM FOR CHILDREN’S SAFETY ACCESS TO INFORMATION IN EDUCATION INSTITUTES USING RFID-TECHNOLOGY
- OPTIMAL RESERVATION OF AGGREGATED RADIAL CHANNELS
- FUNCTIONAL RELIABILITY OF REAL-TIME SYSTEMS
- QUANTIFIED BOOLEAN FUNCTION SATISFIABILITY SOLVING METHODS APPLICATION TO EXTENDED FINITE-STATE MACHINE CREATION BASED ON SCENARIOS AND TEMPORAL PROPERTIES
- GENERAL MODEL OF ROBOTIC SYSTEMS INFORMATION SECURITY