Моделирование образовательных процессов на основе нейронечетких темпоральных сетей Петри

The article presents the results of a study aimed at analyzing the psychological phenomenon of «cognitive personality style». The research goal is to determine approaches to taking into account the cognitive styles of future software engineers in the process of professional training in educational programs of master's level. Methods. Basic research methods used were search and selection of relevant articles on the research problem in the Google Scholar search engine and bibliographic abstract database Scopus; analysis and generalization of scientific publications; study of the educational process. The results. The scientific publications on the problem of cognitive personality styles are analyzed. The modern interpretations of this concept and its characteristics are considered. In particular, it is established that cognitive style is a well-established individual ways of intellectual behavior of the individual. It is shown that the consideration of cognitive styles is important for achieving the goals of training future software engineers in master's degree programs, as one of the requirements for them is the ability to work in conditions of uncertainty. Methods of pedagogical design taking into account cognitive styles of personality in the process of professional training of future software engineers are offered. Conclusions. Professional training of future software engineers in a modern student-centered educational environment is based on individual qualities and cognitive processes of the individual. In addition, attention to cognitive styles of personality is increased as the sustainable ways of handling information are essential for successful activities in the information society. The relationship between the cognitive styles of the individual and the effectiveness of its activities is currently insufficiently studied, so there are a number of problems in the educational process that need to be addressed to achieve the goals of quality training of future software engineers. Based on the analysis of scientific publications and our own experience, we can offer the following approaches to taking into account the cognitive styles of higher education: building an educational process based on the formed cognitive styles for the formation of new knowledge; grouping students with different styles to work together; creating situations for the manifestation of atypical for the individual models of intellectual behavior.

Modelling vocational training of specialists for the speciality 017 “Physical culture and sports”: ways and methods of incorporating regional peculiarities and needs in conditions of the stage education

Cyber culture of the smart university creates the social significance of technological leadership. Internet andcyberspace change all the processes of life of each person. It is necessary to create a new market-oriented model of scientific and educational processes within the Smart Cyber University (SCU). The concept integrates the achievements of classical universities, technological cyber culture, and human desire for perfection through continuous education throughout their lives. The basis of the SCU is the structural organization of cyber physical system, focused on cloud management of the scientific and educational processes through its precise digitalmonitoring. The structure of the classical university includes the following components, which have to be digitized: science, education, human resources, infrastructure, relationships, management, roadmap, resources, and products. Legitimate relations are the main part of the SCU, which are based on the metric for measuring the quality of all the processes and phenomena. This makes it possible to completely eliminate corruption in the processes of resource distribution and personnel management through the metric evaluation of the activities of university departments and employees. SCU cloud services are focused on developing countries in order to helpthe progressive university leaders to eliminate the corruption, implement paperless technology for monitoring and management of scientific and educational processes, significantly reduce the time costs for organizing educational and scientific processes through online-cooperation. Cloud mobile management of SCU based on the metric measurement of all processes allows attracting foreign investment in scientific research, improve the quality of educational servicesand scientific results, the performance of the creative work of scientists and their standard of living.

This paper explores effective practices for transforming Master's programs into an online format, focusing on the Software Engineering and Cybernetics program at Siberian Federal University. The study's relevance stems from the rapid digitalization of education and growing interest in online formats, making Master's programs more accessible to working students. We present an analysis of successful practices for implementing online courses, including structural elements, design, content, multimedia, teaching methods, student interaction, assessment, and feedback. Special attention is given to the selection of an online learning platform, with Moodle being justified as the most suitable system for implementing the Master's program. The paper also presents a portrait of an online master's student, helping to identify needs and expectations, which aids in optimizing the educational process. The study emphasizes the importance of applying hybrid methods and complex systems approaches to create a high-quality educational experience and achieve program goals.

A collection of tools that support the construction and analysis of Petri-net models is described. These models are particularly well-suited to modeling hardware systems, such as pipelined processors. The focus is on a subset of the tools that comprise the P-NUT system. The features of the particular Petri-net model used which make the modeling of pipelining easy are highlighted. An example of a pipelined processor of moderate complexity is presented, and extensions needed to model even more complex systems are discussed. The types of analyses need to evaluate pipelined processors effectively are discussed. >

The paper considers the analysis of translatological trilingualism which is essential for cross-cultural exchange and translation studies. Today trilingualism is perceived as a form of multilingualism that includes a mechanism for formation and development of a language personality. The paper presents the accumulated experience of trilingual educational techniques in Russia and abroad, which was starkly demonstrated by I. Alexeeva, as well as the perspectives of their implementation into the educational process. Trilingualism is considered as a complex phenomenon that includes anthropological, social and linguistic, as well as social and cultural components. The aspect of cultures which implies the phased existence of the same text in three linguistic substances, as well as translation of literary works aimed at transfer of the works of fiction from one language to another through an intermediary language. Concurrently, the special attention is paid to the Russian language and its productive role as a cultural mediator in translation of the world literature to the languages of the peoples of Russia, which has not been thoroughly studied yet. The intermediary results of the research were presented by A. Boyarkina. The paper reveals perspectives for application of the trilingual model in order to expand the translatological functions of the artificial intelligence. The Master's programme in "Translation Theory, Cross-Cultural and Cross-Lingual Communication" implemented at Kazan Federal University, revealed by S. Takhtarova, the head of the programme, and K. Prosyukova, the coordinator of the programme, as well as other educational programmes in St. Petersburg and Almaty, carefully analysed by I. Alexeeva and A. Boyarkina, are the successful examples of trilingualism as an educational tool. To sum up, it is concluded that the interaction of three languages is able to create the effective educational environment that ensures the exchange of cultures and transmits cultural values, as well as linguistic and translation skills, formed on the basis of other two languages.

