Advanced function of the computer-based river traffic management system should automatically predict and prevent possible conflict and deadlock states between vessels by using adequate control policy (supervisor).This paper proposes a formal method for calculating maximally permissive deadlock prevention supervisor.To model the river system, Formul
The purpose of this study was to determine the acceptability/acceptability of the training design being developed.The research method uses qualitative research and development or development research.This research developed training designs with a behavioral rehearsal with predetermined steps, namely potentials and problems, literature design, desi
One of the main directions of social differentiation of language is the language peculiarities of people related to the different professions.Any profession has its specific vocabulary.It should be noted that the development of the professional vocabulary in all languages of the world does not manifest itself in the same form.Professional vocabular
One of the crucial steps for a successful integration of electric bus fleets into the existing electric power systems is the active and intelligent usage of their flexibility.This is important not only Archery for reducing the eventual negative effects on the power grid but also for reducing energy and infrastructure costs.The first step in the opt