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

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

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

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

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

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

Дисертація присвячена дослідженню історії становлення та розвитку державної бібліографії України (1919-1969 рр.). У роботі розглянуто історію створення та організацію роботи Головної Книжної Палати в Києві, Української книжкової палати в Харкові, вивчено багаторічний досвід державної реєстрації українських друкованих видань і створення бібліографічної продукції, розкрито основні критерії відбору книжкових видань для реєстрації в органах державної бібліогафії, простежено еволюцію бібліографічного опису книжкової продукції України, розкрито структуру державних бібліографічних покажчиків та формування системи їх довідкового апарату.

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