Розглянуто задачу розбиття довільної заданої мережі Петрі на функціональні підмережі. Досліджено властивості функціональних підмереж і множин, що їх породжують. Побудовано алгоритм декомпозиції, що має поліноміальну складність.

Побудовано лінійне фундаментальне рівняння часової мережі Петрі. Введено повні і часткові інваріанти стану та поведінки часової мережі Петрі. Досліджено властивості інваріантних мереж. Показано взаємозв'язок повних та часткових інваріантів. Розглянуто приклади дослідження мережевих моделей виробничих систем та процесів.

Введено та досліджено спеціальні підмножини рівнянь лінійної системи, названі кланами. Запропоновано використовувати декомпозицію на клани для прискорення вирішення лінійної системи. Складність декомпозиції дорівнює кубу від розміру системи. Тому прискорення обчислень одержано для методів, складність яких перебільшує кубічну. Для цілочислових систем, що вирішуються в цілочисловій невід'ємній області, прискорення обчислювань експоненційне.

Построена модель одноуровневой коммутируемой сети, инвариантная по отношению к топологии. Модель представлена раскрашенной сетью Петри. Основными параметрами модели являются: упакованная матрица топологии сети, таблица запросов рабочих станций к серверам, времена передачи фреймов и обработки запросов. Для отладки модели и сбора статистической информации использована система CPN Tools.

Построены модели Петри ведущего и ведомых устройств, реализующих протокол Bluetooth. На примере моделей пикосетей с различным числом ведомых устройств выполнена оценка эффективности использования адресного пространства протокола. Для построения и исследования моделей использована промышленная моделирующая система CPN Tools. Выявлена возможность пробуксовки обмена информацией при росте числа подключенных к пикосети ведомых устройств.

Надано основи композиційного аналізу мереж Петрі, що грунтується на знаходженні властивостей заданої мережі Петрі за допомогою властивостей функціональних підмереж. Композиційний аналіз охоплює дослідження поведінкових та структурних властивостей мереж Петрі за допомогою матричних методів, що використовують фундаментальне рівняння та інваріанти. Одержано прискорення обчислень, експоненційне стосовно розмірності мереж.

Індекс рубрикатора НБУВ: З973-018.121 + В152.22

Рубрики:

Комп'ютери та програмування

Лінійні рівняння, системи лінійних рівнянь

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

Получено алгебраическое представление передаточной функции произвольной временной сети Петри. Введены и исследованы слабые типы функциональной эквивалентности, изучены дополнительные правила преобразований сетей для слабых типов эквивалентности, приводящие к существенному уменьшению размера сети.

Запропоновано організацію послідовного процесу композиції кланів лінійних систем для реалізації додаткових прискорень обчислювань під час їх розв'язання. Прискорення обчислень одержано шляхом розв'язання послідовності систем композиції кланів суттєво меншої розмірності. Використано граф декомпозиції системи на клани. Виконано порівняльний аналіз послідовної композиції підграфів та реберної (парної) композиції. Задачу побудови послідовності систем найменшої розмірності названо колапсом зваженого графа. Одержано оцінки верхньої та нижньої меж ширини колапсу, яка відповідає розмірності систем. Побудовано та статистично обгрунтовано евристичний алгоритм оптимального колапсу.

Представлен метод решения фундаментального уравнения сети Петри, основанный на композиции сети из функциональных подсетей. Решения фундаментального уравнения всей сети компонуются из решений фундаментальных уравнений функциональных подсетей двойственной сети Петри. Полученное ускорение вычислений оценивается экспоненциальной функцией от размерности сети Петри.

Представлена методология синтеза моделей Петри телекоммуникационных протоколов (ТКП). Выполнен обзор стандартов ТКП. В качестве промежуточного языка спецификаций использованы взаимодействующие последовательные процессы (ВПП) Хоара. Построены методы синтеза конечных автоматов по формуле последовательных процессов и синтеза отмеченной сети Петри по формуле ВПП. Формализована задача синтеза непомеченной сети Петри заданной конечным автоматом.