The article explores the opportunities and prospects of using artificial intelligence (AI) in educational activities, with a focus on master's programs at the Faculty of Pedagogy of Yanka Kupala State University of Grodno. The study examines key AI technologies, including machine learning, deep learning, natural language processing, computer vision, and robotics, as well as their potential applications in the educational process. A comparative analysis of the awareness and use of AI among master's students from Belarus and China was conducted, revealing significant differences in the perception and implementation of these technologies. The results of the study highlight the need to integrate AI into educational programs, which can enhance the quality of education and prepare specialists for the challenges of the digital era. Particular attention is paid to the ethical aspects of AI application, including issues of confidentiality, transparency, and accountability. The article provides recommendations for adapting educational strategies to effectively utilize AI in pedagogical practice.

Problem. The quality of higher education is achieved by compliance with the conditions for the implementation of educational activities and learning outcomes with the requirements of legislation and higher education standards, professional and international standards, as well as the needs of stakeholders and society. Obviously, the requirements, recommendations and opinions of stakeholders play one of the main roles in the process of ensuring the quality of higher education. It should be noted that without ensuring and improving the quality of higher education, it is impossible to obtain accreditation of an educational program (EP) in the relevant specialty. Goal. Obtaining feedback from employers and representatives of the academic community with experience in working and teaching in 141 specialties "Electrical Power Engineering and Electromechanics" to improve the quality of education in the Master's EP "Electric vehicles and energy-saving technologies". Methodology. The method of questioning consists in obtaining information by means of written answers of respondents to a system of standardized questions. Methods of information processing and synthesis method - the study of an object in its integrity, in the unity and interconnection of its parts. Results. An analytical review of decisions on EP and publications on the introduction of innovative teaching methods and methods of maintaining the quality of the educational process into the educational process was carried out. In a number of educational components, the list of literature will be expanded due to the technical documentation of automakers and references to modern research by foreign authors. It is proposed to improve the existing and develop new laboratory and practical work on modern equipment purchased through the CybPhys project and on the equipment of interested employers. It is proposed to expand the practical component of the educational components of the EP related to the cycle of professional training disciplines. It is proposed to add the topic "Alternative power sources" to the cycle of disciplines of the applicant's free choice (professional training section). Originality. It is proposed to conduct practical and laboratory classes and conduct research on the topic of the thesis directly in production and in the daily work of service stations and car service. Practical value. Based on the results of the feedback received from stakeholders, appropriate changes will be made to the courses that will improve the quality of education and make the master's EP "Electric vehicles and energy-saving technologies" even more relevant and relevant for the labor market in the field of electric power, electrical engineering and electromechanics, in particular, with regard to the industry electric vehicles and energy saving technologies.

Petri Nets are tools for the modelling and analysis of the behaviour of systems and analysis of the Petri Net can then reveal important information about the structure and dynamic behaviour of the modelled system. In this article, the author argues that Petri Net concepts (when used qualitatively) are not fundamentally different from those of ANT. For example, the ‘places’ from Petri Nets bear a strong resemblance to the actors in ANT, and the ‘triggers’ or ‘transitions’, are somewhat analogous to ANT’s translations. In modelling, places represent conditions and transitions represent events. Tokens may model the resources or data items that are associated with a place or places. The original research that this article is based on was undertaken using an actor-network framework to develop a model for e-Learning for students with Learning Difficulties. This article explores the qualitative use of Petri Nets to supplement this ANT treatment.

Petri nets have proved their effectiveness in modeling and formal verification of a large number of applications: control systems, communication protocols, application workflows, hardware design, etc. In the present days, one important focus of computer science is on security and secure communications. The use of Petri nets for verifying security properties is not a mature field due to a lack of convenient modeling and verification capabilities. So far, in the Petri Net field there is only CPN Tools that is mature enough for modeling, using the colored Petri nets formalism. Nevertheless such verifications cannot be performed on large systems as CPN Tools is based on an exhaustive way of computing the semantics of a model. In this paper we present the use of AlPiNA, another candidate for this task. AlPiNA is a symbolic model checker that uses the formalism of algebraic Petri nets. We have used it successfully for modeling ad hoc networks and for verifying security protocols designed for this type of networks. As a case study and benchmark we have chosen the ARAN secure routing protocol. We managed to find all the attacks that were already reported for this protocol. To our knowledge this work is also the first successful attempt to use Petri nets for model checking the security properties of ad hoc networks protocols.

