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

Висвітлено історію української державності з початку ХХ ст. до сьогодення. Наведено аналіз економічної та політичної історії, а також політичних ідей українців у боротьбі за створення соборної незалежної держави. Визначено особливості створення, діяльності Центральної Ради в 1917 р. У контексті глобальних загальноцивілізаційних змін проаналізовано політичну модернізацію українського суспільства. Розглянуто участь українських правозахисників у боротьбі за демократизацію суспільно-політичного життя республіки у 1960 - на початку 1990-х рр., а також проблеми регіонального управління економікою країни у досліджений період.

Приведен обзор описанных в наиболее общей форме средств защиты информации в банках.

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

Описаны исследования по распознаванию режимов основного оборудования АЭС по стохастическим сигналам с помощью нейронных сетей Кохонена и Хэмминга.

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

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

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

Рассмотрено состояние существующих автоматизированных систем управления технологическими процессами АЭС, обосновано использование нейрокомпьютерного подхода к распознаванию спектральных реализаций стохастических диагностических сигналов, которые характеризуют текущее техническое состояние некоторых элементов и систем основного оборудования АЭС. Сущность проблемы состоит в том, что, как известно, современные системы контроля и управления энергетическими объектами в составе автоматизированной системы управления технологическими процессами (АСУ ТП) АЭС имеют в своей основе детерминированный подход к логическому анализу режимов оборудования, а именно: не допустить выход контролируемых ими параметров за предварительно установленные предельные уровни. Для надежного предотвращения повреждений, которые могут возникнуть в основном оборудовании ядерного энергоблока, этого, естественно, недостаточно. В связи с этим проблему диагностики аномальных режимов теплоотдачи можно решить путем использования не температурных измерений состояния теплоносителя на выходе из активной зоны реактора, которые существуют сейчас, а на основе распознавания динамических компонент некоторых параметров реактора (в первую очередь сигналов динамического давления в теплоносителе и сигналов измерителей потока нейтронов, размещенных в самой активной зоне ядерного реактора).

Визначено особливості затрат як об'єкта управління. Обурунтовано необхідність введення поняття "характер затрат". Доведено необхідність розширення переліку комплексу властивостей затрат такою характеристикою як "привабливість", що сприятиме розвитку характеру управлінського впливу на затрати.

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

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

Запропоновано опис і обгрунтування програмного інструментарію на основі асинхронних можливостей платформи .NET для екстракції даних з Web-ресурсів в форматі HTML. Інструментарій може використовуватися в корпоративних системах агрегування даних.

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

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

Запропоновано математичні та програмні засоби діагностування економічного стану підприємства на основі продукційної системи. Обгрунтовано структуру відповідного програмного комплексу.

In this work mathematical methodology software for diagnostic economic state is proposed. Software complex structure is justified.

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

In this work software solution for fluid dynamics simulation through SPH-method is proposed. Hardware choise based graphics adapter is justified. Solution preferences are proved by experiment.

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

Програмним забезпеченням, яке створює керуючі програми для верстатів з ЧПК, є САМ-системи. Існуючі складні САМ-системи не завжди доцільно використовувати для малосерійного виробництва через надлишковий функціонал. Простіші САМ-системи, як правило, відрізняються недостатнім функціоналом та неоптимальністю коду керуючих програм. Показано необхідність вдосконалення засобу програмування верстатів з ЧПК, представлено результати дослідження з визначення необхідних функціональних характеристик САМ-систем, пристосованих саме для невеликих виробництв. Також визначено критерії оптимізації коду керуючих програм. Запропоновано систему PowerCAM, вдосконалену за набором функцій, представленням графічного інтерфейсу користувача та оптимізацією генерації керуючого коду. Наведено приклад роботи РоwеrСАМ для порівняння з аналогічними системами.

Запропоновано спосіб розв'язання логічних задач-головоломок на основі машинного навчання. Спосіб розраховано на попередню формалізацію задач у вигляді опису властивостей і відношень між ними. Оскільки кожна властивість має множину можливих значень, розв'язання задачі за допомогою методів перебору має комбінаторну складність. За великої кількості властивостей та їх значень час розв'язання стрімко зростає. В останні роки окремим напрямом досліджень з машинного навчання стало розв'язання логічних задач такого типу. Однак існуючі рішення цього напряму мають ряд недоліків, насамперед вони не завжди гарантують коректне розв'язання. Наведено спеціальну мережу зв'язків для навчання розв'язанню логічних задач, а також їх формалізацію для представлення цій мережі. Мережа містить обчислювальні вузли, які відображають відношення між властивостями, та вузли вхідних шарів, які задають значення цих відношень. Розв'язання кожної задачі відбувається шляхом автоматичного створення мережі зв'язків з її подальшим навчанням до одержання розв'язку. Наведено геометричну інтерпретацію n-мірної мережі зв'язків та її (n - 1)-мірних шарів. Наведено формалізацію представлення навчальної вибірки й алгоритм навчання. Запропоновано механізм розв'язання логічних комбінаторних задач. Наведено приклади задач, які є традиційними тестами в системах логічного програмування та продукційних (експертних) системах, а також задач з ресурсу bAbI таких класів: two supporting facts, two arguments relations, positional reasoning. Експериментально доведено ефективність запропонованого способу. Визначено перспективи подальших досліджень, які пов'язані зі створенням лексико-синтаксичного аналізатора для автоматичного представлення властивостей, їх значень та відношень між ними. Запропонований спосіб є універсальним і не залежить від характеристик поточної задачі, таких як кількості властивостей та їх значень.