METHODOLOGICAL TOOLS FOR THE AUTOMATED VERIFICATION OF SQL QUERIES CORRECTNESS

2020 ◽  
pp. 97-101
Author(s):  
Н. Лапко А ◽  
А. Куцакин М ◽  
А. Дунаев В ◽  
В. Чемодуров М
Keyword(s):  
Automated System ◽  
Automated Verification ◽  
Logical Diagram

Статья посвящена автоматизации проверки правильности составления SQL-запросов. Детально описана методика проверки SQL-запросов на основе запросов-образцов и наборов тестирующих инструкций. Приведена структурная схема автоматизированной системы и схема логической структуры базы заданий. The article is devoted to the automated verification of SQL queries correctness. The technique of verification of SQL queries based on sample queries and sets of testing instructions is described in detail. The automated system structural schema and the logical diagram of the task database are presented.

scholarly journals PLATFORM AND SYSTEMS FOR AUTOMATED VERIFICATION OF PROGRAMMING TASKS: ANALYSIS, SELECTION CRITERIA AND EXAMPLE OF APPLICATION

2020 ◽  
pp. 154-164
Author(s):  
Tetyana Voloshyna ◽  
Olena Glazunova ◽  
Andrii Gurzhii ◽  
Oleksandra Parhomenko ◽  
Valentyna Korolchuk
Keyword(s):  
Programming Languages ◽  
Time Management ◽  
Information Technologies ◽  
Educational Practice ◽  
Practical Experience ◽  
Automated System ◽  
Automated Verification ◽  
Automated Systems ◽  
It Professionals ◽  
Criteria And Indicators

This article offers criteria and indicators for selecting systems and platforms for automated verification of programming tasks to train future IT professionals. The automated systems that are expedient to be used in the preparation of the students of IT profession are analyzed, namely: e-olymp, Algotester, Contester, PC2, NetOI Olympiad DOMjudge, ejudge, which are effectively used in the implementation of practical programming tasks in the framework of educational practice, independent working or preparing for a programming Olympiad. The study provides comparative characteristics of selected automated systems and platforms by defined criteria and indicators. 23 experts, who are scientific-pedagogical staff and have practical experience of training future specialists in the field of knowledge 12 «Information Technologies» in the specialties 121 «Software Engineering», 122 «Computer Sciences» and 123 «Computer engineering», were involved into the expert evaluation. Here is an example of using an ejudge automated system to train future IT professionals. 76 students of the 1st year of the Faculty of Information Technologies of the National University of Life and Environmental Sciences of Ukraine (NULES of Ukraine) were involved in the pedagogical research. The research identified technological criteria that should be followed when selecting systems and platforms for automated verification of programming tasks, namely: a clear interface; interactivity; conducting sports (olympic) programming competitions; possibility of self-registeration; compatibility with different programming languages; the possibility of multiple tasks; automatic code verification; development of personal skills (time management, communication) and convenience have been evaluated for each criterion by assigning a rank number.

An automated system to assess pilot performance in a Link GAT-1 trainer.

1974 ◽  
Author(s):  
Peter H. Henry ◽  
Roy A. Turner ◽  
Robert B. Matthie
Keyword(s):  
Automated System ◽  
Pilot Performance

Rancang Bangun Sistem Monitoring Pengukuran Volume Air Berbasis IoT Menggunakan Arduino Wemos

2020 ◽  
Vol 6 (2) ◽  
pp. 147-153
Author(s):  
Muhamad Yusup ◽  
Po. Abas Sunarya ◽  
Krisandi Aprilyanto
Keyword(s):  
Waste Water ◽  
Waste Water Treatment ◽  
Water Reservoir ◽  
Ultrasonic Sensor ◽  
Automated System ◽  
Volume Formula ◽  
Air Volume ◽  
Database Server ◽  
A Company ◽  
Height Data

System The process of counting and storing in a manual water reservoir analysis has a high percentage of error rate compared to an automated system. In a company industry, especially in the WWT (Waste Water Treatment) section, it has several reservoir tanks as stock which are still counted manually. The ultrasonic sensor is placed at the top of the WWT tank in a hanging position. Basically, to measure the volume in a tank only variable height is always changing. So by utilizing the function of the ultrasonic sensor and also the tube volume formula, the stored AIR volume can be monitored in real time based on IoT using the Blynk application. From the sensor, height data is obtained which then the formula is processed by Arduino Wemos and then information is sent to the MySQL database server via the WIFI network.

Rational Choice of Information Form Converters for Automated Systems in Construction

2020 ◽  
pp. 60-65
Keyword(s):  
Rational Choice ◽  
Construction Industry ◽  
Correct Choice ◽  
Automated System ◽  
Digital Code ◽  
Automated Control ◽  
Sigma Delta ◽  
Processor Core ◽  
Building Monitoring ◽  
High Level

In automated control systems for technical processes, the conversion of a continuous signal into a digital code and vice versa from a digital code to a continuous (analog) value is widely used. For direct type converters often used the term ADC, the reverse - DAC. The characteristics of the converters often dramatically affect the parameters of the entire automated system. The importance of the correct choice of ADCs and DACs has especially increased recently in connection with the mass introduction of microcontrollers MC. Indeed, in addition to the ADC and DAC, it is necessary to place the processor core in the microcontroller's crystal, I/O interfaces and many other elements necessary for the functioning of the MC. The use of information converters in the construction industry imposes additional requirements on converters: for example, in building monitoring systems, precision ADCs with extremely high accuracy are often required (while performance may be low), in other applications it is necessary to provide the necessary parameters at a high level of industrial interference, etc. This article explores issues related to the rational choice of ADCs and DACs, taking into account current trends in the IT field and the specifics of work in the construction industry. Sigma-Delta converters are noted as the most promising models of direct type converters.

1,25-Dihydroxy vitamin D assay with on-board sample purification on the IDS-iSYS automated system

2014 ◽  
Author(s):  
Jacqueline Tran ◽  
Dianne Bautista ◽  
Zoltan Seres ◽  
Loic Cornaut ◽  
Torquil Gundlach ◽  
...  
Keyword(s):  
Vitamin D ◽  
Automated System ◽  
Sample Purification
Sign in / Sign up

Export Citation Format

Share Document