РОЗРОБКА ІНФОРМАЦІЙНОЇ МОДЕЛІ МОНІТОРИНГУ ЕКОСИСТЕМИ

Goal. Development of an information model for monitoring ecosystem data obtained from facilities to identify deviations from the standard, in real time, at a distance and make decisions to eliminate themMethodology. The development of the system was based on the Minimum viable product with minimal functionality. and the minimum cost of resources. The concept of system development is considered on the example of a reasonable dormitory, where one of the components of the system is the Internet of Things technology, in which different device connect to the Internet and interact with each other. The sensors allow the device to send data to a computer program that will collect and analyze it. This will allow you to effectively identify the problem in the event of deviations from the standard during the operation of s and will facilitate the prediction of possible accidents, malfunctions and their elimination.Results. Based on the analysis of the characteristics of microcontrollers and sensors, a wireless communication module installed in the device of the monitoring system was selected, and types of sensors were selected for collecting and further analysis of ecosystem indicators The structural elements of the subsystem and the code for the example of the board for the sensor have been developed. To implement the task, the open programming language Processing and development tools were chosen that would satisfy all the requirements and have the necessary functionality. TelegramBot was chosen as the interface for the ecosystem's automated storage database concepts. To connect hardware devices, APIs and Internet services, Node-RED was chosen as the programming tool. To write the bot, the RedBot package for NodeRED was used.Scientific novelty. An original solution is proposed for the development of an information model of ecosystem indicators in premises based on the element base of the selected monitoring module, communication protocols and an interface for interacting with the user through a chat bot.Practical significance. The system was tested on data obtained in the hostel KNUTD in may 2021. This environment is hosted on Amazon Web Services (AWS) EC2The test results showed the system's operability, the ability to receive and analyze information in real time and quickly respond to dangerous situations. All this will improve the life of students in the hostel and ensure themselves and their health from the influence of negative factors.

AUTOMATION OF CALCULATION OF HEAT-SHIELDING CHARACTERISTICS OF WINDOWS

The use of information modeling tools at all stages of the life cycle of a capital construction object allows you to analyze design information in order to make the most correct decision, while significantly reducing the uncertainty of processes by increasing the amount of data available for analysis. One of the labor-intensive processes at the design stage is the selection of the most suitable structural elements, including translucent structures. As part of the work, the normative and reference information related to the calculation of the heat-shielding characteristics of building structures has been analyzed, scientific developments and publications devoted to the automation of the implementation of heat engineering calculations using various software tools are considered. For the purpose of the study, two indicators were calculated: the normalized value of the reduced heat transfer resistance and the reduced heat transfer resistance of the window. To solve the problem, such automation tools as the Dynamo visual programming tool and the Python programming language were used, with the help of which a script was developed for calculating the thermal performance of windows for use in Autodesk Revit (Autodesk, Inc., USA). As part of the study, it was determined that the combined use of the Dynamo visual programming tool and the Python text programming tool, expanding the functionality of Autodesk Revit, made it possible to automate the task of calculating the reduced heat transfer resistance of a window and the normalized heat transfer resistance, taking into account conditions of a specific construction region.

Research and Development of Real-time High-precision GNSS Receivers: A Feasible Application for Surveying and Mapping in Vietnam

