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

Індекс рубрикатора НБУВ: В126.3

Рубрики:

Теорія графів

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

Наведено задачі паралельного упорядкування вершин орграфів за допомогою двочасткових графів, а також дискретні сіткові задачі оптимального розподілу ресурсів. Визначено умову порушення рівневого принципу для даних задач.

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

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

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

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

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

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

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

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

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

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

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

Індекс рубрикатора НБУВ: В182.2

Рубрики:

Теоретико-множинна топологія

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

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

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

Рубрики:

Теорія мереж

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

Індекс рубрикатора НБУВ: В122

Рубрики:

Теорія моделей

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

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

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

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

Індекс рубрикатора НБУВ: В126я431(4УКР)

Шифр НБУВ: В349238/Ч. 9 Пошук видання у каталогах НБУВ 

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

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

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