Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK
Issue:1 (83)
Download PDF0 Kbyte
DATA VERIFICATION IN ISSUE SUPERVISING SYSTEMS BY PRODUCTION RULES
Annotation
The paper proposes a method of data verification in issues tracking systems by means of production rules. This model makes it possible to formulate declaratively conditions that the information containment should comply with and apply reasoning procedures. Practical application of proposed verification system in a real software development project is described.
Keywords
Постоянный URL
Articles in current issue
- ADAPTIVE OUTPUT CONTROL: SUBJECT MATTER, APPLICATION TASKS AND SOLUTIONS
- CONTROL APPROACH FOR NONLINEAR PLANT WITH PARAMETRIC UNCERTAINTIES AND INPUT DELAY
- SUBOPTIMAL CONTROL OF NONLINEAR MULTI-AGENT SYSTEMS
- DYNAMICAL SYSTEMS STABILITY STUDY BY THE PROPERTIES OF THE VECTOR PHASE SPEED FLOW THROUGH A CLOSED CONVEX SURFACE
- HYBRID ALGORITHM OF FREQUENCY IDENTIFICATION FOR MULTI-SINUSOIDAL SIGNAL
- INTEGRAL DIFFERENTIATING SPEED-GRADIENT ALGORITHMS IN MULTIPLE SYNCHRONIZATION ISSUES FOR VIBRATION UNITS
- DISCRETE-TIME ROBUST CONTROL FOR ROBOT-MANIPULATOR
- ANALYSIS AND PROCESSING OF ELECTROMYOGRAM SIGNALS
- IMPLEMENTATION OF INDUSTRIAL ROBOT-MANIPULATOR SETUPS IN EDUCATIONAL PROCESS
- ON OPTIMIZATION OF UNMANNED AERIAL VEHICLE APPLICATION FOR SEARCH AND TRACKING OF OBJECTS
- HOMOGENIZERS OF LASER RADIATION FABRICATED BY LASER GRAVING OF POLYMER FILMS
- METAFILMS CHARACTERISTICS FOR THE TERAHERTZ FREQUENCY RANGE AT THE GEOMETRIC PARAMETERS SCALING
- TERAHERTZ RADIATION INFLUENCE ON THE GROWING OF NEURITES
- FEMTOSECOND PHOTON ECHO ON SIZE-INHOMOGENEOUS QUANTUM DOTS OF ZINC OXIDE AT ROOM TEMPERATURE
- SIMULATION ERRORS OF HIGH-LOADED SYSTEMS IN GPSS WORLD
- HIERARCHY OF ALGEBRAIC BAYESIAN NETWORK GLOBAL STRUCTURES AS A SYSTEM OF GRAPHS AND HYPERGRAPHS
- TAG LINES EXTRACTION AND RANKING IN TEXT ANNOTATION
- DATA VERIFICATION IN ISSUE SUPERVISING SYSTEMS BY PRODUCTION RULES
- AGGLOMERATIVE CLUSTERING OF SOUND RECORD SPEECH SEGMENTS BASED ON BAYESIAN INFORMATION CRITERION
- PROGRAM SYSTEM AND INFORMATION METADATA BANK OF TERTIARY PROTEIN STRUCTURES
- FREQUENCY ANALYSIS OF RLE-BLOCKS REPETITIONS IN THE SERIES OF BINARY CODES WITH OPTIMAL MINIMAX CRITERION OF AUTOCORRELATION FUNCTION
- MINIMAL MODIFICATION OF AUTOMATA-BASED PROGRAMS INDUCED BY CHANGES IN THEIR TEST SCENARIOS
- PHASE GRADIENT METHOD OF MAGNETIC FIELD MEASUREMENTS IN ELECTRIC VEHICLES
- GALVANIC MAGNETIC PROPERTIES OF BISMUTH THIN FILMS DOPED WITH TELLURIUM MADE BY THERMAL VACUUM EVAPORATION
- EFFECT OF LASER MICRO STRUCTURING PROCESS ON ELECTROPHYSICAL PROPERTIES OF SIO2/SI SYSTEM
- SIMPLEX- METHOD AND ARTIFICIAL BASIS METHOD APPLICATION FOR ONBOARD EQUIPMENT DESIGN
- ANALYSIS OF WIRELESS SENSOR AND ACTUATOR NETWORKS DESIGN METHODS
- EVOLUTION MODELING METHODS APPLICATION FOR CIRCULATION OF DOCUMENTS OPTIMIZATION AT THE ENTERPRISE
- INFORMATION SECURITY RISKS OPTIMIZATION IN CLOUDY SERVICES ON THE BASIS OF LINEAR PROGRAMMING
- INTEGRITY CONTROL ALGORITHM FOR DEPERSONALIZED INFORMATION IN INFORMATION SYSTEMS OF PERSONAL DATA
- RAILWAY EMERGENCY SITUATIONS PREVENTION SYSTEM BASED ON GEOGRAPHIC INFORMATION TECHNOLOGIES
- DIGITAL WATERMARKS IN IMAGE FILES
- METHODOLOGICAL ISSUES OF TELECOMMUNICATION COMPANY PERFORMANCE ESTIMATION
- INNOVATIVE ACTIVITY OF BANK SYSTEM SUBJECTS AS A FORM OF REALIZATION OF ECONOMIC INTERESTS
- LINGUISTIC SIMULATOR ARCHITECTURE FOR QUICK COMMUNICATION SKILLS MASTERING IN A FOREIGN LANGUAGE