Категорні методи в теорії мовних перетворювачів
Розробка загальної методології вирішення проблем комп'ютерної переробки інформації на основі теоретико-категорних представлень, алгебраїчних теорій. Розв'язання проблем, що виникають при перетворенні інформації, представленої за допомогою формальних мов.
Подобные документы
Дослідження основних варіантів порівняння запитів в процесі аналізу і експлуатації автоматизованих комп'ютерних систем. Розробка моделі інкрементального оновлення матеріалізованих представлень, заснованої на лічильнику дублікатів записів типу SPJ.
автореферат, добавлен 02.08.2014Роль автоматизованих інформаційних технологій у суспільстві. Проблеми автоматичної обробки текстової інформації. Комп'ютерна лінгвістика як напрям штучного інтелекту. Використання математичних моделей для природних мов. Створення електронних словників.
реферат, добавлен 21.04.2014Предмет, зміст та складові частини інформатики. Одиниці вимірювання інформації, системи числення та кодування інформації. Системне та програмне забезпечення інформаційних процесів. Сервісні та прикладні програми, їх призначення та використання.
реферат, добавлен 30.11.2010Світова практика комп'ютерної вірусології. Алгоритмічна особливість побудови вірусів. Сутність дії програм-фільтрів. Адаптивні алгоритми передавання інформації. Настроювання, сканування, та профілактичні засоби підтримки персонального комп’ютера.
реферат, добавлен 16.11.2012Розв’язання різного роду обчислювальних задач, алгоритм яких описується в загальноприйнятих математичних термінах і позначеннях як основне завдання програмного комплексу MathCAD. Чисельні методи, що використовуються для розрахунку матричних рівнянь.
учебное пособие, добавлен 19.07.2017Характеристика базових топологій локальних мереж, вибір їх розміру, структури та устаткування. Інтеграція комп'ютерів в Іnternet. Програмне й апаратне забезпечення. Економічний облік витрат на проведення робіт. Технології контролю та захисту інформації.
курсовая работа, добавлен 15.06.2016Аналіз і характеристика особливостей захисту персональних комп'ютерів. Опис спеціального програмного забезпечення для захищення і шифрування інформації. Розробка комплексного програмного продукту, який реалізує обмін даними за допомогою серверу.
дипломная работа, добавлен 28.07.2017Аналіз динаміки розвитку індустрії інформаційних технологій. Системи забезпечення бізнесу. Технології переробки матеріальних ресурсів. Поняття комп’ютерної інформаційної технології. Методи збору, накопичення, зберігання, обробка і передача даних.
лекция, добавлен 19.08.2017Розгляд питань методології наукового пізнання. Перелік функцій дослідження в науці. Обґрунтування місця комп’ютерних технологій в наукових дослідженнях. Класифікація автоматизованих систем обробки і накопичення інформації. Різновид наукових гіпотез.
контрольная работа, добавлен 20.10.2013Сучасні високопродуктивні обчислювальні системи і паралельні методи розв’язання динамічних задач із зосередженими параметрами. Паралельні неявні однокрокові методи чисельного розв’язання жорстких задач та їх реалізація в багатопроцесорних структурах.
автореферат, добавлен 29.08.2015Розробка алгоритмів розв’язання задач відтворення сигналів у вигляді інтегральних моделей та створенню на їх основі прикладних програмних засобів. Їх комп’ютерна реалізація та застосування на обчислювальних кластерах з різними операційними системами.
автореферат, добавлен 26.08.2015Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
автореферат, добавлен 26.08.2015Етапи процесу створення комп’ютерної програми для вирішення будь-якої практичної задачі. Складність алгоритму. Характеристика алгоритмів пошуку даних. Методи швидкого доступу до даних. Мережеві алгоритми. Методи розробки алгоритмів. Програмна реалізація.
курс лекций, добавлен 01.02.2020Визначення сутності комп'ютерної мережі та її характеристик: топології (фізичної та логічної), принципу з’єднання абонентів, комутації каналів та пакетів. Типові віддалені атаки. Реалізація сервісів безпеки. Керування безпекою взаємодії відкритих систем.
презентация, добавлен 19.08.2013- 115. Розв’язання алгебраїчних та тригонометричних рівнянь методом ділення навпіл та методом ітерацій
Суть методів визначення коренів рівнянь. Обчислення коренів поліномів та власних чисел матриць. Побудова графіків розв'язку системи диференціальних рівнянь. Методика наближення функцій методом поліноміальної регресії та сплайнів за допомогою Mathcad.
лабораторная работа, добавлен 23.10.2020 Розробка методики маршрутизації ІР-пакетів, яка дозволяє збільшити коефіцієнт використання комп’ютерної мережі та не потребує модернізації існуючого на інших маршрутизоторах програмного забезпечення. Розробка адаптивної моделі комп’ютерної мережі.
автореферат, добавлен 10.08.2014Закономірності появи та вдосконалення систем комп'ютерної алгебри разом із розвитком засобів обчислювальної техніки. Основні етапи розвитку алгоритмічних мов, принципи їх збагачення. Особливості сигнатури та алгоритми базових процедур мови А-2000.
автореферат, добавлен 25.02.2015Особливості використання методів комп’ютерної лінгвістики для наукометричних досліджень реферативної бази даних "Україніка наукова". Основні методи комп’ютерної лінгвістики, дослідження тенденцій наукової співпраці, комунікативних науковців та груп.
статья, добавлен 30.08.2016Аналіз необхідності формування у студентів ВНЗ комплексу предметних компетентностей з комп’ютерної графіки. Характеристика принципів, методи, засоби і форми організації навчального процесу під час викладання дисципліни "Основи комп’ютерної графіки".
статья, добавлен 12.11.2020Аналіз і розгляд загальних проблем і перспектив використання принципу впровадження залежностей під час розробки вебзастосунків мовою РНР. Особливість розв’язання деяких проблем інверсії управління на основі шаблону під час проектування вебзастосунків.
статья, добавлен 03.02.2023Аналіз фундаментальних положень теорії інформації в автомобільній та транспортно-дорожній галузі. Основи кодування інформації, статистичні та словникові алгоритми стиснення даних, класифікація і загальна характеристика систем стиснення інформації.
статья, добавлен 25.11.2016Розробка способу побудови моделей системи захисту інформації. Виявлення загроз на основі використання інформаційних моделей захисту даних та інформаційних моделей загроз. Розробка алгоритму протидії атакам на електронні засоби масової інформації.
автореферат, добавлен 20.07.2015Метод структурно-алфавітного пошуку розв’язання задач комбінаторної оптимізації, який ґрунтується на розпізнаванні структури вхідної інформації та одному розв’язному випадку. Знаходження оптимального розв'язку методом структурно-алфавітного пошуку.
статья, добавлен 23.02.2016Створення теорії комп'ютерних мереж, що динамічно реконфігуруються для підвищення якості обслуговування користувачів й оптимізації трафіка в мережах. Фактори, що роблять вплив на якість передачі інформації й вибору способу керування мережевими процесами.
автореферат, добавлен 30.07.2014Пристрої відображення інформації. Типи дисплеїв: електронно-променеві, рідкокристалічні дисплеї, методи формування зображень. Режими поновлення інформації. Основні характеристики пристроїв відображення інформації. Структура електронно-променевої трубки.
реферат, добавлен 15.06.2013