ABSTRACT. The paper proposes the method and software tools for automated design and synthesis of parallel programs for field-programmable gate arrays (FPGAs) based on the algebra-algorithmic approach. The developed facilities provide the construction of parallel algorithm schemes by superposition of language constructs of Glushkov’s system of algorithmic algebra. Based on schemes, the corresponding source code in VHDL is automatically generated, which is further executed on an FPGA. The flexibility of reconfigurable FPGA architecture is very attractive for the realization of computationally complex algorithms and allows synthesizing high-efficiency solutions that differ from other architectures by substantially less energy consumption at similar performance rates. The approach to the automated design of parallel programs for FPGA is illustrated with an example of developing a genetic algorithm utilized at the training of multilayer neural networks. The results of the experiment consisting in executing the generated program code on an FPGA are given.

ABSTRACT. Investigation of informative representations of complex data is a rapidly developing field of research in machine learning. In this work we present a process of production and analysis of informative low-dimensional latent representations of real-world image data with neural network models of unsupervised generative self-learning. A model of convolutional autoencoder based on VGG-16 was used to produce a low-dimensional latent representation of aerial image data and the characteristics of distributions of several higher-level classes of terrain types were studied. The analysis of distributions demonstrated a landscape of compact and dense concept clusters for most studied concepts with good separation between concept regions. The results can be used in developing methods of effective learning with minimal labeled data based on the emergent concept-sensitive structure in the latent representations.

ABSTRACT. A control system for autopilot transport robots in warehouses has been developed to solve the problem of transportation, loading and unloading of the goods. The system is implemented on the basis of an organizational model of the mobile robots control process using a multi-agent approach. The proposed model describes the interaction of agents, the functions and the amount of work they perform, as well as the set of admissible states. The implemented algorithm for finding the shortest path in the virtual world of a warehouse to find needed targets. The developed system effectiveness has been demonstrated using computer simulations.

ABSTRACT. European Higher Education Area development, challenges of information civilization and the COVID-19 pandemic have highlighted the importance of digital tools for training and retraining of education professionals. Introducing these tools in educational process of formal and non-formal educational institutions served as an indicator of ICT problems for both educators and their students. It necessitated pedagogical research to identify attitude of educators and their experience in using digital tools in professional activities. The article presents the results of empirical study of this problem and suggests recommendations for improving the use of digital tools for teaching and learning. The empirical research involved conducting an e-survey of education professionals and analysing educational activities of NGOs. The developed questionnaire covered 17 questions and consisted of three parts: general information about the respondent, particular features of one’s use of digital tools, types of digital tools implemented in educational institutions. The obtained data revealed the respondents’ experience on the use of digital tools in distance learning; their assessment of prospects for digitalization of formal and non-formal education; readiness to master digital learning tools. The analysis of educational organizations activities included: Internet access of educational process participants at workplace; use of digital tools in educational activities and professional development; introducing e-management systems for educational process arrangements; self-assessment of educators' digital competence level; their attitude to the use of digital tools for professional development and common educational activities. Based on the research results methodological recommendations for managers and employees of formal and non-formal educational institutions are suggested.

ABSTRACT. This paper presents the chatbot as the way of learning individualization and individual work organization for high education appliers. Authors consider the methodology of teaching physics to foreign students in High Maritime Institution with national, psychological, linguistic and cognitive aspects examined. Data from Kherson State Maritime Academy was used for the analysis. Furthermore, functions and areas of usage in everyday life, professional and educational environments are defined in this paper. Also, a comparative analysis of platforms and their potential for the implementation of chatbots was held. Basing on the Telegram platform, ‘Your Physics Trainer’ bot was created for implementation into the educational process of future sailors of Kherson State Maritime Academy. An experimental research was conducted to test the effectiveness of the chatbot application in the learning process, which proved the expediency of its use.

ABSTRACT. The article presents the study of the performance efficiency of university teachers in the context of generational balance. The views of scientists on the problem of the generational theory in the field of higher education and science are presented. The use of tools for measuring teachers’ performance on the example of international scientometric databases and local systems for automated determination of performance results is presented, the prospects of its scalability in higher education institutions is proved. The dependence of the rating indicators of teachers` performance on the age of scientific and pedagogical workers is experimentally studied. The generational balance of teachers of higher education institutions is studied on the basis of the analysis of the ratio of age and publication activity of the most productive TOP teachers of universities occupying different positions of the consolidated ranking. A SWOT analysis of the generational balance of teachers of higher education institutions was conducted. The tendency of decrease of the percentage of young scientists among university teachers is revealed, the possible consequences are analyzed. The mechanisms of application of tools for measuring the university teachers` performance depending on the age category are described. The imbalance of different age groups of teachers indicates high risks of a generational conflict and may lead to a reduction of performance efficiency in the future. Performance measurement tools are an important factor for the implementation of educational management of higher education institution.

