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

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

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

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

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

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

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

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

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

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

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

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

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

Запропоновано підхід щодо створення інструментальних засобів автоматизованої трансформації схем алгоритмів, який грунтується на застосуванні модифікованих систем алгоритмічних алгебр (САА-М). Розглянуто низку тотожніх перетворень під час трансформації й особливості інструментальної системи. Наведено параметри програмної реалізації інструментальної системи мовою Perl і приклад її роботи.

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

Розглянуто інструментальний комплекс автоматизованого синтезу програм у візуальних середовищах програмування, здійсненого за методом багаторівневого структурного проектування програм. Розглянуто методи оптимізації алгоритмів, реалізовані в системі, та структуру бази даних.

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

Запропоновано застосування алгоритму Джонсона для створення перспективних протоколів маршрутизації мережі INTERNET. Виконано формалізацію та розпаралелювання алгоритму. За рахунок еквівалентних трансформацій одержано спектр паралельних регулярних схем алгоритму.

Формалізовано послідовні алгоритми Пріма та Крускала, для яких побудовано регулярні схеми. Запропоновано підхід до розпаралелювання та сформовано паралельні регулярні схеми алгоритмів для їх подальшої реалізації на кластерних архітектурах.

Запропоновано підхід до формалізації етапу алгоритмічного проектування мікропроцесорних систем (АПМПС) на базі математичного апарату модифікованих систем алгоритмічних алгебр В. М. Глушкова. Створено формалізовані специфікації протоколу OSPF і схеми паралельних алгоритмів Флойда - Уоршала та Джонсона. Описано інструментальні засоби підтримки комп'ютерної технології АПМПС.

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

Розглянуто алгоритм Прима знаходження мінімального покривного дерева графу. Виконано його формалізацію у термінах модифікованих систем алгоритмічних алгебр В. М. Глушкова (САА-М). Одержано низку САА-М схем паралельної версії алгоритму. Запропоновано підходи до реалізації одержаних схем з використанням різних парадигм паралельного програмування. Експериментально досліджено приріст швидкодії для різних схем під час проведення кластерних обчислень.

Запропоновано концепцію побудови гомогенних кластерів. Створено програмний комплекс, який дозволяє здійснювати багатофункціональне застосування комп'ютерного ресурсу організації. Реалізовано метод модифікації MBR-запису та можливість призупинки задач у процесі кластерних розрахунків. Відповідно до запропонованої концепції наведено варіант побудови кластеру, впровадженого в комп'ютерному класі Майкрософт ІТ-академії інформаційно-обчислювального центру Київського національного університету імені Тараса Шевченка.

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

Виконано порівняльний аналіз методів реалізації інтерфейсів для кластерних систем, побудованих на платформі MS HPC, внаслідок чого обурунтовано метод формування Web-інтерфейсу такого кластера. Відповідно до запропонованого методу наведено варіант реалізації інтерфейсу кластера, впровадженого в MS IT-академії інформаційно-обчислювального центру Київського національного університету ім. Тараса Шевченка.

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