Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями
Дослідження головних першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Розробка та аналіз основних методів розширення цих логік узагальненими реномінаціями.
Подобные документы
Розвиток інтелектуальних геоінформаційних технологій. Засоби обробки просторових даних. Розробка фаззі-моделей, заснованих на положеннях нечіткої логіки. Дослідження взаємодії асинхронних процесів. Використання програмного середовища ModelBuilder.
статья, добавлен 14.07.2016Дослідження проблематики організації, планування та підтримання управління в організаціях, які реалізують свою діяльність у вигляді проектів. Критичний аналіз функціонування у такому середовищі. Визначення основних недоліків та методів їх подолання.
статья, добавлен 29.08.2016Дослідження основних технічних характеристик принтерів. Розгляд оцінки продуктивності персональної електронно-обчислювальної машини. Переваги пакетів-оболонок перед інтегрованими пакетами. Аналіз головних функцій Державної служби зайнятості України.
контрольная работа, добавлен 21.02.2019Синтаксиси, властивості класів, структур та змінних, що надаються драйвером та приклади їх використання. Запуск утиліти для встановлення та тестування карт розширення Device Manager. Меню для вибору та налаштування карти розширення, обробки інформації.
лабораторная работа, добавлен 28.01.2016Аналіз відомих методів контролю та автоматичного виправлення типових помилок користувача, а також засобів реалізації методів у рамках "штатних" можливостей сучасних систем управління базами даних. Розробка засобів програмної реалізації моделей і методів.
автореферат, добавлен 28.08.2014Автоматизація бази даних обліку товару і клієнтів. Взаємні розрахунки між учасниками електронного бізнесу. Планування виробництва і реалізації товару. Дослідження і розробка повнофункціональної торгової інтернет-системи в галузі електронного бізнесу.
автореферат, добавлен 29.09.2014Дослідження основних методів розв’язку задачі складання розкладу. Сучасні модифікації генетичного алгоритму розподілення занять. Розрахунок виконання заданої кількості ітерацій розкладу. Оцінка тривалості навчальних занять та їх кількості по днях тижня.
статья, добавлен 14.07.2016Аналіз головних підходів до трактування сутності інформаційної безпеки підприємства та її значення в системі управління підприємством. Дослідження методів і способів інформаційної безпеки, оцінка сучасних принципів її використання на підприємстві.
статья, добавлен 31.12.2017Характеристика методів фільтрації даних отриманих з інерційного вимірювального пристрою та методів подолання дрейфу нуля гіроскопа. Розробка прототипу шолома на базі смартфону та безпровідного маніпулятора на мобільних платформах типу Android та iOS.
статья, добавлен 11.05.2018Обґрунтування гіпотез теорії алгебраїчних кривих і геометрії чисел, проведення їх дослідження, порівняльний аналіз із відомими методами. Основи автоматизації обґрунтування гіпотез, застосування розроблених методів, алгоритмів, комп’ютерних систем.
автореферат, добавлен 29.07.2014Аналіз методів та засобів моделювання поведінки систем автоматичного керування. Дослідження моделі засобу, що реалізує процес моделювання, розробка його складових частин. Розробка обчислювальної схеми та програм моделювання систем автоматичного керування.
автореферат, добавлен 28.09.2015Розробка інформаційних, математичних моделей і методів автоматизованого управління розвитком регіонального аграрного університетського центру. Характеристика основних методів моделювання процесів управління ресурсами в освітніх мережах та комплексах.
автореферат, добавлен 27.08.2015Розробка алгоритмів профілювання виробів шляхом взаємної обкатки на площині епітрохоїд або гіпотрохоїд. Розгляд та характеристика основних методів профілювання роторно-планетарних машин способом обкатки та методів обчислення у часі їх об’ємних витрат.
автореферат, добавлен 07.08.2014Розширення обчислювальних можливостей – це одна з основних тенденцій в сучасній архітектурі комп'ютерних систем, яка передбачає збільшення кількості процесорів на одному чіпі, підвищення швидкості операцій, підтримку нових форматів даних та розширення.
статья, добавлен 21.03.2024Аналіз основних методів кластеризації політематичних текстових документів. Розробка моделі адаптивної нечіткої нейронної мережі. Структура та функції інструментальних засобів вирішення прикладних задач. Зміст генетичного методу зі штучним відбором.
автореферат, добавлен 20.07.2015Розробка багатомодульних гібридних нейромереж й методів підвищення продуктивності та зменшення обсягу фізичної пам’яті псевдоінверсних нейромереж. Проектування методу видалення застарілої інформації шляхом динамічного рознасичення асоціативної пам’яті.
автореферат, добавлен 22.07.2014Дослідження основних принципів проектування засобів виявлення та протидії комп’ютерним атакам. Визначення й опис застосовуваних при виявленні та запобіганні мережевих атак методів і моделей. Дослідження характеристик моделей виявлення вторгнень.
статья, добавлен 24.01.2018Дослідження сучасних методів пошуку в геометричній області та їх взаємозв’язку із задачами аналізу динамічної обстановки. Розробка та обґрунтування методів представлення й аналізу динамічної обстановки для геоінформаційних комплексів реального часу.
автореферат, добавлен 29.07.2014Дослідження та аналіз основних чинників, що сприяють використання інтернету в освіті. Визначення головних напрямків роботи та проблематики цифрових освітніх процесів. Сучасний стан використання інтернет-технологій і оцінка його подальших перспектив.
статья, добавлен 08.10.2018Дослідження методів проектування мікросмужкових фільтрів НВЧ. Розробка алгоритмів проектування допусків в залежності від технології виготовлення підсистеми мікросмужкових фільтрів з можливістю аналізу та синтезу допусків на основних етапах технології.
автореферат, добавлен 26.08.2014Метод побудови програмного забезпечення систем дистанційного навчання. Використання принципів інженерії програмного забезпечення – багаторівневого представлення, шаблонування, квантифікація. Моделювання бізнес-логіки і аналіз навчального контексту.
автореферат, добавлен 30.10.2015Суть шаблонізаторів для відокремлення логіки від представлення. Розгляд їх основних переваг та недоліків. Використання Twig в якості двигуна шаблонів у Drupal 8. Особливість створення шаблону дизайну MVC, який пізніше був прийнятий для веб-додатків.
статья, добавлен 09.10.2018- 73. Методи і пристрої для технічної діагностики та автоматичного керування силовим електрообладнанням
Аналіз основних методів і засобів діагностування силового електрообладнання. Дослідження методики регулювання режимних параметрів в електричних мережах для досягнення підвищеної якості напруги, надійності електропостачання споживачів електроенергії.
автореферат, добавлен 27.07.2014 Аналіз відомих методів і апаратно-програмних засобів підвищення продуктивності обчислювальних систем. Розробка нових методів паралельних обчислень спеціальних функцій, рішення систем рівнянь для навігаційних задач. Обробка навігаційної інформації.
автореферат, добавлен 29.09.2015Можливості використання наявних чисельних методів аналізу моделей. Розробка алгоритмів адаптації методів для типових класів моделей заданої предметної області. Дослідження працездатності розроблених симуляторів та алгоритмів їхнього функціонування.
автореферат, добавлен 30.08.2014