ABSTRACT. The article is devoted to the description of the educational ecosystem as an environment for creating conditions that increase the competitiveness of universities, organizations, territories, and regions. The article notes that society is on the verge of radical changes in the educational paradigm, as a result of which universities play a key role in the implementation of innovations and commercialization of scientific and technical developments. The authors substantiate the role of transformation processes in Industry 4.0, which require the formation of educational ecosystems in universities. It is shown that the ecosystem approach to education can be more efficient and effective compared to traditional hierarchical models. The components of the innovative educational ecosystem and the mechanisms of interaction of the subjects of the educational ecosystem are considered. A conceptual model of the digital education ecosystem based on educational and industrial clusters as a universal model of cooperation of complex nonlinear systems is proposed. The authors see the basis of the ecosystem as an innovative platform that allows you to regulate many horizontal communications, in the form of research centers, innovation laboratories, startup schools. The implementation of an innovative educational model of the ecosystem is illustrated by examples of innovative ecosystems Sikorsky Challenge, SoftServe Corporate University, and Innovation Center for IT Enterprises. The methodological basis of the study is a systems approach, competence approach, and theory of innovation development, the concept of open innovation, cluster concept, the concept of national innovation systems, the concept of Triple helix, and the model of the Quadruple helix. Relevance for education: Universities must become a center that creates the conditions and an enabling environment for knowledge management, technology transfer and educational programs, the formation of digital identity of graduates, and the digital transformation of society.

ABSTRACT. The article presents results of optimization of the railway transport system's parameters. The researches were made by computer simulation. The simulation model is developed based on real supply chains of iron ore concentrate from the Poltava Mining and Processing Plant (Ukraine) to transition points within Ukraine (Pivdennyi seaport, Izmail seaport, Chop rail station). The simulation model was developed and implemented in the AnyLogic and Java SE environment and is based on discrete-event and agent-based principles. The simulation model is the interaction by agents of the railway transport business processes, loading and unloading points, and vehicles. Due to results of the optimization and sensitivity experiments was possible to determine the optimal fleet of locomotives and cars; and to establish the basic transport-technological indicators of the annual transport work.

ABSTRACT. One of the main challenges in air cargo transportations is how to assign cargo in an aircraft without exceeding safety constraints and including profit aspects. Therefore, challenging work planning has to be done for each flight. The scientific works mention “aircraft cargo loading” as a term that can be used for different related problems like container selection, cargo packing, and loading cargo bins into the aircraft deck, etc. All of the searched models just focus on certain aspects, but in real practice load optimization is a more extensive problem that also refers to aircraft operations and handling service. Furthermore, some practical considerations have not been mentioned in the previous literature resources. The work highlights specific aspects, which particularize the role of aircraft load optimization and various criteria that influence on loading process itself and consequently on the air company work operations. The necessity of designing suitable methods that may solve the aircraft cargo load optimization problem within its multiple constraints leads to decomposing the problem and implementation of a decision-making algorithm. The following algorithm describes the predefined assignment of containers (Unit Load Devices) towards the aircraft cargo deck matching the multiple conditions and constraints to unload them in a finite sequence with respecting the center of gravity envelope and the weight and balance restrictions.

ABSTRACT. Systems employing technics of distributing data across multiple machines are widespread nowadays and demand significant expertise from operators. Oftentimes requirement of strong consistency from the data store is too expensive and unaffordable in practical systems. One of the approaches is an application of partial quorum systems with weaker consistency guarantees. Probabilistically Bounded Staleness (PBS) was introduced together with t-visibility consistency. The WARS model based on mentioned above theory is deliberated to give a tool to reason about data consistency by bounding a staleness of data. Further studying the PBS approach is a step towards better understanding and providing reasoning about consistency in distributed systems with partial quorums. The work presented in this paper is a proposition of an enhanced WARS model backed by experimental data to get a more precise view of a system.

ABSTRACT. Printed board circuits tracing program design need in testing steps. In case of preplanarization stage it is need to use planar graph data for test set. This paper presents a simple algorithm for generating a family of random planar graphs based on a triangulated graph that can be used in algorithms on graphs. The algorithm is based on the principle of removing random edges and generate both an adjacency matrix and a flat graph drawing. Generated graphs are connected undirected graphs without loops and multiple edges, without bridges and articulation points, without vertices with a local degree less than or equal to two. Results of performance measurement experiments are given.

