http://ea.donntu.ru/handle/123456789/18514 Wed, 22 Apr 2026 00:14:41 GMT 2026-04-22T00:14:41Z http://ea.donntu.ru/handle/123456789/13271 Title: Качественные модели системы управления техническим состоянием оборудования Authors: Резников, В.А.; Суворова, А.М. Abstract: Рассматриваются качественные (структурные) модели службы технического обслуживания и ремонта как организационной системы управления техническим состоянием. Приведена базовая модель рассматриваемой системы и сформулированы задачи исследования организационной системы управления техническим состоянием оборудования.; Розглядаються якісні (структурні) моделі служби технічного обслуговування і ремонту як організаційної системи керування технічним станом. Наведено базову модель розглянутої системи і сформульовані задачи дослідження організаційної системи керування технічним станом обладнання.; The qualitative (structural) models of service of technical service and repair are considered as organizational control system by the technical state. The base model of the considered system is shown and the tasks of research of organizational control system by the equipment technical state of are formulated. Sat, 01 Jan 2011 00:00:00 GMT http://ea.donntu.ru/handle/123456789/13271 2011-01-01T00:00:00Z http://ea.donntu.ru/handle/123456789/13268 Title: Алгебра мов, що можуть бути представлені в помічених графах Authors: Пряничникова, О.О. Abstract: В останні роки а комп'ютерних науках інтенсивно використовуються скінченні орієнтовані графи з поміченими вершинами. В даній статті ми вводимо алгебру мов, що можуть бути представлені в таких графах, і досліджуємо її властивості. На відміну від алгебри регулярних мов, яка здебільшого використовується для графів з поміченими дугами (скінченних автоматів), запропонована алгебра є зручним засобом для дослідження властивостей мов, що можуть бути представлені в графах з поміченими вершинами. В статті для графів з поміченими вершинами доведено теореми, що є аналогами теореми Кліпі і теореми Майхіла-Нерода для скінченних автоматів. Розроблено методи аналізу та синтезу мов, що можуть бути представлені в графах з поміченими вершинами, способи детермінізації та мінімізації таких графів. Для введеної алгебри запропонована скінченна система аксіом, доведена її повнота.; Recently directed finite vertex-labelled graphs have been successfully applied to the diverse areas of computer science, robotics, etc. In this paper we introduce and study an algebra of languages representable by vertex-labelled graphs. In contrast to Kleene algebra of regular languages, which is mainly used for edge-labelled graphs, it can adequately represent many properties of languages generated by vertex-labelled graphs. We prove an analog of Kleene's theorem establishing equivalence of regular expressions in this algebra and vertex-labelled graphs and an analog of the Myhill-Nerode theorem giving the necessary and sufficient conditions for the languages to be representable by a class of directed vertex-labelled graphs. We give several basic constructions, including methods for obtaining of a regular expression in this algebra from vertex-labelled graph and vice versa, determinization and state minimization of vertex-labelled graphs. A finitary axiomatization for considered algebra is developed and its completeness is proved. Sat, 01 Jan 2011 00:00:00 GMT http://ea.donntu.ru/handle/123456789/13268 2011-01-01T00:00:00Z http://ea.donntu.ru/handle/123456789/12994 Title: Дескрипція автоматів їхньою поведінкою Authors: Грунський, І.С.; Козловський, В.А. Abstract: Розглянуто деякі питання дескрипції автоматів, у першу чергу, фрагментами поведінки. Наведено умови існування контрольних експериментів та ідентифікаторів станів автомата. Для систем визначальних співвідношень, якими може бути заданий автомат, вказано метричні характеристики, вказано зв'язок між визначальними співвідношеннями і контрольними експериментами. Для експериментів з груповими автоматами наведено точні оцінки складності таких експериментів.; Certain problems of automata description are considered, first and foremost with behavior fragments. Existence conditions for checking experiments and automaton's stare identifiers are given. Metric characterisation of the systems of automaton's defining relations is given, a link between checking experiments and defining relations is established. The exact complexity estimations for experiments with group automate are given. Sat, 01 Jan 2011 00:00:00 GMT http://ea.donntu.ru/handle/123456789/12994 2011-01-01T00:00:00Z http://ea.donntu.ru/handle/123456789/12985 Title: Диагностика местоположения мобильного робота на основе топологической информации о среде Authors: Грунский, И.С.; Сапунов, С.В. Abstract: Рассматривается задача определения автономным мобильным роботом (MP) своего положения в среде, моделируемой графом с помеченными вершинами. MP считывает метки текущей вершины и ее окрестности. Он может перемещаться по ребрам графа от вершины к вершине, оставлять маркер в текущей вершине, а также обнаруживать и подбирать маркер в случае его нахождения в текущей вершине. В работе предложены полиномиальные методы построения и реализации экспериментов по распознаванию начального положения MP, т.е. начальной вершины графа. Эти методы основаны на проверке изоморфизма подграфов, порожденных предполагаемыми начальными вершинами.; Розглянуто задачу визначення автономним мобільним роботом (МР) свого місцезнаходження у середовищі, що моделюється за допомогою графа з позначеним вершинами. МР зчитує позначки поточної вершини та її околу. Він може пересуватися ребрами графа від вершини до вершини, залишати маркер у поточній вершині, а також знаходити і підбирати маркер у разі його знаходження у поточній вершині. У роботі запропоновано поліноміальні методи побудови і реалізації експериментів з визначення початкового місцезнаходження МР, тобто початкової вершини графа Ці методи ґрунтуються на перевірці ізоморфізму підграфів, які породжено уявними початковими вершинами.; The problem of self-localization of a mobile agent (MA) in an environment modeled by a graph with labeled vertices is considered. This problem is actual in connection with problems of navigation of autonomous mobile robots. MA reads labels of the current vertex and its neighborhood. It can move along the edges of the graph from vertex to vertex. In addition MA can drop the pebble at the vertex or pick up the pebble that it has previously dropped at the vertex. We propose construction and realization methods for experiments on the recognition of MA initial position on graph. These methods are based on checking the isomorphismof subgraphs generated by hypothetical initial vertices. Sat, 01 Jan 2011 00:00:00 GMT http://ea.donntu.ru/handle/123456789/12985 2011-01-01T00:00:00Z