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

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

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

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

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

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

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

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

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

Досліджено можливість виявлення заплутаності в n-кубітових узагальнених двопараметричних GHZ-станах, а також в довільних n-кубітових станах (n-КС) за допомогою нерівності Мерміна і нерівності Ардехалі з числа отримавших узагальнену назву нерівностей Мерміна - Ардехалі - Белінського - Клишко. Одержано формули для розрахунку значень кореляційних функцій Мерміна і Ардехалі в довільних квантових n-КС і критерій порушення відповідних нерівностей конкретними станами. Виявлено сукупність станів, абсолютно нечутливих до операторів Мерміна і Ардехалі. Запропоновано (модифіковані) оператори Мерміна і Ардехалі, сукупність яких надає розширити клас n-КС, у яких можна виявити наявність квантових кореляцій.

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

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

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

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

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

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

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

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

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

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

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