Індекс рубрикатора НБУВ: П212.105-26 + Е50*669.04

Рубрики:

Яра пшениця

Загальна ботаніка

Шифр НБУВ: Ж61831 Пошук видання у каталогах НБУВ 

  Скачати повний текст

Вперше створено математичну модель процесу затягування носових гнучких огороджень (НГО) під корпус суден на повітряній подушці скегові (СППС) у режимі його руху. Розроблено метод імітаційного модулювання процесу затягування НГО з гнучким ресивером зі знімними елементами без діафрагми та з діафрагмою в різних режимах руху СППС. Доведено, що динамічна постановка задачі імітаційного модулювання виявляє наявність автоколивань НГО з гнучким ресивером зі знімними елементами без діафрагми та з діафрагмою в процесі затягування його під корпус СППС і забезпечує урахування всіх особливостей конструкцій НГО на відміну від аналітичного методу. Розроблено аналітичну та числову моделі, методику конструювання та розрахунку міцності НГО відкритого типу в режимах висіння і руху СППС на хвилюванні. Вдосконалено та проаналізовано математичну модель визначення максимального миттєвого рівня хвильового поршня в режимі платформінгу СППС. Розроблено та реалізовано методи, алгоритми розрахунку, конструювання та НГО з врахуванням явища затягування та хвильового поршня у різних режимах руху судна.

Побудовано модель комунікаційної структури гіперкуба довільного розміру з довільною кількістю вимірювань в формі параметричної сіті Петрі. Розроблено методику обчислення лінійних інваріантів параметричних сітей Петрі. Проаналізовано процеси передачі інформації в гіперкубі. Вивчено структуру складних тупиків, зумовлених ланцюгом (циклом) блокувань та ізоляцією пристроїв. В реальних мережах надані тупики призводять до суттєвого зниження продуктивності та можуть бути викликані зловмисним трафіком.

Індекс рубрикатора НБУВ: З970.31-016.5

Рубрики:

Комп'ютерні мережі

Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ 

Построена ингибиторная сеть Петри с фиксированной структурой, исполняющая произвольную заданную машину Тьюринга. Лента машины Тьюринга, ее программа и состояния зашифрованы маркировкой 10-ти выделенных позиций сети Петри. Правила работы машины Тьюринга закодированы одиночным потоком управления в сети Петри, скомпонованной из операторов последовательности, ветвления, цикла. Использованы подсети, реализующие операции арифметики, сравнения, копирования.

A universal inhibitor Petri net is constructed, which executes an arbitrary given inhibitor Petri net. The inhibitor Petri net graph, its marking, and transition firing sequence are encoded as 10 scalar nonnegative integer variables and are represented by the corresponding places of the universal net. An algorithm of inhibitor net execution that uses only these scalar variables is developed based on the state equation and is encoded by the universal inhibitor Petri net. Subnets that implement arithmetic, comparison, and copying operations are employed.

Досліджено міцність рухомих трубопроводів, призначених для транспортування стиснутого газу, одним з головних елементів якого є круговий циліндр в поєднанні зі зрізаним конусом. На підставі теорії оболонок одержано залежності, які дозволили одержати аналітичне рішення системи рівнянь з вісьмома невідомими постійними інтегрування. Подальші перетворення дозволили одержати в аналітичному вигляді залежності для всіх силових і міцнісних характеристик конічно-циліндричних елементів рухомих трубопроводів. Наведено критерії міцності досліджуваних елементів трубопроводів. Показано графічні залежності напружень в елементі трубопроводу від його геометричних параметрів. Створено алгоритм, який дозволяє виконати всю послідовність описаних розрахунків. Проаналізовано вплив кута нахилу твірної конуса на максимальні напруження, що виникають у конічно-циліндричних елементах рухомих трубопроводів. Надано рекомендації щодо проектування таких елементів.

Цель работы - разработка в среде Simulink модели фазорегулирующего трансформатора, выполненного по классической схеме "Marcerau Connection", проведение с использованием этой модели опыта холостого хода и короткого замыкания, а также нагрузочных испытаний и определение энергетических характеристик устройства.