Індекс рубрикатора НБУВ: Ч75р31(4Укр)11

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

Розглянуто вимоги до мов програмування задач штучного інтелекту. Висвітлено основи теорії предикатів першого порядку, на якій базується мова Prolog. Розглянуто основи мови логічного програмування Visual Prolog, наведено приклади розв'язування задач на мові Prolog.

Рассмотрены требования к языкам программирования задач искусственного интеллекта. Освещены основы теории предикатов первого порядка, на которой базируется язык Prolog. Раскрыты основы языка логического программирования Visual Prolog, даны примеры решения задач на языке Prolog.

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

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

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

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

Наведено вимоги до мов програмування задач штучного інтелекту. Висвітлено теорію предикатів першого порядку, на якій базується мова Prolog. Розкрито основи мови логічного програмування Visual Prolog.

Приведены требования к языкам программирования задач искусственного интеллекта. Освещена теория предикатов первого порядка, на которой основан язык Prolog. Раскрыты основы языка логического программирования Visual Prolog.

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

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

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

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

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

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

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

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

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

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

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

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

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

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