Petri Nets are tools for the modelling and analysis of the behaviour of systems and analysis of the Petri Net can then reveal important information about the structure and dynamic behaviour of the modelled system. In this article, the author argues that Petri Net concepts (when used qualitatively) are not fundamentally different from those of ANT. For example, the ‘places’ from Petri Nets bear a strong resemblance to the actors in ANT, and the ‘triggers’ or ‘transitions’, are somewhat analogous to ANT’s translations. In modelling, places represent conditions and transitions represent events. Tokens may model the resources or data items that are associated with a place or places. The original research that this article is based on was undertaken using an actor-network framework to develop a model for e-Learning for students with Learning Difficulties. This article explores the qualitative use of Petri Nets to supplement this ANT treatment.

The use of Petri nets for modelling, analysing and simulating complex distributed production systems meets serious problems when the size of the model grows. Therefore, it would be very useful to decompose a Petri net based model into smaller models linked with one another. The aim of this paper is to suggest and discuss some possible definitions of Modular Petri nets. This is accomplished by introducing the concept of Petri subnet. Two possible definitions are proposed and the meaning and the usefulness with respect to both model definition and model executability for simulation are pointed out. All definitions are given for the basic model of Petri nets. The extension of modularity concepts to high level Petri nets is shown to be possible in the second part of the paper, where an application is illustrated. In particular an algorithm is given which allows automatic composition of subnets into a larger model

In the context of COVID-19, when most of the processes are transferred online, one of the tasks of digitalizing the main business processes of modern universities is the implementation of marketing strategies, in particular, for the implementation of career guidance activities, and helping future applicants - applicants for I and II (master's) levels of the higher education in the implementation of the choice of educational programs. Therefore, the need to design an information system for decision-making support for the choice of master's programs based on the results of career guidance testing is actualized. The creation and use of the system "Selection of a master's program" will contribute to an increase in the efficiency of career guidance work on the part of higher educational institutions, as well as a more conscious choice of an educational program on the part of applicants. Based on the results of the analysis of the needs of potential students (potential graduates) and other analogues, we have modelled a decision support information system for the choice of master's programs. The main business processes, types of users (applicant, methodologist, expert, analyst) and options for their interaction with the system, namely, the formation of tests, passing the test, the formation of recommendations (educational programs) and the implementation of educational analytics, have been determined. The option of realization of this system by means of Visual Studio Code and MySQL for definition of specialties and educational programs on an example of National university of bioresources and nature management (NULES) of Ukraine is offered. This web resource can be useful both for university students or prospective applicants of the University and for other users as the developed system belongs to the reference class. The directions of further research are determined, in particular, the application of data mining methods for educational analytics. The necessity of attracting specialists to create tests is defined to provide the basis for determining the educational program not only based on an analysis of future applicants’ preferences, but also the level of formation of the corresponding professional skills.

The application of stochastic techniques as a tool for enhancing the quality of the technical specialties' educational process is investigated in this paper. Particularly relevant in the framework of fast technical and digitalization advancements, these approaches enable the modeling of complicated industrial processes and solving of problems under conditionsof uncertainty. The research emphasizes the development of strategies for instructing stochastic procedures inside educational curricula designed to cultivate technical specialists. The primary objective of this study is to enhance students' analytical thinking, forecasting, and decision-making skills in unconventional situations, thereby allowing educational processes to align with the requirements of contemporary industrial sectors. The scientific and pragmatic relevance of the research is found in the fact that stochastic approaches enable the combination of theoretical knowledge with practical skills, therefore facilitating the training of highly qualified experts ready to operate in dynamic and complex systems. The study approach called for theoreticalmodeling, data analysis, and investigation of real-world examples. By means of production scenario modeling, the outcomes were acquired, therefore highlighting the efficiency of stochastic methods in addressing practical issues. The results of the research suggest that using stochastic approaches helps students to acquire their data analysis, process management under uncertainty, and modern digital tool application abilities. The approach significantly helps to create adaptable learning environments meant to solve industrial challenges. The practical relevance of the research findings is in their usefulness for the creation of educational programs meant to equip graduates fulfilling the criteria of digital transformation and modern industries.

In modelling and process simulation the aim of the research is to create a designed functional control model of student communication in LMS system by a created model in Petri nets. The model reflects the student´s and the pedagogue´s requirements, is enough modular, not too complicated and it fulfils the basic pedagogical and psychological principles. The aim was to create a control model of student communication in LMS system which would be not only intelligible and clear but it would also eliminate some lacks from the other known models. Introduction and administration of any processes requires description of their solution, inspection, monitoring, optimization and first of all their simple formulation, whereby it is very important to express their logic. The article deals with modelling and subsequent simulation of education processes in Petri nets implemented into the environment of the learning management system (LMS). The aim of the LMS system for the teaching control is to regulate the communication according to the student´s knowledge and ability and thus modify the amount and sophistication of submitted materials for the student. Using the constituted model we shall be able to create electronic courses, so these models can serve as a prototype for creating further electronic courses in the environments of the LMS. Key words: educational process, modeling process, Petri nets, universal model, web-based education.