In recent years, the Global Navigation Satellite System (GNSS) has been widely applied insurveying and mapping. Currently, in Vietnam, dual-frequency GNSS receivers are quite extensivelyapplied with the real-time kinematic (RTK) measurement technique using a continuously operatingreference station network. However, high-accuracy GNSS receivers are often expensive, sometimes notmeeting the needs of users for specific applications. This research develops two types of low-cost highprecisionGNSS receivers for RTK positioning for different purposes. First, the millimeter precisionGNSS receiver used in real-time displacement monitoring is based on Trimble's BD970 mainboardtechnology and some other modules. These components are interconnected according to a standarddesign scheme and assembled in an enclosure to form a GNSS receiver. In addition, a GNSS datatransmission in the National Marine Electronics Association standard format by Networked Transport ofRadio Technical Commission for Maritime Services via Internet Protocol (NTRIP) has beendesigned and developed. The GNSS receiver after development is loaded with program code written inthe C# programming language, using the Arduino programming tool. Second, the GNSS receivers havethe centimeter accuracy for RTK positioning used in surveying and mapping based on U-blox'smainboard technology and some other modules. These modules are also connected together according toa standard design scheme and assembled in an enclosure to form a complete GNSS receiver. Theevaluation results show that the designed and developed GNSS receivers completely meet therequirements of surveying and mapping in coal mines in Vietnam, such as real-time monitoring oflandslides, surveying and topographical mapping and other surveying works to serve the mining process.

Crowdsourced Evaluation of Robot Programming Environments: Methodology and Application

Industrial robot programming tools increasingly rely on graphical interfaces, which aim at rendering the programming task more accessible to a wide variety of users. The usability of such tools is currently being evaluated in controlled environments, such as laboratories or companies, in which a group of participants is asked to carry out several tasks using the tool and then fill out a standardized questionnaire. In this context, this paper proposes and evaluates an alternative evaluation methodology, which leverages online crowdsourcing platforms to produce the same results as face-to-face evaluations. We applied the proposed framework in the evaluation of a web-based industrial robot programming tool called Assembly. Our results suggest that crowdsourcing facilitates a cost-effective, result-oriented, and reusable methodology for performing user studies anonymously and online.

Integrating Cardinality Constraints into Constraint Logic Programming with Sets

Formal reasoning about finite sets and cardinality is important for many applications, including software verification, where very often one needs to reason about the size of a given data structure. The Constraint Logic Programming tool $$\{ log\} $$ provides a decision procedure for deciding the satisfiability of formulas involving very general forms of finite sets, although it does not provide cardinality constraints. In this paper we adapt and integrate a decision procedure for a theory of finite sets with cardinality into $$\{ log\} $$ . The proposed solver is proved to be a decision procedure for its formulas. Besides, the new CLP instance is implemented as part of the $$\{ log\} $$ tool. In turn, the implementation uses Howe and King’s Prolog SAT solver and Prolog’s CLP(Q) library, as an integer linear programming solver. The empirical evaluation of this implementation based on +250 real verification conditions shows that it can be useful in practice. Under consideration in Theory and Practice of Logic Programming (TPLP)

Market Basket Analysis for Determination of Consumer Behavior at XYZ Stores Using R Programming

Data mining is one of the fields of science in the world of informatics which has an important role, especially with regard to data. There are many algorithms and methods that can be used to process data. The paper this time the author tries to conduct research on consumer behavior by using one of the data mining techniques, namely market basket analysis. This research uses the R Programming tool, where it is hoped that the research can be carried out effectively and efficiently. Based on the research conducted, it is known that there has been a significant purchase of several items that have been described as a plot. The tendency of consumers to buy several items followed by other items can be a consideration for arranging the layout of goods on the sales shelf or arranging product stock in a supermarket.

Honeysuckle

In-app privacy notices can help smartphone users make informed privacy decisions. However, they are rarely used in real-world apps, since developers often lack the knowledge, time, and resources to design and implement them well. We present Honeysuckle, a programming tool that helps Android developers build in-app privacy notices using an annotation-based code generation approach facilitated by an IDE plugin, a build system plugin, and a library. We conducted a within-subjects study with 12 Android developers to evaluate Honeysuckle. Each participant was asked to implement privacy notices for two popular open-source apps using the Honeysuckle library as a baseline as well as the annotation-based approach. Our results show that the annotation-based approach helps developers accomplish the task faster with significantly lower cognitive load. Developers preferred the annotation-based approach over the library approach because it was much easier to learn and use and allowed developers to achieve various types of privacy notices using a unified code format, which can enhance code readability and benefit team collaboration.