ABSTRACT. This paper aims to develop a practical learning framework with the implementation of business analysis methods in ICT education. General issues of business analysis applicable in ICT education are analyzed. The BABOK Guide describes business analysis knowledge areas, tasks, underlying competencies, techniques, and perspectives on how to approach business analysis. Reasons for business analysis learning include its support of the case method approach with project-based learning as well as the development of students’ hard and soft skills. We prioritize business analysis activities and exercises applicable to ICT education. Taxonomy of learning effectiveness indicators related to business analysis is developed together with business analysis learning framework.

ABSTRACT. When designing modeling languages, researchers and practitioners often take contradicting positions. While the former argues for formal soundness and precise specification, practitioners aim for more flexibility in using a modeling language, i.e., by adapting it to a specific project context. The same distinction applies to the differentiation between modeling tools and drawing tools. While the former enables model processing functionality and supports modelers in creating only valid models, in practice, too often the latter tools (e.g., Visio or even PowerPoint) are used due to their ease of use and non-constraining nature. When aiming to introduce flexibility into modeling languages, one often needs to have metamodeling knowledge. Besides, changing the metamodel requires re-deployment of tools and hampers compatibility with previously created models. In this paper, we introduce the notion of modeling language jargons as a means to countervail these two contradicting positions. With such jargons, on-the-fly adaptation of modeling languages can be defined by business users without requiring metamodel changes. To illustrate the conceptualization and use of modeling language jargons we report on the Fractal Enterprise Model (FEM) language and the experience of using the FEM tool in practice.

ABSTRACT. The safety concept for clock constraints has already been coalgebraically studied for fully deterministic cyber-physical systems (CPS). But the corresponding control systems, as a rule, cannot be implemented in practice. There are many reasons for this, and the main one is the inability to collect accurate information about the state of the system in real-time. In this article, the theory of deterministic systems is generalised to the case of stochastic systems. The key tool for this generalisation is the use of the distribution monad. The advantage of the proposed approach is that it ensures that the previously proposed structure can be implemented in real-time systems that behaviour cannot be specified based on a deterministic approach.

ABSTRACT. The purpose of the present work is to describe the process of teaching students, considering such parameters as the level of competence, the level of motivation, the level of acceptance of the material. The method of random numbers was used for the evolution of parameters in time, as well as the hypothesis of  the dependence of the growth of competencies on other parameters. Several of such parameters have been tested. An algorithm and the software for it were developed, numerical experiments about the influence of parameters of studying on changes in students' competence over time were obtained. The plausibility of the different models of the teacher's influence on these parameters was estimated.

ABSTRACT. A number of problems arose during the implementation of the educational process in the context of the Covid-19 pandemic and the transition of universities to distance learning. Some of them are the implementation of the practical part of the physics program and the organization of students' independent work. For a partial solution of these problems, we offer a developed computer simulation on the topic "Studying Stokes's Law". As the development of professional competencies by future programmers, the students were offered the idea of creating this program. The simulation is broken up with the help of C ++ programming and the .Net Core framework in the Visual Studio IDE. The program interface is quite simple and user-friendly, contains 10 options. The theoretical data for the variants are selected in such a way as not to violate the logic of the physical process. Also, the program provides for safety conditions if a student enters incorrect data. In addition, a real laboratory setup was created. With its help, we checked the correctness of the results that the computer simulation gives. A separate task was to master the skills of processing experimental data using the Microsoft Excel environment. We found that the values of the viscosity of the liquid, which were obtained experimentally and with the help of computer simulation, practically coincide, the calculation error was 5-10%.

ABSTRACT. The object of the research is the Internet of Things system and its component, the Smart Home system. The subject of the research is machine learning methods and neural networks. The purpose of this work is to study methods for predicting climate control indicators (air temperature, humidity level, air conditioning, air filtration) for the development of a "Smart Home" system that unites all devices in the room (air conditioners, split systems, underfloor heating, radiators) into a single network This ensures control over the process of their interaction, increases the level of comfort for residents and guarantees significant energy savings. Research methods ̶ methods of system and object-oriented analysis, machine learning methods. To implementation the set goal, the analysis of Internet of Things and Smart Home technologies was carried out in the work; devices and their indicators to ensure climate control in smart home systems. The use of neural networks for solving the problem of predicting climate control indicators in smart home systems has been substantiated. As the apxitecture of the artificial neural network, a multilayer perceptron with feedback was chosen; reinforcement learning method is used; the backpropagation method was chosen as the learning algorithm. A control system based on a neural network was presented to create a Smart Home system. An artificial neural network has been built to predict climate control indicators and trained. Simulation modeling of the presented neural network using the Matlab environment and software implementation of the system using Java have been performed. The paper presents a model of an artificial neural network, which makes it possible to increase the efficiency of the climate control system in a smart home due to more stable results when making forecasts of dynamic environmental indicators. Simulation modeling of the developed artificial neural network using the Matlab environment and software implementation of the system using Java have been performed.

ABSTRACT. Facing novel challenges, we have proposed the innovative-digitalized educa-tional-scientific ecosystem "SMART-TNPU" which was invented at Ternopil Volodymyr Hnatiuk National Pedagogical University (TNPU). The particular traits of the "SMART-TNPU" are its interactivity and opportunity for close interplay between different structural components. The ecosystem "SMART-TNPU" composes from several structural components namely technology, education, science, administration, management and marketing which are permanently cooperate and being coordinated by each other. The technologi-cal aspect plays an important role in the implementation of the SMART-TNPU ecosystem. The experience of TNPU IT infrastructure development, local and cloud digital space, as well as the evolution of SMART-TNPU eco-system performance have been described. The peculiarities of the develop-ment of the digital educational environment of TNPU as an important com-ponent of the ecosystem "SMART-TNPU" in the context of the development of digital competence of students and academic staff have been analyzed. The organizational component (structural centers and laboratories; corporate standards); content component (educational and methodological aspect); and monitoring component pertain to constituents of the digital educational envi-ronment. One of the results of "Digital Science" and "Digital Management" intercommunication is modern and prospective degree programs (e.g. BA program "Game study"). One of the more significant findings to emerge from this study is that only essential collaboration and interplay between all struc-tural components of Smart-University ecosystem with deep involvement of human resources within University developmental Strategy could provide visible way to success.

ABSTRACT. The article deals with one of the possible ways of modernization of pedagogical education in Ukraine in order to train teachers of the new generation and to provide conditions for the formation and development of modern alternative models of teachers’ professional and personal growth on the principles of SMART-education concept. The problem of future natural sciences teachers training to use SMART-technologies in the professional activity as the condition for realization of the SMART-concept in education is actualized. The advantages of SMART-technologies use in the study of objects and phenomena of wildlife have been substantiated. They allow the formation of holistic thinking of both students and schoolchildren by combining figurative and logical thinking and strengthen the emotional and value perception of wildlife objects. Methods of formation of future natural sciences teachers’ readiness to use SMART-technologies in the educational process, which involves the realization of a dual goal: the formation of the ability to use the resource SMART-concept in education to implement their own lifelong education and providing quality professional activities during teaching natural sciences school course have been highlighted. The foundation of the proposed methodology constitutes module “Methods of using SMART-technologies”, which is a component of the discipline “Methods of Biology teaching”. The content and means of its studying by students, tasks for the organization of independent work, tests, criteria and indicators of the level of students’ abilities and skills formation to use the SMART-complex (motivational-value, cognitive, activity-constructive, reflexive and evaluative) have been developed. The effectiveness of the proposed methods on the basis of determined criteria has been proved experimentally.

ABSTRACT. The article describes the essence of pedagogical strategy the Inquiry-based learning (IBL). It considers the features of the pedagogical strategy IBL application in the educational process of higher education institutions during teaching of mathematical disciplines (Inquiry-based mathematics education, abbr. IBME). There are indicated some difficulties to implement the IBME paradigm in the context of blended learning, which limits direct "live" contact between the teacher and students, and students among themselves. Modern techniques are able to compensate "live" communication sufficiently, moreover it is not lost completely due to the blended learning. The most important task on which the article focuses is the search for the digital tools that would help implement the main idea of IBME. It is active and research-oriented teaching of mathematics on a constructivist basis, which optimally combines individual (autonomous) and group work of students. Possibilities are revealed, and the expediency of using the virtual platform GeoGebra Classroom in IBME classes is argued. In particular, this expediency is justified to ensure the research orientation of teaching higher mathematics on the basis of inquiry and own experience, effective pedagogical control of students individual work and team work developing their own knowledge. In the article there are stated examples of practical exercises in the disciplines "Mathematical analysis" and "Projective geometry and image methods", which illustrate the way how not to lose the opportunity to form ability of students to learn independently through implementing the principle of collaborative learning.

ABSTRACT. In the article the authors substantiate the necessity for improvement of adaptation mechanisms in man-machine systems. They set a task of optimizing the man-machine interaction; describe the use of functional networks for ergonomic design tasks’ solution. There are introduced the concepts of “controlled functional network” and “neural functional network”, the principle of multi-stage optimization of man-machine interaction. The offered method differs from the existing ones: 1.by interconnecting functional and neural networks; 2. by the possibility of multiple (in the course of work) adaptation (optimization) of the system "tailored to a man", which provides properties of adaptive man-machine interaction.